Глава 3. Модель Бельтрами.
Исторически первая модель была создана Итальянским геометром Эуджинио Бельтрами (1835-1900) в своей работе "Опыт интерпретации неевклидовой геометрии", опубликованной в 1868 г. Он показал, что внутренняя геометрия поверхностей постоянной отрицательной кривизны могла бы служить моделью планиметрии Лобачевского. Поверхности постоянной отрицательной кривизны исследовал еще в 30-е годы XIX в. Фердинанд Миндинг (1806-1885), работавший в Дерптском университете. В 1901 г. Давидом Гильбертом (1862-1943) было доказано, что в трехмерном евклидовом пространстве E3 не существует регулярной поверхности постоянной отрицательной кривизны, изометричной всей плоскости Лобачевского. На имеющихся же в E3 поверхностях постоянной отрицательной кривизны реализуется планиметрия не всей плоскости Лобачевского, а лишь некоторой ее части. Именно такой результат был получен Бельтрами. Исследования Бельтрами имеют большое принципиальное значение. Даже частичная реализация неевклидовой планиметрии в евклидовом пространстве изменила скептическое отношение геометров к работам Лобачевского. Поэтому открытия Бельтрами сыграли важную роль в общем развитии науки.
3.1. Отображение плоскости на предельную поверхность.
Пусть плоскость a касается предельной поверхности S в точке O (рис. 14). Проводя через точки плоскости a оси предельной поверхности,мы отобразим
Рис. 14
эту плоскость в круг на предельной поверхности с центром О и предельным радиусом OR =
s (QQў - ось предельной поверхности, параллельная плоскости a ). Окружность, ограничивающую эту область, мы будем называть абсолютом. Прямые линии плоскостиРис. 15
а при этом проектировании изобразятся предельными дугами на поверхности S, лежащими внутри абсолюта.
Очень простое отображение дают пучки прямых в плоскости Лобачевского. Так, пучку 1-го рода соответствует совокупность предельных дуг, проходящих через одну точку, лежащую внутри абсолюта.
Рассмотрим пучок 3-го рода U (рис. 15); пусть 0В
— прямая этого пучка, проходящая через точку касания О. Рассмотрим пучок плоскостей Т с осью QQ', параллельной прямой 0В и являющейся осью предельной поверхности. Плоскости этого пучка пересекают плоскость a по прямым рассматриваемого пучка 3-го рода U, и обратно - каждая прямая пучка U может быть получена как прямая пересечения плоскости a с некоторой плоскостью пучка Т. В пересечении с предельной поверхностью S плоскости пучка Т дают пучок предельных дуг V с центром R, лежащим на абсолюте.Покажем теперь, что пучок расходящихся прямых W в плоскости
a (рис. 16) дает в отображении пучокРис. 16
предельных дуг
Z, продолжения которых за абсолютом пересекаются в некоторой точке М.Для доказательства проведем через ось пучка W плоскость
b , перпендикулярную к a , и построим ось КК' предельной поверхности, перпендикулярную к плоскости b . Прямая КК' пересекает предельную поверхность в некоторой точке М, лежащей вне абсолюта. Плоскости, проходящие через КК', дают в пересечении с плоскостью a прямые пучка W (ввиду перпендикулярности этих плоскостей к b ), а предельную поверхность пересекают по предельным линиям, проходящим через точку М. Обратно, каждая прямая пучка W может быть получена как пересечение плоскости a с некоторой плоскостью, проходящей через KK'.Таким образом, факты проективной природы, относящиеся к прямым плоскости Лобачевского, выражаются очень просто на предельной поверхности при указанном отображении. Иначе обстоит дело с метрическими соотношениями. Ясно, что расстояния и углы в плоскости Лобачевского не равны длинам соответствующих предельных дуг и углам между предельными дугами
на предельной поверхности. Установим формулы, выражающие расстояния и углы.Рис. 17
Возьмем точки А
1, А2 в плоскости a (рис. 17); пусть они отображаются в точки А1ў , А2ў предельной поверхности S. Введем следующие обозначения-A1A2=d, OA1=r1, OA2=r2,
Р
A1OA2=q , OA1ў =r 1, OA2ў =r 2.Имеем (по “теореме косинуса” -
)Из формулы s=
s th ( вспомагательные тригонометрические формулы пространства Лобачевского) получаемТаким образом,
Аналогично выводится формула для угла
j между пересекающимися прямыми (рис. 18, слева) и для кратчайшего расстояния 6 между двумя расходящимися прямыми (рис. 18, справа). Пусть ОР1, ОР2 - предельные дуги, проведенные из точки О ортогонально к предельным линиям, получающимся приРис. 18
отображении из прямых плоскости
a (точки Р1 и Р2 принадлежат соответственно первой и второй из этих предельных линий). Обозначим ОР1 = s 1 , ОР2 = s 2, угол между дугами ОР1 и ОР2 через w . Тогда(2)