Numeroituva joukko


Matematiikassa termiä numeroituva käytetään kuvaamaan joukon sisältämien alkioiden lukumäärää. Jos joukossa on ääretön määrä alkioita, numeroituvuus ilmaisee äärettömän määrän laadun. Äärettömien joukkojen kokoeroja voi selvittää vertailemalla joukkojen alkioiden lukumääriä keskenään. Vaikka molemmat joukot ovat äärettömän suuria, voi toinen joukko sisältää merkittävästi enemmän alkioita kuin toinen joukko. Tällöin sanotaan sen olevan mahtavampi joukko.

Numeroituvuuden termin otti käyttöön joukko-opin luoja Georg Cantor vuonna 1874 julkaistussa kirjoituksessaan ja hän todisti sillä monien joukkojen mahtavuuden olevan sama kuin luonnollisten lukujen joukolla.

Sisällysluettelo

Äärettömien joukkojen vertailu


Eräissä lukujoukoissa on alkioita ääretön lukumäärä, joten tavanomainen lukumäärän laskeminen luettelemalla joukon alkiot ei onnistu. Kahden äärettömän joukon kokoa voidaan kuitenkin verrata muodostamalla alkioparien joukko kummankin joukon alkioista. Esimerkiksi joukoista, joissa on luonnolliset luvut ja parilliset luonnolliset luvut, voidaan muodostaa alkioparijoukko, jossa on alkiot

\({\displaystyle \left\{(1,2),(2,4),(3,6),(4,8),...,(n,2n),...\right\}.}\)

Tässä joukossa vasen pari on luonnollisen luvun alkio ja oikea pari parillisen luonnollisen luvun alkio. Vaikka kummankin joukon alkioita on ääretön määrä, voidaan niistä muodostaa parit, joiden muodostamiseen osallistuvat lopulta kaikki kummankin joukon alkiot. Tästä päätellään, että alkioiden lukumäärä on "sama", vaikka itse lukumäärää ei määritetä.

Edelliseen esimerkkiin sisältyy paradoksi (katso Galilein paradoksi), joka on kiehtonut matemaatikkoja toista sataa vuotta. Miten voi parillisia lukuja olla yhtä monta kuin luonnollisia lukuja? Eikö parillisia lukuja ole puolet vähemmän kuin luonnollisia lukuja? Cantorin ajatusleikki parinmuodostuksesta osoittaa kuitenkin, että kumpikin lukujoukko on ehtymätön ja jokaiselle alkiolle löytyy aina toisesta lukujoukosta pari. Äärettömien joukkojen tapauksissa joukon kokoa kutsutaankin joukon mahtavuudeksi erotukseksi äärellisten joukkojen koosta. Äärettömän joukon kokoa ei arvioida numeerisesti vaan sen mahtavuutta arvioidaan vertailujoukon avulla. Vertailun tulos on, että toinen joukko on yhtä mahtava tai mahtavampi kuin toinen joukko. Joukot voidaan asettaa mahtavuusjärjestykseen vertailun avulla.[1]

Määritelmä


Joukko \({\displaystyle \mathrm {S} }\) on numeroituva kahdessa tapauksessa. \({\displaystyle \mathrm {S} }\) on numeroituva, jos sen mahtavuus on äärellinen. Esimerkiksi suomalaiset aakkoset on numeroituva joukko, koska aakkoset voidaan lueteltuina (aakkosjärjestyksessä) laskea ja niitä on äärellinen määrä 29. \({\displaystyle \mathrm {S} }\) on numeroituvasti ääretön, jos se on yhtä mahtava kuin luonnollisten lukujen \({\displaystyle \mathbb {N} =\{1,2,3,...\}}\) joukko. Parinmuodostus vertailujoukon \({\displaystyle \mathbb {N} }\) kanssa jatkuu äärettömän monta kertaa tai jää kesken, mutta jokaiselle joukon \({\displaystyle \mathrm {S} }\) alkiolle riittää joukosta \({\displaystyle \mathbb {N} }\) pari.

Jos parinmuodostusprosessissa huomataan tilanne, että joukossa \({\displaystyle \mathrm {S} }\) on alkioita, joita ei pystytä luetteloimaan joukon \({\displaystyle \mathbb {N} }\) alkioilla, kutsutaan joukkoa \({\displaystyle \mathrm {S} }\) ylinumeroituvaksi. Intuitiivisesti ajatellaan, että joukossa \({\displaystyle \mathrm {S} }\) on "enemmän alkioita" kuin joukossa \({\displaystyle \mathbb {N} }\) eli se on mahtavampi joukko. Esimerkiksi reaalilukujen joukko \({\displaystyle \mathbb {R} }\) on osoitettu mahtavammaksi kuin \({\displaystyle \mathbb {N} }\) eli se on ylinumeroituvasti ääretön.[2]

Merkintä

Joukon \({\displaystyle \mathrm {S} }\) mahtavuutta merkitään matematiikan kirjallisuudessa joko \({\displaystyle \operatorname {card} (S)}\) tai \({\displaystyle |S|}\). Joukkojen mahtavuuden suuruus ilmaistaan heprean kielen aakkosella \({\displaystyle \aleph }\), joka lausutaan "alef". Numeroituvan joukon \({\displaystyle \mathrm {S} }\), kuten myös luonnollisten lukujen joukon \({\displaystyle \mathbb {N} }\), mahtavuutta merkitään kardinaaliluvulla \({\displaystyle \operatorname {card} (\mathrm {S} )=\operatorname {card} (\mathbb {N} )=\aleph _{0}}\). Tämän arvo on \({\displaystyle \aleph _{0}=\infty }\) ja se on pienin ääretön kardinaaliluku.[3]

Jos joukko on ylinumeroituva, joukon mahtavuus ilmaistaan kardinaaliluvuilla \({\displaystyle \aleph _{1}}\) tai \({\displaystyle \aleph _{2}}\) tai ..., missä kardinaaliluvut ovat \({\displaystyle \aleph _{i}=\infty }\) eri mahtavuudella ylinumeroituvuuden laadun mukaan. Kardinaaliluvuilla on suuruusjärjestys \({\displaystyle \aleph _{0}<\aleph _{1}<\aleph _{2}<...}\).[4]

Numeroituvuuden määritys funktion kuvauksena

Vertailuparien muodostus voidaan tulkita karteesisen tulon \({\displaystyle \mathrm {S} \times \mathbb {N} }\) muodostamiseksi, mikä voidaan lausua myös funktion kuvauksen avulla. Silloin kuvaus tutkittavasta lukujoukosta luonnollisten lukujen joukkoon

\({\displaystyle f\colon \mathrm {S} \to \mathbb {N} }\)

vastaisi parinmuodostusta siten, että kuvauksen \({\displaystyle f}\) lähtö- ja maalijoukon alkiot ovat pareja. Jos kuvaus \({\displaystyle f}\) on injektio, on lähtöjoukko numeroituva tai numeroituvasti ääretön. Jos kuvaus on peräti bijektio, on lähtöjoukko \({\displaystyle \mathrm {S} }\) numeroituvasti ääretön.[5]

Yleisiä tuloksia

Numeroituvien joukkojen aidot osajoukot ovat myös numeroituvia. Jos esimerkiksi rationaaliluvut on numeroituva joukko, myös sen osajoukko kokonaisluvut on numeroituva. Myös numeroituva määrä numeroituvia joukkoja muodostaa unionina numeroituvan joukon.[5]

Esimerkkejä numeroituvista äärettömistä joukoista


Edellisen esimerkin mukaisesti parilliset positiiviset luvut ovat numeroituvasti ääretön joukko. Samoin ovat esimerkiksi kokonaislukujen (\({\displaystyle \mathbb {Z} }\)), algebrallisten lukujen ja rationaalilukujen joukot (\({\displaystyle \mathbb {Q} }\)) numeroituvia.[1]. Sitä vastoin esimerkiksi reaalilukujen joukko \({\displaystyle \mathbb {R} }\) ei ole numeroituva vaan ylinumeroituva eli aidosti mahtavampi kuin mikään edellä mainituista.

Todistus kokonaislukujen osalta

Kokonaisluvut \({\displaystyle \mathbb {Z} =\{...,-3,-2,-1,0,1,2,3,...\}}\) voidaan osoittaa numeroituvasti äärettömäksi joukoksi Cantorin esittämällä yksinkertaisella tavalla. Vaikka joukko on "molemmista päistään" ääretön, voidaan lukujen luettelointi aloittaa lukujoukon keskeltä:

\({\displaystyle 0,1,-1,2,-2,3,-3,4,-4,...}\)

Nämä uudelleen ryhmitellyt luvut numeroidaan luonnollisilla luvuilla seuraavasti:

\({\displaystyle 0\leftrightarrow 1,-1\leftrightarrow 2,2\leftrightarrow 3,-2\leftrightarrow 4,3\leftrightarrow 5,-3\leftrightarrow 6,...}\)

Tällä tavalla tavoitetaan kaikki kokonaisluvut ja ne voidaan yhdistää vuorollaan yhden luonnollisen luvun kanssa, kun parinmuodostusta jatketaan äärettömän monta kertaa. Tämän esimerkin perusteella kokonaisluvut ovat numeroituvasti ääretön lukujoukko eli sen mahtavuus on \({\displaystyle \aleph _{0}}\).

Kokonaislukujen joukko on numeroituvasti ääretön myös siksi, että se on unioni kolmesta numeroituvasta joukosta:

\({\displaystyle \mathbb {Z} =\{...,-3,-2,-1\}\cup \{0\}\cup \{1,2,3,...\}}\) [1]

Todistus rationaalilukujen osalta

Rationaalilukujen numeroituvuus on todistettu artikkelissa mahtavuus Cantorin esittelemällä luettelointimenetelmällä.

Numeroituvaisuus voidaan todistaa myös numeroituvien osajoukkojen unionin numeroituvuudella. Jaetaan rationaaliluvut useaan osajoukkoon, jonka alkioilla on aina samat nimittäjät. Tällainen osajoukko on esimerkiksi \({\displaystyle A_{k}}\), jonka alkioilla on nimittäjänä kokonaisluku \({\displaystyle k}\):

\({\displaystyle A_{k}=\{...,{\frac {-2}{k}},{\frac {-1}{k}},{\frac {0}{k}},{\frac {1}{k}},{\frac {2}{k}},...\}.}\)

Joukko \({\displaystyle A_{k}}\) on \({\displaystyle k}\):n arvosta riippumatta numeroituvasti ääretön, koska alkioita on yhtä monta kuin murtolukujen osoittajissa olevat kokonaisluvut.

Kaikki rationaaliluvut \({\displaystyle \mathbb {Q} }\) saadaan osajoukkojen \({\displaystyle A_{k}}\) unionina, kun \({\displaystyle k}\) käy läpi kaikki kokonaisluvut \({\displaystyle \mathbb {Z} }\)

\({\displaystyle \mathbb {Q} =\bigcup _{k\in \mathbb {Z} }A_{k},}\)

missä osajoukkoja on numeroituvasti ääretön joukko.[1]

Numeroituvien joukkojen karteesiset tulot

Rationaalukujen todistelu on samantapainen myös kahden numeroituvan joukon karteesisen tulon numeroituvuuden todistelussa. Esimerkiksi kahden luonnollisen joukon karteesinen tulo \({\displaystyle \mathbb {N} \times \mathbb {N} }\) on siten myös numeroituva joukko. Itse asiassa kaikki numeroituvien joukkojen kaikki karteesiset tulot \({\displaystyle \mathbb {N} \times \mathbb {N} \times ...\times \mathbb {N} }\) ovat numeroituvia joukkoja.

Keksimällä bijektio \({\displaystyle f\colon \mathbb {N} \times \mathbb {N} \rightarrow \mathbb {N} }\), missä

\({\displaystyle f(k,n)=2^{k}\cdot (2n+1)-1}\)

on numeroituvuus toteamisen jälkeen osoitettu.[1][6]

Katso myös


Lähteet


Viitteet

  1. a b c d e Williams, Michael B.: Cardinality (pdf) (luentomoniste) Texas, USA: University of Texas at Austin. (englanniksi)
  2. Weisstein, Eric W.: Countably Infinite  (Math World – A Wolfram Web Resource) Wolfram Research. (englanniksi)
  3. Weisstein, Eric W.: Aleph-0  (Math World – A Wolfram Web Resource) Wolfram Research. (englanniksi)
  4. Weisstein, Eric W.: Aleph-1  (Math World – A Wolfram Web Resource) Wolfram Research. (englanniksi)
  5. a b Schwartz, Rich: Countable and Uncountable Sets (pdf) (luentomoniste) 2007. Providence: Brown University. (englanniksi)
  6. Jech, Thomas: Basic Set Teory (html) (luentomoniste) California, USA: Stanford University. (englanniksi)

Kirjallisuutta











Luokat: Joukko-oppi




Tiedot vuodesta: 01.10.2021 02:52:52 CEST

Lähde: Wikipedia (Tekijät [Historia])    Lisenssi: CC-BY-SA-3.0

Muutokset: Kaikki kuvat ja suurin osa niihin liittyvistä sisustuselementeistä poistettiin. Jotkut kuvakkeet korvattiin FontAwesome-kuvakkeilla. Jotkut mallit poistettiin (kuten ”artikkeli tarvitsee laajennusta”) tai osoitettiin (kuten ”viittaukset”). CSS-luokat joko poistettiin tai yhdenmukaistettiin.
Wikipediakohtaiset linkit, jotka eivät johda artikkeliin tai luokkaan (kuten ”Punaiset linkit”, “linkit muokkaussivulle”, “linkit portaaliin”) poistettiin. Jokaisella ulkoisella linkillä on lisäksi FontAwesome-kuvake. Joidenkin pienten suunnittelumuutosten lisäksi media-säilö, kartat, navigointiruudut, puhutut versiot ja geomikroformaatit poistettiin.

Huomaa: Koska annettu sisältö otetaan automaattisesti Wikipediasta tiettynä ajankohtana, manuaalinen tarkistaminen oli eikä ole mahdollista. Siksi LinkFang.org ei takaa hankitun sisällön paikkansapitävyyttä ja todellisuutta. Jos tiedossa on tällä hetkellä vääriä tietoja tai siinä on virheellinen näyttö, ota rohkeasti yhteyttä ota meihin yhteyttä: sähköposti.
Katso myös: Valmistusmerkintä & Tietosuojakäytäntö.