Von Neumann Hierarchy Comparison
This page has been identified as a candidate for refactoring of medium complexity. In particular: There are two theorems here Until this has been finished, please leave {{Refactor}} in the code.
New contributors: Refactoring is a task which is expected to be undertaken by experienced editors only. Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Refactor}} from the code. |
It has been suggested that this page be renamed. In particular: The term "comparison" is not particularly mathematically rigorous, and has not been defined on this site as such (is there a need to? I don't believe so). To discuss this page in more detail, feel free to use the talk page. |
Theorem
Let $x$ and $y$ be ordinals such that $x < y$.
Then:
- $\map V x \in \map V y$
- $\map V x \subset \map V y$
This article, or a section of it, needs explaining. In particular: $\map V x$ etc. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Explain}} from the code. |
Proof
This page is beyond the scope of ZFC, and should not be used in anything other than the theory in which it resides.
If you see any proofs that link to this page, please insert this template at the top.
If you believe that the contents of this page can be reworked to allow ZFC, then you can discuss it at the talk page.
The proof shall proceed by Transfinite Induction on $y$.
Basis for the Induction
If $y = 0$, then $x \not < y$.
This proves the basis for the induction.
$\Box$
Induction Step
Let $x < y \implies \map V x \in \map V y$.
Then:
\(\ds x\) | \(<\) | \(\ds y^+\) | ||||||||||||
\(\ds \leadsto \ \ \) | \(\ds x < y\) | \(\lor\) | \(\ds x = y\) | Definition of Successor Set | ||||||||||
\(\ds x = y\) | \(\implies\) | \(\ds \map V x \in \powerset {\map V x}\) | Definition of Power Set | |||||||||||
\(\ds \leadsto \ \ \) | \(\ds \map V x\) | \(\in\) | \(\ds \map V {y^+}\) | Definition of Von Neumann Hierarchy | ||||||||||
\(\ds x < y\) | \(\implies\) | \(\ds \map V x \in \map V y\) | Inductive Hypothesis | |||||||||||
\(\ds \leadsto \ \ \) | \(\ds \map V x\) | \(\in\) | \(\ds \map V {y^+}\) | Von Neumann Hierarchy is Supertransitive |
In either case:
- $\map V x \in \map V {y^+}$
This proves the induction step.
$\Box$
Limit Case
Let $y$ be a limit ordinal.
Let:
- $\map V x \in \map V z$
for all $z \in y$ such that $x < z$.
Since $x < y$, it follows that $x < z$ for some $z \in y$ by Limit Ordinal Equals its Union.
By the inductive hypothesis:
- $\map V x \in \map V z$
But by Set is Subset of Union of Family:
- $\map V z \subseteq \map V y$
Therefore:
- $\map V x \in \map V y$
This proves the limit case.
$\Box$
- $\map V x \subset \map V y$ follows by Von Neumann Hierarchy is Supertransitive.
$\blacksquare$
Sources
- 1971: Gaisi Takeuti and Wilson M. Zaring: Introduction to Axiomatic Set Theory: $\S 9.10$