Теорема Цермело о вполне упорядочивании

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

История

Теорема была сформулирована и доказана немецким математиком Эрнстом Цермело в 1904 году. Работа Цермело «Доказательство того, что каждое множество может быть вполне упорядочено» (нем. «Beweis, dass jede Menge wohlgeordnet werden kann») была опубликована в журнале Mathematische Annalen. Это доказательство стало одним из первых явных применений аксиомы выбора, которую Цермело сформулировал именно для обоснования своего доказательства.

До Цермело идея вполне упорядочивания обсуждалась в работах Георга Кантора, основателя теории множеств. Кантор считал принцип вполне упорядочивания «основным законом мысли» и пытался его доказать, но не смог. Цермело, используя аксиому выбора, построил строгое доказательство, что вызвало ожесточённые споры среди математиков начала XX века. Критики (в частности, Анри Пуанкаре и Эмиль Борель) возражали против неконструктивного характера доказательства и самой аксиомы выбора.

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

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

Формальная запись теоремы на языке теории множеств:

Для любого множества \(X\) существует бинарное отношение \(\leq\) на \(X\) такое, что:

1. \(\leq\) является полным порядком (то есть рефлексивным, антисимметричным, транзитивным и сравнимым для любых двух элементов).
2. Каждое непустое подмножество \(Y \subseteq X\) имеет наименьший элемент относительно \(\leq\).

В сокращённой форме: Каждое множество может быть вполне упорядочено.

Доказательство (схема)

Доказательство Цермело опирается на аксиому выбора. Основная идея заключается в следующем:

1. Пусть дано множество \(X\).
2. С помощью аксиомы выбора выбирается функция \(f\), которая каждому непустому подмножеству \(Y \subseteq X\) ставит в соответствие некоторый элемент \(f(Y) \in Y\) (так называемая «выбирающая функция»).
3. Строится трансфинитная рекурсия по ординалам: на каждом шаге \(\alpha\) выбирается элемент \(x_\alpha = f(X \setminus \{x_\beta : \beta < \alpha\})\), пока не будут исчерпаны все элементы \(X\).
4. Полученная последовательность \(\{x_\alpha\}\) задаёт вполне упорядочивание: порядок определяется по индексам \(\alpha\).

Доказательство является неконструктивным — оно не предъявляет явного способа упорядочить произвольное множество, а лишь утверждает существование такого порядка.

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

В рамках теории множеств Цермело — Френкеля (ZF) следующие утверждения эквивалентны:

• Аксиома выбора.
• Теорема Цермело о вполне упорядочивании.
• Лемма Цорна.
• Принцип максимума Хаусдорфа.
• Теорема Тихонова (в топологии).

Эквивалентность была доказана в 1915 году (Цермело, позднее уточнена Френкелем и другими). Таким образом, теорема о вполне упорядочивании является одной из стандартных формулировок аксиомы выбора.

Примеры

• Конечные множества: любое конечное множество можно вполне упорядочить, например, перечислив его элементы в произвольном порядке.
• Натуральные числа: множество \(\mathbb{N}\) с обычным порядком \(1 < 2 < 3 < \dots\) является вполне упорядоченным.
• Целые числа: \(\mathbb{Z}\) с обычным порядком не является вполне упорядоченным (нет наименьшего элемента), но может быть вполне упорядочено, например, как \(0, 1, -1, 2, -2, 3, -3, \dots\).
• Действительные числа: \(\mathbb{R}\) с обычным порядком не является вполне упорядоченным, но согласно теореме существует некоторое (неконструктивное) вполне упорядочивание.

Применение

Теорема Цермело о вполне упорядочивании используется в различных разделах математики:

• Теория множеств: как основа для построения ординалов и кардиналов.
• Анализ: для доказательства существования базиса Гамеля в любом векторном пространстве (через лемму Цорна).
• Топология: при доказательстве теоремы Тихонова о компактности произведений.
• Алгебра: для доказательства существования максимальных идеалов в кольцах, существования алгебраического замыкания поля.
• Комбинаторика: в доказательствах, использующих трансфинитную индукцию.

Критика и парадоксы

Теорема Цермело вызвала серьёзные философские споры. Основные возражения:

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

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

Интересные факты

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

Источники

• Zermelo, E. «Beweis, dass jede Menge wohlgeordnet werden kann». Mathematische Annalen, 1904.
• Jech, T. «Set Theory». Springer, 2003.
• Halmos, P. R. «Naive Set Theory». Springer, 1960.
• Куратовский К., Мостовский А. «Теория множеств». Мир, 1970.