Jatkuvuushypoteesi (yleisemmin tunnettu nimellä kontinuumihypoteesi, engl. continuum hypothesis, CH) on hypoteesi, jonka mukaan ei ole olemassa joukkoa, jonka kardinaalisuus olisi suurempi kuin luonnollisten lukujen joukko mutta pienempi kuin reaalilukujen joukko. Toisin sanottuna kontinuumihypoteesi väittää, että reaalilukujen joukko on pienin määrällisesti suurempi äärettömyys luonnollisten lukujen jälkeen. Georg Cantor esitti tämän hypoteesin vuonna 1877 osana tutkimuksiaan äärettömien joukkojen kardinaalisuuksista.
Määritelmä ja kardinaliteetit
Luonnollisia lukuja on äärettömän monta ja niiden kardinaalisuutta merkitään yleensä alef-nollalla, alef-nolla (ℵ0). Cantorin teoreema kertoo, että minkä tahansa joukon potenssijoukko (esimerkiksi luonnollisten lukujen potenssijoukko) on aina tiheydeltään suurempi kuin alkuperäinen joukko. Reaalilukujen joukko on joukon P(N) (luonnollisten lukujen potenssijoukko) kanssa samaa kardinaliteettia, ja tätä kardinaliteettia kutsutaan kontinuumin kardinaalisuudeksi, usein merkittynä c tai 2^{ℵ0}.
Kontinuumihypoteesi voidaan esittää muodollisemmin: ei ole olemassa joukkoa X siten, että ℵ0 < |X| < 2^{ℵ0}. Toisena yleisesti käytettynä muotona esitetään väite 2^{ℵ0} = ℵ1, missä ℵ1 on pienin äärettömyyksiä seuraava kardinaalisuus ℵ0:n jälkeen.
Historiallinen merkitys ja Hilbertin ongelma
Tämä hypoteesi oli ensimmäinen ongelma David Hilbertin vuonna 1900 julkaisemassa 23 ongelman luettelossa, mikä nosti sen merkittävästi matematiikan keskeiseksi tutkimuskohteeksi 1900-luvulla. Cantorin alkuperäiset ajatukset ja myöhemmät tarkastelut johtivat siihen, että kontinuumihypoteesista muodostui keskeinen esimerkki kysymyksestä, joka koskee, miten paljon aksiomajärjestelmä voi määrittää matematiikan totuuksia.
Itsenäisyys ja tulokset: Gödel ja Cohen
Kurt Gödel käytti 1930-luvun lopussa ja julkaisi vuonna 1940 tuloksen, jonka mukaan kontinuumihypoteesia ei voida kumota Zermelo‑Fraenkelin joukko‑opin (ZF) avulla, jos ZF itsessään on ristiriidaton. Gödel löysi niin kutsutun rakennelman L, konstruktillisen universumin, jossa sekä ZF:n aksioomat että kontinuumihypoteesi pitävät paikkansa. Tämän seurauksena CH ei ole disprove-able ZF:ssä (eli ZF ei voi johtaa CH:n vastakkaista väitettä).
Myöhemmin Paul Cohen kehitti 1960-luvun alussa voimakkaan menetelmän, forcingin, ja käytti sitä näyttääkseen, että kontinuumihypoteesia ei myöskään voida todistaa ZF:stä (tai ZFC:stä, kun otetaan mukaan valintaperiaate) — toisin sanoen CH on riippumaton ZF:stä: sekä CH että sen kieltävä muoto ovat yhteensopivia ZF:n kanssa, jos ZF on ristiriidaton. Cohenin keksintö ja sen seuraukset olivat niin merkittäviä, että hänelle myönnettiin Fieldsin mitali.
Merkitys nykyteoriassa ja jatkotutkimus
Kontinuumihypoteesin itsenäisyys ZF/ZFC:stä on tärkeä esimerkki siitä, että aksioomajärjestelmä rajoittaa sen, mitä voidaan deduktiivisesti todistaa. Se on myös osoitus siitä, että matematiikan perustukset voivat vaatia uusia aksioomia tai periaatteita ratkaistakseen periaatteellisia kysymyksiä. Nykyään tutkijat ovat ehdottaneet monenlaisia lisäaksioomia (kuten erilaiset suurten kardinaalien aksioomat, forcing-aksioomat tai Woodinin ehdotukset), joiden avulla yritetään antaa selkeämpi käsitys siitä, mikä voisi olla "luonnollinen" ratkaisu KOntinuumihypoteesiin. Keskustelu jatkuu: toiset pitävät CH:n ratkaisun vaativan uusia fundamentaalisia periaatteita, toiset taas pitävät riippumattomuutta hyväksyttävänä lopputuloksena, jonka kanssa matematiikka elää.
Kontinuumihypoteesilla on käytännön vaikutuksia ja seuraamuksia useilla matematiikan aloilla, kuten topologiassa, mittateoriassa ja funktionaalisessa analyysissä — esimerkiksi tietyt konstruktiot ja esimerkkijoukot voivat olla olemassa tai olla olematta CH:n mukaan riippuen siitä, millaiset lisäaksioomat valitaan.
Yhteenvetona: Cantor esitti hypoteesin, Gödel näytti että sitä ei voi kumota ZF:ssä ja Cohen näytti että sitä ei voi todistaa ZF:ssä — joten kontinuumihypoteesi on itsenäinen Zermelo‑Fraenkel‑joukkoteoriasta (ja myös ZFC:stä), ja sen lopullinen asema matematiikan perustaksi jää avoimeksi siihen asti, kunnes mahdollisesti hyväksytään uusia aksioomia tai periaatteita.