Mitä laskettavuus on joukkoteoriassa?
Lasketettavuus on joukkojen ominaisuus, joka kertoo, että joukko voidaan asettaa yksi-yhteen-vastaavuuteen luonnollisten lukujen kanssa. Toisin sanoen, jos voimme yhdistää jokaisen joukon alkion yksilöllisen luonnollisen luvun kanssa, joukko on laskettava.
Esimerkiksi kaikkien luonnollisten lukujen joukko on laskettavissa, koska voimme yhdistää jokaisen luonnollisen luvun yksilöllisen kokonaisluvun kanssa. Kaikkien rationaalilukujen joukko on myös laskettavissa samasta syystä. Toisaalta kaikkien reaalilukujen joukko ei ole laskettavissa, koska reaalilukuja on lukemattoman paljon, eikä jokaista reaalilukua voida yhdistää ainutlaatuiseen luonnolliseen lukuun.
Tykkään tästä
En tykkää tästä
Ilmoita sisältövirheestä
Osake
