Spočetná množina

Z Wikipedie, otevřené encyklopedie
Skočit na: Navigace, Hledání

Spočetná množina je matematický pojem z teorie množin, označující množinu, kterou lze vzájemně jednoznačně (tzv. bijektivně) zobrazit na některou podmnožinu množiny přirozených čísel.

Úvodní přiblížení[editovat | editovat zdroj]

Zjednodušeně lze říci, že přívlastek spočetná o množině konstatuje, že „její prvky lze spočítat“. Spočítáním se zde rozumí očíslování prvků přirozenými čísly.

Podle toho, zda k očíslování postačuje, či nepostačuje konečných počet přirozených čísel, se spočetné množiny klasifikují jako konečné a nekonečné. V případě konečných spočetných množin se používá formulace, že v očíslování existuje nejvyšší přirozené číslo.

Příklad — množina celých čísel je spočetná[editovat | editovat zdroj]

I když by se mohlo zdát, že celých čísel je více než přirozených (dalo by se říci „dvakrát více“), pojem spočetnosti toto zdání nereflektuje. Celá čísla přirozenými čísly očíslovat lze, např. následujícím způsobem:

  • Celá čísla se seřadí — primárně vzestupně podle absolutní hodnoty, sekundárně vzestupně podle velikosti.
  • Dle předchozího bodu seřazená množina se očísluje přirozenými čísly tak, jak po sobě tyto ve vzestupném pořadí následují:
    • bude mít číslo ;
    • bude mít číslo ;
    • bude mít číslo ;
    • bude mít číslo ;
    • bude mít číslo ;
    • bude mít číslo ;
    • bude mít číslo ;

Výše naznačené očíslování se považuje za důkaz spočetnosti množiny celých čísel. Říká se, že předvedeným způsobem se podaří očíslovat všechna celá čísla.

Další důkaz spočetnosti nekonečné množiny se nachází v článku Nespočetná množina.

Spočetné a nespočetné nekonečné množiny[editovat | editovat zdroj]

Nabízí se otázka, zda vůbec existují jiné než spočetné množiny. V běžně používaných modelech teorie množin, kupř. Zermelo-Fraenkelově teorii množin, je odpověď kladná — existují. Takové množiny se nazývají nespočetné množiny a jejich příklady jsou množina reálných čísel nebo množina všech podmnožin množiny přirozených čísel.

Důkaz nespočetnosti množiny reálných čísel naleznete v článku Cantorova diagonální metoda.

Z Cantorovy věty dokonce vyplývá, že ke každé (tedy i nespočetné) množině existuje množina s větší mohutností — tedy ještě mnohem „nespočetnější“ množina než množina, k níž je tato množina dohledávána. V tomto smyslu — ve smyslu nekonečnosti — lze spočetné množiny považovat za pouhou vstupní bránu do světa mnohem větších nespočetných množin.

Lze dokázat[editovat | editovat zdroj]

Příklady spočetných množin[editovat | editovat zdroj]

Související články[editovat | editovat zdroj]