Spočetná množina

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, tedy že existuje bijekce .

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

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

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

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 je opak pravdou. 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.

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

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 oblud.

[editovat] Lze dokázat

• že kartézský součin dvou spočetných množin je spočetná množina
• že konečné sjednocení spočetných množin je spočetná množina
• že reálná čísla nejsou spočetná

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

• Přirozená čísla
• Celá čísla
• Racionální čísla

[editovat] Související články

• Nespočetná množina
• Nekonečná množina
• Konečná množina
• Mohutnost
• Kardinální číslo
• Cantorova věta
• Rekurzivně spočetná množina