Ordinaali

Ordinaalien esitystapa$\omega ^{\omega }$:aan saakka. Jokainen spiraalin kierros vastaa$\omega$:n seuraavaa potenssia

Ordinaalieliordinaalilukuonjoukko-opissakäytettyluonnollisen luvunkäsitteen yleistys, jolla kuvataan tapoja sijoittaa johonkin kokoelmaan kuuluvat kohteet peräkkäiseen järjestykseen, yksi toisensa jälkeen. Jokainen äärellinen määrä kohteita voidaan asettaa järjestykseen yksinkertaisesti laskemalla ne: tällöin jokainen kohde saa järjestys­luvukseen jonkinkokonaisluvun.Käytännössä ordinaaliluvut voidaan ajatella vaikkapa numerolapuiksi, joiden avulla kohteet voidaan asettaa määrättyyn järjestykseen.

Äärellisten kokoelmien tapauksessa ordinaali­luvut vastaavat täysin luonnollisia lukuja eli positiivisia kokonaislukuja. Sen sijaan äärettömille kokoelmille on olemassa useampiakin "järjestyksen" käsitteitä. Sitä niistä, joka lähinnä voidaan katsoa yleistykseksi äärellisen joukon järjestyksestä "yksi toisensa jälkeen", sanotaanhyvin­järjestykseksi.Hyvin­järjestyksen voidaan ajatella merkitsevän sitä, että kohteet merkitään nimi- tai numerolapuilla "yksi toisensa jälkeen", mutta sallitaan, että jotkin nimilaput tulevat vasta äärettömän monen edeltäjän jälkeen. Esimerkiksi luonnollisten lukujen joukon$\{0,1,2,...\}$jälkeen voidaan jonon loppuun lisätä symboli ω, joka on pienin ääretön ordinaali. Näin joukko$\{0,1,2,...,\omega \}$jatkuu ylös äärettömään. Jotkin ordinaalit ovat jonkin edeltäjänsä välitön seuraaja,seuraajaordinaali',kuten on laita luonnollisten lukujen$\{1,2,...\}$,mutta toiset ordinaalit kuten$\omega$eivät ole minkään toisen ordinaalin välittömiä seuraajia, ja sellaisia sanotaanrajaordinaaleiksi.

Ordinaalit on erotettavakardinaali­luvuista,joiden avulla voidaan ilmoittaa, kuinka monta kohdetta jossakin kokoelmassa on. Äärellisten lukujen tapauksessa kardinaali- ja ordinaali­luvut vastaavat kääntäen yksi­käsitteisesti toisiaan; esimerkiksi ordinaali­luvusta voidaan siirtyä vastaavaan kardinaali­lukuun laskemalla nimilaput. Sitä vastoin kaksi tai useampikin eri ääretöntä ordinaalia voi vastata samaa kardinaalia (katsoHilbertin hotelli). Muiden lukujen tapaan ordinaalejakin voidaan laskea yhteen, kertoa tai korottaa potenssiin, mutta äärettömien ordinaalien tapauksessa yhteen- ja kertolasku eivät olekommutatiivisia.

Ordinaalit otti käyttöönGeorg Cantorvuonna 1883käsitelläkseen äärettömiä jonoja ja luokitellakseenjohdetut joukot,jotka hän oli vuonna 1872 ottanut käyttöön tutkiessaantrigono­metristen sarjojenyksi­käsitteisyyttä.

Ordinaalit luonnollisten lukujen laajennuksena

Luonnollisia lukuja,joihin tässä yhteydessä luetaan myösnolla,voidaan käyttää kahteen tarkoitukseen: niillä voidaan ilmaistajoukonsuuruus, tai niillä voidaan ilmaista kohteensijainti,kun ne on asetettu peräkkäis­järjestykseen. Tavan­omaisessa kielessä luonnollisia lukuja vastaavat edellisessä tapauksessakardinaali-eli perus­lukusanat (yksi, kaksi, kolme jne.), jälkimmäisessä tapauksessaordinaali-eli järjestys­lukusanat (ensimmäinen, toinen, kolmas jne.)Matematiikassanäillä ei kuitenkaan äärellisten lukujen tapauksessa ole oleellista eroa, sillä jokaista äärellistä kardinaali­lukua vastaa yksi äärellinen ordinaali­luku ja päinvastoin. Näin ollen kaikki tavat, joilla tietty äärellinen määrä kohteita voidaan asettaa peräkkäiseen järjestykseen, ovat keskenäänisomorfisia.Äärettömien joukkojen tapauksessa asia on kuitenkin toisin; joukon "suuruutta" ja alkion paikkaa jonossa on kuvattava eri käsittein, joista ensinmainittu johtaa äärettömiinkardinaalilukuihin,jälkimmäinen ordinaaleihin. Näin on tehtävä, koska äärettömänkin joukon "suuruus",mahtavuuseli kardinaliteetti, on yksi­käsitteisesti määritettävissä, mutta on useita keskenään ei-isomorfisia tapojahyvin­järjestääsen alkiot, kuten jälkempänä tarkemmin kuvataan.

Kardinaaliluvun käsite liittyy joukkoon, jolla ei tarvitse olettaa olevan mitään erityistä matemaattista struktuuria. Sen sijaan ordinaalit liittyvät niin läheisesti niin sanottuihinhyvin­järjestettyihinjoukkoihin, että joidenkuiden matemaatikkojen mielestä ordinaalin ja hyvin­järjestyksen käsitteillä ei tarvitse tehdä mitään eroa. Hyvin­järjestetty joukko ontäydellisesti järjestettyjoukko, eli joukko, jonka kahdesta eri alkiosta jompikumpi on aina pienempi kuin toinen, ja jossa lisäksi ei ole ääretöntälaskevaasarjaa (joskin äärettömiä nousevia sarjoja voi olla); yhtä­pitävästi voidaan sanoa että sen jokaisella ei-tyhjälläosa­joukollaon pienin alkio. Ordinaaleilla voidaan merkitä minkä tahansa hyvin­järjestetyn joukon alkioita (pienin niistä saa tunnukseksi luvun 0, toiseksi pienin luvun 1, seuraava luvun 2 ja niin edelleen), ja niillä voidaan mitata joukon "pituus", joksi saadaan pienin ordinaali, jolla ei ole merkitty mitään joukon alkiota. Tätä "pituutta" sanotaan joukonjärjestys­tyypiksi.

Jokaisen ordinaalin määrittelee sitä edeltävien ordinaalien joukko; itse asiassa ordinaalit määritellään nykyisin useimmiten "samastamalla" kukin ordinaali sitä edeltävien ordinaalien joukon kanssa. Esimerkiksi ordinaali 42 on sitä pienempien ordinaalien joukon järjestys­tyyppi; tähän joukkoon kuuluvat ordinaalit 0:sta eli pienimmästä ordinaalista ordinaaliin 41 saakka, joka on 42:n välitön edeltäjä, ja se voidaan samastaa joukon$\{0,1,2,...,41\}$kanssa. Kääntäen jokainen ordinaalien joukko$(S)$,joka onalaspäin suljettu(eli jolle pätee, että jos jokin ordinaali α kuuluu joukkoon$S$ja jos toinen ordinaali$\beta <\alpha$,niin myös$\beta$kuuluu joukkoon$S$), on itse ordinaali tai voidaan samastaa jonkin ordinaalin kanssa.

On myös äärettömiä ordinaaleja. Pienin ääretön ordinaali on$\omega$,joka on luonnollisten lukujen (äärellisten ordinaalien) järjestystyyppi. Se voidaan edellä mainitulla samastaa luonnollisten lukujenjoukonkanssa, sillä luonnollisten joukko on hyvin järjestetty, kuten jokainen ordinaalien joukko, ja koska se on alaspäin suljettu, se voidaan samastaa siihen liittyvän ordinaalin kanssa, mikä on täsmälleen se tapa, jolla$\omega$on määritelty.

Ordinaalin$\omega ^{2}$esitys tikkujen jonolla Jokainen tikku vastaa jotakin muotoa$\omega \cdot m+n$olevaa ordinaalia, missä$m$ja$n$ovat luonnollisia lukuja.

Ehkä selvempi intuitiivinen käsitys ordinaaleista saadaan tutkimalla joitakin ensimmäisiä niistä. Kuten edellä todettiin, ne alkavat luonnollisista luvuista$0,1,2,3,4,5,\ldots$.Kaikkienluonnollisten lukujen jälkeen tulee ensimmäinen ääretön ordinaali$\omega$,sen jälkeen$\omega +1$,$\omega +2$,$\omega +3$ja niin edelleen. (Miten äärettömien ordinaalien yhteen­lasku määritellään, kerrotaan jäljempänä osiossaordinaalien lasku­toimitukset;tässä vaiheessa on syytä ajatella$\omega +1$,$\omega +2$,$\omega +3$ja niin edelleen vain ordinaalien nimiksi.) Kaikkien tällaisten jälkeen tulee$\omega \cdot 2$(eli$\omega +\omega$),$\omega \cdot 2+1$,$\omega \cdot 2+2$ja niin edelleen, kaikkien tällaisten jälkeen$\omega \cdot 3$ja vastaavalla tavalla myöhemmin$\omega \cdot 4$.Kaikkien tällä tavoin muodostettujen ordinaalien joukolla ($\omega \cdot m+n$olevaa ordinaalia, missä$m$ja$n$ovat luonnollisia lukuja) täytyy itselläänkin olla siihen liittyvä ordinaali, ja se on$\omega ^{2}$.Edelleen saadaan vastaavalla tavalla$\omega ^{3}$,$\omega ^{4}$ja niin edelleen, sekä lopulta$\omega ^{\omega }$,$\omega ^{\omega ^{2}}$ja paljon myöhemmin vihdoin$\epsilon _{0}$,joka voidaan esittää raja-arvona muodossa

$\epsilon _{0}=\omega ^{\omega ^{\omega ^{\omega ^{...}}}}$

Kaikki nämä ovat vielä suhteellisen pieniä,numeroituvien joukkojenordinaalilukuja. Tätä voidaan jatkaa äärettömän kauas; itse asiassa "äärettömän kauas" onkin juuri se, mihin ordinaalit soveltuvat: joka kerta kun ordinaaleja lueteltaessa sanotaan "ja niin edelleen", tämä sanonta määrittelee suuremman ordinaalin. Pieninylinumeroituvaordinaali on kaikkien numeroituvien ordinaalien joukko, jolle käytetään merkintää$\omega _{1}$.

Määritelmiä

Hyvinjärjestetyt joukot

Hyvin­järjestetyssäjoukossa jokaisella ei-tyhjällä osajoukolla on pienin alkio.Valinta-aksioomanmukaan tämä on yhtäpitävää sen kanssa, että joukko ontäydellisesti järjestettyja että siinä ei ole ääretöntä laskevaa jonoa, mikä on ehkä helpommin hahmotettavissa. hyvin­järjestyksen käytännössä tärkein merkitys on siinä, että se mahdollistaatransfinittisen induktion:jos siitä, että jokin ominaisuus on jonkin alkion kaikilla edeltäjillä, seuraa, että se on myös kyseisellä alkiolla, silloin tämä ominaisuus on koko joukon kaikilla alkioilla, edellyttäen, että joukko on hyvin­järjestetty. Tällä on merkitystä myöstieto­tekniikassa:jos jokin laskenta­menetelmä voidaan hyvin­järjestää siten, että jokaista askelta seuraa "alempi" askel, laskenta ei jatku loppumattomiin.

Kahta hyvin­järjestettyä joukkoa$A$ja$B$sanotaanjärjestys­isomorfisiksi,jos jokaista joukon$A$alkiota vastaamaan voidaan asettaa jokin joukon$B$alkio siten, että jos joukon$A$alkio$x$on pienempi kuin joukon$A$alkio$y$,on myös alkiota$x$vastaava alkio joukossa$B$pienempi kuin alkiota$y$vastaava alkio joukossa$B$ja päinvastoin. Tällaista eri joukkojen alkioiden vastaavuutta sanotaanjärjestysisomorfismiksi.Järjestys­isomorfiset joukot ovat järjestyksen kannalta saman­laisia, ja niistä voidaankin sanoa, että niiden alkiot on vain "nimetty eri tavoin.". Joukkojen järjestys­isomorfisuus on selvästikinekvivalenssirelaatio.Mikäli kahden hyvin­järjestetyn joukon välillä on järjestys­isomorfismi, sellaisia on vain yksi: tämä seikka osaltaan oikeuttaakin pitämään näitä joukkoja oleellisesti samoina ja etsiä isomorfismi­tyypille (luokalle) "kanonista" edustajaa. Ordinaalit ovatkin juuri sellaisia isomorfismi­tyyppien "kanonisia" edustajia, ja niitä voidaankin käyttää jokaisen hyvin­järjestetyn joukon merkitsemis­tapoina.

Muodollisesti jososittainen järjestys$<$on määritelty joukossa$S$ja osittainen järjestys$<'$joukossa$S'$,osittain järjestetyt joukot$(S,<)$ja$(S',<')$ovat järjestys­isomorfismia, jos niiden välillä on olemassabijektio$f$,joka säilyttää järjestyksen eli$f(a)<f(b)$,jos ja vain jos$a<b$.Jokainenhyvin­järjestettyjoukko$(S,<)$on järjestys­isomorfinen niiden ordinaalien joukon kanssa, jotka ovat pienempi kuin se ordinaaliluku, joka ilmaisee joukon$(S,<)$järjestystyypin.

Alkujaan ordinaalit käsitettiin hyvin­järjestettyjen joukkojen isomorfia­luokiksi, toisin sanoen järjestys­isomorfisuutta merkitsevänekvivalenssirelaatioonliittyviksiekvivalenssi­luokiksi.Tähän liittyy kuitenkin se tekninen ongelma, että tämä ekvivalenssi­luokka on liian laaja, jotta sitä voitaisiin käsitelläjoukkonajoukko-opin tavan­omaisessaZermelon–Frankelin aksioomiinperustuvassa muotoilussa. Tämä vaikeus on kuitenkin voitettavissa. Ordinaaleja voidaan sanoa joukkojenjärjestys­tyypeiksi.

Ordinaalin määritelmä ekvivalenssiluokkana

Ordinaaliluvun alku­peräisessä määritelmässä, joka löytyy esimerkiksi teoksestaPrincipia Mathematica,hyvin­järjestetyn joukon järjestys­tyyppi määritellään kaikkien niiden hyvin­järjestysten joukkona, jotka ovat tämän kanssa järjestys­isomorfisia; toisin sanoen ordinaaliluvut ovat hyvin­järjestettyjen joukkojen muodostamia ekvivalenssi­luokkia.Tämä määritelmä joudutaan kuitenkin hylkäämäänZermelon–Fraenkelinesittämässä ja sitä muistuttavissajoukko-opin aksiomatisoinneissa,koska nämä ekvivalenssi­luokat ovat liian laajoja ollakseen joukkoja. Määritelmää kuitenkin voidaan kuitenkin yhä käyttäätyyppiteoriassasekä Quinen aksiomaattisessa joukko-opissa (New Foundation) ja sitä muistuttavissa muotoiluissa (joissa se myös tarjoaa sangen yllättävän vaihtoehtoisen ratkaisun suurinta ordinaalia koskevalleBuralin–Fortin paradoksille).

Von Neumannin ordinaalien määritelmä

Muutamat ensimmäiset Von Neumannin ordinaalit
$0$		$=\emptyset$
$1$	$=\{0\}$	$=\{\emptyset \}$
$2$	$=\{0,1\}$	$=\{\emptyset,\{\emptyset \}\}$
$3$	$=\{0,1,2\}$	$=\{\emptyset,\{\emptyset \},\{\emptyset,\{\emptyset \}\}\}$
$4$	$={0,1,2,3}$	$=\{\emptyset,\{\emptyset \},\{\emptyset,\{\emptyset \}\},\{\emptyset,\{\emptyset \},\{\emptyset,\{\emptyset \}\}\}\}$

Sen sijaan että ordinaalit määriteltäisiin hyvin­järjestettyjen joukkojenekvivalenssi­luokkina,ne määritellään nykyisin yleisimmin tiettyinä hyvin­järjestettyinä joukkoina, jotka (kanonisesti) edustavat kutakin luokkaa. Niinpä jokainen ordinaaliluku on hyvin­järjestetty joukko, ja jokainen hyvin­järjestetty joukko on järjestysisomorfinen yhden ja vain yhden ordinaaliluvun kanssa.

Standardi,John von Neumanninesittämä määritelmä kuuluu:jokainen ordinaali on kaikkien sitä pienempien ordinaalien hyvin­järjestetty joukko.Matemaattisin merkinnöin,$\lambda =[0,\lambda )$.Muodollisesti:

Joukko$S$on ordinaali,jos ja vain jos$S$on aidosti hyvin­järjestetty joukon jäsenyyden suhteen ja jokainen joukon$S$alkio on myös joukon$S$osajoukko.

Myös luonnolliset luvut ovat tämän määritelmän muokaan ordinaaleja. Esimerkiksi luku 2 kuuluu joukkoon$4=\{0,1,2,3)$ja 2 on joukko$\{0,1)$,joten se on myös joukon$\{0,1,2,3\}$osajoukko.

Transfiniittisella induktiollavoidaan osoittaa, että jokainen hyvin­järjestetty joukko on järjestysisomorfinen täsmälleen yhden tällaisen ordinaalin kanssa, toisin sanoen niiden välillä on järjestyksen säilyttäväbijektiivinenkuvaus.

Jokaisen ordinaalin kaikki alkiotkin ovat ordinaaleja. Jos$S$ja$T$ovat kaksi ordinaalia, niin$S$on ordinaalin$T$alkio, jos ja vain jos$S$on joukon$T$aito osajoukko.Lisäksi jos ne ovat kaksi eri ordinaalia, aina joko$S$on ordinaalin$T$alkio tai$T$ordinaalin$S$alkio. Lisäksi jokainen ordinaalien joukko on hyvin­järjestetty. Tämä yleistää sen tosiasian, että jokainen luonnollisten lukujen joukon osajoukko on hyvin­järjestetty.

Tästä seuraa, että jokainen ordinaali$S$on joukko, jonka alkiona ovat kaikki ordinaalia$S$pienemmät ordinaalit ja vain ne. Esimerkiksi jokaisella ordinaalien joukolla on pienin yläraja elisupremum,joka on se ordinaali, joka saadaan muodostamalla joukon kaikkien ordinaalien unioni. Unioniaksiooman nojalla tämä unioni on olemassa riippumatta siitä, kuinka suuri joukko on kyseessä.

Kaikkien ordinaalien luokka ei ole joukko. Jos se olisi joukko, voitaisiin osoittaa, että se on ordinaali ja näin ollen itsensä jäsen, mikä kuitenkin on ristiriidassa sen kanssa, että jäsenyys onaidostijärjestetty. Tämä onBuralin–Fortin paradoksi.Kaikkien ordinaalien luokalle käytetään vaihdellen merkintöjä "Ord", "ON" tai "∞".

Ordinaali onäärellinen,jos ja vain jos sen käänteinen järjestys on myös hyvin­järjestetty, ja näin on asian laita, jos ja vain jos sen jokaisella osajoukolla on suurin alkio.

Vaihtoehtoisia määritelmiä

Nykyisin on esitetty muitakin muotoiluja ordinaalin määritelmäksi. Esimerkiksi jos oletetaansäännöllisyysaksiooma,seuraavat ehdot joukollexovat yhtäpitävät:

• xon ordinaali
• xontransitiivinen joukkoja joukkoon kuuluminen ontrikotominenx:llä,
• xon osajoukkorelaatiollatäydellisesti järjestettytransitiivinen joukko
• xon transitiivisten joukkojen transitiivinen joukko.

Näitä määritelmiä ei voida käyttääei-hyvinperustetuissa joukko-opeissa.Joukkoteorioissa, joissa onurelementteja,on lisäksi varmistettava, ettei määritelmä salli urelementtien esiintymistä ordinaaleissa.

Transfiniittinen jono

Jos α onrajaordinaalijaXjoukko, kuvausta α:staX:ään voidaan sanoa myös α:lla indeksoiduksiX:n alkioiden jonoksi. Tämä käsite,transfiniittinen jonoeliordinaali-indeksoitu jonoonjononkäsitteen yleistys. Tavallinen jono vastaa tapausta, jossa α = ω.

Transfiniittinen induktio

Transfiniittsen induktionperiaate pätee jokaisessahyvin­järjestetyssäjoukossa, mutta se liittyy ennen kaikkea ordinaaleihin. Sen mukaan

Jos siitä, että jokin ominaisuus pätee kaikkien niiden ordinaalien joukossa, jotka ovat pienempiä kuin annettu ordinaali α, seuraa, että tämä ominaisuus on myös ordinaalilla α, tämä ominaisuus on kaikilla ordinaaleilla.

Tosin sanoen, jos lauseP(α) on tosi aina, kunP(β) on tosi kaikilla β<α, silloinP(α) on tosikaikillaordinaaleillaallα. Tai käytännöllisemmin: sen todistamiseksi, että ominaisuusPon kaikilla ordinaaleilla α, riittää, että sen jo tiedetään olevan kaikilla β<α.

Transfiniittinen rekursio

Transfinittisella induktiolla voidaan, paitsi todistaa teoreemoja, myös määritellä käsitteitä. Sellaista määritelmää sanotaan tavallisestitransinittiseksi rekursioksi.Todistus, että näin saatu käsite on hyvin määritelty, perustuu trans­finiittiseen induktioon. Olkoon jokinFordinaaleille määriteltävä luokkafunktio. Ideana on, että määriteltäessäF(α) mille tahansa ordinaalille α voidaan jo olettaa, ettäF(β) on jo määritelty kaikille ordinaaleilleβ < α,ja tätenF(α):lle voidaan esittää lauseke funktion arvojenF(β) avulla. Tästä seuraa trans­finiittisellä induktiolla, että on yksi ja vain yksi funktio, joka toteuttaa rekursio­kaavan kaikilla ordinaaleilla α:aan saakka ja se mukaan luettuna.

Esimerkkinä voidaan tarkastella funktiotaF,joka määritellään siten, ettäF(α) on pienin ordinaali, joka ei kuulu joukkoon{F(β)}, toisin sanoen joukko, johon kuuluvat kaikki arvotF(β), kunβ < α.Määritelmässä oletetaan, ettäF(β):n tekee tunnetuksi juuri tämä prosessiF:n määrittelemiseksi vaiheittain. Tämä saattaa vaikuttaakehämääritelmältä,mutta juuri tämän transfiniittinen rekursio sallii. Itse asiassaF(0) on sekin hyvin määritelty, koska ei ole sellaista ordinaalia, ettäβ < 0,ja joukko{F(β)} ontyhjä.Näin ollenF(0) on 0, kaikkein pienin ordinaali. Nyt kunF(0) on tunnettu, voidaan todeta, ettäF(1) on pienin ordinaali, joka ei kuulu joukkoon {F(0)} = {0}, ja niin edelleen. Tämä esimerkki tosin on melko triviaali, sillä juuri trans­finiittisen induktion avulla osoittautuu, ettäF(α) = α kaikilla ordinaaleilla α.

Seuraaja ja rajaordinaali

Jokaisella ordinaalilla nollaa lukuun ottamatta on pienin alkio, nolla. Sillä voi olla myös suurin alkio, mutta ei välttämättä ole. Esimerkiksi ordinaalin 42 suurin alkion 41 ja ordinaalin ω+6 suurin alkio ω+5. Toisaalta ω:lla ei ole suurinta alkiota, sillä ei ole suurinta luonnollista lukua. Jos ordinaalin suurin alkio on α, se on α:ta seuraava alkio, ja sitä sanotaanseuraajaordinaaliksija merkintään α+1. Kun ordinaalit määritellään von Neumannin mukaisesti, α:n seuraaja on$\alpha \cup \{\alpha \}$,sillä sen alkioita ovat α:n alkiot sekä α itse.

Ordinaalia, joka ei ole nolla ja jokaeiole seuraajaordinaali, sanotaanrajaordinaaliksi.Nimitys perustuu siihen, että rajaordinaali todella on topologisessa mielessä,järjestystopologiankannalta, kaikkien sitä pienempien ordinaalienraja-arvo.

Kun$\langle \alpha _{\iota }|\iota <\gamma \rangle$on ordinaali-indeksoitu jono, jonka indeksoi raja-arvo γ ja jono onnouseva,toisin sanoen$\alpha _{\iota }<\alpha _{\rho }\!$whenever$\iota <\rho,\!$,sen raja-arvo määritellään joukon$\{\alpha _{\iota }|\iota <\gamma \},\!$pienimpänä ylärajana,toisin sanoen pienimpänä ordinaalilla, joka on suurempi kuin mikään sen jonoista. Sellainen on aina olemassa. Tässä mielessä raja­ordinaali on itsensä indeksoima kaikkien sitä pienempien ordinaalien raja-arvo. Toisin sanoen se on sitä pienempien ordinaalien joukon supremum.

Toinen tapa määritellä rajaordinaali on sanoa, että α on rajaordinaali, jos ja vain jos

on olemassa α:aa pienempi ordinaali, ja aina kun ζ on α:ta pienempi ordinaali, on olemassa sellainen ordinaali ξ, että ζ < ξ < α.

Niinpä esimerkiksi jonossa

0, 1, 2,..., ω, ω+1

ω on rajaordinaali, koska jokaista sitä pienempää ordinaalia, tässä tapauksessa siis jokaista luonnollista lukua kohti on olemassa toinen ordinaali, joka on sitä suurempi mutta yhä pienempi kuin ω.

Näin ollen rajaordinaali on joko nolla, jonkin (vain yhden) toisen ordinaalin seuraaja tai rajaordinaali. Tämä erottelu on tärkeä, koska monet transfiniittisen induktion avulla muotoillut määritelmät perustuvat siihen. Usein kun funktioFmääritellään transfiniittisella induktiolla kaikille ordinaaleille, määriellään ensinF(0) jaF(α+1) olettaen, ettäF(α) on tunnettu, minkä jälkeen rajaordinaaleille δ määritelläänF(δ) niin, että se onF(β):n raja-arvo kaikilla β<δ (joko edellä esitetyn ordinaalien raja-arvon mielessä tai jollakin toisella raja-arvo­käsitteellä, josF:n arvot eivät ole ordinaaleja). Tällaisissa määritelmissä mielen­kiintoisin vaihe on funktion määritteleminen seuraajalle, ei raja­ordinaaleille. Sellaisia funktioita, varsinkin josFei ole pienenevä ja sen arvot ovat ordinaaleja, sanotaan jatkuviksi. Ordinaalien yhteenlasku, kertolasku ja potenssiin korotus ovat jatkuvia toisen argumenttinsa funktioina.

Ordinaaliluokkien indeksointi

Jokainen hyvin­järjestetty joukko on järjestys­isomorfinen yhden ja vain yhden ordinaalin$\alpha$kanssa. Toisin sanoen sen alkiot voidaan indeksoida niillä ordinaaleilla, jotka ovat pienempiä kuin$\alpha$.Tämä koskee erityisesti myös jokaista ordinaalien joukkoa: mikä tahansa ordinaalien joukko voidaan indeksoida ordinaaleilla, jotka ovat pienempiä kuin jokin$\alpha$.Hieman muunnetussa muodossa sama pätee myös ordinaalienluokilletoisin sanoen sellaisille kokoelmille ordinaaleja, jotka ovat tietyssä mielessä liian laajoja ollakseen joukkoja: jokainen ordinaalien luokka voidaan indeksoida ordinaaleilla (ja jos luokka on rajoittamaton kaikkien ordinaalien luokassa, tällä tavoin muodostuu luokkabijektio kaikkien ordinaalien luokan kanssa.) Niinpä voidaan puhua luokan$\gamma$:nnestä alkiosta (kun sovitaan, että pienin niistä on 0:s, seuraava 1:nen jne). Muodollisesti se määritellään trans­finiittisella induktiolla: luokan$\gamma$:s alkio määritellään pienimmäksi alkioksi, joka on suurempi kuin$\beta$:s alkio kaikilla$\beta <\gamma$(tämä luonnollisesti edellyttää, että asia on jo määritelty kaikilla arvoilla$\beta <\gamma$).

Tätä voitaisiin soveltaa esimerkiksi rajaordinaalien luokkaan:$\gamma$:s ordinaali, joka on joko rajaorbitaali tai nolla, on$\omega \cdot \gamma$.Samaan tapaan voidaan käsitelläadditiivisesti jakautumattomia ordinaalejaeli sellaisia nollasta poikkeavia ordinaaleja, jotka eivät ole kahden itseään aidosti pienemmän ordinaalien summia:$\gamma$:nnen additiivisesti jakautumattoman ordinaalin indeksi on$\omega ^{\gamma }$.Ordinaali­luokkien indeksointi­tekniikka on usein hyödyllinen käsiteltäessä kiinteitä pisteitä: esimerkiksi$\gamma$:nnelle ordinaalille$\alpha$,jolle$\omega ^{\alpha }=\alpha$,käytetään merkintää$\varepsilon _{\gamma }$.Näitä sanotaanepsilonluvuiksi.

Suljetut rajoittamattomat joukot ja luokat

Ordinaalien luokkaa$C$sanotaanrajoittamattomaksielikofinaaliseksi,jos jokaista ordinaalia$\alpha$kohti on olemassa sellainenC:hen kuuluva ordinaali$\beta$,että$\alpha <\beta$.Tällöin luokan on oltava aito luokka, sillä se ei voi olla joukko. Luokkaa sanotaansuljetuksi,jos luokkaan kuuluvien ordinaalien jonon raja-arvo on luokka itse, tai yhtäpitävästi, jos indeksoiva luokkafunktio$F$on jatkuva siinä mielessä, että kun$\delta$on rajaordinaali,$F(\delta )$eli luokan$\delta$:s ordinaali on funktion arvojen$F(\gamma )($raja-arvo, kun$\gamma <\delta$.Tämä merkitsee myös samaa kuin että luokka ontopologisessamielessäsuljettu,kun topologana käytetäänjärjestystopologiaa.Jotta vältettäisiin puhumasta topologiasta aitojen luokkien tapauksessa, asia voidaan yhtäpitävästi ilmaista myös niin, että luokan ja minkä tahansa ordinaalin leikkaus on suljettu tämän ordinaalin järjestys­topologiassa.

Erityisen tärkeitä ovat ne ordinaalien luokkia, jotka ovat sekä suljettuja että rajoittamattomia ja joita toisinaan sanotaanklubeisi.Esimerkiksi kaikkien raja­ordinaalien luokka on suljettu ja rajoittamaton, sillä jokaista ordinaalia kohti on aina olemassa sitä suurempi raja­ordinaali ja raja­ordinaalien raja-arvo on aina rajaordinaali. Myös addiitiivisesti jakautumattomien ordinaalien luokka on suljettu ja rajoittamaton, samoin$\varepsilon _{c}dot$-ordinaalien luokka ja kaikkienkardinaalienluokka, sitä vastoin kofinaalisten kardinaalien joukko on rajoittamaton, mutta ei suljettu, kun taas jokainen äärellinen ordinaalien joukko on suljettu mutta ei rajoitettu.

Luokka onstationaarinen,jos senleikkausminkä tahansa suljetun rajoittamattoman luokan kanssa on ei-tyhjä. Kaikki luokat, jotka sisältävät osaluokkanaan jonkin suljetun rajoitetun luokan, ovat stationaarisia ja kaikki stationaariset luokat ovat rajoittamattomia, mutta on myös stationaarisia luokkia, jotka eivät ole suljettuja tai joilla ei ole suljettua rajoittamatonta osaluokkaa; sellainen on esimerkiksi kaikkien sellaisten raja­ordinaalien luokka, joilla on numeroituva kofinaalisuus. Koska kahden suljetun rajoittamattoman luokan leikkaus on suljettu ja rajoittamaton, statio­naarisen luokan ja suljetun rajoittamattoman luokan leikkaus on stationaarinen. Kahden statio­naarisen luokan leikkaus voi kuitenkin olla myös tyhjä; näin on laita esimerkiksi, kun muodostetaan leikkaus kaikkien niiden ordinaalien luokasta, joiden kofinaalisuus on ω, sekä kaikkien niiden ordinaalien luokasta, joiden kofinaalisuus on ylinumeroituva.

Sen sijaan että nämä määritelmät muotoiltaisiin ordinaalien (aidoille) luokille, ne voidaan muotoilla myös niiden ordinaalien luokille, jotka ovat pienempiä kuin jokin annettu ordinaali$\alpha$.Rajaordinaalin$\alpha$osajoukkoa sanotaan rajoitta­matto­maksi (eli kofinaaliseksi) joukossa$\alpha$,jos jokainen$\alpha$:aa pienempi ordinaali on pienempi kuin jokin kyseisen joukon ordinaali. Yleisemmin minkä tahansa ordinaalin$\alpha$osajoukkoja voidaan sanoa kofinaaliseksi$\alpha$:ssa, jos jokainen ordinaali, joa on pienempi kuin$\alpha$,on pienempitai yhtä suuri kuinjokin tähän joukkoon kuuluva ordinaali. Osajoukkoa sanotaan suljetuksi$\alpha$:ssa, jos se on suljettu$\alpha$:n järjestys­topologiassa, toisin sanoen jos joukkoon kuuluvien ordinaalien raja-arvo joko sisältyy tähän joukkoon tai on$\alpha$itse.

Ordinaalien laskutoimitukset

Ordinaaleilla on kolme yleistä laskutoimitusta: yhteenlasku, kertolasku ja potenssiin korotus. Jokainen niistä voidaan määritellä oleellisesti kahdella tavalla: joko konstruoimalla eksplisiittisesti määritelty hyvin­järjestetty joukko, joka esittää tätä laskutoimitusta, tai transfinittisella rekursiolla.

Neumannin ordinaalin määritelmään pohjautuen laskutoimitukset voidaan määritellä seuraavasti:

Yhteenlasku

α + 0 = α

α + (β+1) = (α + β) + 1

$\alpha +\beta =\cup _{\gamma <\beta }(\alpha +\beta )$,kun β on rajaordinaali

Kertolasku

α · 0 = 0

α · (β+1) = α &middot β + α

$\alpha \cdot \beta =\cup _{\gamma <\beta }(\alpha \cdot \gamma )$,kun β on rajaordinaali

Potenssiin korotus

α⁰= 1

0^β= 0, kun β on rajaordinaali ja > 0

α^β+1= α^β· α

$\alpha ^{\beta }=\cup _{gamma<\beta }\alpha ^{\gamma }$,jos α > 0 ja β on rajaordinaali.

Jokainen ordinaali voidaan esittää yksikäsitteisesti määritellyllä tavallaCantorin normaalimuodossa.Siinä jokainen ordinaali esitetään ω:n ordinaalisten potenssien äärellisenä summana. Sitä ei kuitenkaan voida käyttää ordinaalien yleisen mmerkintätavan perustana, sillä esimerkiksi ε₀olisi määriteltävä itsensä avulla: ε₀= ω^ε₀

Nämä eivät kuitenkaan noudata kaikkia luonnollisilla ja myösreaaliluvuillapäteviä laskulakeja. Niinpä seuraavat säännöt eivät päde ordinaalien laskutoimituksille:

Yhteenlaskunvaihdantalaki:α + β ei yleensä ole yhtä kuin β + α

Kertolaskun vaihdantalaki: α · β ei yleensä ole yhtä kuin β · α

Oikeanpuoleinenosittelulaki:esimerkiksi (ω+1) · 2 ei ole yhtä suuri kuin ω · 2 + 2

Tulon potenssisääntö: (ω·2)²ei ole yhtä suuri kuin ω²· 4.

Ordinaaleille voidaan määritellä myös niin sanotut "luonnolliset" aritmeettiset operaatiot. Nämä ovat vaihdannaisia, mutta eivät jatkuvia.

Nimbereiksitulkittuina ordinaaleilla voidaan suorittaa myös nimberien aritmeettisia laskutoimituksia.

Ordinaalit ja kardinaalit

Kardinaalien initiaaliset ordinaalit

Jokaiseen ordinaaliin liittyy tiettykardinaaliluku,sen kardinaliteetti. Jos kahden ordinaalin välillä onbijektio(esimerkiksi ω=1+ω ja ω+1>ω), niihin liittyy sama kardinaali. Jokaisella hyvin­järjestetyllä ordinaalilla, jolla on järjestys­tyyppinään jokin ordinaali, on sama kardinaliteetti kuin tällä ordinaalilla. Pienintä annettuun kardinaaliin liittyvää ordinaalia sanotaan tämän kardinaalininitiaaliseksi ordinaaliksi.Jokainen äärellinen ordinaali eliluonnollinen lukuon initiaalinen, eikä millään muulla ordinaalilla ole samaa kardinaliteettia. Mutta useimmat äärettömät ordinaalit eivät ole initaalisia, sillä moniin äärettömiin ordinaalehin liittyy sama kardinaliteetti.Valinta-aksioomaon yhtäpitävä sen kanssa, että jokainen joukko voidaan hyvin­järjestää, toisin sanoen jokaisella kardinaalilla on initiaalinen ordinaali. Teorioissa, joihin sisältyy valinta-aksiooma, jokaisen joukon kardinaaliluvulla on initiaalinen ordinaali. Kardinaalit voidaankin käsittää ordinaalien erikois­tapauksiksi samastamalla ne initiaalisten ordinaaliensa kanssa, sillä jokainen joukko on yhtä mahtava jonkin (Neumannin mukaan määritellyn) orbitaalin kanssa.Täten ordinaali on kardinaali, jos ja vain jos se ei ole yhtä mahtava minkään itseään pienemmän ordinaalin kanssa.

Yleensä α:nnelle äärettömälle ordinaalille käytetään merkintää$\omega _{\alpha }$.Sen kardinaliteettia merkitään$\aleph _{\alpha }$.Esimerkiksi ω₀:n eli ω:n kardinaliteetti on$\aleph _{0}$,joka on myös ω²:n ja ε₀:n kardinaliteetti, sillä nämäkin ovat numeroituvia ordinaaleja. Niinpä jos valinta-aksiooma hyväksytään, ω voidaan samastaa$\aleph _{0}$,paitsi että merkintää$\aleph _{0}$käytetään, kun on kysymys kardinaaleista ja merkintää ω, kun on kysymys ordinaaleista. (Eri merkintöjä käytetään, koska esimerkiksi$\aleph _{0}^{2}$=$\aleph _{0}$kardinaalina, mutta$\omega ^{2}>\omega$ordinaalina). Samoin$\omega _{1}$on pienin ylinumeroituva ordinaali (sen osoittamiseksi, että sellainen on olemassa, voidaan tarkastella luonnollisten lukujen hyvinjärjestysten ekvivalenssiluokkia: jokainen sellainen määrittelee numeroituvan ordinaalin, ja$\omega _{1}$on tämän joukon järjestystyyppi),$\omega _{2}$on pienin ordinaali, jonka kardinaliteetti on suurempi kuin$\aleph _{1}$ja niin edelleen, ja$\omega _{o}mega$on ordinaalien$\omega _{n}$raja-arvo, kun arvotnovat luonnollisia lukuja (jokainen kardinaalien raja-arvo on kardinaali, ja niin ollen tämä raja-arvo on itse asiassa ensimmäinen kardinaali, joka on suurempi kuin$\omega _{n}$).

Cantor käytti kardinaliteettia ordinaalien luokitteluun. Hän nimitti luonnollisia lukujaensimmäiseksi lukuluokaksi,ordinaaleja, joiden kardinaliteetti on$\aleph _{0}$eli numeroituvasti äärettömiä ordinaalejatoiseksi lukuluokaksija yleensä ordinaaleja, joiden kardinaliteetti on cardinality$\aleph _{n-2}$,n:nneksi lukuluokaksi.

Kofinaalisuus

Ordinaalin$\alpha$kofinaalisuuson pienin ordinaali$\delta$,joka on jonkin$\alpha$kofinaalisenosajoukon järjestystyyppi. Joissakin teoksissa kofinaalisuuden käsite määritellään tai sitä käytetään vain rajaordinaaleille. Ordinaalien joukon tai minkä tahansa muun hyvinjärjestetyn joukon kofinaalisuus on tämän joukon järjestystyypin kofinaalisuus.

Niinpä jokaiselle rajaordinaalille$\alpha$on olemassa$\delta$-indeksoitu aidosti kasvava jono, jonka raja-arvo on$\alpha$.Esimerkiksi ω²:n kofinaalisuus on ω, koska jonon ω·mraja-arvo, missäm:n arvoina ovat kaikki luonnolliset luvut, on ω, ja yleensäkin jokaisen numeroituvan rajaordinaalin kofinaalisuus on ω. Myös ylinumeroituvan rajaordinaalin kofinaalisuus voi olla ω, esimerkiksi ordinaalilla$\omega _{\omega }$,mutta sellaisella voi olla myös ylinumeroituva kofinaalisuus.

Ordinaalin 0 kofinaalisuus on 0, Jokaisen seuraajaordinaalin kofinaalisuus on 1. Jokaisen rajaordinaalin kofinaalisuus on vähintään$\omega$.

Ordinaalia, jonka kofinaalisuus on yhtä suuri kuin ordinaali itse, sanotaansäännölliseksi,ja kaikki sellaiset ovat initiaalisia ordinaaleja. Säännölisten ordinaalien raja-arvo on initiaalisten ordinaalien raja-arvo ja sellaisena aian initiaalinen, joskaan ei välttämättä eikä yleenä säännöllinen. Jos valinta-aksiooma hyväksytään, siitä seuraa, että$\omega _{\alpha +1}$kaikilla α, ja edelleen että ordinaalit 0, 1,$\omega$,$\omega _{1}$ja$\omega _{2}$ovat säännöllisiä, kun taas, 2, 3,$\omega _{\omega }$ja ω_ω·2ovat esimerkkejä initiaalisista orbitaaleista, jotka eivät ole säännöllisiä.

Jokaisen ordinaalinαkofinaalisuus on säännöllinen ordinaali, toisin sanoenα:n kofinaalisuuden kofinaalisuus on sama kuinα:n kofinaalisuus. Toisin sanoen kofinaalisuusoperaatio onidempotentti.

Joitakin "suuria" numeroituvia ordinaaleja

Esimerkkinä "hyvin suuresta" äärettömästä, mutta vielä numeroituvasta ordinaalista voidaan mainita ε₀.Se on pienin ordinaali, joka toteuttaa yhtälön$\omega ^{\alpha }=\alpha$,ja samalla jonon 0, 1,$\omega$,$\omega ^{\omega }$,$\omega ^{\omega ^{\omega }}$jne. raja-arvo. Monet ordinaalit voidaan määritellä samaan tapaan jonkin ordinaalifunktion kiintopisteinä. Niinpä$\iota$:tta sellaista ordinaalia, jolle pätee$\omega ^{\alpha }=\alpha$,merkitään$\varepsilon _{\iota }$,ja samaan tapaan voitaisiin yrittää löytää$\iota$:s sellainen ordinaali, jolle$\varepsilon _{\alpha }=\alpha$ja niin edelleen. Tätä voitaisiin yrittää järjestelmällisesti, mutta miten tahasa ordinaalit määritellään ja konstruoidaankin, aina on olemassa ordinaali, joka on juuri kaikkien tällä tavoin konstruoitujen ordinaalien yläpuolella Ehkä tärkein ordinaali, joka tähän tapaan rajoittaa konstruointijärjestelmää, onChurchin–Kleenen ordinaali$\omega _{1}^{\mathrm {CK} }$(joka on numeroituva siitä huolimatta, että sen nimessä esiintyy$\omega _{1}$). Se on pienin ordinaali, jota tietyssä mielessä ei mitenkään voi esittää laskettavissa olevana funktiona. Myös$\omega _{1}^{\mathrm {CK} }$:n alapuolella voidaan kuitenkin määritellä huomattavan laajoja ordinaaleja, jotka mittaavat eräidenformaalisten systeemien"todistus­teoreettista vahvuutta"; niinpä esimerkiksi$\varepsilon _{0}$mittaaPeanon aksioomeihinperustuvan aritmetiikan vahvutta. Voidaan myös määritellä ordinaaleja, jotka ovat suurempia kuin Churchin–Kleenen ordinaali ja joilla niilläkin on merkitystä useillalogiikanaloilla.

Topologia ja ordinaalit

Jokainen ordinaaliluku voidaan muodostaatopologiseksi avaruudeksivarustamalla sejärjestystopologialla.Tämä topologia ondiskreetti,jos ja vain jos ordinaali on numeroituva kardinaali, toisin sanoen enintään ω. Joukon ω + 1 osajoukko onavoinjärjestystopologiassa, jos ja vain jos se joko onkofiniittinen(eli senkomplementtion äärellinen joukko) tai ω ei sisälly siihen alkiona.

Ordinaalien alaspäin suljetut joukot

Järjestetyn joukonAosajoukkoBonalaspäin suljettu,jos kaikkiA:n alkiot, jotka ovat pienempiä kuin jokinB:n alkio, ovat myösB:n alkioita. Jos jokin ordinaalien joukko on alaspäin rajoitettu, se on itse ordinaali, pienin kyseiseen joukkoon kuulumaton ordinaali.

Esimerkkejä:

• Ordinaalia 3 pienempien ordinaalien joukko on 3 = {0, 1, 2], pienin ordinaali, joka ei ole pienempi kuin 3.
• Äärellisten ordinaalien joukko on ääretön, ja pienin ääretön ordinaali on ω.
• Numeroituvien ordinaalien joukko on ylinumeroituva, ja pienin ylinumeroituva ordinaali on ω₁.

Lähteet

• Beitrage zur Begruendung der transfiniten Mengenlehre. II.Mathematische Annalen,1897, nro 49, s. 207–246.Artikkelin verkkoversio.^{[vanhentunut linkki]}
• ”Cantor's Ordinal Numbers”,The Book of Numbers,s. 266–267, 274. New York: Springer-Verlag, 1996.
• Hamilton, A. G.:” Ch. 6, Ordinal and cardinal numbers”,Numbers, Sets, and Axioms: the Apparatus of Mathematics.Cambridge University Press, 1982.ISBN 0-521-24509-5
• Hazewinkel, Michiel (toim.):” Ordinal number”,Encyclopedia of Mathematics.Springer, 2001.ISBN 978-1-55608-010-4Teoksen verkkoversio.
• Kanamori, Akihiro (kirj.) & Irvine, Andrew & Woods, Joh H. (toim):” Set Theory from Cantor to Cohen”,The Handbook of the Philosophy of Science, vol. 4.Cambridge University Press.
• Sierpiński, W.:Cardinal and Ordinal Numbers (2. ed).Varsova: Państwowe Wydawnictwo Naukowe, 1965.
• Suppes, Patrick:Axiomatic Set Theory.D.Van Nostrand Company Inc., 1960.ISBN 0-486-61630-4
• Zur Einführung der trasfiniten Zahlen.Acta litterarum ac scientiarum Ragiae Universitatis Hungaricae Francisco-Josephinae, Sectio scientiarum mathematicarum,1923, 1. vsk, s. 199–208.Artikkelin verkkoversio.(Arkistoitu– Internet Archive)
• von Neumann, John & van Heijenoort, Jean (toim.):” On the introduction of transfinite numbers”,From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931,s. 346–354. Harvard University Press, 2002 (3. painos; alun perin 1923).ISBN 0-674-32449-8Teoksen verkkoversio.
• Devlin, Keith:The Joy of Sets, Fundamentals of Contemporary Set Theory, 2nd ed.,U.S.A.: Springer-Verlag, Inc., 1992.ISBN 0-387-94094-4(englanniksi)
• Hella, Lauri:Joukko-oppi(pdf)(luentomoniste)sis.uta.fi.2011. Tampereen yliopisto. Viitattu 06.01.2014.

Aiheesta muualla

• Ordinal NumberWolfram MathWorld.

MathWorld | urlname=OrdinalNumber| title=Ordinal Number}}

• Ordinals and Cardinals with Axiom ZF9apronus.com.
• Ordinal calculator and research toolmtnmath.com.Arkistoitu6.2.2015. Viitattu 21.4.2016.
• Ordinals(pdf)Don Monk.Arkistoitu27.5.2015. Viitattu 21.4.2016.