Krzywizna gaussowska: Liczba, której nie może kopać powierzchnia

Krzywizna, którą mógłby pomierzyć 2D bug

Krzywizna Gaussa K jest jednym numerem, który odpowiada trudnemu pytaniu: jak krzywa jest powierzchnia w tym exact punkcie, pomiar wykonany całkowicie z wnętrza powierzchni, bez odniesienia do 3D przestrzeni, w której się znajduje? Na każdym punkcie gładkiej powierzchni można znaleźć dwa szczególne prostopadłe kierunki — kierunki maksymalnego i minimalnego zginienia — ze spowiądanymi głównymi krzywiznami κ₁ i κ₂ (dodatnie, jeśli powierzchnia skrzywia się w stronę własnej normali, ujemne, jeśli skrzywia się w odwrotnej kierunku). Krzywizna Gaussa jest prosto ich iloczynem: K = κ₁κ₂.

Kula, płaszczyzna, siodło: trzy znaki

Kula o promieniu r krzywiznuje w tej samej mierze w każdym kierunku, κ₁ = κ₂ = 1/r, więc K = 1/r² > 0 wszędzie — małe kule są „bardziej krzywe” niż duże, co pasuje do intuicji. Płaszczyzna płaski ma κ₁ = κ₂ = 0 wszędzie, więc K = 0. Siodło (paraboloida hiperboliczna, jak chips z Pringle) krzywiznuje w górę w jednym kierunku i w dół w prostopadłym kierunku, więc κ₁ i κ₂ mają przeciwny znak i K = κ₁κ₂ < 0 — ujemna krzywizna, charakterystyczna dla geometrii hiperbolicznej. Te trzy znaki — dodatnia, zerowa, ujemna — stanowią całą klasifikację geometrii powierzchni lokalnej, a to dokładnie dlaczego kula, płaszczyzna i siodło hostują własną oddaną geometrię nieeuklidesową z własną wersją postulatu równoległości.

Zagadka walca: skrzywione, ale płaskie

Obróć płaską szatkę papieru w walec i wydaje się, że jest wyraźnie krzywej, jednak jej krzywizna Gaussa wynosi dokładnie K = 0 wszędzie, tak jak płaska szata, z której pochodzi. Rozwiązanie polega na tym, że walec skrzywia się tylko w jednym kierunku podstawowym — wokół jego obwodu, κ₁ = 1/r, podczas gdy kierunek pionowy pozostaje doskonale proste, κ₂ = 0. Ich iloczyn jest zawsze równy zero niezależnie od wartości r. To nie jest quirk formuły; to dokładne stwierdzenie, dlaczego można obrócić płaskie papiernice w torbę lub konus bez rozciągania ani łamiąc jej, ale nigdy nie można spłaszczyć sfery (skórki pomarańczy, globu) na stół bez łamania — krzywizna Gaussa sfery jest różna od zera, a jej zachowanie podczas skrzywienia bez rozciągania powierzchni jest dowodzonym faktorem.

Twierdzenie Egregium: krzywizna jest wewnętrzna

Gauss udowodnił tę faktę zachowania w 1827 roku i był tyleż dumny z niej, że nazwał ją Twierdzeniem Egregium — 'wybitnym twierdzeniem'. Powiadamia ono, że K zależy tylko od długości i kątów miarowanych natychmiast wewnątrz powierzchni (metryki), nigdy nie od tego, jak ta powierzchnia przypadkowo jest włożona lub skrzyżowana w otaczającym ją 3D przestrzeni. Skrzyżuj powierzchnię bez rozciągania, zrywanie ani naciągania — isometrię — a K pozostaje niezmieniony na każdym punkcie, nawet jeśli kształt powierzchni w 3D wygląda całkowicie inaczej. Tego jednego faktu jest powodem dla którego każda płaska mapa Ziemi przekształca coś: glob ma K = 1/r² > 0 wszędzie, a płaska mapa ma K = 0, a Twierdzenie Egregium gwarantuje, że żaden tylko skrzyżowywanie nie może zamienić jednej na drugą — najstarsza i najważniejsza ograniczona kartografii wynika bezpośrednio z tego.

Torus: oba znaki na jednej powierzchni

Torus jest najbogatszym z pięciu kształtów, ponieważ jego krzywizna nie jest stała — zmienia znak podczas przemieszczania się po nim. Na brzegu zewnętrznym oba główne kierunki krzywo w tą samą stronę (jako sfera), więc K > 0. Na wewnętrznym brzegu, blisko dziurki, jedno kierunek krzywo w stronę centrum, a drugie od strony centrum, dając K < 0, jak na siodle. W dokładnie tych miejscach na górnej i dolnej pętli, gdzie powierzchnia przejmuje się z jednego do drugiego stanu, K = 0. Integracja K po całym torusie pokazuje, że za pomocą twierdzenia Gaussa–Bonneta regiony dodatnie i ujemne wyrównują się dokładnie, dając całość równą 0 — co pasuje do charakterystyki Eulera torusa χ = 0 z towarzyszącej artykułu o wzorze Eulera, a także ukazuje, że krzywizna Gaussa i kombinatoryczny licznik V − E + F są wspaniale dwiema perspektywami tego samego topologicznego faktu.

Dlaczego to ważne poza demonstracją

Krzywizna Gaussa nie jest matematyczną zahadką przechowywaną w szafce — rządzi ona tym, dlaczego domeczki geodezyczne potrzebują płytek o więcej niż jednej formie, dlaczego kawałek pizzy, gdy jest przyległy do stołu, opada, ale krzywuje się (dodając krzywiznę w jednym kierunku uciążliwiejsza jest ona w drugim, przy ustalonej K), dlaczego płyty stalowe na ciele auto mogą być wygięte tylko do pewnych dwukrzywanych kształtów bez pojawiania się zmarszczek, oraz dlaczego teoria względności ogólnej opisuje grawitację jako krzywiznę czterodimensionalnego przestrzenno-czasu, generalizując dokładnie tę K do czterech wymiarów poprzez tensor Riemanna.

Często zadawane pytania