Smaleov paradoks

Pogled na Morinovo ploskev od »zgoraj«. Smaleova razvrstitev zavihanj sfer navzven kaže, da so takšna zavihanja možna, kar je razvidno prek Morinove ploskve

Smaleov paradoks je v diferencialni topologiji matematični paradoks, ki navaja, da je moč sfero v trirazsežnem prostoru zavihati (obrniti) navzven v razredu potopitev pri čemer lahko ta ploskev seka samo sebe, vendar pri tem v nobeni točki ploskve ne smejo nastajati pregibi. Z drugimi besedami, oblika sfere mora v vsakem trenutku deformacije ostajati gladka, oziroma diferenciabilna. To dejstvo je presenetljivo in zato Smaleov paradoks velja za pravi, sicer ne logični paradoks, dejansko pa je kar izrek, oziroma njegova neposredna posledica.

Naj je:

$f\colon S^{2}\to \mathbb {R} ^{3}\!\,$

standardna vložitev sfere v trirazsežni evklidski prostor. Potem obstaja takšna regularna homotopija (enoparametrična družina gladkih) potopitev (imerzij):

$f_{t}\colon S^{2}\to \mathbb {R} ^{3},\quad t\in [0,1]\!\,,$

da velja:

$f_{0}=f{\mbox{ in }}f_{1}=-f\!\,.$

Zgodovina

Ta 'paradoks' je odkril Stephen Smale leta 1958. Težko si je predstavljati peseben primer takšne spremembe, čeprav so izdelali več digitalnih animacij, ki so malo olajšale predstavitve. Prvi primer se je pokazal s trudom več matematikov, med njimi Arnolda Shapira in Bernarda Morina, ki je slep od svojega šestega leta starosti. Na drugi strani je ta »obrat« lažje dokazati, kar je Smale tudi storil.

Smaleov diplomski mentor Raoul Bott je najprej rekel Smaleu, da je rezultat očitno napačen. To je zatrjeval z argumentom, da se mora v takšnem »obratu« stopnja Gaussove preslikave ohraniti, oziroma še posebej, da ne obstaja takšno obračanje $S^{1}\,$ v $\mathbb {R} ^{2}\,$. Vendar sta stopnji Gaussovih preslikav za vložitvi $f\,$ in $-f\,$ v $\mathbb {R} ^{3}\,$ obe enaki 1, in nimata nasprotnega znaka, kakor bi se drugače sklepalo napačno. Stopnja Gaussove preslikave vseh potopitev 2-sfere v $\mathbb {R} ^{3}\,$ je enaka 1, tako da ni ovir.

Za nadaljnje posplošitve glej načelo homotopije.

Dokaz

Smaleov izvirni dokaz je bil posreden. Dognal je (regularno homotopijo) razredov potopitev sfer s homotopijsko grupo Stieflove mnogoterosti. Ker homotopijska grupa, ki odgovarja potopitvam $S^{2}\,$ v $\mathbb {R} ^{3}\,$ izgine, morata biti standardna vložitev in obrat noter-ven regularno homotopična. Načeloma je lahko dokaz razvit na način, da se pridobi eksplicitna regularna homotopija, vendar je to težko narediti.

Obstaja več načinov za pridobitev eksplicitnih primerov in matematične vizualizacije:

• metoda polovičnih modelov: ta predstavlja zelo posebne homotopije. To je izvirna metoda, ki sta jo prva izpeljala Shapiro leta 1961 in Anthony Phillips leta 1966 prek Boyjeve ploskve, kasneje pa so jo spopolnili mnogi drugi. Shapiro svojega rezultata ni objavil. Njegov rezultat sta leta 1979 objavila George K. Francis in Morin. Najnovejša in odločilna spopolnitev so zavihi minimaks, ki so variacijske metode, in predstavljajo posebne homotopije - so najkrajše poti glede na Willmoreovo energijo. Izvirne homotopije s polovičnimi modeli so se skonstruirale na roko, so bile sicer topološko ustrezne, vendar niso bile minimalne.
• Thurstonova pregibanja: to je topološka metoda in je rodovna. Pri tem se vzame homotopija in se zmoti, da postane regularna homotopija.

Viri

• Francis, George K.; Morin, Bernard (1979). »Arnold Shapiro's Eversion of the Sphere«. Math. Intell. Zv. 2. str. 200–203.
• Francis, George K. (2007), A topological picturebook, Berlin, New York: Springer-Verlag, ISBN 978-0-387-34542-0, MR 2265679
• Levy, Silvio (1995), »A brief history of sphere eversions«, Making waves, Wellesley, MA: A K Peters Ltd., ISBN 978-1-56881-049-2, MR 1357900
• Phillips, Anthony (Maj 1966). »Turning a surface inside out«. Scientific American. Zv. 214. str. 112–120.
• Smale, Stephen (1958). »A classification of immersions of the two-sphere«. Transactions of the American Mathematical Society. Zv. 90. str. 281–290. ISSN 0002-9947. JSTOR 1993205. MR 0104227.

Zunanje povezave

• Zavihanje sfere navzven na MathWorld (angleško)