Avaa päävalikko

Muutokset

13 merkkiä lisätty ,  11 vuotta sitten
ei muokkausyhteenvetoa
:<math>f\colon \mathbb{N} \to S </math>
 
Esimerkki ylinumeroituvasta joukosta on [[reaaliluku]]jen joukko '''R'''. Se voidaan todistaa ylinumeroituvaksi [[Cantorin diagonaaliargumentti|Cantorin diagonaaliargumentilla]]; samanlaista tekniikkaa voidaan käyttää myös monien muiden joukkojen ylinumeroituvuuden osoittamiseen. Joukon '''R''' mahtavuutta merkitään usein <math>\beth_1=2^{\aleph_0}</math>. Toinen ylinumeroituva joukko on kaikkien luonnollisten lukujen joukon osajoukkojen joukko eli luonnollisten lukujen joukon [[potenssijoukko]] <math>\mathcal{P}(\mathbb{N})</math>.
 
Kaikki ylinumeroituvat joukot eivät kuitenkaan ole samankokoisia. Kolmas esimerkki ylinumeroituvasta joukosta on kaikkien [[funktio]]iden ''f'' : '''R'''&rarr;'''R''' joukko. Tämä joukko on vielä reaalilukujenkin joukkoa "ylinumeroituvampi". Sen mahtavuutta merkitään <math>\beth_2</math>, joka on suurempi kuin <math>\beth_1</math>.
290

muokkausta