PL 
EnglishDomyślny
Українська🔮 Teselacja geometrii hiperbolicznej
Wypełniaj model dysku Poincarégo płaszczyzny hiperbolicznej regularnymi teselacjami {p,q}. Przekształcenia Möbiusa odwzorowują kafelki. Wszystkie mają równe pole hiperboliczne, choć przy brzegu wyglądają na mniejsze.
O tej symulacji
Model dysku Poincarégo odwzorowuje całą płaszczyznę hiperboliczną wewnątrz otwartego dysku jednostkowego. Symulacja konstruuje centralną domenę fundamentalną — regularny p-kąt o kątach wewnętrznych 2π/q — a następnie stosuje odbicia hiperboliczne (przekształcenia Möbiusa zachowujące dysk jednostkowy), by rozprzestrzenić ją na zewnątrz. Każde odbicie odwzorowuje dysk sam na siebie i generuje nowy kafelek.
🔬 Co pokazuje
Kafelek fundamentalny rysowany jest za pomocą łuków geodezyjnych. W dysku Poincarégo geodezyjne to łuki okręgów prostopadłe do okręgu brzegowego lub średnice. Każdą krawędź wielokąta rysuje się jako taki łuk, po obliczeniu środka i promienia odpowiadającego mu okręgu w ℂ. Symbol Schläfliego {p,q} określa teselację, w której p-kąty spotykają się po q w każdym wierzchołku.
🎮 Jak korzystać
Zmieniaj parametry p i q, by wybrać inną teselację {p,q}; warunek teselacji hiperbolicznej to (p-2)(q-2) > 4 (równoważnie 1/p + 1/q < 1/2). Gdy 1/p + 1/q = 1/2, otrzymujemy teselację euklidesową, a gdy 1/p + 1/q > 1/2 — sferyczną (bryły platońskie). Obracaj i przybliżaj widok, by zobaczyć, jak kafelki rozmieszczają się w kierunku brzegu dysku.
💡 Czy wiesz, że...
Wszystkie kafelki mają dokładnie takie samo pole hiperboliczne, mimo że te bliżej brzegu wyglądają na znacznie mniejsze — to zniekształcenie wynika wyłącznie z przedstawiania przestrzeni o ujemnej krzywiźnie w płaskich współrzędnych euklidesowych. Pole n-kąta dane jest twierdzeniem Gaussa-Bonneta: Pole = (n-2)π - Σθᵢ.
Najczęściej zadawane pytania
Czym jest geometria hiperboliczna?
Geometria hiperboliczna to geometria nieeuklidesowa, w której nie obowiązuje piąty postulat Euklidesa (postulat o prostych równoległych): przez punkt nieleżący na danej prostej przechodzi nieskończenie wiele prostych równoległych do niej. Ma ona stałą krzywiznę ujemną, w przeciwieństwie do płaskiej (zerowej krzywizny) płaszczyzny euklidesowej lub dodatniej krzywizny sfery.
Czym jest model dysku Poincarégo?
Model dysku Poincarégo przedstawia całą płaszczyznę hiperboliczną wewnątrz dysku jednostkowego. Punkty wewnątrz dysku to punkty hiperboliczne; okrąg brzegowy znajduje się „w nieskończoności". Proste (geodezyjne) w przestrzeni hiperbolicznej są przedstawiane jako łuki okręgów przecinające brzeg pod kątem prostym lub jako średnice dysku.
Czym jest teselacja {p,q}?
Teselacja {p,q} (symbol Schläfliego) rozmieszcza regularne p-kąty wokół każdego wierzchołka, przy czym w każdym wierzchołku spotyka się q wielokątów. Teselacja jest hiperboliczna, gdy (p-2)(q-2) > 4, euklidesowa, gdy równa się 4, i sferyczna, gdy jest mniejsza niż 4. Na przykład {7,3} rozmieszcza siedmiokąty, z których 3 spotykają się w każdym wierzchołku — klasyczna teselacja hiperboliczna.
Czym są przekształcenia Möbiusa?
Przekształcenie Möbiusa to odwzorowanie postaci f(z) = (az+b)/(cz+d) na płaszczyźnie zespolonej. Izometrie zachowujące orientację (odwzorowania zachowujące odległość) dysku hiperbolicznego to dokładnie te przekształcenia Möbiusa, które odwzorowują dysk jednostkowy sam na siebie, tworząc grupę PSU(1,1).
Dlaczego kafelki bliżej brzegu wyglądają na mniejsze?
W modelu dysku Poincarégo metryka hiperboliczna wynosi ds = 2|dz|/(1-|z|²). W pobliżu brzegu, gdy |z|→1, mianownik dąży do zera, więc odległości euklidesowe wydają się ściśnięte. W rzeczywistości wszystkie kafelki mają takie samo pole hiperboliczne — zniekształcenie jest artefaktem przedstawiania przestrzeni o ujemnej krzywiźnie w płaskich współrzędnych.
Czym jest pole hiperboliczne wielokąta?
Twierdzenie Gaussa-Bonneta dla przestrzeni hiperbolicznej podaje pole n-kąta jako: Pole = (n-2)π - Σθᵢ, gdzie θᵢ to kąty wewnętrzne. Dla kafelka {p,q} o sumie kątów 2π/q w każdym wierzchołku: Pole = (p-2)π - p·(2π/q) = π((p-2) - 2p/q).
Kto odkrył geometrię hiperboliczną?
Geometria hiperboliczna została odkryta niezależnie przez Jánosa Bolyaia (1832), Nikołaja Łobaczewskiego (1830) oraz Carla Friedricha Gaussa (który nigdy jej nie opublikował). Gauss nazywał ją „geometrią antyeuklidesową". Model dysku Poincarégo wprowadził Henri Poincaré w latach 80. XIX wieku.
Jaki jest związek ze sztuką M.C. Eschera?
M.C. Escher stworzył swoją słynną serię Circle Limit (1958–1960), wykorzystując teselacje hiperboliczne {6,4} i {4,6}, wypełniając dysk rybami, aniołami lub diabłami, które maleją w stronę brzegu. Podstawy matematyczne poznał od geometry H.S.M. Coxetera.
Czym są geodezyjne hiperboliczne?
W dysku Poincarégo geodezyjne (odpowiednik prostych) to łuki okręgów przecinające okrąg brzegowy pod kątem 90°, lub średnice dysku. Dwie geodezyjne mogą być równoległe (spotykające się na brzegu), ultrarównoległe (w ogóle się nie spotykające) lub przecinające się (spotykające się wewnątrz dysku).
Czym jest grupa izometrii przestrzeni hiperbolicznej?
Grupą izometrii płaszczyzny hiperbolicznej jest PSL(2,ℝ) (dla modelu górnej półpłaszczyzny) lub PSU(1,1) (dla modelu dysku). Są to przekształcenia Möbiusa zachowujące odpowiedni model. Grupa ta jest niezwarta i ma nieskończoną objętość, w przeciwieństwie do zwartych grup izometrii sfery.