Связность и компактность

Связность и компактность: «неразрывность» и «конечность» в топологии

Связность: нельзя «разорвать» пространство

Связное пространство невозможно разбить на два непустых непересекающихся открытых множества. Формально: X связно, если X = U ∪ V, U ∩ V = ∅, U, V открыты → U = ∅ или V = ∅.

Интуиция: связное пространство «одним куском». Несвязное — «разорвано» на части.

Примеры: ℝ связно; удаление одной точки делает его несвязным: ℝ {0} = (−∞, 0) ∪ (0, +∞). Объединение (0,1) ∪ (2,3) несвязно (явное разбиение на два открытых). Иррациональные числа ℚ^c несвязны как подпространство ℝ. GL(2,ℝ) несвязна: матрицы с det > 0 и det < 0 образуют два разных компонента; SL(2,ℝ) — связна.

Компонента связности: Максимальное связное подмножество. Для несвязного X: X = ⊔_α C_α. Число компонент β₀ — топологический инвариант.

Линейная связность (path-connectedness): Любые две точки можно соединить непрерывным путём. Линейная связность → связность. Обратное неверно: «топологический синус» {(x, sin(1/x)) : x > 0} ∪ {0} × [−1,1] — связен, но не линейно связен.

Теорема о промежуточном значении: Следствие связности ℝ. Если f: [a,b] → ℝ непрерывна и f(a) < 0 < f(b), то ∃c ∈ (a,b): f(c) = 0. Доказательство: образ связного [a,b] — связен в ℝ, то есть интервал → содержит 0.

Компактность: «конечность» без конечности

Компактное пространство X: из любого открытого покрытия X = ∪_α U_α можно выбрать конечное подпокрытие X = U₁ ∪ ... ∪ Uₙ.

Интуиция: компактное пространство «контролируется» конечным числом «кусков». В метрических пространствах это эквивалентно ограниченности и замкнутости (теорема Гейне–Бореля для ℝⁿ).

Теорема Гейне–Бореля: Подмножество ℝⁿ компактно ↔ замкнуто и ограничено.

Секвенциальная компактность: Из любой последовательности можно выбрать сходящуюся подпоследовательность. В метрических пространствах эквивалентна компактности.

Теорема Тихонова: Произведение компактных пространств компактно (в любом произведении, с аксиомой выбора). Важнейший результат, используемый в функциональном анализе.

Следствия компактности

Непрерывный образ компактного компактен: Если f: X → Y непрерывна и X компактно → f(X) компактно. Следствие: непрерывная функция на компакте ограничена.

Экстремальная теорема Вейерштрасса: Непрерывная функция на компактном пространстве достигает min и max. Обобщение теоремы о min/max на замкнутом ограниченном промежутке.

Примеры применения: Сфера S² компактна → любая непрерывная функция S² → ℝ ограничена и достигает экстремумов (полезно в физике: потенциал на замкнутой поверхности). Фазовое пространство (компактное) — используется в статмеханике для корректного определения микроканонического ансамбля.

Локальная компактность и одноточечная компактификация

Локальная компактность: Каждая точка имеет компактную замкнутую окрестность. Примеры: ℝⁿ (шары ограниченного радиуса компактны), гладкие многообразия.

Одноточечная компактификация Александрова: Для локально компактного хаусдорфово X: X* = X ∪ {∞}. Открытые множества в X* — открытые в X плюс дополнения компактов в X. X* компактно хаусдорфово.

Примеры: ℝ* = S¹ (прямая «замкнута» в окружность — стереографическая проекция!). ℝⁿ* = Sⁿ. C* = S² (проективная плоскость Римана / сфера Римана).

Числовой пример: Одноточечная компактификация ℕ = {1, 2, 3, ...}: ℕ* = ℕ ∪ {∞}. Открытое окрестность ∞ = {∞} ∪ {n > N} для любого N. Последовательность 1, 2, 3, ... сходится к ∞ в ℕ*.

Простое число связности (фундаментальная группа)

X просто связно, если π₁(X) = 0 — каждая петля стягивается в точку. Примеры: ℝⁿ (любую петлю стянем к точке), Sⁿ (n ≥ 2), диск D².

Не просто связны: S¹ (π₁ = ℤ — петля вокруг — нельзя стянуть), тор T² (π₁ = ℤ²).

Применение: Классификация электрических цепей: цепь без «петель» (π₁ = 0) имеет единственный потенциал. «Петли» создают возможность нетривиальных циклических токов (закон Кирхгофа).

Связность и компактность в анализе и вариационном исчислении

Компактность и связность — рабочие лошади современного анализа. Теорема Арцела–Асколи о компактности семейства равностепенно непрерывных функций на компакте лежит в основе доказательства существования решений дифференциальных уравнений — через предельный переход в аппроксимирующих последовательностях. В вариационном исчислении существование минимума функционала (например, длины кривой или площади поверхности) гарантируется компактностью допустимого класса функций в подходящей топологии: слабая топология в гильбертовом пространстве делает замкнутые выпуклые множества компактными, что обеспечивает существование минимума даже для бесконечномерных задач. Метод прямого вариационного исчисления Гильберта–Лебега опирается именно на последовательную компактность для извлечения сходящейся подпоследовательности минимизирующих функций. В топологии конечных групп компактность и связность группы Ли определяют структуру её представлений: компактные группы (SO(n), U(n), SU(n)) имеют только конечномерные унитарные неприводимые представления, тогда как некомпактные (GL(n,ℝ), SL(2,ℝ)) допускают бесконечномерные.

Компактность и полнота в вычислительных методах

Компактность и полнота — ключевые свойства для обоснования численных методов. Теорема Тихонова (произведение компактных пространств компактно) лежит в основе существования решений вариационных задач в функциональных пространствах: существование минимума функционала над компактным множеством гарантирует сходимость методов конечных элементов. В теории оптимального управления теорема Филиппова о существовании оптимального управления использует компактность допустимого множества состояний и управлений. В машинном обучении компактность пространства параметров (при L2-регуляризации) гарантирует, что последовательность шагов градиентного спуска имеет сходящиеся подпоследовательности — это обосновывает применимость итерационных алгоритмов. В сжатии данных теорема Витали (интеграл по компактному множеству можно приблизить ступенчатой функцией) лежит в основе алгоритмов JPEG и MPEG. Полнота пространств Соболева H^m(Ω) — основа теории эллиптических уравнений в частных производных: функциональные пространства, в которых ищутся слабые решения, должны быть полными банаховыми пространствами, иначе метод конечных элементов не сходится к правильному ответу.

Задание: (а) Докажите, что непрерывный образ связного компактен не гарантировано. Но образ компактного — компактен. Докажите последнее. (б) Теорема Брауэра о неподвижной точке: любая непрерывная f: Dⁿ → Dⁿ имеет неподвижную точку. Докажите для D¹ = [0,1] (через теорему о промежуточном значении). (в) Одноточечная компактификация C: ℂ* ≅ S². Опишите явно стереографическую проекцию φ: S² {N} → ℂ.