Универсум фон Неймана
Универсум фон Неймана (иерархия множеств по фон Нейману) — класс, образованный наследственными фундированными множествами; такая совокупность, формализуемая теорией множеств Цермело — Френкеля (ZFC), часто используется в качестве интерпретации или обоснования ZFC-аксиом. Стандартное обозначение — .
Ранг фундированного множества индуктивно определяется как наименьшее порядковое число, превосходящее ранг любого элемента в этом множестве[1]. В частности, ранг пустого множества равен нулю, а ранг любого порядкового числа равен ему самому. Множества, входящие в класс , в силу деления на ранги, образуют трансфинитную иерархию, которая также называется кумулятивной иерархией множеств.
История
[править | править код]В 1982 году Грегори Мур заявил, что кумулятивная иерархия типов, также известная как универсум фон Неймана, была приписана фон Нейману по ошибке[2], поскольку впервые упоминается в публикации Эрнста Цермело 1930 года[3].
Существование и единственность трансфинитно рекурсивного определения множеств были доказаны фон Нейманом в 1928 году для случая теории множеств Цермело — Френкеля[4], а также его собственной теории множеств (которая впоследствии стала основой NBG-теории).[5] Однако ни в одной из этих статей он не использовал свой трансфинитно рекурсивный метод для построения универсальной совокупности всех множеств. Описания фоннеймановского универсума, сделанные Бернайсом[6] и Мендельсоном[7] приписывают фон Нейману метод построения на основе трансфинитной индукции, но не его применение к задаче построения универсума обычных множеств.
Символ — это не отсылка к имени фон Неймана, ещё в 1889 году Пеано использовал его для обозначения универсума множеств, подразумевая слово «Verum», которое он применял не только в качестве логического символа, но и для обозначения класса всех элементов.[8] В 1910 году Уайтхед и Рассел переняли нотацию Пеано для обозначения класса всех множеств.[9] В статьях фон Неймана о порядковых числах и трансфинитной индукции (1920-е гг.) обозначение V (в смысле класса всех множеств) не используется. Пол Коэн[10] явным образом приписывает используемый им символ V (класс всех множеств) статье, написанной Гёделем в 1940 году[11], хотя Гедель, скорее всего, позаимствовал это обозначение из более ранних публикаций, таких, как работы Уайтхеда и Рассела.[9]
Формула часто рассматривается в качестве теоремы, а не определения.[6][7] По утверждению Ройтман[12] (без ссылок на какие-либо источники), эквивалентность аксиомы регулярности и равенства кумулятивной иерархии универсуму ZF-множеств была впервые продемонстрирована фон Нейманом.
Определение
[править | править код]Кумулятивная иерархия представляет собой семейство множеств , где индекс пробегает класс всех порядковых чисел. Более конкретно, множество состоит из всех множеств, имеющих ранг меньше . Таким образом, каждому порядковому числу соответствует единственное множество . Формально множество можно определить с помощью трансфинитной рекурсии:
- В качестве выберем пустое множество:
- Пусть — произвольное порядковое число, тогда определяется как булеан множества :
- Пусть — предельное порядковое число, тогда определяется как объединение всех -множеств, построенных на предыдущих шагах:
Ключевая особенность данного определения состоит в том, что на языке теории ZFC утверждение о том, что «множество принадлежит », выражается единственной формулой вида .
Классом называется объединение всех множеств вида :
- .
Эквивалентное определение использует обозначения вида
- ,
где — произвольное порядковое число, а булеан множества .
Рангом множества называется наименьшее , при котором
На следующем рисунке показано схематичное отображение первых пяти уровней иерархии фон Неймана (от до ). (Пустой блок соответствует пустому множеству. Блок, внутри которого находится только пустой блок, соответствует множеству, единственным элементом которого является пустое множество, и так далее.)
![First 5 von Neumann stages](http://upload.wikimedia.org/wikipedia/commons/thumb/8/83/Von_Neumann_universe_4.png/750px-Von_Neumann_universe_4.png)
Множество состоит из 65536 элементов. Размер множества составляет и существенно превосходит число атомов в наблюдаемой вселенной. Таким образом, конечные уровни кумулятивной иерархии, имеющие индекс выше 5, нельзя выписать явным образом. Множество имеет ту же мощность, что и . Мощность совпадает с мощностью множества вещественных чисел.
Связь с теорией множеств
[править | править код]Если — множество натуральных чисел, то множество состоит из наследственно конечных множеств и представляет собой модель теории множеств без аксиомы бесконечности. есть универсум «обычной математики» и модель теории множеств Цермело. Если — недостижимое кардинальное число, то — модель самой теории ZFC, в то время как — это модель теории множеств Морса — Келли.
не является «множеством всех множеств» по двум причинам. Во-первых, V не является множеством; несмотря на то, что каждая из совокупностей представляет собой множество, их объединение — собственный класс. Во-вторых, только фундированные множества входят в класс в качестве элементов. В соответствии с аксиомой фундирования (или регулярности) каждое множество является фундированным и, следовательно, входит в класс . Таким образом, в теории ZFC каждое множество является элементом класса . Однако в других аксиоматических системах аксиома фундирования может быть заменена своим сильным отрицанием (например, аксиомой антифундирования Акзеля), либо просто отсутствовать. Подобные теории нефундированных множеств обычно не применяются на практике, но вполне могут быть объектом исследования.
Третье возражение против интерпретации как «множества всех множеств» заключается в том, что не каждое множество является «чистым», то есть может быть выражено через пустое множество, булеан и объединение. В 1908 году Цермело предложил добавить в теорию множеств урэлементы, и в 1930 году построил на их основе трансфинитную рекурсивную иерархию.[3] Подобные урэлементы широко используются в теории моделей — в частности, моделях Френкеля — Мостовского[13].
Взгляд с позиции философии
[править | править код]Существуют два основных подхода (без учёта различных вариантов и промежуточных градаций) к пониманию взаимосвязи между универсумом фон Неймана и теорией ZFC. В общих чертах: формалисты склонны воспринимать как некое следствие ZFC-аксиом (например, в теории ZFC можно доказать, что каждое множество является элементом ), в то время как реалисты чаще всего видят в универсуме фон Неймана объект, непосредственно доступный интуиции, а в аксиомах ZFC — утверждения, истинность которых в контексте можно подтвердить с помощью прямых доводов, выраженных на естественном языке. Одна из возможных промежуточных точек зрения состоит в том, что мысленный образ фоннеймановской иерархии служит обоснованием ZFC-аксиом (тем самым придавая им объективность), хотя и не обязательно соответствует каким-либо реально существующим объектам.
См. также
[править | править код]Примечания
[править | править код]- ↑ Mirimanoff 1917; Moore 1982, pp. 261—262; Rubin 1967, p. 214
- ↑ Gregory H. Moore, «Zermelo’s axiom of choice: Its origins, development & influence», 1982, 2013, Dover Publications, ISBN 978-0-486-48841-7. (На странице 279 автор утверждает, что отсылка к имени фон Неймана ошибочна. Вклад Цермело упоминается на страницах 280 и 281.)
- ↑ 1 2 Ernst Zermelo, Über Grenzzahlen und Mengenbereiche: Neue Untersuchungen über die Grundlagen der Mengenlehre, Fundamenta Mathematicae, 16 (1930) 29-47 (Обратите внимание на стр. 36-40.)
- ↑ von Neumann, John (1928), "Über die Definition durch transfinite Induktion und verwandte Fragen der allgemeinen Mengenlehre", Mathematische Annalen, 99: 373—391
- ↑ von Neumann, John (1928), "Die Axiomatisierung der Mengenlehre", Mathematische Zeitschrift[англ.], 27: 669—752 (См. стр. 745—752.)
- ↑ 1 2 Bernays, Paul. Axiomatic Set Theory (неопр.). — Dover Publications, 1991. — ISBN 0-486-66637-9. (См. стр. 203—209.)
- ↑ 1 2 Mendelson, Elliott. Introduction to Mathematical Logic (неопр.). — Van Nostrand Reinhold, 1964. (См. стр. 202.)
- ↑ Peano, Giuseppe. Arithmetices principia, nova methodo exposita (порт.). — 1889. (See pages VIII and XI.)
- ↑ 1 2 Alfred North Whitehead; Bertrand Russell. Principia Mathematica (неопр.). — Merchant Books, 2009. — Т. Volume One. — ISBN 978-1-60386-182-3. (См. стр. 229.)
- ↑ Cohen, Paul Joseph. Set theory and the continuum hypothesis (неопр.). — Addison–Wesley, 1966. — ISBN 0-8053-2327-9. (См. стр. 88)
- ↑ Gödel, Kurt. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory (англ.). — Princeton, N. J.: Princeton University Press, 1940. — Vol. 3. — (Annals of Mathematics Studies).
- ↑ Roitman, Judith. Introduction to Modern Set Theory (неопр.). — Virginia Commonwealth University, 2011. — ISBN 978-0-9824062-4-3. (См. стр. 79.)
- ↑ Howard, Paul; Rubin, Jean. Consequences of the axiom of choice (неопр.). — Providence, Rhode Island: American Mathematical Society, 1998. — С. 175—221. — ISBN 9780821809778.
Литература
[править | править код]- Jech, Thomas. Set Theory: The Third Millennium Edition, Revised and Expanded. — Springer, 2003. — ISBN 3-540-44085-2.
- Kunen, Kenneth. Set Theory: An Introduction to Independence Proofs. — Elsevier, 1980. — ISBN 0-444-86839-9.