In de verzamelingenleer is een ordinaalgetal of ordinaal een generalisatie van het begrip natuurlijk getal. Net zoals met de natuurlijke getallen de elementen in een eindige verzameling in een volgorde gezet kunnen worden door de elementen te tellen, zijn ordinaalgetallen ook een soort getallen om objecten in een gegeven volgorde te plaatsen.
Definitie
De definitie van een ordinaalgetal maakt gebruik van beginsegmenten van welgeordende verzamelingen. Een beginsegment bestaat uit alle elementen die in de volgorde voor een bepaald gegeven element liggen, dus
Een beginsegment van een welgeordende verzameling is een verzameling .
Een ordinaal is een welgeordende verzameling waarvoor geldt dat voor alle in , dus een welgeordende verzameling waarvan ieder element zijn eigen beginsegment is.
Opvolger-ordinaal
Bij iedere ordinaal kan een nieuwe ordinaal, de opvolger-ordinaal, gevonden worden.
Een limietordinaal wordt gedefinieerd als een ordinaal die niet leeg is en ook geen opvolger van een ordinaal. Een limietordinaal is de verzameling van alle kleinere ordinalen. Een voorbeeld van een limietordinaal is , de ordinaal van de natuurlijke getallen.
De ordinaal met zijn opvolgers vormen de rij . De limietordinaal van alle ordinalen tot en met deze rij is . De ordinaal met zijn opvolgers vormen de rij , . Deze "opeenvolging van oneindig veel rijen" heeft ook een limietordinaal, , enzovoort. De volgende limietordinalen zijn . Zo krijgen we alle "polynomen" in met niet-negatieve gehele coëfficiënten. De volgende limietordinaal is de verzameling daarvan, aangeduid als . Hier kan weer elk van de voorgaande ordinalen bij worden opgeteld. Vervolgens is er dan de limietordinaal . Verdergaand (na veel tussenstappen) zijn er ook , , en
Deze ordinalen, en meer, zijn allemaal aftelbaar. De verzameling van alle aftelbare ordinalen is de kleinste overaftelbare ordinaal, . Er zijn dus ook overaftelbaar veel aftelbare ordinalen. Zie ook onder.
Bewerkingen op ordinalen
Optellen en vermenigvuldigen van ordinalen wordt hieronder steeds gedefinieerd in termen van een welgeordende verzameling die de resulterende ordinaal representeert.
Optellen van twee ordinalen
De som van de ordinalen en
waarin en disjuncte verzamelingen zijn die gelijkmachtig zijn met respectievelijk en , en de vereniging zodanig welgeordend is dat voor alle geldt:
en dan
of dan geordend volgens respactievelijk of
Men kan bijvoorbeeld kiezen: en
Voorbeelden (met de elementen van de verzamelingen in volgorde geschreven):
Algemeen is een ordinaalgetal het ordetype van een welgeordende verzameling. Ordinaalgetallen worden meestal geïdentificeerd met erfelijk transitieve verzamelingen. Ordinalen vormen een uitbreiding van de natuurlijke getallen, die echter zowel van de gehele getallen als van de kardinaalgetallen verschillen. Net als andere soorten getallen kunnen ordinalen worden opgeteld, vermenigvuldigd, en geëxponentieerd. De eindige ordinalen en kardinalen zijn de natuurlijke getallen: 0, 1, 2, ..., dit aangezien elke twee totaalordeningen van een eindige verzameling orde-isomorf zijn.
De kleinste oneindige ordinaal is , die wordt geïdentificeerd met het kardinaalgetal. Maar in het transfiniete geval, verder dan , maken ordinaalgetallen op grond van hun orde-informatie een fijner onderscheid dan kardinalen. Terwijl er slechts één aftelbareoneindige kardinaal, namelijk zelf is, zijn er oneindig veel aftelbare oneindige ordinalen, namelijk
en zo verder.
De verzameling van alle aftelbare ordinaalgetallen vormt de eerste onaftelbare ordinaal, , die wordt geïdentificeerd met de kardinaal , de eerstvolgende kardinaal na . Welgeordende kardinalen worden geïdentificeerd met hun initiële ordinalen, dat wil zeggen de kleinste ordinaal van die kardinaliteit. De kardinaliteit van een ordinaalgetal definieert een "een-op-meer-associatie" van kardinalen naar ordinalen.
In het algemeen heeft elke ordinaal het ordetype van de verzameling van ordinalen die strikt genomen kleiner zijn dan α zelf. Deze eigenschap laat toe dat elke ordinaal kan worden weergegeven als een verzameling van alle ordinalen kleiner dan zichzelf. Ordinalen kunnen als volgt worden gecategoriseerd: nul, opvolgerordinalen, en limietordinalen, van verschillende cofinaliteiten. Gegeven een klasse van ordinalen, kan men het α-ste lid van die klasse identificeren, dat wil zeggen dat men de ordinalen in deze klasse kan indexeren (tellen). Een klasse is gesloten en onbegrensd als haar indexeringsfunctie continu is en nooit stopt.
De Cantor-normaalvorm geeft elke ordinaal uniek weer als een eindige som van ordinaalmachten van ω. Dit kan echter niet de basis vormen voor een universele ordinaalnotatie, dit als gevolg van zulke zelf-referentiële weergaven als . Grotere en grotere ordinalen kunnen worden gedefinieerd, maar ze worden steeds moeilijker te beschrijven. Elke ordinaal kan worden omgezet in een topologische ruimte door de ordinaal uit te rusten met een ordetopologie. Deze topologie is slechts dan en slechts dandiscreet als de ordinaal tevens een telbaar kardinaalgetal is, wat wil zeggen voor de meeste ω. Een deelverzameling van is open in de ordetopologie dan en slechts dan als deze deelverzameling cofiniet is of wanneer element er zelf geen deel van uitmaakt.