Pojdi na vsebino

Poincaréjeva domneva

Iz Wikipedije, proste enciklopedije

Poincaréjeva domneva je v matematiki izrek o karakterizaciji trirazsežne sfere (3-sfere), hipersfere, ki omejuje enotsko sfero v štirirazsežnem prostoru. Domneva navaja, da je vsaka enostavno povezana, zaprta 3-mnogoterost difeomorfna 3-sferi (). Do sedaj je to edini rešeni problem iz množice sedmih problemov tisočletne nagrade Clayjevega matematičnega inštituta.

Domnevo je neizrečeno postavil Henri Poincaré leta 1904. Po programu ameriškega matematika Richarda Streita Hamiltona iz leta 1982 o Riccijevem toku jo je med letoma 2002 in 2003 pritrdilno dokazal Grigorij Jakovljevič Perelman s tremi članki, objavljenimi v prek spleta dostopnem elektronskem arhivu arXiv. Več zelo uglednih matematikov je preverilo njegov dokaz. Morgan in Tian sta v dveh elektronskih publikacijah, knjigi in članku, podala celotni in podrobni dokaz.[1][2] Za svoj dokaz je Perelman avgusta 2006 prejel Fieldsovo medaljo, vendar jo je odklonil, češ, da je ne potrebuje, saj, če dokaz velja, za to ni potrebno nobeno drugo priznanje.[3] 18. marca 2010 mu je Clayjev inštitut za dokaz podelil tisočletno nagrado v višini enega milijona dolarjev, vendar je tudi to nagrado zavrnil s pojasnilom, da je nepravična in naj bi po njem imel enak delež pri dokazovanju tudi Hamilton.[4][5][6] Smale, ki je rešil analogon Poincaréjeve domneve za sfere razsežnosti 5 ali več, je ob najavi tisočletne nagrade dejal: »Pred petdesetimi leti sem delal na Poincaréjevi domnevi in zato globoko cenim ta lep in težak problem. Končna rešitev Grigorija Perelmana je velik dogodek v zgodovini matematike.«[4] Do leta 1982 je bila Poincaréjeva domneva dokazana za vse razsežnosti razen za razsežnost 3.[3] Kot je razvidno iz izvirnih Perelmanovih člankov, je temo obravnavalo ogromno matematikov.[7][8][9]

[uredi | uredi kodo]
»V mojem celem življenju je prevladovala Poincaréjeva domneva. Nikoli si nisem mislil, da bom videl njeno rešitev. Mislil sem, da se je nihče ne more dotakniti.« —John Morgan, predstojnik Oddelka za matematiko Univerze Columbia[3]

Sklici

[uredi | uredi kodo]
  1. Morgan; Tian (2006).
  2. Morgan; Tian (2008).
  3. 3,0 3,1 3,2 Nasar; Gruber (2006).
  4. 4,0 4,1 »Prize for Resolution of the Poincaré Conjecture Awarded to Dr. Grigoriy Perelman« (v angleščini). Arhivirano iz prvotnega spletišča dne 22. marca 2010. Pridobljeno 6. avgusta 2011.
  5. »Последнее "нет" доктора Перельмана«. Interfax (v ruščini). 1. julij 2010. Pridobljeno 6. avgusta 2011.
  6. Ritter (2010).
  7. Perelman (2002).
  8. Perelman (2003a).
  9. Perelman (2003b).