Пусть
-
ограниченное метрическое пространство. Рассмотрим на нем функции
, для которых конечна величина:
Тогда известно, что множество таких функций с нормой
образуют банахову алгебру.
Как видно, эти функции автоматически получаются ограниченными. Существует ли какой-нибудь близкий аналог для неограниченных функций (но пространство все же ограничено)?
Я нашел случай, когда допускается, что
неограничено + локально компактное сепарабельное, и тогда можно вводить норму
где
-- некоторая фиксированная точка. В этом случае пространство тоже получается банаховым, но уже не является банаховой алгеброй.
А хотелось бы случай, когда:
- пространство ограничено (+ локально-компактное, сепарабельное, сигма-компактное);
- функции включают неогранченные;
- получается банахова алгебра [или хотя бы алгебра + банахово пространство; или плотное в
+ банахово пространство].
p.s. Имеет ли смысл копать в сторону нормы наподобие
(в предположении, что
)?