Powierzchnia Dysku Poincarego: Wszechświat Wewnątrz Ograniczonego Okręgu

Cały nieskończony świat wewnątrz skończonego okręgu

Dyskretyzacja Poincarégo to model geometrii hiperbolicznej – spójnej geometrii, w której zawodzi postulat o równoległych prostych, a przez każdy punkt nie leżący na danej linii przechodzi nieskończenie wiele linii nigdy się nie przecinających – całkowicie zamknięty w otwartym dysku jednostkowym. Punkty płaszczyzny hiperbolicznej są to zwykłe punkty ściśle położone wewnątrz granicy dysku; sam okrąg graniczny reprezentuje punkty 'w nieskończoności' i nigdy nie jest faktycznie dotykany. Kluczem do działania jest metryka nieważnościowa: odległości w pobliżu obrzeża są wyciągane ogromnie w porównaniu z odległosciami w pobliżu środka, tak że prawdziwie nieskończona linia hiperboliczna zajmuje miejsce w obszarze skończonej geometrii euklidesowej, jej końce nigdy nie dotykają krawędzi.

Proste rysujące się jak zakrzywione

Hiperboliczna prosta – geodezyjna, najkrótsza ścieżka między dwoma punktami w przestrzeni hiperbolicznej – jest narysowana na dysku Poincaré’a jako albo średnica dysku, albo łuk okręgu, który spotyka się z pierwotnym okręgiem w punkcie dokładnie o 90 stopni. Powyższa warunek pionowości nie jest wyborem stylistycznym; wynika on bezpośrednio z podwładnej mapy konformalnej modelu (model zachowuje kąty, choć nie odległości ani kształty prostych linii, względem zwykłej geometrii euklidesowej). Dwie geodezyjne, które wyglądają jakby oddalały się od siebie w płaskim obrazie euklidesowym, w obrębie własnej metryki hiperbolicznej są idealnie proste – każdy pozornym łuk jest wynikiem obserwacji nieskończonej przestrzeni nieeuklidesowej przez skończone okno euklidesowe.

Moebiusowe transformacje budują geodezyjnie

Obliczanie geodezycznej hiperbolicznej przez dwa podane punkty redukuje się do klasycznego problemu odwrotności okręgu: odbijamy jedno z dwóch punktów względem okręgu jednostkowego (odwracamy je, przesyłając punkt w odległości r od środka do punktu w odległości 1/r po tym samym promieniu), a następnie jedyna kula euklidesowa przechodząca przez dwa oryginalne punkty i ten odwrócony punkt – ograniczona do jej łuku wewnątrz dysku – jest geodezyjną i automatycznie spotyka się z brzegiem pod kątem prostym. Izometrie (transformacje zachowujące odległość) całego modelu dysku to dokładnie transformacje Moebiusa, które mapują okrąg jednostkowy na siebie, co również wyjaśnia, dlaczego tilingi hiperboliczne narysowane w tym modelu – takie jak słynne wycinki z koła M. C. Escher, który zobaczył konstrukcję od matematyka H. S. M. Coxetera – zawsze wydają się kurczyć w kierunku brzegu: wszystkie płytki są kongruentne w prawdziwej geometrii hiperbolicznej i tylko zniekształcenie odległości modelu sprawia, że wyglądają mniejszy przy krawędzi.

geodesic through points P, Q inside the unit disk:
1. invert P across the unit circle:  P' = P / |P|^2   (maps P to distance 1/|P| from centre)
2. the Euclidean circle through P, Q, P'  (or the diameter, if P, Q, O are colinear)
   is the hyperbolic geodesic -- and it meets the unit circle at exactly 90 deg

Trójkąty, których kąty nigdy nie wynoszą 180 stopni

Najbardziej widoczna odchylność od geometrii euklidyjskiej w modelu to fakt, że trójkąt hiperboliczny zawsze ma sumę kątów wewnętrznych mniejszą niż 180° — nigdy ich nie osiąga. Niedobór, zwany niedoborem kąta, jest proporcjonalny do obszaru hiperbolicznego tego trójkąta (ponownie Gauss–Bonnet, ten sam teorematyczny związek, który reguluje krzywiznę torusa w artykule towarzyszącym): większe obszary hiperboliczne mają większy niedobór, zbliżając się do granicznego niedoboru 180° dla idealnego trójkąta, którego trzy wierzchołki leżą dokładnie na granicy pozaświata. Ten degeneratywny idealny trójkąt, mimo że wszystkie trzy wierzchołki znajdują się nieskończenie daleko od siebie w metryce hiperbolicznej, ma ściśle skończoną powierzchnię hiperboliczną — jeden z bardziej zaskakujących faktów, które geometria hiperboliczna prezentuje po spędzeniu czasu z modelem.

Dlaczego ten konkretny model, a nie inne?

Powierzchnia Poincarégo dysku jest jednym z co najmniej czterech standardowych modeli płaszczyzny hiperbolicznej – obok półpłaszczyzny Poincarégo, dysku Kleina i modelu hyperboloidu – i wszystkie są one matematycznie równoważne, powiązane przez jawne transformacje współrzędnych i różnią się jedynie tymi właściwościami, które zachowują wizualnie. Zaletą dysku Poincarégo jest jego konforemcja: kąty mierzone na obrazie odpowiadają dokładnie rzeczywistym kątom hiperbolicznym, dlatego kręgi w płaszczyźnie hiperbolicznej są rysowane jako autentyczne (choć przesunięte) koła euklidesowe w tym modelu, a także jest to model wyboru dla wszystkiego, co opiera się na intuicji zachowującej kąty, od mozaik Escher'a po wizualizację granicy niewidzialnej pewnych modeli fizycznych i kosmologicznych.

Frequently asked questions

Wypróbuj na żywo

Wszystko powyżej działa bezpośrednio w Twojej przeglądarce — otwórz Poincare Disk (Hyperbolic Geometry) i zmieniaj parametry podczas działania. Nic nie jest instalowane ani przesyłane na serwer, cały model działa w jednej karcie.