Kardinální číslo: Porovnání verzí

Smazaný obsah Přidaný obsah
Aum (diskuse | příspěvky)
m →‎Historie: aleph -> alef
Bez shrnutí editace
Řádek 28:
# Množina <math> \omega \,\! </math> všech přirozených čísel je první nekonečný kardinál a zároveň jediný nekonečný [[Spočetná množina|spočetný]] kardinál. Pokud existují nějaké další nekonečné kardinály, jsou již [[Nespočetná množina|nespočetné]]. A ony existují:
# Ke každému kardinálu existuje větší kardinál.
# Třída <math> Cn \,\! </math> všech kardinálů je [[vlastní třída]] [[Izomorfismus|izomorfní]] s třídou <math> On \,\! </math> všech ordinálů – kardinály lze tedy lze očíslovat ordinálními čísly tak, aby žádný nechyběl a žádný nepřebýval.
 
Která konkrétní nekonečná ordinální čísla jsou tedy zároveň kardinály, když jich existuje tolik? Prvním z nich je, jak již víme, <math> \omega \,\! </math>. Pokusme se najít nějaký další: