Гиперболическая геометрия

Гиперболическая геометрия (также геометрия Лобачевского) — это одна из неевклидовых геометрий, аксиоматическая система которой отличается от евклидовой геометрии заменой аксиомы о параллельных прямых на аксиому Лобачевского: через точку, не лежащую на данной прямой, проходит более одной прямой, не пересекающих данную. В отличие от евклидова пространства, в гиперболической геометрии сумма углов треугольника всегда меньше 180°, а площадь треугольника пропорциональна его дефекту (разности между 180° и суммой его углов). Эта геометрия лежит в основе ряда физических моделей, в частности, в теории относительности и теории струн.

История

Предыстория и попытки доказательства V постулата

На протяжении более двух тысяч лет математики пытались доказать пятый постулат Евклида (аксиому о параллельных) как теорему, исходя из остальных аксиом. Среди известных попыток — работы Птолемея, Омара Хайяма, Насир ад-Дина ат-Туси, Джованни Саккери и Иоганна Ламберта. Саккери в XVIII веке построил систему, основанную на отрицании постулата, и пришёл к выводам, которые сегодня считаются первыми теоремами гиперболической геометрии, однако он ошибочно посчитал их противоречивыми.

Открытие Лобачевского, Бойяи и Гаусса

Независимо друг от друга гиперболическая геометрия была открыта в первой половине XIX века:

• Николай Иванович Лобачевский (1792—1856) — российский математик, ректор Казанского университета. В 1826 году он представил доклад «Сжатое изложение начал геометрии», а в 1829 году опубликовал работу «О началах геометрии», в которой впервые изложил основы неевклидовой геометрии. Лобачевский назвал её «воображаемой геометрией».
• Янош Бойяи (1802—1860) — венгерский математик, в 1832 году опубликовал приложение к книге своего отца, где независимо пришёл к тем же результатам.
• Карл Фридрих Гаусс (1777—1855) — немецкий математик, по свидетельствам, владел основами неевклидовой геометрии ещё в 1810-х годах, но не публиковал результаты из-за опасений критики.

Признание и развитие

Первоначально работы Лобачевского и Бойяи не были поняты современниками. Признание пришло после смерти Лобачевского, в 1860-х годах, когда Эудженио Бельтрами построил первую модель гиперболической геометрии (псевдосфера), а Феликс Клейн и Анри Пуанкаре разработали другие модели, доказывающие непротиворечивость новой геометрии. В XX веке гиперболическая геометрия стала важным инструментом в топологии, теории групп и математической физике.

Основные аксиомы и отличия от евклидовой геометрии

Аксиома параллельности

В евклидовой геометрии через точку, не лежащую на данной прямой, проходит ровно одна прямая, не пересекающая данную. В гиперболической геометрии аксиома Лобачевского утверждает: через точку вне прямой проходит бесконечно много прямых, не пересекающих данную. Эти прямые называются параллельными в смысле Лобачевского (или сверхпараллельными — в зависимости от угла).

Свойства треугольников

• Сумма углов треугольника меньше 180° (π радиан). Дефект треугольника (разность между 180° и суммой его углов) пропорционален его площади: \( \text{площадь} = k^2 \cdot (\pi - \sum \alpha_i) \), где \( k \) — константа, связанная с кривизной пространства.
• Не существует подобных треугольников: если два треугольника имеют равные углы, то они конгруэнтны (равны).
• Чем больше площадь треугольника, тем меньше сумма его углов.

Окружность и длина

• Длина окружности радиуса \( r \) в гиперболической геометрии больше, чем в евклидовой: \( C = 2\pi k \sinh(r/k) \), где \( \sinh \) — гиперболический синус.
• Площадь круга: \( S = 4\pi k^2 \sinh^2(r/2k) \).

Модели гиперболической геометрии

Для наглядного представления гиперболической геометрии в евклидовом пространстве используются несколько моделей. Все они изометричны друг другу и описывают одно и то же гиперболическое пространство.

Модель Пуанкаре в круге

• Пространство: внутренность единичного круга (без границы).
• Прямые: дуги окружностей, ортогональные границе круга, а также диаметры круга.
• Углы: сохраняются (конформная модель).
• Расстояние: определяется специальной метрикой, стремящейся к бесконечности при приближении к границе.

Модель Пуанкаре в верхней полуплоскости

• Пространство: верхняя полуплоскость комплексной плоскости (Im z > 0).
• Прямые: полуокружности с центром на действительной оси и вертикальные лучи.
• Углы: сохраняются.
• Расстояние: метрика \( ds = \frac{|dz|}{\text{Im} z} \).

Модель Клейна (проективная модель)

• Пространство: внутренность единичного круга.
• Прямые: хорды круга (отрезки прямых).
• Углы: не сохраняются (неконформная модель), но прямые изображаются отрезками евклидовых прямых, что удобно для проективной геометрии.

Модель на псевдосфере

• Поверхность: псевдосфера — поверхность вращения трактрисы (кривой, касательная к которой постоянна). Это первая найденная модель, показывающая, что гиперболическая геометрия реализуется как геометрия на поверхности постоянной отрицательной кривизны.
• Ограничение: псевдосфера реализует только часть гиперболической плоскости (не всю).

Кривизна и геодезические

Гиперболическая геометрия — это геометрия пространства постоянной отрицательной кривизны. В двумерном случае кривизна \( K = -1/k^2 \) (часто принимают \( k = 1 \), тогда \( K = -1 \)). Геодезические линии (кратчайшие пути) в гиперболическом пространстве — это прямые в смысле данной геометрии. В моделях они изображаются дугами окружностей или отрезками.

Применение

Математика

• Теория групп: гиперболические группы (по Громову) — класс групп, геометрически действующих на гиперболическом пространстве.
• Топология: гиперболические многообразия (например, трёхмерные гиперболические многообразия) — важный объект в геометрической топологии, в частности, в программе Тёрстона по геометризации трёхмерных многообразий.
• Теория чисел: гиперболическая геометрия используется в изучении модулярных форм и решёток.

Физика

• Специальная теория относительности: пространство скоростей в СТО имеет гиперболическую геометрию (псевдоевклидово пространство Минковского). Быстрота (гиперболический угол) аддитивна, в отличие от скорости.
• Космология: модели Вселенной с отрицательной кривизной (открытая Вселенная) описываются гиперболической геометрией.
• Теория струн: гиперболические пространства возникают в компактификации дополнительных измерений.

Компьютерные науки

• Визуализация данных: гиперболическое пространство используется для отображения иерархических структур (например, деревьев) с помощью гиперболического дерева (hyperbolic tree). Благодаря экспоненциальному росту объёма в гиперболическом пространстве, такие деревья вмещают больше узлов при визуализации.
• Теория сетей: гиперболическая геометрия применяется для моделирования сложных сетей (например, интернета, социальных сетей), где наблюдается иерархическая структура и отрицательная кривизна.

Интересные факты

• Лобачевский назвал свою геометрию «воображаемой», подчёркивая её абстрактный характер. Термин «гиперболическая геометрия» ввёл Феликс Клейн в 1871 году.
• В 1915 году Альберт Эйнштейн использовал неевклидову геометрию (в том числе гиперболическую) в общей теории относительности, где гравитация описывается как искривление пространства-времени.
• В гиперболической геометрии существует понятие «идеальных точек» — точек на бесконечности, через которые проходят параллельные прямые. В модели Пуанкаре это точки на границе круга.
• Площадь треугольника в гиперболической геометрии ограничена сверху: максимальная площадь треугольника равна \( \pi k^2 \) (для треугольника с нулевыми углами, вершины которого лежат на бесконечности).

Критика и философские аспекты

Открытие гиперболической геометрии вызвало философские споры о природе пространства. Иммануил Кант считал евклидову геометрию априорной формой созерцания. Открытие неевклидовых геометрий показало, что геометрия — это не абсолютная истина, а математическая модель, которая может быть различной. Вопрос о том, какая геометрия реализуется в физическом пространстве, остаётся эмпирическим: современные космологические данные указывают, что Вселенная в больших масштабах близка к плоской (евклидовой), но не исключают малой отрицательной кривизны.

Источники

• Лобачевский Н. И. «О началах геометрии» (1829)
• Бойяи Я. «Appendix scientiam spatii absolute veram exhibens» (1832)
• Клейн Ф. «Лекции о развитии математики в XIX столетии»
• Тёрстон У. «Трёхмерная геометрия и топология»
• Громов М. «Гиперболические группы»
• Алексеевский Д. В., Винберг Э. Б., Солодовников А. С. «Геометрия пространств постоянной кривизны» (в энциклопедии «Итоги науки и техники»)