title: Ordinaalgetal
text: 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.
  
  Uitgaande van de lege verzameling ontstaan zo de verzamelingtheoretische voorstellingen van de natuurlijke getallen, waarbij ∅ voor de lege verzameling staat:
   , de lege verzameling. Er zijn geen natuurlijke getallen kleiner dan 0.
   
   
   
   enzovoort
  
  Dit is dus een inductieve verzameling. Maar er bestaan nog meer ordinalen.
  
  Limietordinaal 
  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):
  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.
  
  , isomorf met 
  en
  
  Som 
  
  met
  
  en
  
  Vermenigvuldigen 
  
  Merk op dat zowel optellen als vermenigvuldigen niet commutatief is. We hebben gezien
  
  en verder geldt bijvoorbeeld
   terwijl
  
  Verdere bespreking 
  Ordinaalgetallen werden in 1897 door Georg Cantor ingevoerd om oneindige rijen te beschrijven en aan te kunnen geven hoe geordende verzamelingen zich tot elkaar verhouden.
  
  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 aftelbare oneindige 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 dan discreet 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.
  
  Verzamelingenleer