Следствия теоремы Бэра
[19/32%]Пусть — подмножество метрического пространства . Покажите, что плотно в тогда и только тогда, когда каждое непустое открытое подмножество содержит хотя бы один элемент .
Пусть — подмножество метрического пространства . Покажите, что внутренность пуста тогда и только тогда, когда плотно в .
Докажите или приведите контрпример: если — метрическое пространство, а — подмножества , то .
Докажите или приведите контрпример: если — метрическое пространство, а — подмножества , то .
Пусть
и для .
Покажите, что — полное метрическое пространство.
Каждое множество вида для является замкнутым подмножеством с пустой внутренностью как подмножество . Очевидно, является счётным объединением таких множеств. Объясните, почему это не противоречит утверждению теоремы Бэра о том, что полное метрическое пространство не является счётным объединением замкнутых подмножеств с пустой внутренностью.
Приведите пример метрического пространства, являющегося счётным объединением замкнутых подмножеств с пустой внутренностью.
Это упражнение показывает, что предположение о полноте в теореме Бэра не может быть отброшено.
Определим следующим образом:
В каких точках функция непрерывна?
Покажите, что не существует счётного набора открытых подмножеств , пересечение которых равно .
Покажите, что не существует функции такой, что непрерывна в каждой точке и разрывна в каждой точке .
Пусть — полное метрическое пространство, а — последовательность плотных открытых подмножеств . Докажите, что является плотным подмножеством .
Докажите, что не существует бесконечномерного банахова пространства со счётным базисом.
Это упражнение показывает, например, что не существует нормы, превращающей векторное пространство многочленов с коэффициентами в в банахово пространство.
Приведите пример банахова пространства , нормированного векторного пространства , ограниченного линейного отображения пространства на и открытого подмножества пространства таких, что не является открытым подмножеством .
Это упражнение показывает, что предположение в теореме об открытом отображении о том, что — банахово пространство, не может быть ослаблено до предположения, что — нормированное векторное пространство.
Покажите, что существуют нормированное векторное пространство , банахово пространство , ограниченное линейное отображение пространства на и открытое подмножество пространства такие, что не является открытым подмножеством .
Это упражнение показывает, что предположение в теореме об открытом отображении о том, что — банахово пространство, не может быть ослаблено до предположения, что — нормированное векторное пространство.
Линейное отображение из нормированного векторного пространства в нормированное векторное пространство называется ограниченным снизу, если существует такое, что для всех .
Пусть — ограниченное линейное отображение из банахова пространства в банахово пространство . Докажите, что ограничено снизу тогда и только тогда, когда инъективно, а образ является замкнутым подпространством .
Приведите пример банахова пространства , нормированного векторного пространства и взаимно однозначного ограниченного линейного отображения пространства на такого, что не является ограниченным линейным отображением на .
Это упражнение показывает, что предположение в теореме об ограниченности обратного отображения (6.83) о том, что — банахово пространство, не может быть ослаблено до предположения, что — нормированное векторное пространство.
Покажите, что существуют нормированное пространство , банахово пространство и взаимно однозначное ограниченное линейное отображение пространства на такое, что не является ограниченным линейным отображением на .
Это упражнение показывает, что предположение в теореме об ограниченности обратного отображения (6.83) о том, что — банахово пространство, не может быть ослаблено до предположения, что — нормированное векторное пространство.
Докажите 6.84.
6.84 (произведение банаховых пространств): Пусть и — банаховы пространства. Тогда является банаховым пространством, если задать норму формулой для и . С этой нормой последовательность в сходится к тогда и только тогда, когда и .
Пусть — банахово пространство с нормой , а — линейный функционал. Определим другую норму на формулой
Докажите, что если — банахово пространство с нормой , то является непрерывным линейным функционалом на (с исходной нормой).
Пусть — банахово пространство, — нормированное векторное пространство, а — последовательность ограниченных линейных отображений из в такая, что существует для каждого . Определим формулой
для . Докажите, что — ограниченное линейное отображение из в .
Этот результат утверждает, что поточечный предел последовательности ограниченных линейных отображений на банаховом пространстве является ограниченным линейным отображением.
Пусть — нормированное векторное пространство, а — подмножество такое, что
для каждого . Докажите, что
Пусть — линейное отображение из банахова пространства в банахово пространство такое, что
Докажите, что — ограниченное линейное отображение.