Безусловная сходимость рядов в банаховых и гильбертовых пространствах
[15/93%]Для ортонормированной последовательности в гильбертовом пространстве докажите эквивалентность следующих утверждений.
сходится.
сходится безусловно.
.
Предположим, что — условно сходящийся ряд вещественных скаляров, то есть ряд сходится, но не сходится безусловно.
Пусть — последовательность неотрицательных членов в порядке следования, и пусть — последовательность отрицательных членов в порядке следования. Покажите, что оба ряда и должны расходиться.
Для покажите, что существует перестановка множества , такая что сходится и равна .
Покажите, что существует перестановка множества , такая что расходится к , то есть , и другая перестановка , такая что расходится к .
Покажите, что существует перестановка множества , такая что не сходится и не расходится ни к , ни к .
Пусть — нормированное пространство. Докажите эквивалентность следующих двух утверждений.
— банахово пространство.
Каждый абсолютно сходящийся ряд в сходится в . То есть если — последовательность в и , то ряд сходится в .
Для векторов в банаховом пространстве , таких что , покажите, что для любой биекции следующие ряды существуют и равны:
Сравните с теоремой A.34, формулирующей аналогичный результат для рядов скаляров.
Пусть — банахово пространство, и зафиксируем . Для обозначим через обычную -ю степень (, раз), и положим (тождественное отображение на ).
Для данного покажите, что ряд сходится абсолютно в , и покажите, что является линейным оператором на .
Докажите, что ряд сходится абсолютно в и равен оператору , определённому в пункте (a). Заключите, что и .
Докажите, что если и , то .
Пусть — гильбертово пространство. Покажите, что если самосопряжён, то унитарен.
Пусть — (возможно, несепарабельное) гильбертово пространство, и пусть — (возможно, несчётное) множество индексов. Покажите, что если — ортонормированное множество в , то выполняются следующие утверждения.
Если , то не более чем для счётного числа .
Для каждого .
Для каждого ряд сходится относительно сети конечных подмножеств , и является ортогональной проекцией на .
Пусть — (возможно, несепарабельное) гильбертово пространство, и пусть — множество индексов. Для ортонормированного множества в докажите, что следующие утверждения эквивалентны.
полно.
Для каждого имеем , где ряд сходится относительно сети конечных подмножеств .
Для каждого .
Пусть — последовательность в банаховом пространстве . Зафиксируем и предположим, что для каждого . Докажите следующие утверждения об операторе , который называется оператором анализа, ассоциированным с . Эти факты пригодятся нам в главах 7 и 8.
ограничен и линеен.
Если , то ряд сходится безусловно для каждого , и оператор синтеза является ограниченным отображением в .
Если и , то ряд сходится слабо, т.е. сходится для каждого . Однако не обязательно сходится по норме .
Если , то .
Если и рефлексивно, то .
Пусть , и пусть — последовательность стандартных базисных векторов (которая содержится в , но не образует для него базис). Покажите, что , но не сходится в .
Приведите последовательность в сепарабельном банаховом пространстве , такую что , и конечны, но не сходится.
Предположим, что — последовательность в гильбертовом пространстве , ограниченная сверху и снизу по норме. Покажите, что если сходится безусловно, то . Верно ли обратное?
Докажите лемму 3.26 для случая комплексных скаляров.
Докажите теорему 3.28.
Докажите следующий вариант теоремы Орлича для случая : если сходится безусловно в , то .
Пусть — конечномерное нормированное пространство. Покажите, что ряд в сходится безусловно тогда и только тогда, когда он сходится абсолютно.
Пусть . Покажите, что является банаховой решёткой относительно упорядочения , заданного в уравнении (3.13). Также покажите, что , и — обычное абсолютное значение .
Замечание Ещё один пример банаховой решётки приведён в упражнении 6.6.