Аксиома бесконечности

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

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

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

∃I (∅ ∈ I ∧ ∀x (x ∈ I → x ∪ {x} ∈ I))

Здесь:

• ∃I — «существует множество I»;
• ∅ ∈ I — «пустое множество является элементом I»;
• ∀x (x ∈ I → x ∪ {x} ∈ I) — «для любого элемента x из I, множество x ∪ {x} также является элементом I».

Множество I, удовлетворяющее этим условиям, называется индуктивным множеством. Пустое множество ∅ в этой конструкции интерпретируется как число 0, а операция x ∪ {x} — как операция следования (прибавления единицы). Таким образом, аксиома гарантирует существование множества, содержащего 0, 1, 2, … и так далее, то есть бесконечной последовательности.

Исторический контекст

Аксиома бесконечности была введена Эрнстом Цермело в 1908 году в его системе аксиом теории множеств. До этого Георг Кантор, основатель теории множеств, использовал понятие актуальной бесконечности как данность, не формализуя её. Цермело осознал необходимость явного постулирования существования бесконечного множества, чтобы избежать парадоксов (например, парадокса Рассела) и обеспечить непротиворечивость теории.

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

Роль в построении натуральных чисел

Аксиома бесконечности является основой для определения множества натуральных чисел ℕ. В рамках теории множеств натуральные числа определяются как наименьшее индуктивное множество, то есть пересечение всех индуктивных множеств. Это множество обозначается ω (омега) и удовлетворяет аксиомам Пеано:

• 0 ∈ ω;
• Если n ∈ ω, то n+1 = n ∪ {n} ∈ ω;
• ω — наименьшее множество с этим свойством (принцип математической индукции).

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

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

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

В то же время аксиома бесконечности не противоречит остальным аксиомам ZF, если сама теория непротиворечива. Доказательство относительной непротиворечивости было получено Куртом Гёделем в 1938 году.

Варианты и обобщения

Существуют различные формулировки аксиомы бесконечности, эквивалентные исходной:

• Аксиома существования бесконечного множества: ∃x (x бесконечно). В этом варианте бесконечность определяется как множество, не равномощное никакому натуральному числу.
• Аксиома существования множества всех натуральных чисел: ∃x (x = ω). Эта формулировка более прямолинейна, но требует предварительного определения ω.
• Аксиома существования несчётного множества: ∃x (x несчётно). Этот вариант сильнее и используется в некоторых расширениях ZF (например, с аксиомой выбора).

В теории категорий аксиома бесконечности часто заменяется постулатом существования натурального объекта (natural numbers object), который играет аналогичную роль.

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

Некоторые математики и философы, особенно сторонники финитизма и ультрафинитизма, отвергают аксиому бесконечности как необоснованную. Они утверждают, что актуальная бесконечность не может быть постулирована без обращения к интуиции, а математика должна оперировать только конечными конструкциями. Например, Леопольд Кронекер считал, что «Бог создал натуральные числа, а всё остальное — дело рук человека», но при этом он отрицал актуальную бесконечность.

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

Применение в других разделах математики

Аксиома бесконечности необходима для:

• Теории меры: определение бесконечных мер (например, меры Лебега на ℝ) требует существования бесконечных множеств.
• Функционального анализа: банаховы пространства и гильбертовы пространства бесконечной размерности.
• Топологии: компактификация и бесконечные произведения.
• Теории чисел: доказательства существования бесконечности простых чисел (Евклид) формально требуют аксиомы бесконечности, хотя в элементарной арифметике это обходится без неё.

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

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

Источники

• Цермело, Э. «Исследования об основаниях теории множеств I» (1908).
• Френкель, А., Бар-Хиллел, И. «Основания теории множеств» (1958).
• Йех, Т. «Теория множеств» (2003).
• Кунен, К. «Теория множеств: Введение в доказательства независимости» (1980).
• Гёдель, К. «Непротиворечивость аксиомы выбора и обобщённой континуум-гипотезы с аксиомами теории множеств» (1938).