Аксиоматическая теория множеств Цермело — Френкеля

Аксиоматическая теория множеств Цермело — Френкеля (сокращённо ZF, от нем. Zermelo-Fraenkel) — это наиболее распространённая система аксиом для теории множеств, лежащая в основе современной математики. Она представляет собой формальный язык, позволяющий описывать свойства множеств и отношения между ними, избегая парадоксов наивной теории множеств, таких как парадокс Рассела. ZF является фундаментом для построения большинства математических объектов: натуральных, действительных чисел, функций, отношений и топологических пространств. Добавление к ZF аксиомы выбора (AC) даёт систему ZFC (Zermelo-Fraenkel with Choice), которая является стандартной аксиоматической системой для математики.

История

Предпосылки возникновения

В конце XIX века Георг Кантор разработал наивную теорию множеств, которая позволяла интуитивно оперировать понятиями «множество» и «элемент». Однако в начале XX века были обнаружены логические противоречия, наиболее известным из которых является парадокс Рассела (1901): множество всех множеств, не содержащих себя в качестве элемента, не может существовать, не порождая противоречия. Это показало необходимость строгой аксиоматизации теории множеств.

Разработка аксиоматики

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

В 1922 году Абрахам Френкель и независимо от него Торальф Скулем предложили улучшения, в частности, ввели аксиому подстановки (замены), которая обобщает аксиому выделения и позволяет строить более широкий класс множеств. В результате была сформирована система ZF. Позднее, в 1925 году, Джон фон Нейман уточнил аксиому регулярности (фундаментальности), которая утверждает, что не существует бесконечно убывающих цепочек вложенности множеств.

Статус и признание

К середине XX века система ZFC стала стандартом в математике. В 1930-х годах Курт Гёдель доказал её относительную непротиворечивость (если ZF непротиворечива, то непротиворечива и ZFC). В 1963 году Пол Коэн показал независимость континуум-гипотезы от ZFC, что подтвердило фундаментальную роль этой системы. Сегодня ZF и ZFC являются основой для большинства учебников по теории множеств и математической логике.

Аксиомы ZF

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

1. Аксиома объёмности (экстенсиональности)

Два множества равны тогда и только тогда, когда они состоят из одних и тех же элементов. Формально: ∀A ∀B (∀x (x ∈ A ↔ x ∈ B) → A = B). Эта аксиома определяет, что множество однозначно задаётся своими элементами.

2. Аксиома пустого множества

Существует множество, не содержащее ни одного элемента. Обозначается ∅. Формально: ∃∅ ∀x (x ∉ ∅). Это множество является единственным в силу аксиомы объёмности.

3. Аксиома пары

Для любых двух множеств a и b существует множество, содержащее в точности a и b. Формально: ∀a ∀b ∃c ∀x (x ∈ c ↔ (x = a ∨ x = b)). Это множество обозначается {a, b}.

4. Аксиома объединения (суммы)

Для любого множества A существует множество, содержащее все элементы элементов A. Формально: ∀A ∃B ∀x (x ∈ B ↔ ∃y (y ∈ A ∧ x ∈ y)). Это множество обозначается ∪A.

5. Аксиома степени (булеана)

Для любого множества A существует множество, содержащее все подмножества A. Формально: ∀A ∃B ∀x (x ∈ B ↔ x ⊆ A). Множество B обозначается P(A) (степенное множество).

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

Существует индуктивное множество, то есть множество, содержащее ∅ и вместе с каждым своим элементом x содержащее x ∪ {x}. Формально: ∃I (∅ ∈ I ∧ ∀x (x ∈ I → x ∪ {x} ∈ I)). Эта аксиома гарантирует существование бесконечных множеств, в частности, множества натуральных чисел.

7. Аксиома выделения (подмножества)

Для любого множества A и любого свойства P(x), выраженного формулой, существует множество, содержащее те элементы A, которые удовлетворяют P. Формально: ∀A ∃B ∀x (x ∈ B ↔ (x ∈ A ∧ P(x))). Это позволяет строить подмножества, не порождая парадоксов.

8. Аксиома подстановки (замены)

Для любого множества A и любой функциональной формулы F(x, y) (где каждому x из A сопоставляется единственный y) существует множество, содержащее все y, соответствующие x из A. Формально: ∀A (∀x∈A ∃!y F(x,y) → ∃B ∀x∈A ∃y∈B F(x,y)). Эта аксиома обобщает аксиому выделения и позволяет строить множества, такие как образы функций.

9. Аксиома регулярности (фундаментальности)

Всякое непустое множество A содержит элемент, не пересекающийся с A. Формально: ∀A (A ≠ ∅ → ∃x ∈ A (x ∩ A = ∅)). Эта аксиома запрещает существование бесконечно убывающих цепочек вложенности (например, x ∈ x) и обеспечивает иерархическую структуру множеств.

Аксиома выбора (AC)

Аксиома выбора не входит в ZF, но часто добавляется к ней, образуя ZFC. Она утверждает: для любого множества непустых попарно непересекающихся множеств существует множество, содержащее ровно по одному элементу из каждого из них. Формально: ∀X (∀x∈X (x ≠ ∅) ∧ ∀x,y∈X (x≠y → x∩y=∅) → ∃Y ∀x∈X ∃!y∈Y (y∈x)). Аксиома выбора независима от ZF (доказано Гёделем и Коэном) и имеет множество эквивалентных формулировок, таких как лемма Цорна и принцип вполне упорядочения.

Свойства и следствия

Непротиворечивость и независимость

ZF является непротиворечивой системой, если непротиворечива арифметика Пеано (это следует из теорем Гёделя о неполноте, но не может быть доказано в рамках самой ZF). В 1963 году Пол Коэн доказал, что континуум-гипотеза (CH) не зависит от ZFC: ни CH, ни её отрицание не могут быть выведены из аксиом ZFC. Это означает, что ZFC неполна.

Иерархия фон Неймана

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

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

На базе ZF строится вся современная математика:

• Натуральные числа определяются как множества фон Неймана: 0 = ∅, 1 = {∅}, 2 = {∅, {∅}} и т. д.
• Действительные числа строятся как множества рациональных чисел (например, сечения Дедекинда).
• Функции определяются как множества упорядоченных пар.
• Топологические пространства — как множества с выделенной системой подмножеств.

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

Ограничения

• Неполнота: ZF не может доказать или опровергнуть некоторые утверждения, например, континуум-гипотезу.
• Сложность: Аксиомы ZF сложны для интуитивного понимания, особенно аксиома регулярности и аксиома подстановки.
• Философские вопросы: Некоторые математики (например, интуиционисты) отвергают аксиому выбора, считая её неконструктивной.

Альтернативные системы

• Теория множеств фон Неймана — Бернайса — Гёделя (NBG): расширяет ZF, вводя классы наряду с множествами, что позволяет формулировать некоторые утверждения более элегантно.
• Теория типов: альтернативный подход, основанный на иерархии типов, избегающий парадоксов без аксиомы регулярности.
• Новая основа (NF): система Уилларда Куайна, которая пытается сохранить наивное понимание множеств, но с ограничениями на формулу.

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

• Система ZF является одной из немногих аксиоматических систем, которые могут служить основанием для всей математики, но при этом она не может доказать собственную непротиворечивость (вторая теорема Гёделя).
• Аксиома выбора, хотя и независима, широко используется в математике, но её принятие приводит к некоторым парадоксальным следствиям, таким как парадокс Банаха — Тарского.
• В 2010-х годах были предложены так называемые «большие кардиналы» — аксиомы, выходящие за рамки ZFC, которые позволяют доказывать новые утверждения о множествах.

Источники

• Цермело, Э. (1908). «Исследования по основам теории множеств. I». Mathematische Annalen.
• Френкель, А. (1922). «К основаниям теории множеств». Mathematische Zeitschrift.
• Скулем, Т. (1922). «Некоторые замечания об аксиоматической теории множеств». Proceedings of the 5th Scandinavian Congress of Mathematicians.
• Гёдель, К. (1940). «Совместимость аксиомы выбора и обобщённой континуум-гипотезы с аксиомами теории множеств». Princeton University Press.
• Коэн, П. (1963). «Независимость континуум-гипотезы». Proceedings of the National Academy of Sciences.
• Дж. Л. Белл, М. Махдум (2007). «Теория множеств: булевы модели и независимость». Oxford University Press.