Компактность является одним из центральных понятий математического анализа, определяющим поведение последовательностей в абстрактных пространствах. В лекции Института точных наук MIT профессор Тобиас Колдинг исследует секвенциальную компактность и доказывает теорему Больцано — Вейерштрасса для метрических пространств. Рассматривая сложные геометрические конструкции и функциональные пространства, автор наглядно объясняет, почему классические правила евклидова пространства перестают работать в более общих условиях.
🗺️ Понятие покрытия и суть компактности 0:00
Математический анализ абстрактных пространств начинается с фундаментальных определений открытости и покрытий. Профессор Тобиас Колдинг дает базовое определение: если задано некоторое метрическое пространство, то покрытием множества $X$ называют систему подмножеств, объединение которых полностью содержит в себе $X$. Аналогично формулируется определение и для подмножества $A$: семейство множеств образует покрытие, если $A$ лежит внутри их объединения. Среди всего многообразия покрытий особое значение имеют открытые покрытия, состоящие исключительно из открытых подмножеств.
На основе этого строится определение компактности, которое является ключевым для понимания структуры метрических пространств. Множество $A$ называется компактным, если из любого его открытого покрытия можно выделить конечное подпокрытие. В качестве отправной точки Колдинг напоминает теорему, доказанную на предыдущем занятии:
- Любое компактное подмножество $A$ в метрическом пространстве обязательно является ограниченным и замкнутым.
Замкнутость в данном случае означает, что дополнение множества является открытым, а ограниченность гарантирует, что всё множество целиком можно поместить внутрь открытого шара некоторого достаточно большого радиуса.
🛑 Когда замкнутости и ограниченности недостаточно: Контрпримеры 3:49
В привычном евклидовом пространстве $\mathbb{R}^n$ со стандартной метрикой ограниченность и замкнутость автоматически гарантируют компактность множества. Однако в общем случае метрических пространств это утверждение неверно, что профессор Колдинг демонстрирует на двух примерах.
Первый, относительно тривиальный контрпример строится на интервале от $0$ до $1$ с обычной евклидовой метрикой, где расстояние определяется как модуль разности двух чисел. Если рассматривать этот интервал как самостоятельное метрическое пространство $X$, то по определению оно является замкнутым и ограниченным. Тем не менее, этот интервал некомпактен. Его можно представить в виде бесконечного объединения открытых интервалов вида $(1/n, 1)$ для всех положительных целых чисел $n$. Если попытаться взять лишь конечное число таких интервалов, мы никогда не сможем дойти до нуля, а значит, выделить конечное подпокрытие невозможно.
Гораздо более глубокий и содержательный пример связан с бесконечномерными пространствами, а именно с пространством непрерывных функций на единичном отрезке $C([0,1])$. В качестве метрики здесь используется максимум модуля разности функций на интервале. Колдинг предлагает рассмотреть замкнутый единичный шар в этом пространстве — множество функций, расстояние от которых до константной функции $0$ не превышает единицы. Данный шар замкнут и ограничен. Но он не является компактным.
Для доказательства профессор строит последовательность непрерывных функций $f_n$ по следующим правилам:
- Функция принимает значение $1$ на промежутке от $0$ до $1/(n+1)$.
- Функция линейно убывает до $0$ на отрезке от $1/(n+1)$ до $1/n$.
- Функция строго равна $0$ на промежутке от $1/n$ до $1$.
Графики этих функций наглядно иллюстрируют процесс «сжатия» единичного импульса к нулевой отметке. При вычислении расстояния между любой функцией $f_n$ и следующей за ней $f_{n+1}$ выясняется важная деталь: в точке $1/(n+1)$ значение первой функции равно $1$, а второй — уже $0$. Таким образом, максимальное расстояние между любыми двумя элементами этой последовательности всегда строго равно единице.
Если теперь построить вокруг каждого элемента $f_n$ открытые шары радиуса $1/2$, они окажутся абсолютно изолированными друг от друга. Ни один элемент $f_{n+1}$ не сможет попасть в шар вокруг $f_n$. Поскольку исходное множество можно покрыть объединением таких полурадиусных шаров, взятых во всех возможных точках-центрах, из него физически невозможно выделить конечное подпокрытие — бесконечная последовательность изолированных шаров просто потеряет свои элементы.
📜 Лемма о вложенных множествах и единственной точке 29:57
Для подготовки к доказательству основного утверждения лекции профессор Колдинг вводит и доказывает вспомогательную лемму о системе вложенных подмножеств. Под вложенной последовательностью понимается семейство множеств $C_i$, упорядоченных по индексам таким образом, что каждое последующее множество содержится в предыдущем ($C_{i+1} \subseteq C_i$).
Суть леммы заключается в следующем: если в метрическом пространстве задана вложенная последовательность замкнутых непустых подмножеств $C_i$, содержащихся в компактном множестве $A$, то их общее пересечение гарантированно не будет пустым.
Доказательство строится методом от противного:
- Предположим, что пересечение всех множеств $C_i$ пусто.
- Перейдем к дополнениям этих множеств, обозначив их как $B_i = X \setminus C_i$. Поскольку исходные множества замкнуты, их дополнения являются открытыми.
- Так как пересечение исходных множеств пусто, объединение их дополнений $B_i$ должно покрывать всё пространство, включая компактное множество $A$.
- В силу компактности множества $A$, из открытого покрытия $B_i$ можно выделить конечное подпокрытие.
- Поскольку множества $B_i$ являются расширяющимися (ведь исходные множества $C_i$ сужались), объединение конечного числа таких множеств просто равно наибольшему из них, например $B_n$.
Из этого логически следует, что компакт $A$ целиком содержится в открытом множестве $B_n$, которое является дополнением к $C_n$. Следовательно, пересечение $A$ и $C_n$ должно быть пустым. Но по условию множества $C_n$ изначально выбирались как подмножества $A$, из чего вытекает, что само множество $C_n$ обязано быть пустым. Это напрямую противоречит условию леммы о том, что все множества в последовательности непусты, что и завершает доказательство.
Из данной леммы вытекает важное следствие для замкнутых шаров. Если рассматривать вложенную последовательность замкнутых шаров с радиусами $R_i$ и центрами $x_i$, причем при стремлении индекса к бесконечности радиус $R_i$ стремится к нулю, то пересечение таких шаров состоит ровно из одной уникальной точки.
Каждый замкнутый шар гарантированно не пуст, так как содержит свой собственный центр. Тот факт, что в пересечении есть хотя бы одна точка, напрямую обеспечивается доказанной леммой. Единственность же точки доказывается через метрические свойства: если предположить существование двух разных точек $x$ и $y$ в пересечении, расстояние между ними по неравенству треугольника не должно превышать $2R_i$ для любого $i$. Поскольку $R_i \to 0$, расстояние между точками обязано быть равным нулю, что в метрическом пространстве означает тождественное равенство самих точек.
🎯 Доказательство теоремы Больцано — Вейерштрасса 53:53
В классическом математическом анализе на вещественной прямой теорема Больцано — Вейерштрасса утверждает, что любая ограниченная последовательность содержит сходящуюся подпоследовательность. Профессор Колдинг переносит этот инструмент на общие метрические пространства, формулируя итоговую теорему: если подмножество $A$ компактно, то любая последовательность элементов $x_n$, лежащая в $A$, содержит сходящуюся подпоследовательность.
Поскольку в условиях теоремы нет допущений о полноте пространства в смысле Коши, математику необходимо явным образом сконструировать как саму сходящуюся подпоследовательность, так и точку её предела. Для этого и применяется аппарат вложенных шаров с убывающими радиусами.
Стратегия доказательства, подробно изложенная профессором, состоит из пошагового алгоритма:
- Шаг 1 (Начальный радиус): Задается начальный радиус покрытия, равный единице ($r = 1$). Компактное множество $A$ покрывается открытыми шарами радиуса $1$. Из-за компактности для покрытия достаточно конечного числа таких шаров.
- Шаг 2 (Поиск бесконечного следа): Поскольку элементов в исходной последовательности бесконечно много, а шаров покрытия — конечное число, как минимум в один из шаров попадет бесконечное количество элементов последовательности. Профессор предлагает сфокусироваться именно на этом шаре, выбрав из него первый элемент для будущей подпоследовательности.
- Шаг 3 (Изменение масштаба и вложенность): На следующем этапе радиус уменьшается в четыре раза ($r / 4$). Замкнутое замыкание выделенного шара, пересеченное с компактом $A$, само является компактным множеством. Его снова покрывают конечным числом шаров уже меньшего радиуса, и процедура выбора повторяется: находится шар с бесконечным числом элементов подпоследовательности, и из него выбирается следующий элемент.
В процессе построения возникает техническая сложность: шары меньшего радиуса могут частично выходить за границы исходного большого шара, что нарушает строгое условие вложенности геометрических фигур. Чтобы обойти это препятствие, Тобиас Колдинг применяется изящный математический прием — искусственное удвоение радиусов шаров на каждом шаге.
Если исходный шар имел радиус $1$, то при переходе к следующему этапу радиус нового шара выбирается равным не просто $1/4$, а удваивается до $1/2$. Благодаря неравенству треугольника, такой «раздутый» шар гарантированно поглощает все элементы предыдущего этапа, сохраняя строгую вложенность последовательности множеств.
В результате последовательного применения этого алгоритма формируется строго вложенная цепочка замкнутых компактов, радиусы которых на каждом шаге уменьшаются в четыре раза и стремятся к нулю ($2, 1/2, 1/8 \dots$). Согласно ранее доказанному следствию, пересечение этих множеств дает одну-единственную точку. Эта уникальная точка и является искомым пределом, к которому гарантированно сходится построенная подпоследовательность, что полностью доказывает теорему Больцано — Вейерштрасса для метрических пространств.
