Конструктивный универсум

Конструктивным универсумом в теории множеств называется класс множеств, обозначаемый L и состоящий, неформально говоря, из множеств, которые можно определить с помощью формул в терминах более простых множеств. Все множества класса L образуют конструктивную иерархию, уровни которой индексируются ординалами. Данные термины были впервые введены Куртом Гёделем в 1938 году в работе "Непротиворечивость аксиомы выбора и обобщённой континуум-гипотезы". В этой работе было доказано, что конструктивный универсум является Шаблон:Не переведено 5 теории множеств ZF, а также что аксиома выбора и обобщённая континуум-гипотеза истинны в этой модели, то есть они не противоречат другим аксиомам ZF. Это было важным результатом, поскольку доказательство многих других теорем опирается на предположение об истинности аксиомы выбора или континуум-гипотезы.

Построение

L можно себе представить как поступенчато строящийся класс, по аналогии с универсумом фон Неймана (который обозначается V). Уровни построения L индексируются ординалами. В отличие от построения V, где на каждом уровне множество V_α+1 включает в себя все подмножества V_α, при построении L в множество L_α+1 включаются лишь те подмножества L_α, которые одновременно:

• могут быть определены посредством формулы формального языка теории множеств;
• в качестве параметров формулы используются лишь множества, построенные на предыдущих уровнях;
• все кванторы в формуле понимаются как ограниченные по множеству L_α.

Более формально, обозначим

$\mathrm{Def}(X):=\{\{y\mid y\in X\wedge (X,\in )\models \mathrm{\Phi }(y,z_1,\dots ,z_n)\}|(\mathrm{\Phi }\text{ является формулой языка теории множеств })\wedge (z_1,\dots ,z_n\in X)\}.$

Тогда L определяется по трансфинитной рекурсии следующим образом:

• $L_0:=\varnothing .$
• $L_{\alpha +1}:=\mathrm{Def}(L_{\alpha }).$
• Если $\lambda$ — предельный ординал, то $L_{\lambda }:=\bigcup _{\alpha <\lambda }{L}_{\alpha }.$
• $L:=\bigcup _{\alpha \in 𝐎𝐫𝐝}{L}_{\alpha }$, где Ord обозначает класс всех ординалов.

Если z является элементом L_α, то z = {y | y ∈ L_α and y ∈ z} ∈ Def (L_α) = L_α+1. Поэтому L_α является подмножеством L_α+1, которое является подмножеством булеана L_α. Следовательно, уровни конструктивной иерархии образуют цепочку вложенных друг в друга транзитивных множеств. Но вся совокупность этих множеств L является собственным классом.

Элементы L называются конструктивными множествами, а сам класс L называется конструктивным универсумом. Шаблон:Не переведено 5, коротко записываемая "V=L", утверждает, что любое множество (из класса V) конструктивно, то есть лежит в классе L.

Литература

• Шаблон:Статья
• Шаблон:Книга