Kontinuumhipotézis — definíció, Hilbert, Gödel, Cohen és ZF-függetlenség

Kontinuumhipotézis: története, Cantor, Hilbert problémája, Gödel és Cohen felfedezései, valamint a ZF-függetlenség magyarázata — érthetően és részletesen.

A kontinuumhipotézis (röviden: CH) azt állítja, hogy nincs olyan halmaz, amelynek kardinalitása egyszerre nagyobb, mint a természetes számok halmaza és kisebb, mint a valós számok halmaza. Ezt a feltételt gyakran a következő módon írják le: nincs A olyan, hogy |N| < |A| < |R|. Cantor eredeti megfogalmazása óta a kontinuumkarakterisztikát gyakran a 2^{ℵ0} jelöléssel vagy egyszerűen c-vel (a kontinuum kardinalitása) jelölik; a hipotézis ekvivalens azzal az állítással, hogy 2^{ℵ0} = ℵ1, azaz nincs kardinalitás ℵ0 és 2^{ℵ0} között.

Alapfogalmak — végtelenek és kardinalitás

A végtelen sok természetes szám van: a természetes számok halmazának kardinalitását jelölik ℵ0-val (aleph-null). A valós számok halmaza is végtelen, de Cantor diagonális érve megmutatja, hogy nincs bijekció a természetes számok és a valós számok között; ezért a valós számok kardinalitása nagyobb, mint a természetes számoké. A valós számok kardinalitását gyakran c-vel vagy 2^{ℵ0}-val jelölik.

Történet — Cantor, Hilbert, Gödel, Cohen

Georg Cantor 1877-ben vetette fel először a kontinuum kérdését, amikor feltárta a különböző végtelen nagyságok létezését. A probléma jelentőségét jól mutatja, hogy David Hilbert a 20. század elején, 1900-ban a 23 megoldandó problémájának első helyére tette a kontinuumhipotézist.

Kurt Gödel 1940-ben (Gödel publikációjában) megmutatta, hogy a kontinuumhipotézis nem származtatható ellentmondásmentesen a Zermelo-Fraenkel-halmazelmélet (ZF) axiómarendszeréből: konstruktív módszerével, az ún. konstruktív univerzummal (L) igazolta, hogy ha ZF (illetve ZF + választóaxioma, ZFC) következetes, akkor ZF + CH is következetes. Másképp: a CH nem cáfolható a ZF-ben, feltéve annak következetességét.

Paul Cohen az 1960-as évek elején — új módszerével, az ún. forcálás (forcing) technikával — megmutatta, hogy a kontinuumhipotézis nem bizonyítható a ZF-ből (illetve ZFC-ből) sem: léteznek modellek, amelyekben a CH hamis. Ezzel Cohen bizonyította, hogy a CH független a ZF/ZFC axiómarendszertől. Eredményéért Cohen 1966-ban Fields-érmet kapott.

Mit jelent a függetlenség?

• A függetlenség azt jelenti, hogy a ZF (vagy ZFC) axiómarendszerben sem nem lehet igazolni, sem nem lehet cáfolni a CH-t — mindkét lehetőség konzisztens, ha maguk az axiómák konzisztensek.
• Gyakorlati következmény: különböző, egymással nem izomorf modelljei léteznek a halmazelméletnek, egyesekben a CH igaz, másokban hamis. Például Gödel konstruktív univerzuma (L) egy CH-t kielégítő modell, míg Cohen egy sor forcálással előállított modellben CH megszeghető.

Kapcsolódó fogalmak és további irányok

Van egy általánosított változat is, a generalizált kontinuumhipotézis (GCH), amely azt állítja, hogy minden nembeli kardinalnál a következő nagyobb kardinal a hatványkardinalitásnak megfelelő; formálisan: 2^{ℵα} = ℵ_{α+1} minden rendezett ℵα-re. A GCH szintén független a ZF/ZFC-től.

A modern kutatás nemcsak a CH függetlenségére összpontosít, hanem arra is, hogy milyen kiegészítő axiómák (például különféle nagy halmaz-axiomák, determinációs axiómák, vagy erős forcálási axiómák, mint a PFA) döntik el a kontinuum nagyságát. Egyes javasolt axiómarendszerek a kontinuum konkrét értékét (például ℵ2) eredményezik; más megközelítések viszont továbbra is nyitva hagyják a problémát. Így a kontinuumhipotézis matematikai és filozófiai értelemben is élő, vitatott kérdés.

Rövid összegzés

A kontinuumhipotézis egy alapvető kérdés a halmazelméletben: van-e kardinalitás a természetes számok és a valós számok között. Cantor fogalmazta meg, Hilbert kiemelte jelentőségét, Gödel megmutatta, hogy a CH nem cáfolható a ZF-ben (konstruktív modell: L), Cohen pedig bizonyította, hogy a CH nem bizonyítható a ZF-ből sem (forcálással előállított modellek). Következésképp a CH független a ZF/ZFC axiómarendszertől, és a probléma eldöntése további axiómákhoz vagy új törvényszerűségek elfogadásához kötődik.

Kérdések és válaszok

K: Mi az a kontinuum hipotézis?

K: Ki és mikor állította fel a kontinuumhipotézist?

K: Végtelen sok természetes szám létezik?

K: Mekkora a természetes számok halmazának kardinalitása?

K: Több valós szám van, mint természetes szám?

K: Meghamisítható-e a kontinuumhipotézis a Zermelo-Fraenkel-halmazelmélet segítségével?

K: Ki mutatta meg, hogy a Zermelo-Fraenkel-halmazelmélet nem használható a kontinuumhipotézis bizonyítására?

Keresés betűvel