Hilbertin ongelmat: 23 matemaattista haastetta ja Hilbertin 24.
Tutustu Hilbertin 23 merkittävään matemaattiseen haasteeseen ja mystiseen 24. ongelmaan — historia, ratkaisut, avoimet tapaukset ja vaikutus nykymatematiikkaan.
Vuonna 1900 matemaatikko David Hilbert julkaisi luettelon 23 ratkaisemattomasta matemaattisesta ongelmasta. Ongelmaluettelo osoittautui hyvin vaikutusvaltaiseksi: se ohjasi suuren osan 1900-luvun matemaattisesta tutkimuksesta ja muodosti työlistan monille tutkijaryhmille ympäri maailmaa. Hilbertin kuoleman jälkeen hänen jälkitöistään löytyi vielä yksi luonnosongelma, jota nykyään joskus kutsutaan Hilbertin 24. ongelmaksi. Tämä "24." koskee kriteerien etsimistä, joiden avulla voidaan osoittaa, että tietty ratkaisu on yksinkertaisin mahdollinen ja että ratkaisuprosessi on optimaalinen.
Mitä ongelmat koskivat?
Hilbertin 23 ongelmaa kattoi laajan joukon matematiikan aloja: määrälliset ja laadulliset kysymykset lukuteoriassa, topologiassa, analyyttisessä teoriassa, geometriassa, integraali- ja differentiaaliyhtälöissä sekä sääntöjen ja aksioomien luomiseen liittyvissä perustakysymyksissä. Osa ongelmista oli hyvin täsmällisesti muotoiltuja, osa taas tarkoituksella laajoja ja monitulkintaisia — Hilbert halusi haastaa tulevat sukupolvet kehittymään uusilla menetelmillä.
Merkittäviä ratkaisuja ja nykyinen tilanne
Monet Hilbertin ongelmista ovat sittemmin ratkaistu joko täysin tai osittain. Joitakin tunnetuimpia ratkaisuja ja kehityskulkuja:
- 1. ongelma (kontinuumihypoteesi) — Cantorin kontinuumihypoteesi osoittautui riippumattomaksi ZFC-aksioomistosta: Gödel todisti hypoteesin olevan ristiriidaton ZF:ssä jos ZF on ristiriidaton (1938) ja Cohen näytti sille riippumattomuuden (1963). Näin kysymys ei ratkea pelkästään vakiintuneilla ZFC-aksioomilla.
- 2. ongelma (aritmetiikan konsistenssi) — Gödelin epätäydellisyyslauseet osoittivat rajoja Hilbertin alkuperäiselle pyrkimykselle todistaa luonnollisten lukujen aritmetiikan konsistenssi täysin formaalisti, mikä muutti perustakysymysten käsittelyä.
- 3. ongelma — Dehn ratkaisi kirjainmuotoisen kolmiulotteisten kappaleiden halkaistavuuskysymyksen antamalla Dehn-invariantin, joka osoitti ettei kaikkia kongruentteja polyedreja voi paloitella toisikseen.
- 5. ongelma — Hilbertin 5. ongelma (topologiset ryhmät ja niiden analyysi) ratkaistiin 1950-luvulla (työntekijöinä mm. Gleason, Montgomery ja Zippin), mikä vahvisti yhteyksiä differentiaaligeometrian ja ryhmäteorian välillä.
- 7. ongelma — Gelfondin ja Schneiderin tulokset sekä myöhemmät kehitykset ratkaisevat monia eksponenttisia riippumattomuus- ja transsendenssikysymyksiä, joiden ydinajatukset löytyvät tästä ongelmasta.
- 10. ongelma — Matiyasevichin ratkaisu (1970), täydentäen Davis–Putnam–Robinsonin työtä, osoitti, että diofanttisten yhtälöiden ratkaisujen yleistä päätettävyyttä ei ole: ei ole algoritmia joka päättäisi kaikkien diofanttisten yhtälöiden ratkeavuuden. Tämä oli radikaali tulos laskennallisen päätettävyyden kannalta.
- 18. ongelma — Sisältää mm. tilaus- ja pakkautumiskysymyksiä. Keplerin konjektuurin (suurimman pallopakkauksen muoto) todisti Thomas Hales (1998) ja sen tietomuotoinen varmentaminen (Flyspeck) valmistui myöhemmin, tosin ongelma sisältää myös muita osia, kuten tasoitusten ja symmetriajoukkojen luokittelun.
- 21. ongelma (Riemannin monodromiakysymys / Riemann–Hilbert) — alkuperäinen muotoilu sai osittaisia ratkaisuja (Plemelj), mutta myöhemmin paljastui, että yksinkertainen muotoilu ei kata kaikkia tapauksia: Bolibruch löysi vastauksia, jotka tuoivat esiin odottamattomia obstruktioita, joten tämä alue on osittain ratkaistu mutta herättää edelleen laajaa tutkimusta.
- 14., 16. ja useat muut — joihinkin ongelmiin on löytynyt odottamattomia vastauksia tai vastaesimerkkejä (esim. Nagatan esimerkit liittyen 14. ongelman väitteisiin), toisiin on kehitetty osittaisia ratkaisumenetelmiä tai yleisiä raamistoja, jotka avaavat uusia tutkimussuuntautumia.
On tärkeää huomata, että joidenkin ongelmien kohdalla puhutaankin nykyään siitä, että ne ovat joko täysin ratkaistuja, osittain ratkaistuja tai että ne on todettu riippumattomiksi valituista aksioomajärjestelmistä. Arviot vaihtelevat hieman lähteestä riippuen; esimerkiksi joissakin yleiskatsauksissa mainitaan, että 2000-luvun alussa vain muutama alkuperäisistä 23 ongelmasta oli edelleen laajalti tunnustetusti täysin ratkaisematta, osa katsottiin liian epämääräisiksi sellaisenaan ja useisiin löytyi merkittäviä osaratkaisuja.
Hilbertin 24. ongelma
Hilbertin 24. ongelma löytyi vasta hänen kuolemansa jälkeen julkaistuista muistiinpanoista. Se ei ollut osa alkuperäistä 1900 esitystä, mutta sen sisältö — kriteerien etsiminen sille, milloin ja miten todistusta voidaan pitää "yksinkertaisimpana" tai "optimaalisena" — on herättänyt filosofista ja teknistä kiinnostusta. Kysymykseen liittyy muun muassa todistusten kompleksisuuden mittaaminen, algoritmisten menetelmien etsiminen yksinkertaisuuden osoittamiseksi sekä automaattisen todistamisen ja formaalin todistuksen teorian kehitys.
Vaikutus ja perintö
Hilbertin ongelmilla oli ja on yhä valtava vaikutus matematiikkaan: ne toimivat tutkimuksen ohjaajina, inspiroivat uusia aloja ja loivat yhteyksiä eri matemaattisten alueiden välille. Vuosituhannen vaihteessa Clay Mathematics Institute julkaisi oman "Millennium Prize Problems" -luettelonsa, joka oli suora kannanotto Hilbertin esimerkin jatkamisesta: seitsemälle vaikealle ongelmalle tarjottiin miljoonan dollarin palkkiot niiden ratkaisemisesta. Esimerkkinä Poincarén konjektuuri (yksi Clayn ongelmista) ratkesi Grigori Perelmanin työllä 2000-luvun alussa.
Hilbertin lista muistuttaa siitä, miten yksittäiset selkeästi muotoillut ongelmat voivat muokata kokonaisia tieteenaloja. Monet nykyajan tutkimusteemat — laskennallinen monimutkaisuus, formaali todistusteoria, algebraiset ja analytiset menetelmät, geometriset ja topologiset kysymykset — kantavat edelleen Hilbertin perintöä.
Yhteenveto
Joidenkin ongelmien muotoilu on parempi kuin toisten. Puhtaasti muotoilluista Hilbert-ongelmista ongelmien 3, 7, 10, 11, 13, 14, 17, 19, 20 ja 21 ratkaisu hyväksytään yksimielisesti. Toisaalta ongelmien 1, 2, 5, 9, 15, 18+ ja 22 ratkaisut hyväksytään osittain, mutta on kiistanalaista, ratkaiseeko se ongelman.
Tehtävän 18, Keplerin arvelun, ratkaisussa käytetään tietokoneavusteista todistusta. Tämä on kiistanalaista, koska ihmislukija ei pysty tarkistamaan todistusta kohtuullisessa ajassa.
Jäljelle jäävät 16, 8 (Riemannin hypoteesi) ja 12 ratkaisematonta. Tässä luokittelussa 4, 16 ja 23 ovat liian epämääräisiä, jotta niitä voitaisiin koskaan pitää ratkaistuina. Myös peruutettu 24 kuuluisi tähän luokkaan. Lukua 6 pidetään pikemminkin fysiikan kuin matematiikan ongelmana.
Ongelmataulukko
Hilbertin kaksikymmentäkolme ongelmaa ovat:
| Ongelma | Lyhyt selitys | Tila | Vuosi Ratkaistu |
| 1. | Jatkuvuushypoteesi (eli ei ole olemassa joukkoa, jonka kardinaalisuus olisi tiukasti kokonaislukujen ja reaalilukujen kardinaalisuuden välillä). | Todistetaan, että sitä on mahdotonta todistaa tai kumota Zermelo-Fraenkelin joukko-opin puitteissa, joko valinnan aksiooman kanssa tai ilman sitä (edellyttäen, että Zermelo-Fraenkelin joukko-oppi, joko valinnan aksiooman kanssa tai ilman sitä, on johdonmukainen, eli se ei sisällä kahta sellaista teoreemaa, joista toinen on toisen negaatio). Ei ole yksimielisyyttä siitä, onko tämä ratkaisu ongelmaan. | 1963 |
| 2. | Osoita, että aritmeettiset aksioomat ovat johdonmukaisia. | Siitä, johtavatko Gödelin ja Gentzenin tulokset Hilbertin esittämän ongelman ratkaisuun, ei ole päästy yksimielisyyteen. Gödelin toinen epätäydellisyysteoreema, joka todistettiin vuonna 1931, osoittaa, että sen johdonmukaisuutta ei voida todistaa itse aritmetiikassa. Gentzenin johdonmukaisuustodistus (1936) osoittaa, että aritmetiikan johdonmukaisuus seuraa järjestysluvun ε0 perusteltavuudesta. | 1936? |
| Kolmas | Jos on kaksi tilavuudeltaan samanlaista polyedriä, onko aina mahdollista leikata ensimmäinen äärellisen moneksi polyedrin palaksi, jotka voidaan koota uudelleen ja saada aikaan toinen? | Ratkaistu. Tulos: ei, todistettu käyttämällä Dehnin invarianttia. | 1900 |
| Neljäs | Rakenna kaikki metriikat, joissa viivat ovat geodeettisia. | Liian epämääräistä, jotta voitaisiin todeta, onko asia ratkaistu vai ei. | - |
| 5. | Ovatko jatkuvat ryhmät automaattisesti differentiaalisia ryhmiä? | Ratkaisija: Andrew Gleason tai Hidehiko Yamabe, riippuen siitä, miten alkuperäistä lausuntoa tulkitaan. Jos se kuitenkin ymmärretään Hilbert-Smithin arvelun vastineeksi, se on edelleen ratkaisematta. | 1953? |
| 6. | Axiomatisoi koko fysiikka | Osittain ratkaistu. | - |
| Seitsemäs | Onko a btranssendentaalinen, kun algebrallinen a ≠ 0,1 ja irrationaalinen algebrallinen b ? | Ratkaistu. Tulos: kyllä, jota havainnollistaa Gelfondin lause tai Gelfond-Schneiderin lause. | 1934 |
| 8. | Riemannin hypoteesi ("Riemannin zeta-funktion minkä tahansa ei-triviaalin nollakohdan reaaliosa on ½") ja muut alkulukuongelmat, muun muassa Goldbachin arvelu ja kaksoispriman arvelu. | Ratkaisematon. | - |
| 9. | Löydä yleisin vastavuoroisuusteoremin laki missä tahansa algebrallisessa lukukentässä. | Osittain ratkaistu. | - |
| 10. | Etsi algoritmi, jolla määritetään, onko tietyllä polynomilla ja kokonaislukukertoimilla varustetulla diofanttisella yhtälöllä kokonaislukuratkaisu. | Ratkaistu. Tulos: mahdoton, Matiyasevichin lauseen mukaan tällaista algoritmia ei ole olemassa. | 1970 |
| 11. | Kvadraattisten muotojen ratkaiseminen algebrallisilla numeerisilla kertoimilla. | Osittain ratkaistu. [] | - |
| 12. | Laajenna Kronecker-Weberin lause rationaalilukujen abeliaanisista laajennuksista mihin tahansa peruslukukenttään. | Ratkaistaan osittain luokkakenttäteorian avulla, vaikkakaan ratkaisu ei ole yhtä selvä kuin Kronecker-Weberin teoreema. | - |
| 13. | 7. asteen yhtälöiden ratkaiseminen käyttäen kahden parametrin jatkuvia funktioita. | Ratkaisematon. Vladimir Arnold ratkaisi ongelman osittain Andrey Kolmogorovin työn pohjalta. | 1957 |
| 14. | Onko polynomirenkaaseen vaikuttavan algebrallisen ryhmän invarianttirengas aina äärellisen generoitunut? | Ratkaistu. Tulos: ei, Masayoshi Nagata rakensi vastaesimerkin. | 1959 |
| 15. | Schubertin laskennallisen laskennan tiukka perusta. | Osittain ratkaistu. [] | - |
| 16. | Kuvaile reaalialgebrallisesta käyrästä ja polynomivektorikentän raja-arvosykleistä peräisin olevien soikioiden suhteelliset sijainnit tasossa. | Ratkaisematon. | - |
| 17. | Määrätyn rationaalifunktion lauseke neliösummien osamääränä | Emil Artin ja Charles Delzell. Tulos: Tarvittavien neliötermien lukumäärälle asetettiin yläraja. Alemman rajan löytäminen on edelleen avoin ongelma. | 1927 |
| 18. | (a) Onko olemassa monitahokas monitahokas, joka sallii kolmessa ulottuvuudessa vain anisoedrisen laatoituksen? | (a) Päätettiin. Tulos: kyllä (Karl Reinhardt). | (a) 1928 |
| 19. | Ovatko Lagrangen ratkaisut aina analyyttisiä? | Ratkaistu. Tulos: Kyllä, Ennio de Giorgi ja John Forbes Nash todistivat sen itsenäisesti ja eri menetelmiä käyttäen. | 1957 |
| 20. | Ovatko kaikki variaatio-ongelmat, joilla on tietyt reunaehdot, ratkaistavissa? | Ratkaistu. Merkittävä tutkimusaihe koko 1900-luvun ajan, joka huipentui epälineaarisen tapauksen ratkaisuihin . [] | - |
| 21. | Todiste sellaisten lineaaristen differentiaaliyhtälöiden olemassaolosta, joilla on määrätty monodrominen ryhmä | Ratkaistu. Tulos: Kyllä tai ei, riippuen ongelman tarkemmista muotoiluista. . [] | - |
| 22. | Analyyttisten suhteiden yhtenäistäminen automorfisten funktioiden avulla | Ratkaistu. [] | - |
| 23. | Varianssilaskennan jatkokehitys | Ratkaisematon. | - |
Kysymyksiä ja vastauksia
K: Kuka julkaisi vuonna 1900 luettelon 23 ratkaisemattomasta matemaattisesta ongelmasta?
V: David Hilbert julkaisi vuonna 1900 luettelon 23 ratkaisemattomasta matemaattisesta ongelmasta.
K: Oliko Hilbertin 24. ongelma osa alkuperäistä luetteloa?
V: Ei, Hilbertin 24. ongelma löytyi Hilbertin kirjoituksista hänen kuolemansa jälkeen.
K: Mistä Hilbertin 24. ongelma kertoo?
V: Hilbertin 24. ongelmassa on kyse kriteerien löytämisestä sen osoittamiseksi, että ongelman ratkaisu on yksinkertaisin mahdollinen.
Kysymys: Ratkaistiinko kaikki Hilbertin listan 23 ongelmaa vuoteen 2012 mennessä?
V: Ei, kolme Hilbertin listan 23 ongelmasta oli ratkaisematta vuonna 2012.
K: Oliko jokin Hilbertin listan ongelmista liian epämääräinen ratkaistavaksi?
V: Kyllä, kolme Hilbertin luettelon ongelmista oli liian epämääräisiä ratkaistaviksi.
K: Kuinka monta Hilbertin luettelossa olevista ongelmista voitiin osittain ratkaista?
V: Kuusi Hilbertin luettelossa olevista ongelmista voitiin osittain ratkaista.
K: Laatiiko Clay Mathematics Institute samanlaisen listan kuin Hilbertin ongelmat?
V: Kyllä, Clay Mathematics Institute loi samanlaisen luettelon nimeltä Millennium Prize Problems vuonna 2000.
Etsiä