Пусть
![$(X,\rho)$ $(X,\rho)$](https://dxdy-03.korotkov.co.uk/f/a/d/f/adf09ed95fdf84a586213d877892769b82.png)
-
ограниченное метрическое пространство. Рассмотрим на нем функции
![$f=f(x)$ $f=f(x)$](https://dxdy-01.korotkov.co.uk/f/4/b/c/4bcf32eeb95feeb28e281a89b14c7edc82.png)
, для которых конечна величина:
![$$||f||_\alpha = \sup_{x}|f(x)| + \mathrm{Hol}_\alpha(f), \qquad \hbox{\rm где}\quad\mathrm{Hol}_\alpha(f)=\sup_{x\neq y}{|f(x)-f(y)|
\over\rho^\alpha(x,y)}.$$ $$||f||_\alpha = \sup_{x}|f(x)| + \mathrm{Hol}_\alpha(f), \qquad \hbox{\rm где}\quad\mathrm{Hol}_\alpha(f)=\sup_{x\neq y}{|f(x)-f(y)|
\over\rho^\alpha(x,y)}.$$](https://dxdy-02.korotkov.co.uk/f/9/6/5/965619c530442b1aa50f31e004176a0482.png)
Тогда известно, что множество таких функций с нормой
![$||\cdot||_\alpha$ $||\cdot||_\alpha$](https://dxdy-01.korotkov.co.uk/f/4/6/6/466055641cd6caed8a3bbc44d2a01d0682.png)
образуют банахову алгебру.
Как видно, эти функции автоматически получаются ограниченными. Существует ли какой-нибудь близкий аналог для неограниченных функций (но пространство все же ограничено)?
Я нашел случай, когда допускается, что
![$(X,\rho)$ $(X,\rho)$](https://dxdy-03.korotkov.co.uk/f/a/d/f/adf09ed95fdf84a586213d877892769b82.png)
неограничено + локально компактное сепарабельное, и тогда можно вводить норму
![$$||f||'_\alpha =|f(x^o)| + \mathrm{Hol}_\alpha(f), \qquad \hbox{\rm где}\quad\mathrm{Hol}_{\alpha}(f)=\sup_{x\neq y}{|f(x)-f(y)|
\over\rho^\alpha(x,y)},$$ $$||f||'_\alpha =|f(x^o)| + \mathrm{Hol}_\alpha(f), \qquad \hbox{\rm где}\quad\mathrm{Hol}_{\alpha}(f)=\sup_{x\neq y}{|f(x)-f(y)|
\over\rho^\alpha(x,y)},$$](https://dxdy-04.korotkov.co.uk/f/b/8/8/b882138238c7c7dfd15ce92709acbacd82.png)
где
![$x^o$ $x^o$](https://dxdy-01.korotkov.co.uk/f/c/4/d/c4dfc9402e76738113210614637a671382.png)
-- некоторая фиксированная точка. В этом случае пространство тоже получается банаховым, но уже не является банаховой алгеброй.
А хотелось бы случай, когда:
- пространство ограничено (+ локально-компактное, сепарабельное, сигма-компактное);
- функции включают неогранченные;
- получается банахова алгебра [или хотя бы алгебра + банахово пространство; или плотное в
![$C(X)$ $C(X)$](https://dxdy-01.korotkov.co.uk/f/4/e/b/4ebfb349e2588f8f9cdd6a1039be217a82.png)
+ банахово пространство].
p.s. Имеет ли смысл копать в сторону нормы наподобие
![$$||f||^\Sigma = \sum_{i}2^{-i}||f||_{\alpha, K_i}, \qquadd \hbox{\rm где}\quad ||f||_{\alpha, K_i} - \hbox{\rm норма сужения на компакт}K_i $$ $$||f||^\Sigma = \sum_{i}2^{-i}||f||_{\alpha, K_i}, \qquadd \hbox{\rm где}\quad ||f||_{\alpha, K_i} - \hbox{\rm норма сужения на компакт}K_i $$](https://dxdy-02.korotkov.co.uk/f/1/f/f/1ff2770fa754dd90809c899c2a0ef46482.png)
(в предположении, что
![$X = \cup_i K_i$ $X = \cup_i K_i$](https://dxdy-03.korotkov.co.uk/f/e/8/7/e87eea2e1fa64ef94ad935e581c6deff82.png)
)?