Гіперболічний простір
Гіперболічний простір, — це простір із постійною негативною кривиною. Двовимірним гіперболічним простором є гіперболічна площина.
Його також іноді називають простором Бояї–Лобачевського або простором Лобачевського за прізвищами авторів, які першими опублікували роботи на тему гіперболічної геометрії.
Від'ємна кривина відрізняє гіперболічний простір від евклідового простору з нульовою кривиною, описуваного евклідовою геометрією, і від сфери — простору з постійною додатною кривиною, описуваного геометрією Рімана.
n-вимірний гіперболічний простір зазвичай позначають або .
Визначення
ред.n-вимірним гіперболічним простором називають однозв'язний n-вимірний ріманів многовид із постійною від'ємною секційною кривиною.
Моделі гіперболічного простору
ред.Гіперболічний простір є геометричним простором, аналогічним евклідовому простору, але в ньому аксіома паралельності Евкліда не виконується. Замість цього аксіома паралельності замінюється такою альтернативною аксіомою (в просторі розмірності два):
- Якщо дано якусь пряму L і точку P, що не лежить на прямій L, то існує щонайменше дві різні прямі, що проходять через P, які не перетинають L.
Звідси випливає теорема, що існує нескінченно багато таких прямих, які проходять через P. Аксіома не визначає однозначно гіперболічну площину з точністю до руху, оскільки потрібно задати постійну кривину K < 0. Однак аксіома визначає площину з точністю до гомотетії, тобто з точністю до перетворень, які без повороту змінюють відстані на деякий постійний множник. Якщо можна вибрати відповідний масштаб довжини, то можна припустити без втрати загальності, що K = −1.
Можна побудувати моделі гіперболічних просторів, які можна вкласти в плоскі (тобто евклідові) простори. Зокрема, з існування моделі гіперболічного простору в евклідовому випливає, що аксіома паралельності логічно незалежна від інших аксіом евклідової геометрії.
Існує кілька важливих моделей гіперболічного простору — модель Кляйна, гіперболоїдна модель, модель Пуанкаре в кулі і модель Пуанкаре у верхній півплощині. Всі ці моделі мають одну і ту ж геометрію в тому сенсі, що будь-які дві з них пов'язані перетворенням, яке зберігає всі геометричні властивості описуваного ними гіперболічного простору.
Гіперболоїдна модель
ред.Гіперболоїдна модель реалізує гіперболічний простір як гіперболоїд у . Гіперболоїд є геометричним місцем точок, координати яких задовольняють рівнянню
У цій моделі пряма (тобто, по суті, геодезична) — це крива, утворена перетином з площиною, що проходить через початок координат у .
Гіперболоїдна модель тісно пов'язана з геометрією простору Мінковського. Квадратична форма
яка визначає гіперболоїд, дозволяє задати відповідну білінійну форму
Простір , забезпечений білінійною формою B, є (n+1)-вимірним простором Мінковського .
Можна задати «відстань» на гіперболоїдній моделі, визначивши[1] відстань між двома точками x і y на як
Ця функція є метрикою, оскільки для неї виконуються аксіоми метричного простору. Вона зберігається під дією ортохронної групи Лоренца O+(n,1) на . Отже, ортохронна група Лоренца діє на як група автоморфізмів, що зберігають відстань, тобто рухів.
Модель Кляйна
ред.Альтернативною моделлю гіперболічній геометрії є певна область у проєктивному просторі. Квадратична форма Мінковського Q визначає підмножину , задану як множина точок, для яких в однорідних координатах x. Область є моделлю Кляйна гіперболічного простору.
Прямими в цій моделі є відкриті відрізки об'ємного проєктивного простору, які лежать в . Відстань між двома точками x і y в визначається як
Ця відстань цілком визначена на проєктивному просторі, оскільки число не змінюється при зміні всіх координат на один і той самий множник (з точністю до якого й визначено однорідні координати).
Ця модель пов'язана з гіперболоїдною моделлю так. Кожна точка відповідає прямій через початок координат в за визначенням проєктивного простору. Ця пряма перетинає гіперболоїд в єдиній точці. І навпаки: через будь-яку точку на проходить єдина пряма, що проходить через початок координат (що є точкою в проективному просторі). Ця відповідність визначає бієкцію між і . Це ізометрія, оскільки обчислення d(x,y) уздовж відтворює визначення відстані в гіперболоїдній моделі.
Модель Пуанкаре в кулі
ред.Є дві тісно пов'язані моделі гіперболічної геометрії в евклідовій: модель Пуанкаре в кулі і модель Пуанкаре у верхній півплощині.
Модель кулі виникає зі стереографічної проєкції гіперболоїда в у гіперплощину . Детальніше: нехай S буде точкою в з координатами (-1,0,0,…,0) — південним полюсом для стереографічної проєкції. Для кожної точки P на гіперболоїді нехай P∗ буде єдиною точкою перетинів прямої SP із площиною .
Це встановлює бієктивне відображення в одиничну кулю
в площині {x0 = 0}.
Геодезичні в цій моделі є півколами, перпендикулярними до межі сфери . Ізометрії кулі утворюються сферичними інверсіями відносно гіперсфер, перпендикулярних межі.
Модель Пуанкаре у верхній півплощині
ред.Модель верхньої півплощини виходить з моделі Пуанкаре в кулі при застосуванні інверсія з центром на межі моделі Пуанкаре (див. вище) і радіусом, рівним подвоєному радіусу моделі.
Це перетворення відображає кола в кола і прямі (в останньому випадку — якщо коло проходить через центр інверсії) — і, більш того, це конформне відображення. Отже, в моделі верхньої півплощини геодезичними є прямі і (пів)кола, перпендикулярні до межі гіперплощини.
Гіперболічні многовиди
ред.Будь-який повний, зв'язний, однозв'язний многовид сталої від'ємної кривини −1 ізометричний гіперболічному простору . Як наслідок, універсальним накриттям будь-якого замкнутого многовиду M сталої від'ємної кривини −1, тобто гіперболічного многовиду[en], є . Тоді будь-який такий многовид M можна записати як , де є дискретною групою ізометрій без крутіння на . Тобто є ґраткою в SO+(n,1).
Ріманові поверхні
ред.Двовимірні гіперболічні поверхні можна також розуміти як ріманові поверхні. Згідно з теоремою про уніформізацію будь-яка ріманова поверхня є еліптичною, параболічною або гіперболічною. Більшість гіперболічних поверхонь мають нетривіальну фундаментальну групу . Групи, які виникають таким чином, називаються фуксовими. Фактор-простір верхньої півплощини у фундаментальній групі називають фуксовою моделлю гіперболічної поверхні. Верхня півплощина Пуанкаре також гіперболічна, але однозв'язна і не компактна. Тому вона є універсальним накриттям інших гіперболічних поверхонь.
Аналогічною побудовою Для тривимірних гіперболічних поверхонь є модель Кляйна.
Див. також
ред.Примітки
ред.- ↑ Цей вираз нагадує хордальну метрику на сфері, в якій вираз аналогічний, але замість гіперболічних функцій використовуються тригонометричні.
Література
ред.- Norbert A'Campo, Athanase Papadopoulos. Notes on hyperbolic geometry // Strasbourg Master class on Geometry. — Zürich : European Mathematical Society (EMS), 2012. — Т. 18. — С. 1–182. — (IRMA Lectures in Mathematics and Theoretical Physics) — ISBN 978-3-03719-105-7. — DOI:
- John G. Ratcliffe. Foundations of hyperbolic manifolds. — New York, Berlin : Springer-Verlag, 1994.
- William F. Reynolds. Hyperbolic Geometry on a Hyperboloid // The American Mathematical Monthly. — 1993. — Iss. 100 (4 October). — P. 442–455.
- Joseph A. Wolf. Spaces of constant curvature. — 1967. — С. 67.
- Hyperbolic Voronoi diagrams made easy, Frank Nielsen [Архівовано 24 жовтня 2021 у Wayback Machine.]