Hipoteza continuum: definicja, Cantor, Gödel i Cohen — niezależność od ZF

Hipoteza continuum: Cantor, dowody Gödel i Cohen oraz niezależność od aksjomatów ZF — zwięzłe, przystępne wyjaśnienie i jej znaczenie w matematyce.

Hipoteza continuum to hipoteza mówiąca, że nie istnieje zbiór, który byłby jednocześnie większy od zbioru liczb naturalnych i mniejszy od zbioru liczb rzeczywistych. Hipotezę tę wysunął Georg Cantor w 1877 roku. W precyzyjnej formie matematycznej hipoteza continuum (CH) stwierdza, że nie istnieje zbiór o kardynalności pośredniej między kardynalnością zbioru liczb naturalnych a kardynalnością continuum; równoważnie zapisuje się ją jako 2^{\aleph_0} = \aleph_1, czyli moc continuum jest następną po \aleph_0 liczbą kardynalną.

Pojęcia i oznaczenia

Zbiór liczb naturalnych jest przeliczalny, jego moc oznaczamy zwykle przez \aleph_0 (czyt. alef-zero). Zbiór liczb rzeczywistych ma większą moc; Cantor wykazał to klasyczną metodą diagonalizacji. Moc continuum (liczb rzeczywistych) często oznaczana jest symbolem c lub 2^{\aleph_0}. Hipoteza continuum mówi więc, że nie ma żadnej kardynalności pomiędzy \aleph_0 a 2^{\aleph_0} i że 2^{\aleph_0} równa się \aleph_1 — pierwszej kardynalnej nieskończonej po \aleph_0.

Niezależność od teorii Zermelo–Fraenkla

Hipoteza ta stała się jednym z najbardziej znanych pytań matematyki i znalazła się jako pierwszy punkt na liście 23 problemów opublikowanych przez David Hilbert w 1900 roku. W połowie XX wieku wykazano, że CH nie jest rozstrzygalna w ramach standardowych aksjomatów teorii zbiorów.

Kurt Gödel pokazał (w pracy opublikowanej w 1940 roku), że hipotezy tej nie da się sfalsyfikować za pomocą teorii zbiorów Zermelo-Fraenkla — dokładniej, Gödel skonstruował tzw. uniwersum konstruowalne L i dowiódł, że w L zarówno aksjomat wyboru, jak i hipoteza continuum są prawdziwe. Wynik ten oznacza relatywną spójność: jeśli ZF (lub ZFC, czyli ZF z aksjomatem wyboru) jest spójna, to ZF + CH też jest spójna.

Następnie, w latach 60. XX wieku, Paul Cohen rozwinął metodę wymuszania (forcing) i w 1963–1964 roku udowodnił, że ani sama teoria Zermelo–Fraenkla, ani ZF z aksjomatem wyboru (ZFC) nie mogą dowieść hipotezy continuum — inaczej mówiąc, nie da się również jej udowodnić z tych aksjomatów. Oznacza to, że CH jest niezależna od ZF i ZFC: oba warianty (CH oraz ¬CH) są możliwe w różnych modelach teorii zbiorów. Za wprowadzenie metody forcingu i wynik ten Paul Cohen otrzymał Medalem Fieldsa.

Metody i krótkie objaśnienie wyników

• Gödel i L (konstruowalne): Gödel pokazał, że istnieje model teorii zbiorów (oznaczany L), w którym wszystkie klasyczne aksjomaty ZF są prawdziwe, a dodatkowo spełniona jest CH. Dzięki temu nie można w ZF udowodnić zaprzeczenia CH.
• Cohen i forcing: Cohen skonstruował technikę modyfikowania modeli teorii zbiorów tak, by w otrzymanym modelu CH była fałszywa. To pokazało, że nie można w ZF udowodnić CH. Forcing stał się centralnym narzędziem współczesnej teorii mnogości.

Konsekwencje i dalsze badania

Skutkiem tych dwóch rezultatów jest to, że hipoteza continuum nie jest rozstrzygnięta jedynie przez standardowe aksjomaty teorii zbiorów — jej prawdziwość zależy od dodatkowych założeń. W praktyce matematycznej wiele zdań zależnych od CH ma różne konsekwencje w topologii, teorii miary czy analizie funkcjonalnej, dlatego badanie CH ma wpływ poza samą teorią mnogości.

Współcześnie badacze rozważają dodanie nowych aksjomatów (np. aksjomatów dużych kardynałów, aksjomatów wymuszających pewne regularności continuum albo aksjomatów typu forcing axioms, np. PFA), które mogłyby jednoznacznie określić wartość continuum. Nie ma jednak powszechnie przyjętego nowego aksjomatu, który rozstrzygałby CH w sposób zaakceptowany przez większość społeczności matematycznej. Prace takich badaczy jak W. Hugh Woodin prowadzą do głębszego zrozumienia możliwych wartości continuum i do kryteriów wyboru nowych aksjomatów, ale ostateczne rozwiązanie „w sensie obiektywnej prawdy” pozostaje otwarte.

Podsumowując: Hipoteza continuum ma długą historię — od pomysłu Cantora, przez centralne miejsce na liście Hilberta, po przełomowe wyniki Gödla i Cohena — i dziś jest jednym z klasycznych przykładów twierdzeń niezależnych od przyjętych aksjomatów teorii zbiorów.

Pytania i odpowiedzi

P: Co to jest hipoteza kontinuum?

P: Kto i kiedy postawił hipotezę continuum?

P: Czy istnieje nieskończenie wiele liczb naturalnych?

P: Jaka jest kardynalność zbioru liczb naturalnych?

P: Czy jest więcej liczb rzeczywistych niż liczb naturalnych?

P: Czy hipoteza continuum może być sfalsyfikowana przy użyciu teorii zbiorów Zermelo-Fraenkla?

P: Kto wykazał, że teorii zbiorów Zermelo-Fraenkla nie można użyć do udowodnienia hipotezy continuum?

Szukaj według litery