Universo de von Neumann
Origem: Wikipédia, a enciclopédia livre.
Na teoria dos conjuntos e ramos relacionados da matemática, o universo de von Neumann, ou hierarquia de von Neumann dos conjuntos é a classe de todos os conjuntos, divididos em uma hierarquia transfinita de conjuntos individuais.
Isso pode ser definido pela recursão transfinita como segue:
- Seja V0 um conjunto vazio.
- Para a um número ordinal, sendo Va+ (onde a+ é o ordinal sucessor de a) o conjunto das partes de Va.
- Para b um limite ordinal, sendo Vb a união de todos os V-estágios então:
-
.
- Finalmente, sendo V a união de todos os V-estágios:
-
.
