Numeroituva joukko
Wikipedia
Matematiikassa termiä numeroituva käytetään kuvaamaan joukon mahtavuutta eli sen sisältämien alkioiden lukumäärää.
Joukko on numeroituva, jos sen mahtavuus on äärellinen tai sama kuin luonnollisten lukujen mahtavuus. Jokaiseen numeroituvan joukon alkioon voidaan siten liittää jokin luonnollinen luku; ne voidaan numeroida. Jos joukossa on enemmän kuin numeroituva määrä alkioita, se on ylinumeroituva.
Joukon S mahtavuutta merkitään card(S). Jos joukon mahtavuus on sama kuin card(N), niin usein kirjoitetaan card(S) = , pienin ääretön kardinaaliluku.
[muokkaa] Määritelmä
Joukko S on numeroituva, jos ja vain jos on olemassa injektio
Jos f on bijektio, S on numeroituvasti ääretön joukko; card(S) = .
[muokkaa] Esimerkkejä
card(N) = card(Z) = card(Q)
card(N) < card(R)