Hypotéza kontinua – definice, Cantor, Gödel a Cohen

Hypotéza kontinua: definice a historie — Cantorova formulace, Gödelova a Cohenova nezávislost; vysvětlení, důsledky a kontext v teorii množin.

Hypotéza kontinua je hypotéza, že neexistuje množina, která by byla větší než množina přirozených čísel a zároveň menší než množina reálných čísel. Tuto hypotézu vyslovil Georg Cantor v roce 1877.

Definice a základní pojmy

Rozdíl mezi „stejně velkými“ a „většími“ množinami vyjadřuje pojem kardinalita. Množinu říkáme spočetně nekonečnou, pokud lze její prvky očíslovat přirozenými čísly; takovou kardinalitu označujeme symbolem aleph₀ (čte se "aleph nula"). Cantor ukázal pomocí diagonálního argumentu, že množina reálných čísel nemůže být spočetně vyjádřena, tj. kardinalita reálných čísel je větší než aleph₀. Tu větší veličinu často označujeme symbolem c (continuum), která se také rovná 2^{aleph₀} — počet všech množin přirozených čísel.

Hypotéza kontinua tedy říká: neexistuje žádná množina s kardinalitou mezi aleph₀ a c. V běžné formě se to zapisuje jako 2^{aleph₀} = aleph₁, kde aleph₁ je nejmenší nekonečná kardinalita větší než aleph₀.

Historie a důležité výsledky

• 1877 — Georg Cantor formuluje otázky o pořadí nekonečen a dokazuje nepočinnost reálných čísel (diagonální argument).
• 1900 — Hypotéza kontinua je první ze 23 problémů zveřejněných Davidem Hilbertem jako významné otevřené otázky matematiky.
• 1939–1940 — Kurt Gödel ukázal, že hypotézu nelze vyvrátit za použití Zermelo-Fraenkelovyteorie množin (přesněji: pokud je tato teorie konzistentní, pak je konzistentní i rozšíření o hypotézu kontinua). Gödel toho dosáhl konstrukcí tzv. konstruovatelného světa L, v němž platí jak Axiom výběru, tak i (generální) hypotéza kontinua.
• 1963 — Paul Cohen vyvinul metodu forcing a ukázal, že hypotézu kontinua nelze za těchto axiomů ani dokázat. Jinými slovy, pokud je Zermelo–Fraenkelova teorie množin konzistentní, může být také konzistentní její rozšíření, v němž hypotéza kontinua neplatí. Tím se potvrdila nezávislost hypotézy na běžných axiomech (ZF a ZFC). Cohen za své výsledky obdržel Fieldsovu medaili (1966).

Důsledky a současný pohled

Výsledky Gödela a Cohena znamenají, že v rámci standardních axiomů teorie množin (Zermelo–Fraenkel s volitelným Axiomem výběru, zkráceně ZF/ZFC) nelze hypotézu kontinua rozhodnout: obě možnosti — že CH platí, i že CH neplatí — jsou konzistentní (pokud je konzistentní ZF/ZFC). To vede k několika závěrům:

• Existují modely teorie množin, ve kterých platí CH, a modely, ve kterých CH neplatí. Matematici tak mohou v různých souvislostech pracovat v různých modelech podle potřeby.
• Otázka, zda CH „je pravdivá“ v absolutním smyslu, zůstává otevřená — některé směry v současné teorii množin zkoumají, zda lze přijmout dodatečná axiomata (např. velké kardinální axiomy nebo axiomy determinace), která by CH rozhodla.
• Pro většinu „praktické“ matematiky (analýza, algebra apod.) má nezávislost CH malý přímý dopad; problémy vznikají zejména v oborech, kde se pracuje s jemnými otázkami o nekonečných množinách a jejich kardinálních vlastnostech.

Další souvislosti

Kromě klasické hypotézy kontinua existuje i generalizovaná hypotéza kontinua (GCH), která tvrdí, že pro každé nekonečné kardinalitní číslo κ platí 2^κ = κ^+. I GCH byla ukázána být nezávislou na ZF/ZFC. Další výsledky, jako Eastonova věta, popisují, jak se může chovat funkce kardinality 2^κ pro regulární kardinality, pokud nejsou přítomny dodatečná omezení (např. velké kardinály).

Stručně: Hypotéza kontinua navrhl Cantor v 19. století jako otázku o velikostech nekonečen. Gödel a Cohen v polovině 20. století ukázali, že v rámci standardních axiomů teorie množin ji nelze ani dokázat, ani vyvrátit — je tedy nezávislá na těchto axiomech. Nadále zůstává jednou z nejznámějších a filosoficky zajímavých otázek matematiky.

Otázky a odpovědi

Otázka: Co je to hypotéza kontinua?

Otázka: Kdo a kdy vyslovil hypotézu kontinua?

Otázka: Je přirozených čísel nekonečně mnoho?

Otázka: Jaká je kardinalita množiny přirozených čísel?

Otázka: Existuje více reálných čísel než přirozených čísel?

Otázka: Lze falzifikovat hypotézu kontinua pomocí Zermelo-Fraenkelovy teorie množin?

Otázka: Kdo ukázal, že Zermelo-Fraenkelovu teorii množin nelze použít k důkazu hypotézy kontinua?

Hledání podle dopisu