Von Neumann universe

From Wikipedia, the free encyclopedia

In set theory and related branches of mathematics, the von Neumann universe, or von Neumann hierarchy of sets, denoted V, is the class of all sets, divided into a transfinite hierarchy of individual sets. It is also sometimes called the cumulative hierarchy.

This may be defined by transfinite recursion as follows:

Let V₀ be the empty set, {}.
For any ordinal number α, let V_α+1 be the power set of V_α.
For any limit ordinal λ, let V_λ be the union of all the V-stages so far:

$V_\lambda := \bigcup_{\alpha < \lambda} V_\alpha \!$ .

Finally, let V be the union of all the V-stages:

$V := \bigcup_{\alpha} V_\alpha \!$ .

Equivalently, for any ordinal α, let $V_\alpha := \bigcup_{\beta < \alpha} \mathcal{P} (V_\beta) \!$ , where $\mathcal{P} (X) \!$ is the powerset of X.

1 V and set theory
2 Philosophical perspectives
3 See also
4 References

[edit] V and set theory

If ω is the set of natural numbers, then V_ω is the set of hereditarily finite sets, which is a model of set theory without the axiom of infinity. V_ω+ω is the universe of "ordinary mathematics", which is a model of Zermelo set theory. If κ is an inaccessible cardinal, then V_κ is a model of Zermelo-Fraenkel set theory itself, and V_κ+1 is a model of Morse–Kelley set theory.

V is not "the set of all sets". Note that every individual stage V_α is a set, but their union V is a proper class. The sets in V are called hereditarily well-founded sets; the axiom of foundation (or regularity) demands that every set is well founded and hence hereditarily well-founded. (Other axiom systems, omitting the axiom of foundation, or replacing it by a strong negation, such as Aczel's anti-foundation axiom, are possible, but rarely used.)

Given any set A, the smallest ordinal number α such that A is a subset of V_α is the rank (or hereditary rank) of A.

[edit] Philosophical perspectives

There are two distinct approaches to understanding the relationship of the von Neumann universe V to ZFC (and many variations of each approach, and shadings between them). Roughly, formalists will tend to view V as something that flows from the ZFC axioms (for example, ZFC proves that every set is in V). On the other hand, realists are more likely to see the von Neumann hierarchy as something directly accessible to the intuition, and the axioms of ZFC as propositions for whose truth in V we can give direct intuitive arguments in natural language. A possible middle position is that the mental picture of the von Neumann hierarchy provides the ZFC axioms with a motivation (so that they are not arbitrary), but does not necessarily describe objects with real existence.

[edit] See also

[edit] References

Jech, Thomas, 2003. Set Theory: The Third Millennium Edition, Revised and Expanded. Springer. ISBN 3-540-44085-2.
Kunen, Kenneth, 1980. Set Theory: An Introduction to Independence Proofs. Elsevier. ISBN 0-444-86839-9.