Ruský matematik Grigorij Perelman z Akademie věd v Petrohradu se nechal slyšet, že ověřil Poincaréovu hypotézu, jednu z nejslavnějších dosud nerozlousknutých záhad moderní matematiky. Oznámil to 15. dubna list New York Times. Pokud se to Pelermanovi vskutku podařilo, získá nejen věhlas jednoho z nejlepších matematiků začátku 21. století, ale i milion dolarů, které za dořešení Poincarého hypotézy vypsal Clay Mathematics Institute v americké Cambridge.
Jádrem slavné Poincarého hypotézy je problém teorie variet, přesněji řečeno jejich klasifikace – a to pro třírozměrné variety. Pojem varieta, který zavedl Bernhard Riemann, představuje důležité zobecnění povrchu pro vyšší rozměry.
Koule a anuloid jsou příklady dvourozměrných variet. Libovolná n-rozměrná varieta se skládá z určitého množství malých částeček pospojovaných dohromady. Každý jednotlivý kousek je tak vlastně malou částí n-rozměrného euklidovského prostoru. Cílem současné topologie je najít topologické invarianty k rozlišení topologicky neekvivalentních variet. Takovými invarianty by byly vícerozměrné analogie orientovatelnosti a Eulerovy charakteristiky, sloužící k roztřídění všech uzavřených dvourozměrných variet.
Francouzský matematik Henri Poincaré (1854 – 1912) byl jedním z prvních, kdo hledali topologické invarianty použitelné pro vícerozměrné variety. Díky tomu umožnil vznik algebraické topologie, která využívá ke studiu a klasifikaci variet algebraické pojmy.
Jeho hypotéza řeší vztah homotropií a variet. Jako homotropii označujeme spojitou transformaci jedné smyčky nebo trasy v druhou. Libovolné dvě topologicky ekvivalentní variety musejí mít stejné grupy homotropií. Otázka, kterou si Poincaré položil, zněla, zda množina všech grup homotropií postačí k rozlišení libovolných dvou topologicky neekvivalentních variet.
Jeho hypotézu lze zobecnit na případ n-rozměrných variet a pak se zeptat: pokud má n-rozměrná varieta M stejnou grupu homotropií jako n-rozměrná koule ön, je M topologický ekvivalent ön? Užijeme-li dvourozměrných variet, dokážeme, že pro n = 2. Odpověď je tedy kladná.
Ale co případy vícerozměrných variet? Tady nastal problém. Poincarého hypotéza předpokládá rovněž kladnou odpověď. Ale dlouho chyběly matematické důkazy. Poincarého hypotéza postupem času získala v topologii podobné postavení, jemuž se těšila velká Fermantova věta v teorii čísel. Matematici se shodují, že je klíčem k celé nové oblasti matematiky. Její ověření by otevřelo cestu k chápání vícerozměrných variet. Paradoxně se ale ukázalo, že se problém zjednodušuje úměrně s narůstajícím rozměrem. Poincarého hypotézu pro všechny rozměry n větší než 6 dokázal v roce 1961 Stephen Smale. Krátce nato dokázal John Stalling případ n = 6, zatímco Christopher Zeeman připojil důkaz pro případ n = 5. Pak po dlouhou dobu dvaceti let s problémem nikdo nedokázal pohnout. Až v roce 1982 ověřil fenomenální Michael Freedman pravdivost Poincarého hypotézy pro n = 4.
A dále? Zbývalo rozřešit úhelný případ , kdy n = 3. Jestliže hypotéza platí pro všechny rozměry, lze předpokládat, že je platná všeobecně. Ale důkaz ještě nikdo nepředložil. Teprve před nedávnem svět matematiky šokovala zpráva z ruské Akademie věd. Celé Perelmanovo ověření Poincarého hypotézy, zásadní otázky topologie, dosud nebylo publikováno, ale první listy jeho práce, které byly zveřejněny na internetu, vyvolaly nadšení. Začátkem minulého týdne, tedy od 14. dubna, ruský matematik začal přednášet své ověření v sále newyorské State University, přičemž příkře odmítl všechny žádosti či o bližší podrobnosti ke svému objevu, stejně jako o interview.
Problém Poincarého hypotézy není jen čistě matematickou otázkou, ale souvisí i s moderní fyzikou a kosmologií, která se táže, jaký tvar má náš vesmír. Přesněji: jakým druhem třírozměrné variety je reálný vesmír, v němž žijeme? Na první pohled se jedná o trojrozměrný eukleidovský prostor, ale vypadá tak opravdu všude? Je trojrozměrnou koulí, trojrozměrným anuloidem nebo nějakým jiným druhem trojrozměrné variety? Anebo – jak vyplývá ze současné M-teorie – má časoprostor deset nebo jedenáct rozměrů, z nichž je šest nebo sedm svinutých do velmi malého rozměru? To jsou otázky, na které zatím samozřejmě nikdo nezná jistou odpověď. Odpověď na to, zda se Grigoriji Perelmanovi opravdu podařilo ověřit Poincarého hypotézu třírozměrných variet, se však dozvíme již docela brzy. V sázce je mnohonásobně více než „pouze“ milion dolarů.
S použitím knihy Jazyk matematiky od Keitha Delvina (Argo, Dokořán, 2002)
Omlouváme se za problémy s přidáváním komentářů k článkům. Komentáře prosím zasílejte e-mailem na pavel_houser@idg.cz.
