Von-Neumann-Hierarchie

Die Von-Neumann-Hierarchie oder kumulative Hierarchie ist ein Begriff der Mengenlehre, der eine Konstruktion von John von Neumann aus dem Jahr 1928 benennt, und zwar einen stufenweisen Aufbau des gesamten Mengenuniversums mit Hilfe von Ordinalzahlen und der Iteration der Potenzmengenbildung.

Definition

Die Stufen $V_{\alpha }$ zu Ordinalzahlen $\alpha$ bzw. Limes-Ordinalzahlen $\lambda$ werden durch transfinite Rekursion über folgende Rekursionsbedingungen definiert:

${\begin{aligned}V_{0}\,&:=\,\emptyset \\V_{\alpha +1}\,&:=\,{\mathfrak {P}}\left(V_{\alpha }\right)\\V_{\lambda }\,&:=\,\bigcup _{\alpha <\lambda }V_{\alpha }\end{aligned}}$

Demnach ist

${\begin{aligned}V_{1}&=\{\emptyset \}\\V_{2}&=\{\emptyset ,\{\emptyset \}\}\\V_{3}&=\{\,\emptyset ,\{\emptyset \},\{\{\emptyset \}\},\{\emptyset ,\{\emptyset \}\}\,\}\\\vdots \\V_{\omega }&=\{x\mid x{\text{ ist erblich endlich}}\}\\\vdots \end{aligned}}$

usw.

Sämtliche Mengen in den $V_{\alpha }$ sind also aus der leeren Menge heraus konstruiert. Die Stufen sind transitive Mengen, und es gilt $V_{\alpha }\subset V_{\beta }$ für alle Ordinalzahlen $\alpha <\beta$, dies erklärt den Namen kumulative Hierarchie.

Die Hierarchie

Innerhalb der Zermelo-Fraenkel-Mengenlehre (kurz ZF) lässt sich zeigen, dass jede Menge in einer Stufe der Hierarchie liegt: Bezeichnet $V:=\{x\mid x=x\}$ die Klasse aller Mengen, gilt also

$V=\bigcup _{\alpha \in \operatorname {Ord} }V_{\alpha }$

Hierbei wird das Fundierungsaxiom im Rahmen der Epsilon-Induktion essentiell verwendet. Umgekehrt folgt aus obiger Aussage auch das Fundierungsaxiom, beide Aussagen sind also äquivalent (über den restlichen Axiomen von ZF).

Weiterhin kann gezeigt werden, dass die Klasse $\textstyle \bigcup _{\alpha \in \operatorname {Ord} }V_{\alpha }$, aufgefasst als Teilmenge eines angenommenen Modells von ZF ohne Fundierungsaxiom, ein Modell für ZF ist. Selbiges ist also relativ konsistent zu den übrigen Axiomen.

Rangfunktion

Da jede Menge $x$ in einer geeigneten Stufe $V_{\alpha }$ liegt, gibt es stets eine kleinste Ordinalzahl $\alpha$ mit $x\subseteq V_{\alpha }$ und damit $x\in V_{\alpha +1}$. Dieses $\alpha$ wird als der Rang, $Rg(x)$, der Menge $x$ bezeichnet.

Mittels transfiniter Induktion über $\alpha$ kann man

$Rg(\alpha )\,=\,\alpha$ für alle Ordinalzahlen $\alpha$

zeigen. Für jede Menge $x$ gilt $Rg(x)=\sup\{Rg(y)+1\mid y\in x\}$. Der Rang einer Menge $x$ ist also stets strikt größer als der Rang aller ihrer Elemente.

Anwendungen

• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V_\omega} besteht genau aus den erblich endlichen Mengen. In Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V_\omega} gelten mit Ausnahme des Unendlichkeitsaxioms alle ZFC-Axiome. Damit ist gezeigt, dass das Unendlichkeitsaxiom nicht aus den übrigen ZFC-Axiomen hergeleitet werden kann.
• Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \kappa} eine stark unerreichbare Kardinalzahl, so ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V_\kappa} ein Modell für ZFC. Für die kleinste stark unerreichbare Kardinalzahl erhält man auf diese Weise ein Modell, in dem es keine stark unerreichbaren Kardinalzahlen gibt. Die Existenz stark unerreichbarer Kardinalzahlen kann also nicht in ZFC hergeleitet werden.
• Die Stufen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V_\alpha} spielen eine Rolle beim Reflexionsprinzip, welches ein wichtiges Axiom im Scottschen Axiomensystem ist.