Kardinální číslo: Porovnání verzí
Smazaný obsah Přidaný obsah
Řádek 22:
Kardinální čísla jsou vhodnými kandidáty k reprezentování jednotlivých [[Ekvivalence (matematika)|tříd ekvivalence]] podle relace <math> \approx \,\! </math> (viz článek [[mohutnost]]).<br />
Je-li <math> x \,\! </math> množina, kterou lze vzájemně jednoznačně zobrazit na kardinál <math> \lambda \,\! </math>, říkáme, že <math> \lambda \,\! </math> je '''mohutnost''' množiny <math> x \,\! </math> a píšeme <math> |x| = \lambda \,\! </math>.
<br />Jednoznačné zobrazení mohutnosti všech množin na kardinály je závislé na axiomu výběru. Připouštíme-li [[axiom výběru]], pak z [[Princip dobrého uspořádání|principu dobrého uspořádání]] plyne, že každou množinu lze zobrazit na nějaký kardinál. V případě, že axiom výběru neplatí, však mohou existovat množiny, jejichž mohutnost nelze definovat výše uvedeným způsobem.
== Vlastnosti a příklady kardinálních čísel ==
| |||