Геометрия Лобачевского: проективная модель Клейна и абсолют

Абсолют и внутреннее пространство Клейна

Проективная модель Клейна разворачивается внутри единичного круга x^2 + y^2 < 1 на декартовой плоскости. Граничная окружность x^2 + y^2 = 1 называется Абсолютом и не принадлежит самому пространству Лобачевского (она играет роль бесконечности). Точки неевклидова пространства — это строго внутренние точки круга. Самое гениальное в модели Клейна — это определение прямых линий. Прямой линией геометрии Лобачевского здесь считается обычная евклидова хорда, соединяющая две точки на Абсолюте (без самих концов). Поскольку хорды являются отрезками прямых, все классические аксиомы инцидентности работают безупречно: через любые две точки круга можно провести одну и только одну прямую (хорду), а две прямые могут пересекаться только в одной точке.

Двойственное отношение и проективная метрика

Главная проблема модели: как измерять расстояния? Хорда имеет конечную евклидову длину, но в мире Лобачевского прямая должна быть бесконечной. Клейн применил алгебру проективных преобразований и двойственных отношений (cross-ratio). Пусть нам нужно найти гиперболическое расстояние d между точками P и Q внутри круга. Мы проводим через них хорду, которая пересекает Абсолют в точках A и B. Расстояние вычисляется по логарифмической формуле: d(P, Q) = (1/2) * |ln (A, B; P, Q)|, где выражение в скобках — это двойственное отношение четырех точек на прямой. По мере того как точка Q приближается к границе (Абсолюту B), двойственное отношение стремится к бесконечности, и логарифм уходит в бесконечность. Это строго доказывает, что край диска Клейна находится бесконечно далеко от его обитателей.

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

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

Доказательство Пятого постулата Лобачевского

Модель Клейна делает доказательство отрицания Пятого постулата Евклида элементарной задачей начертательной геометрии. Возьмем любую хорду L (прямую) и точку M вне нее (внутри круга). Через точку M мы можем провести бесконечно много хорд, которые не пересекают хорду L внутри круга (они могут пересекаться с ней за пределами Абсолюта, но внешнего мира для этой геометрии не существует). Ограничивающими линиями для этого пучка будут две хорды, которые проходят через точку M и концы хорды L на Абсолюте. Эти две «крайние» прямые называются асимптотически параллельными к L, а все бесчисленные прямые между ними — расходящимися (ультрапараллельными). Этот наглядный чертеж навсегда закрыл 2000-летние споры вокруг основ геометрии.