Универсум фон Неймана

Универсум фон Неймана (иерархия множеств по фон Нейману) — класс, образованный наследственными фундированными множествами; такая совокупность, формализуемая теорией множеств Цермело — Френкеля (ZFC), часто используется в качестве интерпретации или обоснования ZFC-аксиом. Стандартное обозначение — $V$$V$.

Ранг фундированного множества индуктивно определяется как наименьшее порядковое число, превосходящее ранг любого элемента в этом множестве. В частности, ранг пустого множества равен нулю, а ранг любого порядкового числа равен ему самому. Множества, входящие в класс $V$$V$, в силу деления на ранги, образуют трансфинитную иерархию, которая также называется кумулятивной иерархией множеств.

ИсторияПравить

В 1982 году Грегори Мур заявил, что кумулятивная иерархия типов, также известная как универсум фон Неймана, была приписана фон Нейману по ошибке, поскольку впервые упоминается в публикации Эрнста Цермело 1930 года.

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

Символ $V$$V$  — это не отсылка к имени фон Неймана, ещё в 1889 году Пеано использовал его для обозначения универсума множеств, подразумевая слово «Verum», которое он применял не только в качестве логического символа, но и для обозначения класса всех элементов. В 1910 году Уайтхед и Рассел переняли нотацию Пеано для обозначения класса всех множеств. В статьях фон Неймана о порядковых числах и трансфинитной индукции (1920-е гг.) обозначение V (в смысле класса всех множеств) не используется. Пол Коэн явным образом приписывает используемый им символ V (класс всех множеств) статье, написанной Гёделем в 1940 году, хотя Гедель, скорее всего, позаимствовал это обозначение из более ранних публикаций, таких, как работы Уайтхеда и Рассела.

Формула $\underset{\mathrm{\alpha <!--\; \alpha \; -->}}{\bigcup <!--\; \bigcup \; -->}{V}_{\mathrm{\alpha <!--\; \alpha \; -->}}$$\bigcup _{{\alpha }}V_{\alpha }$  часто рассматривается в качестве теоремы, а не определения. По утверждению Ройтман (без ссылок на какие-либо источники), эквивалентность аксиомы регулярности и равенства кумулятивной иерархии универсуму ZF-множеств была впервые продемонстрирована фон Нейманом.

ОпределениеПравить

Кумулятивная иерархия представляет собой семейство множеств $V_{\mathrm{\alpha <!--\; \alpha \; -->}}$$V_{\alpha }$ , где индекс $\mathrm{\alpha <!--\; \alpha \; -->}$$\alpha$  пробегает класс всех порядковых чисел. Более конкретно, множество $V_{\mathrm{\alpha <!--\; \alpha \; -->}}$$V_{\alpha }$  состоит из всех множеств, имеющих ранг меньше $\mathrm{\alpha <!--\; \alpha \; -->}$$\alpha$ . Таким образом, каждому порядковому числу $\mathrm{\alpha <!--\; \alpha \; -->}$$\alpha$  соответствует единственное множество $V_{\mathrm{\alpha <!--\; \alpha \; -->}}$$V_{\alpha }$ . Формально множество $V_{\mathrm{\alpha <!--\; \alpha \; -->}}$$V_{\alpha }$  можно определить с помощью трансфинитной рекурсии:

• В качестве $V_0$$V_{0}$  выберем пустое множество:

  $V_0:=\{\}.$$V_{0}:=\{\}.$ 

• Пусть $\mathrm{\beta <!--\; \beta \; -->}$$\beta$  — произвольное порядковое число, тогда $V_{\mathrm{\beta <!--\; \beta \; -->}+1}$$V_{{\beta +1}}$  определяется как булеан множества $V_{\mathrm{\beta <!--\; \beta \; -->}}$$V_{\beta }$ :

  $V_{\mathrm{\beta <!--\; \beta \; -->}+1}:=\mathcal{P}(V_{\mathrm{\beta <!--\; \beta \; -->}}).$$V_{{\beta +1}}:={\mathcal {P}}(V_{\beta }).$ 

• Пусть $\mathrm{\lambda <!--\; \lambda \; -->}$$\lambda$  — предельное порядковое число, тогда $V_{\mathrm{\lambda <!--\; \lambda \; -->}}$$V_{\lambda }$  определяется как объединение всех $V$$V$ -множеств, построенных на предыдущих шагах:

  $V_{\lambda }:=\bigcup _{{\beta <\lambda }}V_{\beta }.$ 

Ключевая особенность данного определения состоит в том, что на языке теории ZFC утверждение о том, что «множество $x$$x$  принадлежит $V_{\mathrm{\alpha <!--\; \alpha \; -->}}$$V_{\alpha }$ », выражается единственной формулой вида $\mathrm{\phi <!--\; \phi \; -->}(\mathrm{\alpha <!--\; \alpha \; -->},x)$$\varphi (\alpha ,x)$ .

Классом $V$$V$  называется объединение всех множеств вида $V_{\mathrm{\alpha <!--\; \alpha \; -->}}$$V_{\alpha }$ :

$V:=\underset{\mathrm{\alpha <!--\; \alpha \; -->}}{\bigcup <!--\; \bigcup \; -->}{V}_{\mathrm{\alpha <!--\; \alpha \; -->}}$$V:=\bigcup _{{\alpha }}V_{\alpha }$ .

Эквивалентное определение использует обозначения вида

$V_{\alpha }:=\bigcup _{{\beta <\alpha }}{\mathcal {P}}(V_{\beta })$ ,

где $\mathrm{\alpha <!--\; \alpha \; -->}$$\alpha$  — произвольное порядковое число, а $\mathcal{P}(X)$${\mathcal {P}}(X)$  булеан множества $X$$X$ .

Рангом множества $S$$S$  называется наименьшее $\mathrm{\alpha <!--\; \alpha \; -->}$$\alpha$ , при котором $S\subseteq <!--\; \subseteq \; -->V_{\mathrm{\alpha <!--\; \alpha \; -->}}.$$S\subseteq V_{\alpha }\,.$ 

На следующем рисунке показано схематичное отображение первых пяти уровней иерархии фон Неймана (от $V_0$$V_{0}$  до $V_4$$V_{4}$ ). (Пустой блок соответствует пустому множеству. Блок, внутри которого находится только пустой блок, соответствует множеству, единственным элементом которого является пустое множество, и так далее.)

 

Множество $V_5$$V_{5}$  состоит из 65536 элементов. Размер множества $V_6$$V_{6}$  составляет $2^{65536}$$2^{{65536}}$  и существенно превосходит число атомов в наблюдаемой вселенной. Таким образом, конечные уровни кумулятивной иерархии, имеющие индекс выше 5, нельзя выписать явным образом. Множество $V_{\mathrm{\omega <!--\; \omega \; -->}}$$V_{\omega }$  имеет ту же мощность, что и $\mathrm{\omega <!--\; \omega \; -->}$$\omega$ . Мощность $V_{\mathrm{\omega <!--\; \omega \; -->}+1}$$V_{{\omega +1}}$  совпадает с мощностью множества вещественных чисел.

Связь с теорией множествПравить

Если $\mathrm{\omega <!--\; \omega \; -->}$$\omega$  — множество натуральных чисел, то множество $V_{\mathrm{\omega <!--\; \omega \; -->}}$$V_{\omega }$  состоит из наследственно конечных множеств и представляет собой модель теории множеств без аксиомы бесконечности. $V_{\mathrm{\omega <!--\; \omega \; -->}+\mathrm{\omega <!--\; \omega \; -->}}$$V_{{\omega +\omega }}$  есть универсум «обычной математики» и модель теории множеств Цермело. Если $\mathrm{\kappa <!--\; \kappa \; -->}$$\kappa$  — недостижимое кардинальное число, то $V_{\mathrm{\kappa <!--\; \kappa \; -->}}$$V_{\kappa }$  — модель самой теории ZFC, в то время как $V_{\mathrm{\kappa <!--\; \kappa \; -->}+1}$$V_{{\kappa +1}}$  — это модель теории множеств Морса — Келли.

$V$$V$  не является «множеством всех множеств» по двум причинам. Во-первых, V не является множеством; несмотря на то, что каждая из совокупностей $V_{\mathrm{\alpha <!--\; \alpha \; -->}}$$V_{\alpha }$  представляет собой множество, их объединение $V$$V$  — собственный класс. Во-вторых, только фундированные множества входят в класс $V$$V$  в качестве элементов. В соответствии с аксиомой фундирования (или регулярности) каждое множество является фундированным и, следовательно, входит в класс $V$$V$ . Таким образом, в теории ZFC каждое множество является элементом класса $V$$V$ . Однако в других аксиоматических системах аксиома фундирования может быть заменена своим сильным отрицанием (например, аксиомой антифундирования Акзеля), либо просто отсутствовать. Подобные теории нефундированных множеств обычно не применяются на практике, но вполне могут быть объектом исследования.

Третье возражение против интерпретации $V$$V$  как «множества всех множеств» заключается в том, что не каждое множество является «чистым», то есть может быть выражено через пустое множество, булеан и объединение. В 1908 году Цермело предложил добавить в теорию множеств урэлементы, и в 1930 году построил на их основе трансфинитную рекурсивную иерархию. Подобные урэлементы широко используются в теории моделей — в частности, моделях Френкеля — Мостовского.

Взгляд с позиции философииПравить

Существуют два основных подхода (без учёта различных вариантов и промежуточных градаций) к пониманию взаимосвязи между универсумом фон Неймана $V$$V$  и теорией ZFC. В общих чертах: формалисты склонны воспринимать $V$$V$  как некое следствие ZFC-аксиом (например, в теории ZFC можно доказать, что каждое множество является элементом $V$$V$ ), в то время как реалисты чаще всего видят в универсуме фон Неймана объект, непосредственно доступный интуиции, а в аксиомах ZFC — утверждения, истинность которых в контексте $V$$V$  можно подтвердить с помощью прямых доводов, выраженных на естественном языке. Одна из возможных промежуточных точек зрения состоит в том, что мысленный образ фоннеймановской иерархии служит обоснованием ZFC-аксиом (тем самым придавая им объективность), хотя и не обязательно соответствует каким-либо реально существующим объектам.

См. такжеПравить

• Универсум
• Универсум Гротендика

ЛитератураПравить

• 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.