Открытые, замкнутые и компактные множества; теоремы Гейне–Бореля и Асколи–Арцела
[15/0%]Докажите теорему 2.1.
Теорема 2.1: Множество в метрическом пространстве открыто тогда и только тогда, когда его дополнение замкнуто.
Докажите теорему 2.2.
Теорема 2.2:
-
Для любого семейства открытых множеств открыто.
-
Для любого семейства замкнутых множеств замкнуто.
-
Для любого конечного семейства открытых множеств открыто.
-
Для любого конечного семейства замкнутых множеств замкнуто.
Приведите примеры, показывающие, что слово «конечное» нельзя опустить в двух последних частях теоремы 2.2.
Теорема 2.2: (a) Для любого семейства открытых множеств открыто. (b) Для любого семейства замкнутых множеств замкнуто. (c) Для любого конечного семейства открытых множеств открыто. (d) Для любого конечного семейства замкнутых множеств замкнуто.
Докажите теорему 2.3. Помните, что ваше доказательство должно быть проведено в общем метрическом пространстве.
Теорема 2.3: Если — компактное подмножество метрического пространства, то замкнуто.
Рассмотрим с евклидовой метрикой. Является ли открытым, замкнутым, ни тем ни другим, или и тем и другим одновременно? Объясните. (Вас может удивить, что множество может быть ни открытым, ни замкнутым, либо и тем и другим сразу (открыто-замкнутое множество). В оставшейся части этого набора упражнений вам встретятся примеры таких множеств.)
Рассмотрим с евклидовой метрикой. Является ли открытым, замкнутым, ни тем ни другим, или и тем и другим? Объясните.
Верно ли, что int ? Докажите или приведите контрпример. Что если объединение заменить пересечением?
Пусть — произвольное множество с дискретной метрикой. Какие множества являются открытыми?
Рассмотрим с евклидовой метрикой.
Найдите множество предельных точек .
Найдите множество предельных точек .
Приведите пример замкнутого и ограниченного множества в метрическом пространстве, которое не является компактным.
Рассмотрим с евклидовой метрикой. Приведите открытое покрытие , не имеющее конечного подпокрытия.
Это упражнение посвящено знаменитому множеству, введённому Георгом Кантором. Если вы не знаете определения канторова множества, найдите его в учебнике по вещественному анализу или спросите у своего преподавателя ссылку на источник.
Является ли канторово множество компактным? Объясните.
Что представляет собой внутренность канторова множества? Объясните.
Докажите, что вполне ограниченное множество обязательно ограничено. Затем, используя дискретную метрику на произвольном множестве по вашему выбору, покажите, что ограниченное множество не обязано быть вполне ограниченным.
Покажите, что замкнутый единичный шар в не компактен, показав, что он не является секвенциально компактным. То есть постройте последовательность функций с нормой не больше единицы, не имеющую сходящейся подпоследовательности.
Покажите, что замкнутый единичный шар в (соответственно в ) не компактен.
Покажите, что замкнутый единичный шар в любом бесконечномерном пространстве не компактен.
Покажите, что если — метрическое пространство, компактно, а открыто, то компактно.
Рассмотрим метрические пространства и .
Докажите, что функция непрерывна тогда и только тогда, когда прообраз каждого открытого множества в открыт в .
Предположим, что компактно и непрерывна. Покажите, что является ограниченным подмножеством .