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