Spočetná množina

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

Spočetná množina je množina, kterou lze vzájemně jednoznačně zobrazit na některou podmnožinu množiny přirozených čísel.

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

Pojem spočetná množina znamená zjednodušeně řečeno „množina, jejíž prvky lze spočítat“. Spočítáním se zde rozumí očíslování prvků množiny přirozenými čísly - přitom je jedno, zda použiji konečný nebo nekonečný počet přirozených čísel.

Spočetné množiny lze dále rozdělit na konečné a nekonečné podle toho, zda v očíslování, které jsem na množinu použil, existuje nebo neexistuje nejvyšší přirozené číslo. Zajímavější je samozřejmě druhý případ - nekonečné spočetné množiny

Příklad - celá čísla jsou spočetná[editovat | editovat zdroj]

I když by se na první pohled zdálo, že celých čísel je víc, než přirozených (dalo by se říci dvakrát víc), z pohledu spočetnosti to tak není. Celá čísla lze snadno očíslovat přirozenými čísly a to takto:

Celá čísla si seřadím vzestupně podle absolutní hodnoty, pokud mají některá dvě stejnou absolutní hodnotu, dostane přednost menší z nich. Dostanu tak řadu 0,-1,1,-2,2,-3,3,… Tuto řadu pak snadno očísluji přirozenými čísly: k 0 přiřadím 0, k -1 přiřadím 1, k 1 přiřadím 2, k -2 přiřadím 3, k 2 přiřadím 4 atd. atd. Je snad dost jasně vidět, že se mi takto podaří očíslovat všechna celá čísla, takže jejich množina je spočetná.

Další příklad důkazu 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ízi se samozřejmě otázka, zda vůbec existují jiné než spočetné množiny. V běžně používaných modelech teorie množin, například Zermelo-Fraenkelově teorii množin je odpověď kladná - existují nespočetné množiny - například množina reálných čísel (viz článek Cantorova diagonální metoda) nebo množina všech podmnožin množiny přirozených čísel.

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ší“, než původní množina. V tomto smyslu jsou spočetné množiny pouze vstupní branou do světa mnohem větších (ve smyslu „mnohem nekonečnější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]