Русская Википедия:Пространство Лобачевского
Четыре додекаэдра соприкасаются в каждом ребре, а восемь соприкасаются в каждой вершине, подобно кубам в кубическом заполнении E3
Пространство Лобачевского, или гиперболическое пространство размерности <math>n</math> — единственное полное односвязное <math>n</math>-мерное риманово многообразие постоянной отрицательной кривизны, равной <math>-1</math>. Обычно обозначается <math>\mathbb{H}^n</math> или <math>{\Lambda}^n</math>. Двумерное пространство Лобачевского <math>\mathbb{H}^2</math> называется плоскостью Лобачевского.
Пространство Лобачевского является центральным объектом изучения геометрии Лобачевского и является одним из трёх пространств постоянной кривизны. Два других — евклидово пространство <math>\mathbb{R}^n</math>, имеющее нулевую кривизну, и сфера <math>S^n</math>, имеющая единичную кривизну, — соответствуют евклидовой геометрии и геометрии Римана.
Модели гиперболического пространства
Пространство Лобачевского, которое независимо исследовали Николай Иванович Лобачевский и Янош Бойяи, является геометрическим пространством, аналогичным евклидову пространству, но в нём аксиома параллельности Евклида не выполняется. Вместо этого аксиома параллельности заменяется на следующую альтернативную аксиому (в пространстве размерности два):
- Если дана какая-либо прямая L и точка P, не лежащая на прямой L, то существует по меньшей мере две различные прямые, проходящие через P, которые не пересекают L.
Отсюда вытекает теорема, что существует бесконечно много таких прямых, проходящих через P. Аксиома не определяет однозначно плоскость Лобачевского с точностью до движения, поскольку нужно задать постоянную кривизну Шаблон:Nowrap. Однако аксиома определяет плоскость с точностью до гомотетии, то есть с точностью до преобразований, которые без поворота меняют расстояния на некоторый постоянный множитель. Если можно выбрать подходящий масштаб длины, то можно предположить без потери общности, что Шаблон:Nowrap.
Можно построить модели пространств Лобачевского, которые могут быть вложены в плоские (то есть евклидовы) пространства. В частности, из существования модели пространства Лобачевского в евклидовом вытекает, что аксиома параллельности логически независима от других аксиом евклидовой геометрии.
Существует несколько важных моделей пространства Лобачевского — модель Клейна, гиперболоидная модель, модель Пуанкаре в шаре и модель Пуанкаре в верхней полуплоскости. Все эти модели имеют одну и ту же геометрию в том смысле, что любые две из них связаны преобразованием, которое сохраняет все геометрические свойства описываемого ими гиперболического пространства.
Гиперболоидная модель
Шаблон:Основная статья Гиперболоидная модель реализует пространство Лобачевского как гиперболоид в <math>\R^{n+1} =\{(x_0, \dots, x_n)|x_i \in \R, i=0,1,...,n\}</math>. Гиперболоид является геометрическим местом <math>\mathbb{H}^n</math> точек, координаты которых удовлетворяют уравнению
- <math>x_0^2-x_1^2-\cdots-x_n^2=1,\quad x_0>0.</math>
В этой модели прямая (то есть, по сути, геодезическая) — это кривая, образованная пересечением <math>\mathbb{H}^n</math> с плоскостью, проходящей через начало координат в <math>\R^{n+1}</math>.
Гиперболоидная модель тесно связана с геометрией пространства Минковского. Квадратичная форма
- <math>Q(x) = x_0^2 - x_1^2 - x_2^2 - \cdots - x_n^2 ,</math>
которая определяет гиперболоид, позволяет задать соответствующую билинейную форму
- <math>B(x,y) = (Q(x+y)-Q(x)-Q(y))/2=x_0y_0 - x_1y_1 - \cdots - x_n y_n .</math>
Пространство <math>\R^{n+1}</math>, снабжённое билинейной формой B, является (n+1)-мерным пространством Минковского <math>\R^{n,1}</math>.
Можно задать «расстояние» на гиперболоидной модели, определив[1] расстояние между двумя точками x и y на <math>\mathbb{H}^n</math> как
- <math>d(x, y) = \operatorname{arch} B(x,y) .</math>
Эта функция является метрикой, так как для неё выполнены аксиомы метрического пространства. Она сохраняется под действием ортохронной группы Лоренца Шаблон:Math на <math>\R^{n,1}</math>. Следовательно, ортохронная группа Лоренца действует на <math>\mathbb{H}^n</math> как группа автоморфизмов, сохраняющих расстояние, то есть движений.
Модель Клейна
Шаблон:Основная статья Альтернативной моделью геометрии Лобачевского является определённая область в проективном пространстве. Квадратичная форма Минковского Q определяет подмножество <math>U^n \subset \R\mathbf{P}^n</math>, заданное как множество точек, для которых <math>Q(x) > 0</math> в однородных координатах x. Область Un является моделью Клейна пространства Лобачевского.
Прямыми в этой модели являются открытые отрезки объемлющего проективного пространства, которые лежат в Un. Расстояние между двумя точками x и y в Un определяется как
- <math>d(x, y) = \operatorname{arch}\left(\frac{B(x,y)}{\sqrt{Q(x)Q(y)}}\right).</math>
Это расстояние вполне определено на проективном пространстве, поскольку число <math>\tfrac{B(x,y)}{\sqrt{Q(x)Q(y)}}</math> не меняется при изменении всех координат на один и тот же множитель (с точностью до которого и определены однородные координаты).
Эта модель связана с гиперболоидной моделью следующим образом. Каждая точка <math>x \in U^n</math> соответствует прямой Lx через начало координат в <math>\R^{n+1}</math> по определению проективного пространства. Эта прямая пересекает гиперболоид <math>\mathbb{H}^n</math> в единственной точке. Обратно: через любую точку на <math>\mathbb{H}^n</math> проходит единственная прямая, проходящая через начало координат (что есть точка в проективном пространстве). Это соответствие определяет биекцию между Un и <math>\mathbb{H}^n</math>. Это изометрия, поскольку вычисление Шаблон:Nowrap вдоль <math>Q(x) = Q(y) = 1</math> воспроизводит определение расстояния в гиперболоидной модели.
Модель Пуанкаре в шаре
Имеются две тесно связанные модели геометрии Лобачевского в евклидовой: модель Пуанкаре в шаре и модель Пуанкаре в верхней полуплоскости.
Модель шара возникает из стереографической проекции гиперболоида в <math>\R^{n+1}</math> в гиперплоскость <math>\{x_0 = 0\}</math>. Подробнее: пусть S будет точкой в <math>\R^{n,1}</math> с координатами (−1,0,0,…,0) — южным полюсом для стереографической проекции. Для каждой точки P на гиперболоиде <math>\mathbb{H}^n</math> пусть P∗ будет единственной точкой пересечений прямой SP с плоскостью <math>\{x_0 = 0\}</math>.
Это устанавливает биективное отображение <math>\mathbb{H}^n</math> в единичный шар
- <math> B^n = \{(x_1,\ldots,x_n) \mid x_1^2+\cdots+x_n^2 < 1\}</math>
в плоскости {x0 = 0}.
Геодезические в этой модели являются полуокружностями, перпендикулярными границе сферы Bn. Изометрии шара образуются сферическими инверсиями относительно гиперсфер, перпендикулярных границе.
Модель Пуанкаре в верхней полуплоскости
Модель верхней полуплоскости получается из модели Пуанкаре в шаре при применении инверсии с центром на границе модели Пуанкаре Bn (см. выше) и радиусом, равным удвоенному радиусу модели.
Это преобразование отображает окружности в окружности и прямые (в последнем случае — если окружность проходит через центр инверсии) — и, более того, это конформное отображение. Следовательно, в модели верхней полуплоскости геодезическими являются прямые и (полу)окружности, перпендикулярные границе гиперплоскости.
Гиперболические многообразия
Согласно Шаблон:Нп5, любое полное односвязное риманово многообразие постоянной отрицательной кривизны <math>-1</math> изометрично пространству Лобачевского <math>\mathbb{H}^n</math>. В частности, универсальное накрывающее любого полного связного замкнутого риманова многообразия кривизны <math>-1</math>, то есть замкнутого Шаблон:Не переведено 5, изометрично пространству <math>\mathbb{H}^n</math>. Более того, любое такое многообразие изометрично факторпространству <math>\mathbb{H}^n/\Gamma</math> пространства Лобачевского по решетке <math>\Gamma</math> без кручения в его группе изометрий SO+(n,1), которая изоморфна фундаментальной группе исходного пространства.
Представление гиперболической поверхности в виде факторпространства <math>\mathbb{H}^2/\Gamma</math> плоскости Лобачевского по её фундаментальной группе называется её фуксовой моделью. Аналогичная конструкция для трёхмерных гиперболических пространств связана с понятием клейновых групп.
Римановы поверхности
Двумерные гиперболические многообразия можно также понимать как римановы поверхности. Согласно теореме об униформизации, любая риманова поверхность является эллиптической, параболической, или гиперболической.
См. также
- Жёсткость Мостова
- Шаблон:Не переведено 5
- Шаблон:Не переведено 5
- Шаблон:Не переведено 5
- Псевдосфера
- Поверхность Дини
Примечания
Литература
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Статья
- Шаблон:Книга Перевод:
- Hyperbolic Voronoi diagrams made easy, Frank Nielsen
Шаблон:Refend Шаблон:ВС Шаблон:Rq
- ↑ Это выражение похоже на хордальную метрику на сфере, в которой выражение аналогично, но вместо гиперболических функций используются тригонометрические.
