Kardinální číslo: Porovnání verzí
Smazaný obsah Přidaný obsah
Bez shrnutí editace značka: editace z Vizuálního editoru |
značka: editace z Vizuálního editoru |
||
Řádek 7:
Nejdříve zavedl kardinalitu jako nástroj pro porovnávání konečných množin. Například množiny {1,2,3} a {2,3,4} si nejsou ''rovny'', ale mají ''stejnou kardinalitu''.
Dále Cantor zavedl [[bijekce|bijekci]], pomocí které lze jednoduše
Cantora zajímalo, zda každá nekonečná množina je spočetná. Pomocí takzvané [[Cantorova diagonální metoda|diagonální metody]] dokázal, že tomu tak není a popsal nový kardinál, ''
Později vyslovil tvrzení známé jako [[hypotéza kontinua]]. To říká, že ''c'' = <math>\aleph_1</math>. Ukázalo se, že jeho platnost je nezávislá na standardních axiomech teorie množin, a proto nemůže být na základě nich dokázáno ani vyvráceno.
|