Аналитические модели неевклидовой геометрии: диск Пуанкаре

Геометрия внутри единичного круга

В конформной модели Пуанкаре вся бесконечная Вселенная неевклидовой плоскости Лобачевского помещается строго внутрь обычного евклидова круга единичного радиуса: $x^2 + y^2 < 1$. Окружность, ограничивающая этот круг ($x^2 + y^2 = 1$), называется абсолютом и представляет собой недостижимую бесконечность. Чем ближе точка находится к абсолютному краю диска, тем меньше становятся ее локальные метрические масштабы с точки зрения внешнего евклидова наблюдателя. То есть отрезок, который нам кажется микроскопическим у самого края круга, для обитателя этой геометрии будет казаться бесконечно длинным. Такая метрика алгебраически описывается дифференциальной формой: $ds^2 = \frac{4(dx^2 + dy^2)}{(1 - x^2 - y^2)^2}$. Этот метрический тензор гарантирует, что достичь края круга за конечное число шагов физически невозможно.

Прямые линии как дуги окружностей

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

Сохранение углов и конформность модели

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

Преобразования Мёбиуса и изометрии

Как математически перемещать объекты в геометрии Лобачевского? В евклидовом мире мы используем матрицы аффинного поворота и параллельного сдвига. В диске Пуанкаре жесткие движения (изометрии, не меняющие гиперболических расстояний) алгебраически описываются дробно-линейными преобразованиями комплексной плоскости (преобразованиями Мёбиуса). Любое движение неевклидовой плоскости может быть задано формулой комплексной алгебры: $z' = e^{i\theta} \frac{z - a}{1 - \bar{a}z}$, где $z = x + iy$ — комплексная координата точки, $a$ — комплексный параметр сдвига (внутри диска), а $\bar{a}$ — его комплексно-сопряженное. Эти преобразования всегда переводят внутренность единичного круга саму в себя, сохраняя ортогональность дуг-прямых к абсолюту и доказывая глубочайшее единство неевклидовой геометрии с теорией функций комплексного переменного.