Mitä denumeroitavuus on joukkoteoriassa?
Joukon sanotaan olevan numeroituva, jos se voidaan asettaa yksi-yhteen-vastaavuuteen luonnollisten lukujen kanssa. Toisin sanoen, jos voimme yhdistää jokaisen joukon alkion yksilöllisen luonnollisen luvun kanssa, joukko on numeroituva.
Esimerkiksi kaikkien kokonaislukujen joukko on numeroituva, koska voimme liittää jokaisen kokonaisluvun yksilöllisen luonnollisen luvun: $1$ kanssa luku $1$, $2$ luvulla $2$ ja niin edelleen.
Toisaalta kaikkien reaalilukujen joukko ei ole numeroituva, koska reaalilukuja on lukemattoman monta, eikä jokaista reaalilukua voi yhdistää ainutlaatuinen luonnollinen luku.
Tykkään tästä
En tykkää tästä
Ilmoita sisältövirheestä
Osake
