Geometria Hiperboliczna: Dysku Poincarégo i Nieograniczone Układania

Postulat piąty Euklida i jego upadek

Postulat piąty Euklida mówi, że przez dowolny punkt nie leżący na linii istnieje dokładnie jedna linia równoległa. Przez dwa tysiąc lat matematycy próbowali go udowodnić z czterech pozostałych i zawodzili – aż do Jánosza Bolyai’a i Nikołaja Łobaczewskiego, którzy niezależnie od siebie w latach 20. XIX wieku pokazali, że odrzucenie go prowadzi do idealnie spójnej geometrii. Kluczowym parametrem jest krzywizna Gaussa K: K > 0 daje geometrię sferyczną (linie równoległe zbiegają się), K = 0 daje geometrię euklidesową (dokładnie jedna linia równoległa), a K < 0 daje geometrię hiperboliczną, w której nieskończenie wiele linii przechodzących przez zewnętrzny punkt nigdy nie przecina danej linii.

Model dysk Poincarégo

Model opracowany przez Henriego Poincarégo (1882) przedstawia całą płaszczyznę hiperbolową jako otwarty, jednostkowy dysk |z| < 1; okrąg brzegowy nie stanowi części przestrzeni – leży w nieskończoności.

ds² = 4(dx²+dy²) / (1−x²−y²)² (0,r) = 2·arctanh(r) → ∞ gdy r → 1 (brzeg jest w nieskończoności) Geodezyjki: średnice lub łuki okręgowe spotykające brzeg pod kątem 90° Model ten jest konformalny – kąty między krzywymi są zachowywane dokładnie – dlatego też obrazy ryb i aniołów Eschaera wyglądają lokalnie poprawnie, nawet gdy ulegają skróceniu w kierunku brzegu. Jego symetrie to transformacje Möbius, które zachowują dysk i tworzą grupę PSL(2,ℝ).

ds² = 4(dx²+dy²) / (1−x²−y²)²
d(0,r) = 2·arctanh(r)  → ∞ as r → 1  (boundary is infinitely far)
Geodesics: diameters, or circular arcs meeting the boundary at 90°

Okrąg Escher'a: Granica Okręgu i Tilingi {p,q}

Po obejrzeniu diagramów H.S.M. Coxtera dysku Poincaré’owskiego, M.C. Escher stworzył drzeworytów 'Granica Okręgu' (1958–1960): regularne tilingi wypełniające dysk, w których każdy element jest idealnie kongruentny hiperbolicznie, pomimo kurczenia się w pobliżu obwodu. Symbol Schläfli’ego {p,q} oznacza p-ściany z q spotkanymi w każdym wierzchołku; porównanie sum kątów p·(2π/q) do (p−2)π sortuje tilingi według geometrii: (p−2)(q−2) = 4 jest euklidesowe (istnieją tylko 3: {3,6}, {4,4}, {6,3}), < 4 jest sferyczne (istnieje 5, w tym bryły platońskie), a > 4 jest hiperboliczne – z nieskończenie wieloma możliwymi parami (p,q), jednym tilingiem dla każdej kombinacji. 'Granica Okręgu' IV wykorzystuje {6,4}; 'Granica Okręgu' III przybliża się do {8,3}.

Kółka w przestrzeni hiperbolicznej również rosną wykładniczo, a nie liniowo: obwód C = 2π·sinh(r) i pole A = 2π(cosh(r)−1), więc dla dużego r oba skalują się jako ~πeʳ. Ta pojemność wykładnicza jest dokładnie tym, dlaczego tilingi hiperboliczne są używane do kompresji danych hierarchicznych – od grafów routingu internetowego po WordNet – w znacznie mniejszej liczbie wymiarów niż potrzebowałaby przestrzeń euklidesowa.

Frequently asked questions

Wypróbuj na żywo

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