Může být jedno nekonečno větší než druhé?

V hotelu není jediný volný pokoj. Unavený host přesto položí kufr k recepci a recepční mu podá klíč. Nikomu nezrušil rezervaci. Jen všem oznámí, že se mají přestěhovat o pokoj dál.

V běžném hotelu by poslední host skončil na chodbě. Tenhle ovšem patří do myšlenkového experimentu: má pokoje označené 1, 2, 3 a tak dál, bez posledního čísla. Host z jedničky přejde do dvojky, ze dvojky do trojky a stejně se přestěhují ostatní. Jednička zůstane volná. To je známý Hilbertův hotel.^[2]

Nejde o trik s rezervacemi ani o projekt pro stavební úřad. Ukazuje, že s nekonečnými soubory věcí nelze zacházet jako s velmi velkou hromadou. A odpověď na otázku z titulku zní ano: některé nekonečné množiny mají více prvků než jiné, pokud velikost porovnáváme párováním jednoho prvku s jedním.^[1][2]

Počítání bez posledního čísla

Máte na stole hrnky a podšálky. Nemusíte je nejprve spočítat, abyste zjistili, zda je jich stejně. Každý hrnek postavíte na jeden podšálek. Pokud nic nepřebývá a nikdo nemusí sdílet, počty souhlasí.

Matematika tento nápad používá i pro nekonečné množiny. Každý prvek jedné musí dostat právě jeden protějšek ve druhé, bez vynechání a bez dvojího přidělení. Takovému párování se říká bijekce; velikosti určené tímto způsobem mohutnost.^[1]

Vezměme kladná celá čísla a vedle nich jen kladná sudá:

1 ↔ 2
2 ↔ 4
3 ↔ 6
4 ↔ 8
…

Pravidlo je pořád stejné: každému číslu přiřadíme jeho dvojnásobek. Každé kladné sudé číslo má právě jednoho partnera, svou polovinu. V tomto smyslu je sudých čísel stejně jako všech kladných celých.^[1]

„Ale vždyť lichá chybějí!“ Ano. Sudá čísla jsou jen částí celku. U nekonečných množin se však může stát, že část a celek mají stejnou mohutnost.^[2] Věta „část je vždy menší“ sem nepřejde beze změny pravidel. Zvyk z počítání příborů si právě sáhl za hranici své pracovní smlouvy.

Ani nekonečný seznam nestačí na všechno

Soubor, jehož členy lze beze zbytku očíslovat 1, 2, 3 a tak dál, nazýváme spočetně nekonečný. Nemusíme seznam dopsat. Podstatné je, že každý člen má své konečné pořadové číslo.^[1]

Takto lze uspořádat i všechna racionální čísla, tedy zlomky celých čísel s nenulovým jmenovatelem.^[1] Pouhé přidání dalších druhů čísel tedy ještě nezaručí větší nekonečno.

Teď ale zkusme něco jiného: všechny možné nekonečné řady nul a jedniček. Ne všechny dlouhé počítačové soubory, nýbrž skutečně nekonečné matematické řady. Mohla by každá dostat vlastní řádek v jednom seznamu?

Předpokládejme, že někdo takový úplný seznam přinesl. Sestavíme novou řadu: vezmeme první znak prvního řádku a obrátíme ho. Z nuly uděláme jedničku, z jedničky nulu. Potom obrátíme druhý znak druhého řádku, třetí znak třetího řádku a stejným pravidlem určíme každý další znak.^[3]

Naše nová řada se liší od první v prvním znaku. Od druhé ve druhém, od třetí ve třetím. Od kteréhokoli zvoleného řádku se liší právě tam, kde mu pravidlo přikázalo změnu. V údajném úplném seznamu tedy není. Jde o podobu Cantorova diagonálního argumentu: proti libovolnému takovému seznamu máme postup, jak určit vynechaný prvek.^[1][3]

Námitka „tak ji dopíšeme“ nepomůže. Nový seznam opět podléhá stejnému argumentu. Neprokázali jsme jen, že někdo sestavil nešikovný seznam. Prokázali jsme, že žádný seznam očíslovaný přirozenými čísly nemůže obsahovat všechny tyto řady.^[3]

Přitom kladná celá čísla mezi řadami snadno zastoupíme: číslu přiřadíme řadu s jedinou jedničkou na odpovídajícím místě a nulami všude jinde. Každému kladnému celému číslu tedy odpovídá jiná řada, ale všechny řady k těmto číslům beze zbytku spárovat nelze. Proto je množina všech nekonečných řad nul a jedniček opravdu větší, nejen jinak uspořádaná.^[1][3]

Podobně nelze takovým seznamem vyjmenovat všechna reálná čísla, jimiž popisujeme body číselné osy.^[1] Nekonečno nemá jednu univerzální velikost.

Není to jen slovíčkaření?

Nejsilnější námitka míří na začátek: proč má o velikosti rozhodovat zrovna párování? Když vynecháme každé druhé číslo, něco přece ubylo.

To je dobrá připomínka, ne chyba ve výpočtu. Mohutnost zachycuje jednu přesnou vlastnost. Neříká, jak hustě jsou prvky rozmístěné, jakou mají délku ani v jakém pořadí je čteme. Existují i jiné matematické přístupy k velikosti, které u nekonečných množin zachovávají pravidlo, že vlastní část je menší než celek.^[2]

Tím Cantorův výsledek nemizí. Jen přestaneme používat slovo „velikost“, jako by mělo jediný význam. Podobně počet domů není délka ulice, i když se obojí může objevit ve větě „to je velká ulice“.

A zbývá ještě jiná otázka: existuje něco nekonečného ve fyzickém světě? Hilbertův hotel ji nerozhodne. Je to matematický model, nikoli důkaz, že lze postavit nekonečnou chodbu a provést všechna stěhování. O přijatelnosti nekonečných celků i o jejich vztahu ke skutečnosti se vedou samostatné filozofické spory.^[2]

Co by změnilo náš názor

V popsaném argumentu by rozhodovala konkrétní chyba: řada, pro kterou pravidlo neurčuje znak, nebo přehlédnutý důvod, proč nová řada přece jen patří na seznam. Nestačilo by vyzkoušet milion řádků. Důkaz stojí na tom, co platí pro libovolný řádek, jak jsme rozebírali také u počítačových důkazů.

Jiná definice velikosti může odpovědět na jinou otázku, ale sama nevyvrací odpověď získanou párováním. A objev v kosmologii by mohl změnit náš pohled na fyzické nekonečno, ne sám od sebe zrušit tento matematický argument.

Recepční tedy nemusí hosta poslat pryč. Jen by mu měl vysvětlit, že ochota ubytovat dalšího člověka ještě neznamená schopnost ubytovat úplně každou myslitelnou nekonečnou skupinu. Ani nekonečný hotel nemá neomezené možnosti.

---

Meze výkladu: vysvětlujeme standardní pojem mohutnosti a jednu podobu diagonálního argumentu. Neřešíme všechny základy teorie množin ani existenci fyzického nekonečna. Hotel a další scény jsou myšlenkové příklady; nekonečné řady nejsou konečné soubory uložené v počítači.

Ilustrace jsou pojmové metafory vytvořené v Higgsfieldu pomocí GPT Image 2, nikoli dokumentární snímky ani přesná matematická schémata.

Zdroje

1. Stanford Encyclopedia of Philosophy: Basic Set TheoryZpět k citaci 1 Zpět k citaci 2 Zpět k citaci 3 Zpět k citaci 4 Zpět k citaci 5 Zpět k citaci 6 Zpět k citaci 7 Zpět k citaci 8
2. Stanford Encyclopedia of Philosophy: InfinityZpět k citaci 1 Zpět k citaci 2 Zpět k citaci 3 Zpět k citaci 4 Zpět k citaci 5
3. Eric W. Weisstein: Cantor Diagonal Method, MathWorldZpět k citaci 1 Zpět k citaci 2 Zpět k citaci 3 Zpět k citaci 4