Реализацию геометрии Лобачевского на поверхностях постоянной отрицательной кривизны установил итальянский математик Бельтрами (в 1861 г.).
Впрочем, еще за 30 лет до него это установил, собственно, Миндинг — профессор университета в Дерпте (ныне Тарту), — но не понял этого.
Доказательство логической непротиворечивости геометрии Лобачевского
Мы докажем непротиворечивость системы аксиом планиметрии Лобачевского, состоящей из четырех групп I1-3, II1-4, III1-5, IV1-2 аксиом Гильберта (аксиомы абсолютной планиметрии) и аксиомы V* Лобачевского. При решении этой задачи предполагается, что евклидова геометрия (т. е. система аксиом ∑H Гильберта) непротиворечива. Мы построим из объектов евклидовой плоскости модель плоскости Лобачевского, которая называется евклидовой моделью Кэли — Клейна. Рассмотрим на евклидовой плоскости некоторую окружность ω с центром О радиуса r = 1 и назовем ее абсолютом. Обозначим через Ω круг с границей ω, а через
Введем следующие соглашения. Неевклидовой точкой назовем любую евклидову точку М
Нетрудно убедиться в том, что при этих соглашениях выполняются все аксиомы I1-3, II1-4 Гильберта. Проверим в качестве примера аксиому. Пусть А и В — две неевклидовы точки, aUV— неевклидова прямая, на которой они лежат. Так как А и В — внутренние точки хорды UV, то на этой хорде существует хотя бы одна внутренняя точка С, такая, что А — В — С. Отсюда мы заключаем, что существует по крайней мере одна неевклидова точка С, такая, что неевклидова точка В лежит между неевклидовыми точками А и С.
Так как в построенной модели выполняются все аксиомы групп I, II Гильберта, то выполняются и все следствия из этих аксиом, в частности имеют место теоремы, с помощью которых вводятся понятия луча и полуплоскости. Ясно, что неевклидовым лучом, исходящим из точки С, является множество всех внутренних точек произвольной полухорды CUокружности ω (CU— евклидов отрезок, где С — внутренняя точка круга Ω, aU— точка на его границе). Неевклидовой полуплоскостью является множество всех внутренних точек какого-нибудь сегмента круга Ω.
Для того чтобы в нашей модели определить равенство отрезков и углов, введем ряд вспомогательных понятий. Напомним, что на евклидовой плоскости простым отношением трех точек А, В и С, лежащих на одной прямой, называется число (АВ, С) = λ, такое, что
1. Если (АВ, CD) = (АВ, CD'), то точки Dи D' совпадают.
2. Для любых четырех точек А, В, С, Dпрямой имеем (АВ, CD) = (CD, AB)= = (ВА, DC) = (DC, BA).
Если четыре точки на прямой заданы своими координатами M1(x1, у1), М2 (х2, y2), М3 (х3, у3) и M4 (х4, у4), то
Одна из этих формул теряет смысл, если данные точки лежат на прямой, параллельной одной из координатных осей.
Биективное отображение f : Ω → Ω назовем
а) Внутренние точки круга Ω переходят во внутренние точки этого же круга, а граничные точки этого круга — в граничные точки.
б) Любая хорда окружности ω переходит в некоторую хорду этой же окружности, и при этом сохраняется сложное отношение соответственных точек.
Рассмотрим примеры
Пример 1. Любое движение евклидовой плоскости, имеющее центр абсолюта своей инвариантной точкой, индуцирует во множестве Ω некоторое
Пример 2. Пусть отображение f : Ω → Ω в системе координат Оху задано формулами
Так как для точек множества Ω: — 1 ≤ х ≤ 1, то 1 — ах ≠ 0, поэтому каждая точка множества Ω имеет образ. Из формул (2) получаем:
Из равенства (3) следует, что точки абсолюта ω при отображении fпереходят в точки абсолюта, а точки множества
Отметим, что преобразование f, как показывают формулы (2) и (4), является инволютивным, т. е. f-1 = f.
Докажем, что для преобразования fвыполняются также условия б). Если точки M1, M2,, M3
Остается доказать, что преобразование (2) сохраняет сложное отношение четырех точек. Пусть M1(x1, у1), М2 (х2, y2), М3 (х3, у3), M4 (х4, у4)— четыре точки, лежащие на одной прямой, пересекающей ось Оу, а М'i(хi, уi), i= 1, 2, 3, 4,— их образы. Используя первую из формул (4), находим:
где i , j = 1, 2, 3, 4, i ≠ j.
Отсюда, применяя формулу (1), получаем (М1М2, М3М4) = (М’1M’2, М'3M’4). Если точки Мiлежат на прямой, параллельной оси Оу. или на оси Оу, то используя вторую из формул (4), приходим к тому же выводу. Итак, доказано, что формулами (2) задано инволютивное
Рассмотрим некоторые свойства
1°. Если f и g —
2°. Любое
□ Пусгь А, В, С
Отсюда мы заключаем, что при
Пусть UV- хорда круга Ω. AU — полухорда этой хорды, а