Beet-getal

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

In de wiskunde worden de oneindige kardinaalgetallen weergegeven door de Hebreeuwse letter (alef) geïndexeerd met een subscript dat over de ordinaalgetallen loopt (zie alef-getal). De tweede Hebreeuwse letter (beet) wordt op een hiervan verwante manier gebruikt, maar indexeert niet noodzakelijkerwijs dezelfde getallen die door worden geïndexeerd.

Definitie[bewerken]

Om de beet-getallen te definiëren beginnen wij met

de kardinaliteit van enige aftelbare oneindige verzameling; Neem om het concreet te maken de verzameling van natuurlijke getallen als een typisch geval. P(A) duidt de machtsverzameling van A aan, dat wil zeggen de verzameling van alle deelverzamelingen van A. Definieer dan

wat de kardinaliteit is van de machtsverzameling van A, als de kardinaliteit van A is.

Gegeven deze definitie zijn,

respectievelijk de kardinaliteiten van

zodat het tweede beet-getal gelijk is aan c (of ), de kardinaliteit van het continuüm, en het derde beet-getal de kardinaliteit is van de machtsverzameling van het continuüm.

Vanwege de stelling van Cantor heeft elke verzameling in de hierboven getoonde rij een kardinaliteit die strikt genomen groter is dan de eraan voorafgaande verzameling. Voor oneindige limietordinalen, λ, wordt het overeenkomstige beet-getal gedefinieerd als het supremum van de beet-getallen voor alle ordinaalgetallen die strikt genomen kleiner zijn dan λ:

Men kan ook aantonen dat de von Neumann-universa een kardinaliteit hebben