Hoofdmenu openen
Representatie van de ordinalen tot en met ωω. Iedere omwenteling in de spiraal representeert een factor ω.

In de verzamelingenleer is een ordinaalgetal of ordinaal een generalisatie van het begrip natuurlijk getal. Net zoals met de natuurlijke getallen de objecten in een eindige collectie in een volgorde gezet kunnen worden door de objecten te tellen, zijn ordinaalgetallen ook een soort "labels" om objecten in volgorde te plaatsen.

Inhoud

DefinitieBewerken

De definitie van een ordinaalgetal maakt gebruik van beginsegmenten van welgeordende verzamelingen. Een beginsegment bestaat uit alle elementen die in de volgorde vóór 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.

SuccessorordinaalBewerken

Bij iedere ordinaal   kan een nieuwe ordinaal, de successorordinaal,   gevonden worden.

Uitgaande van de lege verzameling ontstaan zo de verzamelingtheoretische voorstellingen van de natuurlijke getallen (waarbij ∅ staat voor de lege verzameling):

  • 0 = ∅
  • 1 = {0} = {∅}
  • 2 = {0,1} = {∅, {∅}}
  • 3 = {0,1,2} = {∅, {∅}, {∅,{∅}}}
  • enz.

Dit zijn echter niet alle ordinalen.

LimietordinaalBewerken

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  ,  ,  , .. , enzovoort. Deze "opeenvolging van oneindig veel rijen" heeft ook een limietordinaal,  , enzovoort. De volgende limietordinalen zijn  , enzovoort. 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, ω1. Er zijn dus ook overaftelbaar veel aftelbare ordinalen. Zie ook onder.

Operaties op ordinalenBewerken

Optellen en vermenigvuldigen van ordinalen wordt hieronder steeds gedefinieerd in termen van een welgeordende verzameling die de resulterende ordinaal representeert.

  • Optellen van 2 ordinalen:
 
met
 
en
 

Voorbeelden (met de elementen van de verzamelingen in volgorde geschreven):

2 + 3 = {0,1} + {0,1,2} = {(0,0), (1,0}, (0,1), (1,1), (2,1)}, isomorf met {0,1,2,3,4} = 5.
  = {0} + {0, 1, 2, ..} = {(0,0), (0,1), (1,1), (2,1), ..}, isomorf met {0, 1, 2, ..} =  

en

  = {0, 1, 2, ..} + {0} = {(0,0), (1,0), (2,0), .. , (0,1)) >  
  • Som (algemeen):
 
met
 
en
 
  • Vermenigvuldigen:
 

Merk op dat zowel optellen als vermenigvuldigen niet commutatief is. We hebben gezien

 

en verder geldt bijvoorbeeld

  terwijl  

Verdere besprekingBewerken

Ordinaalgetallen werden in 1897 door Georg Cantor[1] ingevoerd om oneindige rijen te beschrijven en aan te kunnen geven hoe geordende verzamelingen zich tot elkaar verhouden[2].

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 de eindige 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 aftelbare oneindige kardinaal, namelijk   zelf is, zijn er oneindig veel aftelbare oneindige ordinalen, namelijk

ω, ω+1, ω+2, ..., ω+ω=ω·2, ω·2+1, ..., ω2, ..., ω3, ..., ωω, ..., ωωω, ..., ε0, ...

en zo verder.

De verzameling van alle aftelbare ordinaalgetallen vormt de eerste onaftelbare ordinaal, ω1, 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 dan discreet als de ordinaal tevens een telbaar kardinaalgetal is, wat wil zeggen voor de meeste ω. Een deelverzameling van ω + 1 is open in de ordetopologie dan en slechts dan als deze deelverzameling cofiniet is of wanneer element ω er zelf geen deel van uitmaakt.