В тринадцатой лекции курса MIT «Математический анализ» профессор Тобиас Колдинг (Tobias Colding) продолжает исследование топологической структуры метрических пространств. В центре внимания — фундаментальные свойства открытых и замкнутых множеств, а также концепция компактности, которая играет ключевую роль в анализе, позволяя переходить от бесконечных покрытий к конечным.
🟢 Открытые множества и операции над ними 0:14
Профессор Колдинг начинает с напоминания определения открытого подмножества в метрическом пространстве $(x, d)$. Множество $O$ называется открытым, если для любой его точки $x$ найдется такой радиус $r > 0$, что открытый шар $B_r(x)$ целиком содержится в $O$. Шар определяется как совокупность всех точек $y$, расстояние от которых до центра $x$ строго меньше $r$.
Математик выделяет три основные операции над подмножествами:
- Пересечение: элемент принадлежит пересечению семейства множеств, если он входит в каждое из них.
- Объединение: элемент принадлежит объединению, если он содержится хотя бы в одном множестве семейства.
- Дополнение: совокупность всех точек пространства, не входящих в данное подмножество.
Важнейшим свойством открытых множеств является их устойчивость к операциям:
- Произвольное объединение: Любое (даже бесконечное) объединение открытых множеств всегда остается открытым. Это объясняется тем, что если точка попадает в объединение, она попадает в конкретное открытое множество, где у неё есть «защитный» шар, который автоматически оказывается внутри всего объединения.
- Конечное пересечение: Пересечение только конечного числа открытых множеств гарантированно открыто. В этом случае для точки выбирается минимальный из радиусов шаров, соответствующих каждому множеству, что позволяет «уместиться» в их общее пересечение.
Профессор Колдинг особо подчеркивает, что бесконечное пересечение открытых множеств может не быть открытым. В качестве примера он приводит последовательность интервалов $(-1/n, 1/n)$ на числовой прямой: их пересечение по всем натуральным $n$ дает единственную точку ${0}$, которая не является открытым множеством.
🔴 Замкнутые множества: дополнения и пределы 23:09
Определение замкнутого множества вводится через понятие открытости: подмножество $C$ называется замкнутым, если его дополнение является открытым. Колдинг отмечает любопытный факт: пустое множество и само пространство $X$ являются одновременно и открытыми, и замкнутыми.
Однако для практической работы и доказательств гораздо удобнее использовать «последовательный» критерий замкнутости. Согласно теореме, множество $C$ замкнуто тогда и только тогда, когда для любой сходящейся последовательности точек из $C$ её предел также принадлежит $C$.
По словам Колдинга, этот критерий может показаться бесполезным для проверки конкретных примеров вручную, но он незаменим в теоретических выкладках. Доказательство строится на методе от противного: если предел последовательности лежит вне замкнутого множества (в его открытом дополнении), то вокруг этого предела должен существовать шар, не содержащий ни одного элемента последовательности, что противоречит самому определению сходимости.
Ключевые свойства замкнутых множеств (согласно законам Де Моргана):
- Любое пересечение замкнутых множеств замкнуто.
- Только конечное объединение замкнутых множеств гарантированно сохраняет свойство замкнутости.
📦 Компактность: мощный инструмент анализа 44:05
Вводится понятие покрытия: семейство множеств $U_\alpha$ покрывает множество $A$, если их объединение содержит $A$. Если все множества в семействе открыты, покрытие называется открытым.
Множество $A$ называется компактным, если из любого его открытого покрытия можно выделить конечное подпокрытие. Колдинг объясняет, почему это определение так важно: компактность является метрической версией теоремы Больцано — Вейерштрасса. В компактном множестве любая последовательность обязательно имеет сходящуюся подпоследовательность.
Профессор доказывает две фундаментальные теоремы о компактных подмножествах:
- Компактное множество всегда ограничено. Если мы покроем множество шарами единичного радиуса с центрами в каждой его точке, компактность позволит выбрать лишь конечное их число. Объединение конечного числа шаров всегда можно заключить в один большой шар.
- Компактное множество всегда замкнуто. Доказательство также строится через построение специального открытого покрытия, которое «избегает» точки, предположительно являющейся внешним пределом.
📐 Компактность в евклидовом пространстве 1:14:44
В пространствах $\mathbb{R}^n$ (с обычной евклидовой метрикой) ситуация упрощается. Согласно теореме Гейне — Бореля, подмножество компактно тогда и только тогда, когда оно одновременно замкнуто и ограничено. Колдинг предостерегает, что это утверждение не обобщается напрямую на все произвольные метрические пространства, хотя определенные связи сохраняются.
В завершение лекции профессор доказывает еще одно важное свойство: любое замкнутое подмножество компактного множества само является компактным.
Доказательство изящно использует дополнение замкнутого подмножества:
- Пусть $C$ — замкнутое подмножество компактного $A$, и задано открытое покрытие для $C$.
- Добавим к этому покрытию открытое множество $X \setminus C$ (дополнение $C$).
- Теперь это семейство покрывает всё компактное множество $A$, а значит, из него можно выделить конечное подпокрытие.
- Поскольку добавленное множество $X \setminus C$ не содержит точек из $C$, оставшиеся множества из конечного набора по-прежнему покрывают $C$, что и доказывает его компактность.
