Счётная аксиома выбора

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

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

Счётная аксиома выбора (обозначается как ACω, от англ. Axiom of Countable Choice) утверждает:

Для любого счётного семейства непустых множеств {X₀, X₁, X₂, …} существует функция выбора f, определённая на множестве натуральных чисел ℕ, такая, что для каждого n ∈ ℕ выполняется f(n) ∈ Xₙ.

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

∀{Aₙ}ₙ₌₀^∞ (∀n (Aₙ ≠ ∅) ⇒ ∃f: ℕ → ⋃ₙ₌₀^∞ Aₙ ∀n (f(n) ∈ Aₙ)).

Важно подчеркнуть, что счётная аксиома выбора не накладывает ограничений на мощность самих множеств Xₙ — они могут быть конечными, счётными или даже несчётными. Ограничение касается только числа множеств в семействе.

Отличие от полной аксиомы выбора

Полная аксиома выбора (AC) утверждает существование функции выбора для любого семейства непустых множеств, независимо от его мощности. Счётная аксиома выбора является строго более слабым утверждением. В рамках теории множеств Цермело — Френкеля (ZF) счётная аксиома выбора не влечёт полную аксиому выбора, и обратное также неверно: существуют модели ZF, в которых ACω выполняется, а полная AC — нет, и наоборот.

Основное различие заключается в том, что счётная аксиома выбора не позволяет осуществлять выбор из несчётных семейств, что существенно ограничивает её «конструктивную силу». Например, с её помощью нельзя доказать, что любое множество можно вполне упорядочить, или что любое векторное пространство имеет базис.

История

Счётная аксиома выбора в явном виде не формулировалась в ранних работах по теории множеств. Однако её неявное использование восходит к концу XIX века, когда математики, такие как Георг Кантор и Рихард Дедекинд, применяли счётные выборы при построении вещественных чисел и доказательстве свойств бесконечных множеств. В частности, доказательство того, что объединение счётного множества счётных множеств является счётным, требует счётной аксиомы выбора.

В начале XX века, после того как Эрнст Цермело в 1904 году сформулировал полную аксиому выбора, начались споры о её приемлемости. Счётная аксиома выбора была выделена как более «безопасная» альтернатива, поскольку она не приводит к таким неинтуитивным следствиям, как парадокс Банаха — Тарского. В 1920-х годах Абрахам Френкель и другие математики начали изучать модели теории множеств, в которых аксиома выбора отвергается, но её счётная форма сохраняется.

Применение в математике

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

Анализ

В классическом анализе счётная аксиома выбора необходима для доказательства многих фундаментальных теорем:

• Определение предела по Коши: Для доказательства того, что из сходимости последовательности по Коши следует её сходимость к некоторому пределу (в полных метрических пространствах), требуется счётный выбор.
• Теорема Больцано — Вейерштрасса: Доказательство того, что любая ограниченная последовательность вещественных чисел имеет сходящуюся подпоследовательность, использует счётную аксиому выбора для построения этой подпоследовательности.
• Непрерывность по Гейне: Эквивалентность определения непрерывности функции по Коши (ε-δ) и по Гейне (через последовательности) для произвольных метрических пространств требует счётной аксиомы выбора.
• Свойства вещественных чисел: Доказательство того, что множество вещественных чисел несчётно (диагональный аргумент Кантора), не требует аксиомы выбора, но многие другие свойства, такие как существование предела у монотонной ограниченной последовательности, могут опираться на счётный выбор.

Топология

В общей топологии счётная аксиома выбора используется для доказательства свойств счётно-компактных пространств и пространств со счётной базой. Например, теорема о том, что метризуемое пространство является компактным тогда и только тогда, когда оно секвенциально компактно, опирается на ACω.

Теория меры

Счётная аксиома выбора необходима для доказательства счётной аддитивности меры Лебега. Без неё можно построить модель, в которой мера Лебега не является счётно-аддитивной, то есть объединение счётного числа непересекающихся измеримых множеств может иметь меру, отличную от суммы их мер.

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

Счётная аксиома выбора занимает промежуточное положение между полной аксиомой выбора и аксиомой зависимого выбора (DC). Аксиома зависимого выбора сильнее ACω, но слабее полной AC. Она позволяет осуществлять выбор на каждом шаге бесконечной последовательности, зависящий от предыдущих выборов.

В рамках теории множеств ZF счётная аксиома выбора эквивалентна следующим утверждениям:

• Объединение счётного семейства счётных множеств является счётным.
• Любое бесконечное множество содержит счётное подмножество.
• Каждое счётное семейство множеств имеет функцию выбора.

Критика и альтернативы

Хотя счётная аксиома выбора считается «конструктивной» и интуитивно приемлемой большинством математиков, она также подвергается критике со стороны ультрафинитистов и некоторых конструктивистов. В конструктивистской математике, основанной на интуиционистской логике, счётная аксиома выбора может быть принята как логический принцип, но её применение к несчётным множествам ограничено.

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

Источники

1. Jech, Thomas. Set Theory. Springer, 2003.
2. Halmos, Paul R. Naive Set Theory. Springer, 1974.
3. Moore, Gregory H. Zermelo's Axiom of Choice: Its Origins, Development, and Influence. Springer, 1982.
4. Herrlich, Horst. Axiom of Choice. Springer, 2006.