Русская Википедия:Проективная модель
Проективная модель (называемая также модель Клейна, модель Бельтрами — Клейна, модель Кэли — Клейна) — модель планиметрии Лобачевского. Предложена итальянским математиком Эудженио Бельтрами. Немецкий математик Феликс Клейн разработал её независимо.
С её помощью доказывается непротиворечивость геометрии Лобачевского в предположении непротиворечивости евклидовой геометрии.
История
Эта модель была предложена Бельтрами, наряду с моделью Пуанкаре и моделью псевдосферы[1]
Ещё раньше, в 1859 году эту модель построил Кэли. Но он рассматривал её лишь как некоторую конструкцию в проективной геометрии и, видимо, не заметил никакой связи её с неевклидовой геометрией. В 1869 году с его работой познакомился молодой (20-летний) Клейн. Он вспоминает, что в 1870 году сделал доклад о работах Кэли на семинаре Вейерштрасса и, как он пишет, «закончил его вопросом, не существует ли связи между идеями Кэли и Лобачевского. Я получил ответ, что это — две далеко отстоящие по идее системы». Как говорит Клейн, «я позволил переубедить себя этими возражениями и отложил в сторону уже созревшую мысль». Однако в 1871 году он к этой мысли вернулся, оформил её математически и опубликовал[2].
Модель
Плоскость Лобачевского представлена в этой модели открытым диском, ограниченным некоторой окружностью, называемой абсолютом. Точки абсолюта, называемые также «идеальными точками», плоскости Лобачевского уже не принадлежат. Прямая плоскости Лобачевского — это хорда абсолюта, соединяющая две идеальные точки.
Движениями геометрии Лобачевского в проективной модели объявляются проективные преобразования плоскости, переводящие внутренность абсолюта в себя. Конгруэнтными считаются фигуры внутри абсолюта, переводимые друг в друга такими движениями. Если точки <math>A</math> и <math>B</math> лежат на хорде <math>PQ</math> так, что порядок их следования на прямой <math>PABQ</math>, тогда расстояние <math>\ell(A,B)</math> в плоскости Лобачевского определяется как
- <math>\ell(A,B)=\frac{R}{2} \, {\rm ln}(PQ;BA)</math>
где <math>(PQ;BA)</math> обозначает двойное отношение, <math>R</math> — радиус кривизны плоскости Лобачевского.
Замечания
- Любой факт евклидовой геометрии, описанный на таком языке, представляет некоторый факт геометрии Лобачевского. Иными словами, всякое утверждение неевклидовой геометрии Лобачевского на плоскости есть не что иное, как утверждение евклидовой геометрии на плоскости, относящееся к фигурам внутри круга, пересказанное в указанных терминах.
- Евклидова аксиома о параллельных явно не выполняется в этой модели, так как через точку <math>O</math>, не лежащую на данной хорде <math>a</math>, проходит сколько угодно не пересекающих её хорд.
Свойства
- Хорды, которые встречаются на граничном круге, соответствуют асимптотически параллельным прямым.
- Две хорды перпендикулярны, если, продолженные за пределы диска, каждая проходит через полюс другой (полюс хорды — это точка пересечения касательных к абсолюту в конечных точках хорды). Хорды, проходящие через центр диска, имеют полюс на бесконечности, ортогональный к направлению хорды (отсюда следует, что прямые углы на диаметрах не искажены).
- Окружности в модели становятся эллипсами;
- Орициклам соответствуют эллипс, имеющий с абсолютом соприкосновение порядка 4.
- Эквидистанте прямой соответствуют дуги эллипсов, касающиеся абсолюта в двух абсолютных точках этой прямой.
Литература
- Клейн Ф. О так называемой неевклидовой геометрии. В сборнике: Основания геометрии, М., ГИТТЛ, 1956.
- Шафаревич И. Р., Ремизов А. О. Линейная алгебра и геометрия, гл. XII — Физматлит, Москва, 2009.
Примечания
