Теорема Тихонова

Теорема Тихонова — фундаментальное утверждение общей топологии, устанавливающее необходимое и достаточное условие компактности топологического произведения произвольного семейства топологических пространств. Теорема гласит: произведение любого семейства топологических пространств компактно в топологии произведения тогда и только тогда, когда каждый сомножитель компактен. Это один из центральных результатов топологии, имеющий широкие применения в функциональном анализе, теории меры и других разделах математики.

История

Теорема была впервые доказана советским математиком Андреем Николаевичем Тихоновым в 1930 году. Первоначальное доказательство было сформулировано для случая произведения отрезков вещественной прямой, что послужило основой для обобщения. В 1935 году Тихонов опубликовал полное доказательство для произвольного семейства компактных хаусдорфовых пространств. Впоследствии теорема была распространена на случай нехаусдорфовых пространств (для которых компактность определяется без требования отделимости), и её доказательство было упрощено с использованием теории фильтров и ультрафильтров.

Теорема Тихонова является обобщением более ранних результатов, таких как теорема Гейне — Бореля (компактность отрезка) и теорема о компактности декартова произведения конечного числа компактных пространств. В 1950-х годах было показано, что теорема Тихонова эквивалентна аксиоме выбора в рамках теории множеств Цермело — Френкеля, что подчёркивает её глубокую связь с основаниями математики.

Формулировка

Пусть $\{X_\alpha\}_{\alpha \in A}$ — произвольное семейство топологических пространств, индексированное множеством $A$. Обозначим через $X = \prod_{\alpha \in A} X_\alpha$ их топологическое произведение, наделённое топологией произведения. Тогда:

• Прямая теорема (необходимость): Если $X$ компактно, то каждое $X_\alpha$ компактно.
• Обратная теорема (достаточность): Если каждое $X_\alpha$ компактно, то $X$ компактно.

В случае хаусдорфовых пространств (которые являются наиболее распространёнными в приложениях) теорема гарантирует компактность произведения, если каждый сомножитель компактен и хаусдорфов.

Доказательство

Эквивалентность аксиоме выбора

В рамках теории множеств Цермело — Френкеля (ZF) теорема Тихонова эквивалентна аксиоме выбора. Это означает, что:

• Если принять аксиому выбора, то теорему Тихонова можно доказать.
• Если принять теорему Тихонова, то можно вывести аксиому выбора.

Таким образом, теорема Тихонова не может быть доказана без использования аксиомы выбора, и наоборот, она является одной из её эквивалентных формулировок. Наиболее распространённое доказательство использует лемму о максимальности (лемму Цорна) или теорию ультрафильтров.

Доказательство с использованием ультрафильтров

Классическое доказательство обратной теоремы основано на понятии фильтра и ультрафильтра:

1. Пусть $\mathcal{F}$ — ультрафильтр на $X = \prod_{\alpha} X_\alpha$.
2. Для каждого индекса $\alpha$ рассмотрим образ $\mathcal{F}$ при проекции $\pi_\alpha: X \to X_\alpha$. Полученное семейство $\pi_\alpha(\mathcal{F})$ является фильтром на $X_\alpha$.
3. Поскольку $X_\alpha$ компактно, существует точка $x_\alpha \in X_\alpha$, являющаяся пределом ультрафильтра, содержащего $\pi_\alpha(\mathcal{F})$.
4. Точка $x = (x_\alpha)_{\alpha \in A}$ является пределом $\mathcal{F}$ в $X$, что доказывает компактность $X$.

Доказательство с использованием леммы Цорна

Альтернативное доказательство использует лемму Цорна для построения максимального центрированного семейства замкнутых множеств и последующего применения свойства компактности сомножителей.

Следствия и применения

В функциональном анализе

• Теорема Алаоглу — Бурбаки: Единичный шар в сопряжённом пространстве к банахову пространству компактен в слабой-* топологии. Это прямое следствие теоремы Тихонова, применённой к произведению отрезков, соответствующих значениям функционалов.
• Теорема Банаха — Алаоглу: Единичный шар в сопряжённом пространстве к нормированному пространству компактен в слабой-* топологии.
• Теорема о компактности множества вероятностных мер: Множество всех вероятностных мер на компактном хаусдорфовом пространстве компактно в слабой топологии (теорема Прохорова, использующая теорему Тихонова).

В общей топологии

• Теорема о компактности гильбертова куба: Гильбертов куб $[0,1]^\mathbb{N}$ (произведение счётного числа отрезков) компактен.
• Теорема Стоуна — Чеха: Теорема Тихонова используется при построении стоун-чеховской компактификации произвольного тихоновского пространства.
• Теорема о компактности произведения отрезков: Произведение любого числа отрезков $[0,1]^A$ компактно, что является частным случаем теоремы Тихонова.

В теории меры

• Теорема Колмогорова о продолжении меры: При построении вероятностных мер на бесконечномерных пространствах (например, в теории случайных процессов) используется компактность произведения отрезков, обеспечиваемая теоремой Тихонова.
• Теорема Даниэля — Колмогорова: Компактность произведения отрезков применяется для доказательства существования меры на пространстве траекторий.

В математической физике

• Теорема о существовании предела термодинамических величин: В статистической механике компактность произведения фазовых пространств используется для доказательства существования термодинамического предела.
• Теорема о компактности множества состояний: Множество всех состояний квантовой системы компактно в слабой топологии, что является следствием теоремы Тихонова.

Вариации и обобщения

Теорема Тихонова для хаусдорфовых пространств

Наиболее часто используемая формулировка: произведение любого семейства компактных хаусдорфовых пространств компактно и хаусдорфово. Это следует из того, что произведение хаусдорфовых пространств хаусдорфово, а компактность обеспечивается теоремой Тихонова.

Теорема Тихонова для локально компактных пространств

Произведение локально компактных пространств не обязательно локально компактно. Однако если произведение локально компактно, то каждый сомножитель локально компактен, и все сомножители, кроме конечного числа, компактны.

Теорема Тихонова в нехаусдорфовом случае

Теорема верна и для нехаусдорфовых пространств, если компактность определяется как свойство каждого открытого покрытия иметь конечное подпокрытие. В этом случае доказательство также использует аксиому выбора.

Теорема Тихонова и аксиома выбора

Как уже упоминалось, теорема Тихонова эквивалентна аксиоме выбора. В слабых системах теории множеств (например, ZF без аксиомы выбора) теорема Тихонова может быть ложна. Существуют модели ZF, в которых произведение компактных пространств не является компактным.

Критика и ограничения

Теорема Тихонова, будучи эквивалентной аксиоме выбора, вызывает определённые философские и конструктивные возражения. В конструктивной математике (например, в интуиционистской математике) теорема Тихонова не принимается, так как её доказательство требует неконструктивных методов. Кроме того, в приложениях часто требуется компактность в более сильных топологиях (например, в топологии поточечной сходимости), где теорема Тихонова не применима напрямую.

Примеры

Пример 1: Произведение отрезков

Рассмотрим произведение $[0,1]^\mathbb{N}$ — гильбертов куб. По теореме Тихонова это пространство компактно. Это используется в функциональном анализе при изучении пространств последовательностей.

Пример 2: Произведение окружностей

Произведение $S^1 \times S^1$ (двумерный тор) компактно, что следует из теоремы Тихонова, так как каждая окружность компактна.

Пример 3: Произведение несчётного числа отрезков

Произведение $[0,1]^A$ для несчётного множества $A$ (например, $A = \mathbb{R}$) компактно. Это пространство является тихоновским кубом и используется в теории размерности.

Связь с другими теоремами

• Теорема Гейне — Бореля: Частный случай теоремы Тихонова для конечного произведения отрезков.
• Теорема Александера о предбазе: Используется в некоторых доказательствах теоремы Тихонова.
• Теорема Стоуна — Чеха: Теорема Тихонова является ключевым шагом в построении компактификации.
• Теорема о компактности в слабой топологии: В функциональном анализе теорема Тихонова применяется для доказательства компактности единичного шара в слабой-* топологии.

Источники

• Тихонов А. Н. «О топологическом произведении компактных пространств» // Математический сборник, 1930.
• Келли Дж. Л. «Общая топология» (перевод с английского), М.: Наука, 1968.
• Энгелькинг Р. «Общая топология» (перевод с английского), М.: Мир, 1986.
• Бурбаки Н. «Общая топология. Основные структуры» (перевод с французского), М.: Наука, 1968.
• Александров П. С., Пасынков Б. А. «Введение в теорию размерности», М.: Наука, 1973.