Torus i Genusz: Charakterystyka Eulera Powierzchni

Liczenie do osiągnięcia niezmiennika kształtu

Obróć dowolną zamkniętą powierzchnię w siatkę wierzchołków, krawędzi i ścian — triangulację lub dowolny wielokątny model siatki — a policz V, E i F. Kombinacja χ = V - E + F to charakterystyka Eulera, a jej wartość nie zależy od tego, jak siatkę nałożysz: gładka siatka i detaliowana siatka tej samej sfery dają tę samą χ. To całe cel — χ jest niezmiennikiem topologicznym, jednym liczbowym wartością, która przetrwa dowolne deformacje, które nie spowodują rozcięcia ani klejenia powierzchni.

cube (as a mesh):  V=8, E=12, F=6  →  χ = 8 - 12 + 6 = 2
any triangulated sphere            →  χ = 2   (always)
any triangulated torus             →  χ = 0   (always)

Genusz: ile rąk

Dla zamkniętej powierzchni orientowalnej, χ jest całkowicie wyznaczony przez genusz g — nieformalnie, liczbę „ręk” lub dziur w powierzchni: χ = 2 - 2g. Sfera ma genusz równy 0 i χ = 2. Torus (ciasto) ma jedną rękę, genusz równy 1, oraz χ = 0. Dwa torusa (powierzchnia w kształcie ośmiokąta, dwie ręce) mają genusz równy 2 i χ = -2; trzy torusa ma genusz równy 3 i χ = -4. Każda dodatkowa ręka zmniejsza χ dokładnie o 2, niezależnie od wielkości, krzywizny powierzchni ani jej wyglądu.

To dlaczego kubek z kawą i torus są uważane za taki sam kształt w topologii — ręka kubka jest jedna dziura, dokładnie tak jak u ciasta, więc ciągła deformacja (deformacja, bez odcięcia ani przylepiania) może zamienić jedną na drugą. Sfera, z drugiej strony, nigdy nie może być deformowana w ten sposób w torus: żaden poziom compryżenia nie zmienia χ z 2 do 0.

Gauss-Bonnet: krzywizna i topologia, połączone

Twierdzenie Gaussa-Bonneta jest wersją geometrii różniczkowej tego samego faktu. Wskazuje, że całkowita krzywizna Gausa K, integrowana po całości powierzchni, zależy tylko od topologii:

∬_S K dA = 2π χ(S) Sfera (χ=2) musi mieć całkowitą krzywiznę 4π jakiegokolwiek sposób nieprzerwanie przekształcana lub zderzona jej powierzchnia — za squashowanie pewnych regionów otrzymano płaskie, podczas gdy inne stają się bardziej ostro skrzywione, ale całka pozostaje równa 4π. Torus (χ=0) musi mieć całkowitą krzywiznę dokładnie równą zero: zewnętrzny obrzeże, które krzywe jak sfera (pozytywna krzywizna Gausa), jest zawsze zrównoważone przez wewnętrzne obrzeże blisko dziury, które krzywe jak siodło (negatywna krzywizna Gausa). Nie można budować torusa, który byłby pozytywnie skrzywiony wszędzie — geometria jest zmuszona do posiadania obszaru siodłowego tylko przez topologię, przed tym jak określany będzie dowolny konkretny kształt.

∬_S K dA = 2π χ(S)

Dlaczego to ogólizuje przypadek płaskiego 2D

Gauss-Bonnet to ogólne na powierzchuniach zakrzywionych stwierdzenie, o którym już wiesz z płaskiego trójkąta: jego kąty wewnętrzne sumują się do π (180°). Na powierzchni zakrzywionej odpowiedni fakt ma dodatkowy człon równy krzywiutkości zawartej, a sumowanie tego członu po całym zamkniętym obszarze daje wynik 2πχ. Jest to taka sama idea, która sprawia, że lot z Londynu do Tokio jest krótszy po drodze przez wielką kircle niż po lini prostej na płaskiej mapie — krzywiutkość zmienia, co oznacza „prosto” i „trójkąt” lokalnie, ale całe topologiczne zagadnienie jest zawsze stałe.

Renderyzowanie

Mesh z gatunkiem g obwodowkowany jest zwykle tworząc się poprzez obrót 2D przekroju (okręgu dla torusa, profilu podobnego do figury osiemkowej dla g wynoszącego co najmniej 2) wokół osi, lub algebraicznie definiując powierzchnię implikacyjną i przeprowadzając marching cubes nad nią. Po otrzymaniu V, E i F dla meshu, χ wylicza się z jednego przejścia przez strukturę danych — nie jest potrzebne użycie rachunku różniczkowego do potwierdzenia predykcji twierdzenia Gaussa-Bonneta opartego na rachunku różniczkowym.

Często zadawane pytania

Wypróbuj na żywo

Wszystko powyżej działa bezpośrednio w Twojej przeglądarce — otwórz Torus & Genus — Topology Euler Characteristic Interactive i zmieniaj parametry podczas działania. Nic nie jest instalowane ani przesyłane na serwer, cały model działa w jednej karcie.