(Предыдущая серия - здесь:
http://dxdy.ru/viewtopic.php?t=14201)
Смотрите какую я штуку придумал.
Пусть
,
и
(действительные или, если это будет существенно, комплексные) нормированные пространства, пусть даже
и
банаховы,
совместно непрервывное билинейное отображение. То есть
.
Каждому вектору
соответствует оператор
,
. При этом, очевидно,
.
Объявим
. Правда, это уже лишь
преднорма.
Дальше начинаются интересующие меня вопросы. Много. Я их здесь пишу, еще даже не подумав - скорее, чтобы все не забыть
Есть ли наглядные критерии:
1. В каких случаях отображение
останется совместно непрерывным?
Если оно осталось, заменим
на
и проделаем с ней ту же процедуру. Получим преднорму
. Потом, если повезет, норму
, и т.д. Константа
каждый раз будет разной.
2. В каких случаях эта последовательность
а) "обрывается"? (то есть относительно некоторой нормы
уже не будет непрерывным)
б) "стабилизируется"? (то есть следующая норма будет равна или топологически эквивалентна предыдущей)
Кстати, интересно понять, вот если две нормы топологически эквивалентны, то будут ли соответствующие операторные нормы топологически эквивалентны? Но это я уж сам постараюсь сообразить.
в) сойдется к преднорме, относительно которой
по-прежнему непрерывно (чтобы дальше бесконечности можно было пойти?)
г) содержит норму, относительно которой пространство
будет банаховым (интересно, а следует ли из этого, что все следующие пространства будут банаховыми? или эквивалентными самому первому банаховому?)
Кто-нибудь что-нибудь такое видел?