PL 
EnglishDomyślny
Українська🍩 Torus i genus powierzchni — topologia powierzchni orientowalnych
Porównaj sferę, torus i torus podwójny według rodzaju i charakterystyki Eulera i zobacz, jak wielokąt fundamentalny skleja się w każdą orientowalną powierzchnię.
O tej symulacji
Ten symulator generuje siatki parametryczne dla trzech zamkniętych powierzchni orientowalnych — sfery, torusa i torusa podwójnego — klasyfikowanych według ich rodzaju g, czyli liczby uchwytów. Wierzchołki torusa podążają za ((R+r·cos v)·cos u, (R+r·cos v)·sin u, r·sin v); sfera wykorzystuje standardową parametryzację sferyczną; torus podwójny łączy dwie rurki toroidalne obok siebie jako wizualny odpowiednik powierzchni rodzaju 2. Każdy wierzchołek jest obracany w 3D (przeciąganiem lub auto-obrotem) i rzutowany prostą perspektywą d = fov/(fov+z). Widoki szkieletowy, cieniowany metodą malarza i wielokąta fundamentalnego renderują tę samą siatkę na różne sposoby, a panel na żywo pokazuje rodzaj g, charakterystykę Eulera χ = 2−2g oraz grupę fundamentalną π₁.
Co pokazuje
Obracającą się siatkę 3D wybranej powierzchni, przełączaną między widokiem szkieletowym (linie równoleżnikowe/południkowe), cieniowanym (czworokąty sortowane od tyłu do przodu metodą malarza i tonowane głębią) oraz siatką wielokąta fundamentalnego 2D — kwadrat aba⁻¹b⁻¹ dla torusa, dwukąt aa⁻¹ dla sfery i ośmiokąt [a,b][c,d] dla torusa podwójnego, ze strzałkami krawędzi pokazującymi, które boki są sklejane. Panel na żywo śledzi rodzaj g, charakterystykę Eulera χ, orientowalność i grupę fundamentalną π₁.
Jak z niej korzystać
Wybierz Torus (g=1), Torus podwójny (g=2) lub Sferę (g=0), a następnie wybierz widok Szkieletowy, Cieniowany lub Siatka wielokąta. Przeciągnij płótno, aby obracać ręcznie (auto-obrót wznawia się po puszczeniu), lub użyj promienia głównego R i promienia mniejszego r, aby zmienić kształt rurki torusa, prędkości obrotu, aby zmienić tempo auto-obrotu, oraz rozdzielczości siatki, aby wymienić szczegółowość na wydajność.
Czy wiesz, że…
Kubek do kawy i pączek są topologicznie identyczne — oba mają rodzaj 1 — ponieważ jeden można gładko zdeformować w drugi bez cięcia czy sklejania, dlatego grupa fundamentalna torusa π₁ = ℤ × ℤ nigdy nie może odpowiadać trywialnej grupie sfery, niezależnie od tego, jak go wygniesz.
Najczęściej zadawane pytania
Co oznacza „rodzaj” i jak ten symulator go wizualizuje?
Rodzaj g zlicza liczbę niezależnych uchwytów (lub otworów), jakie ma zamknięta powierzchnia orientowalna: sfera ma g=0, torus (pączek) ma g=1, a torus podwójny ma g=2. Przełączanie przycisków Powierzchnia zamienia trzy różne siatki parametryczne — sferę, pojedynczy torus i sklejony torus podwójny — a panel danych natychmiast aktualizuje rodzaj, charakterystykę Eulera i grupę fundamentalną.
Czym jest charakterystyka Eulera i jak jest tu obliczana?
Charakterystyka Eulera χ = V − E + F jest niezmiennikiem topologicznym dowolnej triangulacji powierzchni, a dla zamkniętych powierzchni orientowalnych spełnia χ = 2 − 2g. Zamiast liczyć wierzchołki, krawędzie i ściany renderowanej siatki bezpośrednio, ten symulator odczytuje χ ze znanego wzoru dla aktualnie wybranego rodzaju (0 →2, 1 →0, 2 →−2) i wyświetla je w panelu Niezmienników topologicznych.
Jak generowany jest torus podwójny i czy jest topologicznie dokładny?
Torus podwójny (rodzaj 2) jest przybliżany przez wygenerowanie dwóch mniejszych rurek toroidalnych obok siebie i przesunięcie naprzemiennych połówek każdego pierścienia, tworząc siatkę przypominającą ósemkę, a nie matematycznie dokładną sumę spójną dwóch torusów połączonych uchwytem. Jest to przybliżenie wizualne wybrane dla prostoty renderowania w czasie rzeczywistym; jego wielokąt fundamentalny (ośmiokąt [a,b][c,d]) i charakterystyka Eulera χ=−2 są jednak dokładnymi niezmiennikami rodzaju 2.
Co pokazuje widok wielokąta fundamentalnego (Siatka wielokąta)?
Każdą zamkniętą powierzchnię orientowalną można zbudować, biorąc płaski wielokąt i sklejając jego krawędzie parami zgodnie ze słowem takim jak aba⁻¹b⁻¹ (torus), aa⁻¹ (sfera) lub [a,b][c,d] (torus podwójny). Ten widok rysuje taki wielokąt z kolorowymi, oznaczonymi strzałkami krawędziami, wskazującymi dokładnie, które boki są utożsamiane i w którym kierunku — zmiana powierzchni zmienia zarówno kształt wielokąta, jak i jego słowo krawędziowe.
Dlaczego sfery nie można gładko zdeformować w torus?
Dwie powierzchnie są tym samym kształtem topologicznie (homeomorficzne) tylko wtedy, gdy jedną można w sposób ciągły rozciągnąć w drugą bez cięcia czy sklejania, a otwór torusa czyni to niemożliwym dla sfery. Jest to ujęte algebraicznie przez grupę fundamentalną π₁ pokazaną w panelu niezmienników: jest trywialna dla sfery, ale ℤ × ℤ dla torusa (jeden generator na każdą niezależną pętlę wokół otworu), a homeomorficzne powierzchnie muszą zawsze mieć tę samą grupę fundamentalną.