Банаховы пространства
[84/32%]Проверьте, что каждая из заявленных метрик в примере 6.2 действительно является метрикой.
Докажите, что каждое конечное подмножество метрического пространства замкнуто.
Докажите, что каждый замкнутый шар в метрическом пространстве замкнут.
Пусть — метрическое пространство.
Докажите, что объединение любой совокупности открытых подмножеств является открытым подмножеством .
Докажите, что пересечение любой конечной совокупности открытых подмножеств является открытым подмножеством .
Пусть — метрическое пространство.
Докажите, что пересечение любой совокупности замкнутых подмножеств является замкнутым подмножеством .
Докажите, что объединение любой конечной совокупности замкнутых подмножеств является замкнутым подмножеством .
Докажите, что если — метрическое пространство, и , то .
Приведите пример метрического пространства , точки и , таких что .
Покажите, что каждая последовательность в метрическом пространстве имеет не более одного предела.
Докажите 6.9.
Докажите, что каждое открытое подмножество метрического пространства является объединением некоторой последовательности замкнутых подмножеств .
Докажите или приведите контрпример: если — метрическое пространство и — подмножества , то .
Докажите или приведите контрпример: если — метрическое пространство и — подмножества , то .
Пусть и — метрические пространства. Пусть также и — непрерывные функции.
Используя определение непрерывности, покажите, что непрерывна.
Используя эквивалентность 6.11(a) и 6.11(b), покажите, что непрерывна.
Используя эквивалентность 6.11(a) и 6.11(c), покажите, что непрерывна.
Докажите те части 6.11, которые не были доказаны в тексте.
Пусть последовательность Коши в метрическом пространстве имеет сходящуюся подпоследовательность. Докажите, что эта последовательность Коши сходится.
Проверьте, что все пять метрических пространств из примера 6.2 являются полными метрическими пространствами.
Пусть — метрическое пространство. Пусть обозначает множество всех последовательностей Коши элементов .
Для и из определим , означающее, что
Покажите, что является отношением эквивалентности на .
Пусть обозначает множество классов эквивалентности элементов по указанному выше отношению эквивалентности. Для пусть обозначает класс эквивалентности . Определим как
Покажите, что это определение корректно и что является метрикой на .
Покажите, что является полным метрическим пространством.
Покажите, что отображение из в , переводящее в , сохраняет расстояния, то есть что
для всех .
Объясните, почему из (d) следует, что каждое метрическое пространство является подмножеством некоторого полного метрического пространства.
Покажите, что если и , то
Пусть . Докажите, что
Пусть . Докажите, что .
Пусть . Докажите, что и .
Пусть — измеримое пространство и — комплекснозначная функция. В условиях (b) и (c) ниже отождествим с . Докажите, что следующие условия эквивалентны:
является -измеримой.
для каждого открытого множества в .
для каждого борелевского множества .
Пусть — измеримое пространство и являются -измеримыми. Докажите, что
, и являются -измеримыми функциями;
если для всех , то является -измеримой функцией.
Пусть — измеримое пространство и — последовательность -измеримых функций из в . Пусть существует для каждого . Определим как
Докажите, что является -измеримой функцией.
Пусть — пространство с мерой и — -измеримая функция, такая что . Докажите, что если , то
Пусть — векторное пространство. Покажите, что пересечение любой совокупности подпространств является подпространством .
Пусть и — векторные пространства. Определим как
Определим сложение и умножение на скаляр на как
Докажите, что является векторным пространством с этими операциями.
Покажите, что отображение из нормированного векторного пространства в непрерывно (норма на — это обычный модуль).
Докажите, что если — нормированное векторное пространство, и , то
Покажите, что функции, определённые в последних двух пунктах примера 6.35, не являются нормами.
Докажите, что каждая последовательность Коши в нормированном векторном пространстве ограничена (это означает, что существует вещественное число, большее нормы каждого элемента этой последовательности).
Покажите, что если , то является банаховым пространством с каждой из двух норм, использованных в первом пункте примера 6.34.
Пусть — непустое множество, а — векторное пространство ограниченных функций из в . Докажите, что если норма на определена как , то является банаховым пространством.
Покажите, что с нормой, определённой как , не является банаховым пространством.
Покажите, что с нормой, определённой как , является банаховым пространством.
Покажите, что векторное пространство непрерывных функций из в с нормой, определённой как , не является банаховым пространством.
Пусть — подпространство нормированного векторного пространства , такое что некоторый открытый шар в содержится в . Докажите, что .
Докажите, что единственные подмножества нормированного векторного пространства , одновременно открытые и замкнутые, — это и .
Пусть — нормированное векторное пространство. Докажите, что замыкание каждого подпространства пространства является подпространством .
Пусть — нормированное векторное пространство. Пусть — метрика на , определённая как для . Пусть — полное метрическое пространство, построенное в упражнении 16 раздела 6A.
Покажите, что множество является векторным пространством относительно естественных операций сложения и умножения на скаляр.
Покажите, что существует естественный способ превратить в нормированное векторное пространство и что с этой нормой является банаховым пространством.
Объясните, почему из пункта (b) следует, что каждое нормированное векторное пространство является подпространством некоторого банахова пространства.
Пусть — подпространство нормированного векторного пространства . Пусть также — банахово пространство, а — ограниченный линейный оператор.
Докажите, что существует единственная непрерывная функция , такая что
Докажите, что функция из пункта (a) является ограниченным линейным оператором из в и .
Приведите пример, показывающий, что пункт (a) может не выполняться, если предположение о том, что — банахово пространство, заменить предположением о том, что — нормированное векторное пространство.
Для читателей, знакомых с фактор-пространством векторного пространства по подпространству: Пусть — нормированное векторное пространство, а — подпространство . Определим норму на как
Докажите, что является нормой на тогда и только тогда, когда — замкнутое подпространство .
Докажите, что если — банахово пространство, а — замкнутое подпространство , то (с нормой, определённой выше) является банаховым пространством.
Докажите, что если — банахово пространство (с нормой, унаследованной от ) и — банахово пространство (с нормой, определённой выше), то — банахово пространство.
Пусть и — нормированные векторные пространства с , а — линейный оператор.
Покажите, что .
Покажите, что .
Покажите, что .
Покажите, что .
Пусть и — нормированные векторные пространства, а и — линейные отображения. Докажите, что .
Пусть и — нормированные векторные пространства, а — линейный оператор. Докажите, что следующие условия эквивалентны:
(a) ограничен.
(b) Существует , такой что непрерывен в точке .
(c) равномерно непрерывен (это означает, что для каждого существует , такое что для всех с ).
(d) — открытое подмножество для некоторого .
Пусть — нормированное векторное пространство, а — линейный функционал на . Пусть . Докажите, что следующие условия эквивалентны:
(a) — ограниченный линейный функционал.
(b) — замкнутое подмножество .
(c) .
Пусть — линейный функционал на векторном пространстве . Докажите, что если — подпространство , такое что , то или .
Пусть и — линейные функционалы на одном и том же векторном пространстве. Докажите, что
тогда и только тогда, когда существует , такой что .
Пусть , а — нормированное векторное пространство. Докажите, что каждое линейное отображение из в непрерывно.
Пусть , — нормированное векторное пространство, а — линейное отображение, инъективное и сюръективное на .
Покажите, что
Докажите, что является ограниченным линейным оператором.
Пусть .
Докажите, что все нормы на имеют одни и те же сходящиеся последовательности, одни и те же открытые множества и одни и те же замкнутые множества.
Докажите, что относительно любой нормы является банаховым пространством.
Пусть и — нормированные векторные пространства, причём конечномерно. Докажите, что каждое линейное отображение из в непрерывно.
Докажите, что каждое конечномерное нормированное векторное пространство является банаховым пространством.
Докажите, что каждое конечномерное подпространство любого нормированного векторного пространства замкнуто.
Приведите конкретный пример бесконечномерного нормированного векторного пространства и базиса этого пространства.
Покажите, что семейство подмножеств удовлетворяет условию леммы Цорна (6.60).
Докажите, что каждое линейно независимое семейство в векторном пространстве можно дополнить до базиса этого векторного пространства.
Пусть — нормированное векторное пространство, — подпространство , а — ограниченный линейный функционал. Докажите, что имеет единственное продолжение до ограниченного линейного функционала на с тогда и только тогда, когда
для каждого .
Покажите, что существует линейный функционал , такой что
для всех и
для всех , для которых предел, стоящий справа, существует.
Пусть — открытый шар в нормированном векторном пространстве , такой что . Докажите, что существует , такой что
для всех .
Покажите, что сопряжённое пространство каждого бесконечномерного нормированного векторного пространства бесконечномерно.
Пусть — сепарабельное нормированное векторное пространство. Объясните, как теорему Хана–Банаха (6.69) для можно доказать, не используя никаких результатов (таких как лемма Цорна), зависящих от аксиомы выбора.
Пусть — нормированное векторное пространство, такое что сопряжённое пространство является сепарабельным банаховым пространством. Докажите, что сепарабельно.
Докажите, что сопряжённое пространство банахова пространства не сепарабельно; здесь норма на определена как .
Определим как
для и . Покажите, что для каждого .
Отображение , определённое выше, называется канонической изометрией в .
Пусть — бесконечномерное нормированное векторное пространство. Покажите, что существует выпуклое подмножество пространства , такое что и такое что дополнение также является выпуклым подмножеством с .
Определение выпуклого множества см. в 8.25. Это упражнение должно расширить вашу геометрическую интуицию, поскольку такое поведение невозможно в конечномерном случае.
Пусть — подмножество метрического пространства . Покажите, что плотно в тогда и только тогда, когда каждое непустое открытое подмножество содержит хотя бы один элемент .
Пусть — подмножество метрического пространства . Покажите, что внутренность пуста тогда и только тогда, когда плотно в .
Докажите или приведите контрпример: если — метрическое пространство, а — подмножества , то .
Докажите или приведите контрпример: если — метрическое пространство, а — подмножества , то .
Пусть
и для .
Покажите, что — полное метрическое пространство.
Каждое множество вида для является замкнутым подмножеством с пустой внутренностью как подмножество . Очевидно, является счётным объединением таких множеств. Объясните, почему это не противоречит утверждению теоремы Бэра о том, что полное метрическое пространство не является счётным объединением замкнутых подмножеств с пустой внутренностью.
Приведите пример метрического пространства, являющегося счётным объединением замкнутых подмножеств с пустой внутренностью.
Это упражнение показывает, что предположение о полноте в теореме Бэра не может быть отброшено.
Определим следующим образом:
В каких точках функция непрерывна?
Покажите, что не существует счётного набора открытых подмножеств , пересечение которых равно .
Покажите, что не существует функции такой, что непрерывна в каждой точке и разрывна в каждой точке .
Пусть — полное метрическое пространство, а — последовательность плотных открытых подмножеств . Докажите, что является плотным подмножеством .
Докажите, что не существует бесконечномерного банахова пространства со счётным базисом.
Это упражнение показывает, например, что не существует нормы, превращающей векторное пространство многочленов с коэффициентами в в банахово пространство.
Приведите пример банахова пространства , нормированного векторного пространства , ограниченного линейного отображения пространства на и открытого подмножества пространства таких, что не является открытым подмножеством .
Это упражнение показывает, что предположение в теореме об открытом отображении о том, что — банахово пространство, не может быть ослаблено до предположения, что — нормированное векторное пространство.
Покажите, что существуют нормированное векторное пространство , банахово пространство , ограниченное линейное отображение пространства на и открытое подмножество пространства такие, что не является открытым подмножеством .
Это упражнение показывает, что предположение в теореме об открытом отображении о том, что — банахово пространство, не может быть ослаблено до предположения, что — нормированное векторное пространство.
Пусть — ограниченное линейное отображение из банахова пространства в банахово пространство . Докажите, что ограничено снизу тогда и только тогда, когда инъективно, а образ является замкнутым подпространством .
Приведите пример банахова пространства , нормированного векторного пространства и взаимно однозначного ограниченного линейного отображения пространства на такого, что не является ограниченным линейным отображением на .
Это упражнение показывает, что предположение в теореме об ограниченности обратного отображения (6.83) о том, что — банахово пространство, не может быть ослаблено до предположения, что — нормированное векторное пространство.
Покажите, что существуют нормированное пространство , банахово пространство и взаимно однозначное ограниченное линейное отображение пространства на такое, что не является ограниченным линейным отображением на .
Это упражнение показывает, что предположение в теореме об ограниченности обратного отображения (6.83) о том, что — банахово пространство, не может быть ослаблено до предположения, что — нормированное векторное пространство.
Докажите 6.84.
Пусть — банахово пространство с нормой , а — линейный функционал. Определим другую норму на формулой
Докажите, что если — банахово пространство с нормой , то является непрерывным линейным функционалом на (с исходной нормой).
Пусть — банахово пространство, — нормированное векторное пространство, а — последовательность ограниченных линейных отображений из в такая, что существует для каждого . Определим формулой
для . Докажите, что — ограниченное линейное отображение из в .
Этот результат утверждает, что поточечный предел последовательности ограниченных линейных отображений на банаховом пространстве является ограниченным линейным отображением.
Пусть — нормированное векторное пространство, а — подмножество такое, что
для каждого . Докажите, что
Пусть — линейное отображение из банахова пространства в банахово пространство такое, что
Докажите, что — ограниченное линейное отображение.