Линейные функционалы
[21/52%]Пусть — нормированное векторное пространство, а — линейный функционал на . Пусть . Докажите, что следующие условия эквивалентны:
-
— ограниченный линейный функционал.
-
— замкнутое подмножество .
-
.
Пусть — линейный функционал на векторном пространстве . Докажите, что если — подпространство , такое что , то или .
Пусть и — линейные функционалы на одном и том же векторном пространстве. Докажите, что
тогда и только тогда, когда существует , такой что .
В этом и следующем упражнении наделяется нормой , определённой в примере 6.34.
Пусть , а — нормированное векторное пространство. Докажите, что каждое линейное отображение из в непрерывно.
В этом упражнении, как и в предыдущем, наделяется нормой , определённой в примере 6.34.
Пусть , — нормированное векторное пространство, а — линейное отображение, инъективное и сюръективное на .
Покажите, что
Докажите, что является ограниченным линейным оператором.
Пусть .
Докажите, что все нормы на имеют одни и те же сходящиеся последовательности, одни и те же открытые множества и одни и те же замкнутые множества.
Докажите, что относительно любой нормы является банаховым пространством.
Пусть и — нормированные векторные пространства, причём конечномерно. Докажите, что каждое линейное отображение из в непрерывно.
Докажите, что каждое конечномерное нормированное векторное пространство является банаховым пространством.
Докажите, что каждое конечномерное подпространство любого нормированного векторного пространства замкнуто.
Приведите конкретный пример бесконечномерного нормированного векторного пространства и базиса этого пространства.
Покажите, что семейство подмножеств удовлетворяет условию леммы Цорна (6.60).
6.60 (лемма Цорна): Пусть — множество, а — семейство подмножеств , обладающее свойством, что объединение всех множеств из принадлежит для каждой цепи . Тогда содержит максимальный элемент.
Докажите, что каждое линейно независимое семейство в векторном пространстве можно дополнить до базиса этого векторного пространства.
Пусть — нормированное векторное пространство, — подпространство , а — ограниченный линейный функционал. Докажите, что имеет единственное продолжение до ограниченного линейного функционала на с тогда и только тогда, когда
для каждого .
Покажите, что существует линейный функционал , такой что
для всех и
для всех , для которых предел, стоящий справа, существует.
Пусть — открытый шар в нормированном векторном пространстве , такой что . Докажите, что существует , такой что
для всех .
Покажите, что сопряжённое пространство каждого бесконечномерного нормированного векторного пространства бесконечномерно.
Нормированное векторное пространство называется сепарабельным, если оно содержит счётное подмножество, замыкание которого равно всему пространству.
Пусть — сепарабельное нормированное векторное пространство. Объясните, как теорему Хана–Банаха (6.69) для можно доказать, не используя никаких результатов (таких как лемма Цорна), зависящих от аксиомы выбора.
Нормированное векторное пространство называется сепарабельным, если оно содержит счётное подмножество, замыкание которого равно всему пространству.
Пусть — нормированное векторное пространство, такое что сопряжённое пространство является сепарабельным банаховым пространством. Докажите, что сепарабельно.
Нормированное векторное пространство называется сепарабельным, если оно содержит счётное подмножество, замыкание которого равно всему пространству.
Докажите, что сопряжённое пространство банахова пространства не сепарабельно; здесь норма на определена как .
Вторым сопряжённым пространством нормированного векторного пространства называется сопряжённое пространство к сопряжённому пространству. Если — нормированное векторное пространство, то второе сопряжённое пространство обозначается через ; таким образом, . Норма на определяется как норма, которую оно получает как сопряжённое пространство к .
Определим как
для и . Покажите, что для каждого .
Отображение , определённое выше, называется канонической изометрией в .
Пусть — бесконечномерное нормированное векторное пространство. Покажите, что существует выпуклое подмножество пространства , такое что и такое что дополнение также является выпуклым подмножеством с .
Определение выпуклого множества см. в 8.25: подмножество векторного пространства называется выпуклым, если для всех и всех (то есть содержит отрезок, соединяющий каждую пару своих точек). Это упражнение должно расширить вашу геометрическую интуицию, поскольку такое поведение невозможно в конечномерном случае.