Геометрія Пояння: Диск Пойнера та Нескінченні Укладання

Появності: Розпад постулату Евкліда

Постат Евкліда стверджує, що через будь-яку точку поза лінією існує рівно одна паралельна пряма. Протягом двох тисяч років математики намагалися довести це з чотирьох інших постулатів і зазнали невдачі — поки Янош Боляй та Ніколай Лобачевський, працюючи незалежно в 1820-х роках, не показали, що відмова від цього призводить до сумісної геометрії. Ключовий параметр — гауссова кривина K: K > 0 дає сферичну геометрію (паралелі збігаються), K = 0 дає евклідівську геометрію (рівно одна паралельна пряма), а K < 0 дає гіперболічну геометрію, де нескінченна кількість ліній через зовнішню точку ніколи не перетинають задану пряму.

Модель диска Пойнера

Модель диска Пойнера (1882) Генріхом Пуанкаре представляє всю гіперболічну площину як відкритий одиничний диск |z| < 1; межна окружність не є частиною простору – вона знаходиться на нескінченній відстані.

ds² = 4(dx²+dy²) / (1−x²−y²)² (0,r) = 2·arctanh(r) → ∞ як r → 1 (межа знаходиться на нескінченності) Геодезичні: діаметри або колі циркуляри, що зустрічаються з межею під кутом 90° Модель є гомоорграфічною – кути між кривими зберігаються точно – саме тому зображення риб та ангелів Ешера локально вірно передають форму, навіть коли вони стискаються до межі. Її симетрії – мобіусівські перетворення, що зберігають диск і утворюють групу PSL(2,ℝ).

The Poincaré disk model is a fundamental tool in hyperbolic geometry, allowing us to visualize and study concepts that are difficult or impossible to represent in Euclidean space.

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°

Обмеження Циркуля Ешера та {p,q} укладання

Після ознайомлення з діаграмами Г.С. Максветера щодо диска Пойнера, М.Е. Ешер створив дерев’яні вирізки «Обмеження Циркуля» (1958–1960): регулярні укладання, які заповнюють диск, кожний елемент ідеально відповідний гіперболічним, незважаючи на те, що зменшується поблизу межі. Символ Шлефлі {p,q} позначає p-види з q вершинами, що зустрічаються; порівняння кутової суми p·(2π/q) зі (p−2)π сортує укладання за геометрією: (p−2)(q−2) = 4 є евклідовим (існує лише 3: {3,6}, {4,4}, {6,3}), < 4 є сферичним (існує 5, включаючи платонічні тіла), а > 4 є гіперболічним — з нескінченною кількістю дійсних (p,q) пар, одне укладання для кожної комбінації. «Обмеження Циркуля» IV використовує {6,4}; «Обмеження Циркуля» III приблизно представляє {8,3}.

Круги в гіперболічному просторі також зростають експоненціально, а не лінійно: довжина кола C = 2π·sinh(r) та площа A = 2π(cosh(r)−1), тому для великих r обидва масштабуються приблизно як ~πeʳ. Ця експоненційне потенціал і є причиною використання гіперболічних вкладень для стиснення ієрархічних даних — від графіків маршрутизації інтернету до WordNet — у значно меншій кількості вимірів, ніж потребує евклідова простір.

Часті запитання

Спробуйте наживо

Усе, що вище, працює прямо у вашому браузері — відкрийте the simulation і змінюйте параметри під час роботи. Нічого не встановлюється, нічого не завантажується на сервер, уся модель живе в одній вкладці.