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

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

История

Гиперболическая геометрия была открыта в начале XIX века Николаем Лобачевским, Яношем Бойяи и Карлом Фридрихом Гауссом. Однако её интерпретация в рамках евклидовой геометрии долгое время оставалась неочевидной. В 1868 году Эудженио Бельтрами показал, что геометрия Лобачевского может быть реализована на псевдосфере — поверхности постоянной отрицательной кривизны. Но эта модель была лишь локальной и не охватывала всю гиперболическую плоскость.

Анри Пуанкаре, работая над теорией автоморфных функций и фуксовых групп, в 1882 году предложил две модели, которые позволяют изучать гиперболическую геометрию в рамках евклидовой плоскости: модель в круге и модель в полуплоскости. Эти модели оказались особенно удобными для анализа симметрий и преобразований гиперболической плоскости, что было важно для его исследований в области дифференциальных уравнений и теории чисел.

Виды моделей Пуанкаре

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

В этой модели гиперболическая плоскость отождествляется с внутренностью единичного круга на евклидовой плоскости. Граница круга (окружность) называется абсолютом и соответствует бесконечно удалённым точкам гиперболической плоскости. Геодезические линии (прямые) в этой модели представляются:

• диаметрами круга, проходящими через его центр;
• дугами окружностей, ортогональных (перпендикулярных) границе круга.

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

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

В этой модели гиперболическая плоскость отождествляется с верхней полуплоскостью евклидовой плоскости (например, множество точек с координатами (x, y), где y > 0). Абсолютом является ось абсцисс (y = 0) и бесконечно удалённая точка. Геодезические линии задаются:

• вертикальными прямыми, перпендикулярными оси абсцисс;
• полуокружностями с центрами на оси абсцисс, ортогональными этой оси.

Модель в полуплоскости также является конформной и широко используется в комплексном анализе, так как преобразования гиперболической плоскости в этой модели соответствуют дробно-линейным преобразованиям с вещественными коэффициентами.

Устройство и метрика

Метрика в модели Пуанкаре в круге

Метрика (расстояние между точками) в модели Пуанкаре в круге задаётся формулой, которая делает кривизну пространства постоянной и равной −1. Для двух точек \( z_1 \) и \( z_2 \) внутри единичного круга гиперболическое расстояние \( d \) вычисляется по формуле:

\[ d(z_1, z_2) = \operatorname{artanh} \left| \frac{z_1 - z_2}{1 - \overline{z_1} z_2} \right| \]

где \( \operatorname{artanh} \) — обратный гиперболический тангенс, а \( \overline{z_1} \) — комплексно-сопряжённое число. Эта метрика инвариантна относительно дробно-линейных преобразований, сохраняющих единичный круг.

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

В модели в полуплоскости метрика задаётся как:

\[ ds^2 = \frac{dx^2 + dy^2}{y^2} \]

где \( ds \) — элемент длины, \( x \) и \( y \) — координаты точки (\( y > 0 \)). Кривизна пространства также равна −1. Эта метрика инвариантна относительно дробно-линейных преобразований с вещественными коэффициентами и определителем, равным 1.

Свойства

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

Применение

В математике

Модель Пуанкаре широко используется в различных областях математики:

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

В физике

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

В компьютерной графике и визуализации

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

Примеры

Тесселяция гиперболической плоскости

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

Гиперболическое дерево

В информатике модель Пуанкаре в круге используется для визуализации древовидных структур (гиперболические деревья). Корень дерева помещается в центр круга, а дочерние узлы располагаются на концентрических окружностях, что позволяет компактно отображать большие объёмы данных.

Источники

• Пуанкаре, А. «О фуксовых функциях» (1882).
• Клейн, Ф. «Лекции о неевклидовой геометрии» (1928).
• Бельтрами, Э. «Опыт интерпретации неевклидовой геометрии» (1868).
• Дубровин, Б. А., Новиков, С. П., Фоменко, А. Т. «Современная геометрия: методы и приложения» (1986).
• Тёрстон, У. «Трёхмерная геометрия и топология» (1997).