Hipoteza Poincarégo
Rozszerzenie tematu geometrii i topologii (poglądowo). Powierzchnię bez „dziur" (jak sfera) można w sposób ciągły zdeformować do punktu — każda pętla na niej daje się ściągnąć. Powierzchni z „dziurą" (jak torus) nie da się tak zdeformować. Prawdziwa hipoteza Poincarégo (1904 r.) dotyczyła analogicznego, trudniejszego pytania dla trójwymiarowych rozmaitości — udowodnił ją Grigori Perelman w latach 2002-2003, za co w 2006 r. przyznano mu Medal Fieldsa, którego odmówił przyjęcia (podobnie jak miliona dolarów nagrody Instytutu Claya).
Dam Ci powierzchnię — rozstrzygnij, czy KAŻDĄ narysowaną na niej pętlę da się ściągnąć do punktu. Decyduje liczba „dziur" (genus).
Co się właśnie stało?
Na sferze każda narysowana pętla (elastyczna „gumka” leżąca na powierzchni) daje się w sposób ciągły ściągnąć do punktu, bez opuszczania powierzchni i bez jej rozrywania. Na torusie — jeśli pętla jest owinięta wokół „dziury” — to niemożliwe: pętla może się kurczyć tylko do granicy otworu, gdzie utyka, napięta, i nie da się jej dalej zmniejszyć.
Uwaga — to uproszczona analogia 2D
Wizualizacja pokazuje płaskie (2-wymiarowe) powierzchnie — sferę i torus — bo to łatwo narysować i „poczuć”. Prawdziwa hipoteza Poincarégo dotyczy dużo trudniejszego, abstrakcyjnego przypadku: trójwymiarowych rozmaitości, których nie sposób sobie po prostu narysować ani wyobrazić w pełni. Klasyfikacja powierzchni 2D (jak tu) była zresztą znana matematykom już w XIX wieku — to twierdzenie klasyczne. Prawdziwym, otwartym przez wiek problemem był analogiczny przypadek 3D.
Niezmiennik — liczba „dziur” (genus):
Dla zamkniętej, gładkiej powierzchni 2D obowiązuje klasyczny wzór na charakterystykę Eulera:
gdzie — genus (liczba „dziur”/uchwytów). Sfera ma (każda pętla ściąga się do punktu), torus ma (już nie każda pętla się ściąga). To właśnie ta liczba odróżnia obie powierzchnie na scenie.
Prawdziwa Hipoteza Poincarégo (1904, przypadek 3D):
Henri Poincaré zapytał: czy każda zamknięta, „jednospójna” (bez dziur, w sensie topologicznym) rozmaitość trójwymiarowa musi być topologicznie sferą ? Formalnie:
— jeśli grupa podstawowa (fundamentalna) trójwymiarowej rozmaitości zamkniętej jest trywialna (czyli każda pętla ściąga się do punktu), to jest topologicznie „taka sama” jak trójwymiarowa sfera. W 2D to twierdzenie klasyczne — w 3D okazało się jednym z najtrudniejszych problemów matematyki.
Jak udowodnił to Grigori Perelman?
Problem pozostawał otwarty prawie 100 lat i trafił na listę siedmiu „problemów milenijnych” Instytutu Matematycznego Claya — za rozwiązanie każdego wyznaczono nagrodę miliona dolarów. W latach 2002–2003 rosyjski matematyk Grigori Perelman opublikował serię artykułów, w których rozwinął technikę „przepływu Ricciego” (ang. Ricci flow) Richarda Hamiltona — narzędzie, które stopniowo „wygładza” geometrię rozmaitości, ujawniając jej prawdziwą topologiczną naturę. Po latach szczegółowej weryfikacji przez społeczność matematyczną dowód uznano za poprawny.
Odmowa nagród
W 2006 r. przyznano Perelmanowi za to osiągnięcie Medal Fieldsa („za wkład do geometrii i rewolucyjne spostrzeżenia dotyczące analitycznej i geometrycznej struktury przepływu Ricciego”) — Perelman odmówił jego przyjęcia. W 2010 r. odmówił także miliona dolarów nagrody Instytutu Claya, po czym wycofał się z życia matematycznego i publicznego. Hipoteza Poincarégo to dotąd jedyny rozwiązany z siedmiu problemów milenijnych.
Po co Ci to na maturze:
Sama hipoteza Poincarégo wykracza daleko poza podstawę programową, ale klasyfikacja powierzchni przez genus i charakterystykę Eulera to dobry przykład topologii — działu matematyki, w którym liczy się nie kształt czy wymiary, a to, czy coś da się ciągle zdeformować w coś innego bez rozrywania.
Zapamiętaj: ściągalność każdej pętli do punktu to cecha wyłącznie powierzchni bez „dziur” (genus 0, topologicznie sfer). Poincaré postawił to pytanie dla trudniejszego przypadku trójwymiarowego w 1904 r. — rozwiązał je Grigori Perelman w latach 2002–2003, po czym odmówił zarówno Medalu Fieldsa, jak i miliona dolarów nagrody.
Najczęstsze pytania
Czym jest „przepływ Ricciego”?
To narzędzie matematyczne (wprowadzone przez Richarda Hamiltona), które w sposób ciągły „wygładza” krzywiznę rozmaitości — trochę jak ciepło rozpływające się równomiernie po metalowej płycie. Perelman pokazał, jak kontrolować ten proces (w tym radzić sobie z powstającymi w nim „osobliwościami”), by dojść do dowodu.
Dlaczego Perelman odmówił nagród?
Nigdy publicznie nie wyjaśnił tego w pełni — wskazywał m.in. na niezadowolenie ze sposobu, w jaki środowisko matematyczne oceniało wkład innych badaczy w dowód. Po odmowie obu nagród wycofał się z aktywnej pracy naukowej.
Czy to jedyny rozwiązany problem milenijny?
Tak. Z siedmiu problemów milenijnych ogłoszonych przez Instytut Matematyczny Claya w 2000 r. (m.in. hipoteza Riemanna czy problem P vs NP) hipoteza Poincarégo jest jedynym dotąd rozwiązanym.
Teoria i wzory
Ściągalność pętli
Powierzchnię nazywamy „bez dziur” (jednospójną), gdy każdą narysowaną na niej pętlę da się w sposób ciągły ściągnąć do punktu. Sfera to spełnia, torus (z dziurą) — nie.
Treść hipotezy
Każda zwarta, jednospójna rozmaitość trójwymiarowa jest topologicznie sferą — da się ją ciągle zdeformować do sfery, bez cięcia i sklejania.
Dowód
Grigori Perelman udowodnił ją w latach 2002-2003 techniką przepływu Ricciego (stopniowego wygładzania krzywizny). To jedyny dotąd rozwiązany Problem Milenijny.
Uczysz? Umieść ten eksperyment na swojej stronie.
Darmowy widget — wklej na stronę szkoły, bloga lub notatki. Linkuje do pełnej wersji.
Najczęstsze pytania
›Co mówi hipoteza Poincarégo (poglądowo)?
Że każda „prosta" (jednospójna) przestrzeń bez „dziur" jest topologicznie sferą.
›Kto i kiedy udowodnił hipotezę Poincarégo?
Grigori Perelman, w latach 2002-2003, wykorzystując technikę przepływu Ricciego.
›Dlaczego Perelman jest znany poza matematyką?
Bo odmówił przyjęcia Medalu Fieldsa (2006) oraz miliona dolarów nagrody Instytutu Claya za rozwiązanie problemu milenijnego.