Як це працює
Модель диска Пуанкаре відображає всю гіперболічну площину в одиничний диск. Ми будуємо центральну фундаментальну область — правильний p-кутник з внутрішніми кутами 2π/q — потім застосовуємо гіперболічні відбиття (перетворення Мебіуса, що зберігають одиничний диск), щоб поширити його назовні. Кожне відбиття відображає диск у себе і породжує нову плитку.
Фундаментальна плитка малюється геодезичними дугами. У диску Пуанкаре геодезичні — це дуги кіл, ортогональні до межового кола, або діаметри. Ми малюємо кожне ребро многокутника такою дугою після обчислення центру і радіуса відповідного кола у ℂ.
Ізометрія Мéбіуса: T_a(z) = (z - a) / (1 - āz), |a| < 1
Площа плитки: A = (p-2)π - p · (2π/q) = π((p-2) - 2p/q)
Символ Шлефлі {p,q} задає замощення, де p-кутники сходяться по q у кожній вершині. Умова гіперболічності: (p-2)(q-2) > 4 (або рівнозначно 1/p + 1/q < 1/2). При 1/p + 1/q = 1/2 отримуємо евклідове замощення; при 1/p + 1/q > 1/2 — сферичне (Платонові тіла).
Часті запитання
Що таке гіперболічна геометрія?
Гіперболічна геометрія — неевклідова геометрія, де аксіома паралельних не виконується: через точку поза прямою проходить нескінченно багато прямих, паралельних даній. Вона має сталу від'ємну кривизну, на відміну від плоскої евклідової площини або сфери.
Що таке модель диска Пуанкаре?
Модель диска Пуанкаре представляє всю гіперболічну площину всередині одиничного диска. Точки всередині — гіперболічні точки; межа кола — «нескінченність». Геодезичні виглядають як дуги кіл, що перетинають межу під прямим кутом.
Що таке замощення {p,q}?
Замощення {p,q} (символ Шлефлі) розміщує правильні p-кутники так, щоб у кожній вершині сходилося q многокутників. Умова гіперболічності: (p-2)(q-2) > 4. Наприклад {7,3} — семикутники з 3 у кожній вершині.
Що таке перетворення Мебіуса?
Перетворення Мебіуса — відображення f(z) = (az+b)/(cz+d) на комплексній площині. Орієнтованозберігальні ізометрії гіперболічного диска — це саме ті перетворення Мебіуса, що переводять одиничний диск у себе, утворюючи групу PSU(1,1).
Чому плитки біля межі виглядають меншими?
У моделі диска Пуанкаре гіперболічна метрика ds = 2|dz|/(1-|z|²). Біля межі знаменник прямує до нуля, тому евклідові відстані стискаються. Насправді всі плитки мають однакову гіперболічну площу — це артефакт представлення простору від'ємної кривизни у плоских координатах.
Яка гіперболічна площа многокутника?
Теорема Гауса-Бонне для гіперболічного простору: Площа = (n-2)π - Σθᵢ, де θᵢ — внутрішні кути. Для плитки {p,q}: Площа = π((p-2) - 2p/q).
Хто відкрив гіперболічну геометрію?
Гіперболічну геометрію незалежно відкрили Янош Бойяй (1832), Микола Лобачевський (1830) та Карл Гаусс (не публікував). Модель диска запровадив Анрі Пуанкаре у 1880-х рр.
Який зв'язок з мистецтвом Ешера?
М. К. Ешер створив серію "Circle Limit" (1958–1960), використовуючи гіперболічні замощення {6,4} і {4,6}, заповнюючи диск рибами, янголами або дияволами, що зменшуються до краю. Математичну основу він дізнався від геометра Г. С. М. Кокстера.
Що таке гіперболічні геодезичні?
У диску Пуанкаре геодезичні — це дуги кіл, що перетинають межу під кутом 90°, або діаметри диска. Дві геодезичні можуть бути паралельними (зустрічатися на межі), ультрапаралельними або такими, що перетинаються.
Яка група ізометрій гіперболічного простору?
Група ізометрій гіперболічної площини — PSL(2,ℝ) (модель верхньої піврівнини) або PSU(1,1) (модель диска). Це перетворення Мебіуса, що зберігають відповідну модель і утворюють некомпактну групу нескінченного об'єму.