„Számosság” változatai közötti eltérés
[ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
43. sor:
==== Következmény ====
A természetes számokkal való bijekció pont azt jelenti, hogy ezek a halmazok sorbarendezhetőek. (Hiszen minden elemhez egy-egy sorszámot rendelünk.)
A természetes számok halmazának, illetve a megszámlálhatóan végtelen halmazoknak a számosságát szokásosan <math>\aleph_0</math> (e. "[[alef]] null") jelöli. Ez a legkisebb végtelen számosság (ezért is a nulla index). Ezzel összefüggésben, a halmazelmélet legszokványosabb felépítésében ([[ZFC-axiómarendszer]]) igaz az az állítás, hogy tetszőleges végtelen halmaznak van <math>\aleph_0</math> számosságú részhalmaza. Mellesleg, ez más axiómarendszerekben (például az ún. ZFU) nem teljesül
==== Példák ====
|