Його також іноді називають простором Бояї–Лобачевського або простором Лобачевського за прізвищами авторів, які першими опублікували роботи на тему гіперболічної геометрії.
Гіперболічний простір є геометричним простором, аналогічним евклідовому простору, але в ньому аксіома паралельності Евкліда не виконується. Замість цього аксіома паралельності замінюється такою альтернативною аксіомою (в просторі розмірності два):
Якщо дано якусь пряму L і точку P, що не лежить на прямій L, то існує щонайменше дві різні прямі, що проходять через P, які не перетинають L.
Звідси випливає теорема, що існує нескінченно багато таких прямих, які проходять через P. Аксіома не визначає однозначно гіперболічну площину з точністю до руху, оскільки потрібно задати постійну кривину K < 0. Однак аксіома визначає площину з точністю до гомотетії, тобто з точністю до перетворень, які без повороту змінюють відстані на деякий постійний множник. Якщо можна вибрати відповідний масштаб довжини, то можна припустити без втрати загальності, що K = −1.
Можна побудувати моделі гіперболічних просторів, які можна вкласти в плоскі (тобто евклідові) простори. Зокрема, з існування моделі гіперболічного простору в евклідовому випливає, що аксіома паралельності логічно незалежна від інших аксіом евклідової геометрії.
Існує кілька важливих моделей гіперболічного простору — модель Кляйна, гіперболоїдна модель, модель Пуанкаре в кулі і модель Пуанкаре у верхній півплощині. Всі ці моделі мають одну і ту ж геометрію в тому сенсі, що будь-які дві з них пов'язані перетворенням, яке зберігає всі геометричні властивості описуваного ними гіперболічного простору.
Альтернативною моделлю гіперболічній геометрії є певна область у проєктивному просторі. Квадратична форма Мінковського Q визначає підмножину , задану як множина точок, для яких в однорідних координатахx. Область є моделлю Кляйна гіперболічного простору.
Прямими в цій моделі є відкриті відрізки об'ємного проєктивного простору, які лежать в . Відстань між двома точками x і y в визначається як
Ця відстань цілком визначена на проєктивному просторі, оскільки число не змінюється при зміні всіх координат на один і той самий множник (з точністю до якого й визначено однорідні координати).
Ця модель пов'язана з гіперболоїдною моделлю так. Кожна точка відповідає прямій через початок координат в за визначенням проєктивного простору. Ця пряма перетинає гіперболоїд в єдиній точці. І навпаки: через будь-яку точку на проходить єдина пряма, що проходить через початок координат (що є точкою в проективному просторі). Ця відповідність визначає бієкцію між і . Це ізометрія, оскільки обчислення d(x,y) уздовж відтворює визначення відстані в гіперболоїдній моделі.
Модель Пуанкаре в кулі
Є дві тісно пов'язані моделі гіперболічної геометрії в евклідовій: модель Пуанкаре в кулі і модель Пуанкаре у верхній півплощині.
Модель кулі виникає зі стереографічної проєкції гіперболоїда в у гіперплощину . Детальніше: нехай S буде точкою в з координатами (-1,0,0,…,0) — південним полюсом для стереографічної проєкції. Для кожної точки P на гіперболоїді нехай P∗ буде єдиною точкою перетинів прямої SP із площиною .
Це встановлює бієктивне відображення в одиничну кулю
в площині {x0 = 0}.
Геодезичні в цій моделі є півколами, перпендикулярними до межі сфери . Ізометрії кулі утворюються сферичними інверсіями відносно гіперсфер, перпендикулярних межі.
Модель верхньої півплощини виходить з моделі Пуанкаре в кулі при застосуванні інверсія з центром на межі моделі Пуанкаре (див. вище) і радіусом, рівним подвоєному радіусу моделі.
Це перетворення відображає кола в кола і прямі (в останньому випадку — якщо коло проходить через центр інверсії) — і, більш того, це конформне відображення. Отже, в моделі верхньої півплощини геодезичними є прямі і (пів)кола, перпендикулярні до межі гіперплощини.
↑Цей вираз нагадує хордальну метрику на сфері, в якій вираз аналогічний, але замість гіперболічних функцій використовуються тригонометричні.
Література
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:10.4171/105..
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 (3 October). — P. 442–455.
Joseph A. Wolf. Spaces of constant curvature. — 1967. — С. 67.