В теории множеств и родственных разделах математики, вселенная фон Неймана или иерархия множеств фон Неймана, обозначенный V, является классом из обоснованных множеств. Этот набор, который формализован теорией множеств Цермело – Френкеля (ZFC), часто используется для интерпретации или мотивации аксиом ZFC.
ранг хорошо обоснованного набора индуктивно определяется как наименьшее порядковое число, превышающее ранги всех членов набора. В частности, ранг пустого набора равен нулю, и каждый порядковый номер имеет ранг, равный самому себе. Наборы в V делятся на трансфинитную иерархию V α, называемую кумулятивной иерархией, в зависимости от их ранга.
Совокупная иерархия - это совокупность наборов V α, индексированных классом порядковых номеров ; в частности, V α - это множество всех наборов, имеющих ранги меньше, чем α. Таким образом, для каждого порядкового числа α существует одно множество V α. V α может быть определен с помощью трансфинитной рекурсии следующим образом:
Важным фактом этого определения является то, что существует единственная формула φ (α, x) на языке ZFC, который определяет «множество x находится в V α ».
Наборы V α называются ступенями или рангами .
начальным сегментом вселенной фон Неймана. Порядковое умножение противоположно нашему обычному соглашению; см. Порядковая арифметика.Класс V определяется как объединение всех V-этапов:
Эквивалентное определение устанавливает
для каждого порядкового номера α, где - это powerset из .
Ранг множество S - наименьшее α такое, что Другой способ вычисления ранга:
Первые пять стадий фон Неймана от V 0 до V 4 могут быть визуализированы следующим образом. (Пустое поле представляет собой пустой набор. Поле, содержащее только пустое поле, представляет набор, содержащий только пустой набор, и так далее.)
Набор V 5 содержит 2 = 65536 элементов. Набор V 6 содержит 2 элемента, что очень существенно превышает количество атомов в известной вселенной. Таким образом, конечные этапы кумулятивной иерархии не могут быть записаны явно после этапа 5. Множество V ω имеет ту же мощность, что и ω. Множество V ω + 1 имеет ту же мощность, что и множество действительных чисел.
Если ω - это набор натуральных чисел, тогда V ω - это множество, которое является моделью теории множеств без аксиомы бесконечности.
Vω + ω - вселенная "обычного математика », и является моделью теории множеств Цермело. Простым аргументом в пользу адекватности V ω + ω является наблюдение, что V ω + 1 подходит для целых чисел, а V ω + 2 подходит для действительных чисел, и большая часть другой нормальной математики может быть построена как отношения различных видов из этих множеств без необходимости использования аксиомы замены для выхода за пределы V ω + ω.
Если κ является недоступным кардиналом, тогда V κ является моделью самой теории множеств Цермело – Френкеля (ZFC), и V κ + 1 является моделью теории множеств Морса – Келли. (Обратите внимание, что каждая модель ZFC также является моделью ZF, и каждая модель ZF также является моделью Z.)
V не является « набор всех наборов "по двум причинам. Во-первых, это не набор; хотя каждая отдельная ступень V α представляет собой набор, их объединение V является надлежащим классом. Во-вторых, множества в V - это только хорошо обоснованные множества. Аксиома основания (или регулярности) требует, чтобы каждый набор был хорошо обоснован и, следовательно, в V, и, таким образом, в ZFC каждый набор находится в V. Но другие системы аксиом могут опустить аксиому основания или заменить ее на сильное отрицание (пример - аксиома против основания Акцеля ). Эти необоснованные теории множеств обычно не используются, но их все еще можно изучать.
Третье возражение против интерпретации «множества всех множеств» состоит в том, что не все множества обязательно являются «чистыми множествами», которые построены из пустого множества с использованием множеств степеней и объединений. Цермело предложил в 1908 году включение урэлементов, из которых он построил трансфинитную рекурсивную иерархию в 1930 году. Такие урэлементы широко используются в теории моделей, особенно в моделях Френкеля-Мостовски <122.>
Формула V = ⋃ αVαчасто считается теоремой, а не определением. Ройтман утверждает (без ссылок), что осознание того, что аксиома регулярности эквивалентна равенству множества ZF кумулятивной иерархии, принадлежит фон Нейману.
Поскольку класс V можно рассматривать как арену для большей части математики, важно установить, что он «существует» в некотором смысле. Поскольку существование - сложная концепция, обычно вопрос о существовании заменяется вопросом о согласованности, то есть о том, свободна ли концепция от противоречий. Основным препятствием является теоремы Гёделя о неполноте, которые фактически подразумевают невозможность доказательства непротиворечивости теории множеств ZF в самой теории множеств ZF при условии, что она действительно непротиворечива.
Целостность вселенной фон Неймана в основном зависит от целостности порядковых чисел, которые действуют как параметр ранга в конструкции, и целостности трансфинитной индукции, с помощью которой как порядковые числа и Вселенная фон Неймана построены. Можно сказать, что целостность построения порядкового числа опирается на работы фон Неймана 1923 и 1928 годов. Можно сказать, что целостность конструкции V с помощью трансфинитной индукции была затем установлена в статье Цермело 1930 года.
Иерархия кумулятивных типов, также известная как вселенная фон Неймана, является по утверждениям Грегори Х. Мура (1982), неточно приписан фон Нейману. Первая публикация вселенной фон Неймана была сделана Эрнстом Цермело в 1930 году.
Существование и уникальность общего трансфинитного рекурсивного определения множеств было продемонстрировано в 1928 году фон Нейманом для обоих Цермело-Френкель. теория множеств и собственная теория множеств Неймана (которая позже превратилась в теорию множеств NBG ). Ни в одной из этих работ он не применил свой трансфинитный рекурсивный метод для построения вселенной всех множеств. Обе презентации вселенной фон Неймана Бернейсом и Мендельсоном отдают должное фон Нейману за метод построения трансфинитной индукции, хотя и не за его применение к построению вселенной обычных множеств.
Обозначение V не является данью имени фон Неймана. Он был использован Пеано для обозначения вселенной множеств в 1889 году, буква V означала «Verum», которую он использовал как логический символ, так и для обозначения класса всех индивидов. Обозначение Пеано V было принято Уайтхедом и Расселом для класса всех множеств в 1910 году. Обозначение V (для класса всех множеств) не использовалось фон Нейманом в его работах 1920-х годов об порядковых числах и трансфинитной индукции. Пол Коэн явно приписывает свое использование буквы V (для класса всех множеств) работе Гёделя 1940 года, хотя Гёдель, скорее всего, получил обозначения из более ранних источников, таких как Уайтхед и Рассел.
Существует два подхода к пониманию взаимосвязи вселенной V фон Неймана с ZFC (наряду со многими вариациями каждого подхода и оттенками между ними). Грубо говоря, формалисты склонны рассматривать V как нечто вытекающее из аксиом ZFC (например, ZFC доказывает, что каждое множество находится в V). С другой стороны, реалисты с большей вероятностью будут рассматривать иерархию фон Неймана как нечто непосредственно доступное для интуиции, а аксиомы ZFC как предложения, истинность которых в V мы можем дать прямые интуитивные аргументы на естественном языке. Возможная средняя позиция состоит в том, что ментальная картина иерархии фон Неймана дает аксиомам ZFC мотивацию (так что они не являются произвольными), но не обязательно описывает объекты, существующие в реальности.