Большая Советская Энциклопедия (ЛО) - [6]

  Вопрос о V постулате Евклида, занимавший геометров более двух тысячелетий, был решен Лобачевским. Это решение сводится к тому, что постулат не может быть доказан на основе др. посылок евклидовой геометрии и что допущение постулата, противоположного постулату Евклида, позволяет построить геометрию столь же содержательную, как и евклидова, и свободную от противоречий. Лобачевский сделал об этом сообщение в 1826, а в 1829—30 напечатал работу «О началах геометрии» с изложением своей теории. В 1832 была опубликована работа венгерского математика Я. Больяй аналогичного содержания. Как выяснилось впоследствии, немецкий математик К. Ф. Гаусс также пришёл к мысли о возможности существования непротиворечивой неевклидовой геометрии, но скрывал её, опасаясь быть непонятым. Хотя Л. г. развивалась как умозрительная теория и сам Лобачевский называл её «воображаемой геометрией», тем не менее именно Лобачевский рассматривал её не как игру ума, а как возможную теорию пространственных отношений. Однако доказательство её непротиворечивости было дано позже, когда были указаны её интерпретации и тем полностью решен вопрос о её реальном смысле, логической непротиворечивости.

  Интерпретации (модели) геометрии Лобачевского. Л. г. изучает свойства «плоскости Лобачевского» (в планиметрии) и «пространства Лобачевского» (в стереометрии). Плоскость Лобачевского — это плоскость (множество точек), в которой определены прямые линии, а также движения фигур (вместе с тем — расстояния, углы и пр.), подчиняющиеся всем аксиомам евклидовой геометрии, за исключением аксиомы о параллельных, которая заменяется указанной выше аксиомой Лобачевского. Сходным образом определяется пространство Лобачевского. Задача выяснения реального смысла Л. г. состояла в нахождении моделей плоскости и пространства Лобачевского, т. е. в нахождении таких объектов, в которых реализовались бы соответствующим образом истолкованные положения планиметрии и стереометрии Л. г. (об интерпретации вообще см. Геометрия, раздел Истолкования геометрии). Итальянский математик Э. Бельтрами в 1868 заметил, что геометрия на куске плоскости Лобачевского совпадает с геометрией на поверхностях постоянной отрицательной кривизны, простейший пример которых представляет псевдосфера (рис. 2). Если точкам и прямым на конечном куске плоскости Лобачевского сопоставлять точки и кратчайшие линии (геодезические) на псевдосфере и движению в плоскости Лобачевского сопоставлять перемещение фигуры по псевдосфере с изгибанием, т. е. деформацией, сохраняющей длины, то всякой теореме Л. г. будет отвечать факт, имеющий место на псевдосфере. Т. о., Л. г. получает простой реальный смысл. При этом длины, углы, площади понимаются в смысле естественного измерения их на псевдосфере. Однако здесь даётся интерпретация только геометрии на куске плоскости Лобачевского, а не на всей плоскости и тем более не в пространстве (в 1901 Д. Гильберт доказал даже, что вообще в евклидовом пространстве не может существовать регулярной поверхности, геометрия на которой совпадает с геометрией всей плоскости Лобачевского).

  В 1871 Ф. Клейн указал ту модель как всей плоскости, так и пространства Лобачевского, которая была описана выше и в которой плоскостью служит внутренность круга, а пространством — внутренность шара. Между прочим, в этой модели расстояние между точкам (рис. 1) определяется как

; угол — ещё сложнее.

  Позже А. Пуанкаре в связи с задачами теории функций комплексного переменного дал другую модель. За плоскость Лобачевского принимается внутренность круга (рис. 3), прямыми считаются дуги окружностей, перпендикулярных окружности данного круга, и его диаметры, движениями — преобразования, получаемые комбинациями инверсий относительно окружностей, дуги которых служат прямыми. Модель Пуанкаре замечательна тем, что в ней углы изображаются обычными углами. Исходя из таких соображений, можно строить модель Л. г. в пространстве.

  Коротко модели Клейна и Пуанкаре можно определить так. В обоих случаях плоскостью Лобачевского может служить внутренность круга (пространством — внутренность шара), и Л. г. есть учение о тех свойствах фигур внутри круга (шара), которые в случае модели Клейна не изменяются при проективных, а в случае модели Пуанкаре — при конформных преобразованиях круга (шара) самого в себя (проективные преобразования есть те, которые переводят прямые в прямые, конформные — те, которые сохраняют углы).

  Возможно чисто аналитическое определение модели Л. г. Например, точки плоскости можно определять как пары чисел х, у, прямые можно задавать уравнениями, движения — формулами, сопоставляющими точкам (х, у) новые точки (х', y’). Это будет абстрактно определённая аналитическая геометрия на плоскости Лобачевского, аналогично аналитической геометрии на плоскости Евклида. Т. к. Лобачевский дал основы своей аналитической геометрии, то тем самым он уже фактически наметил такую модель, хотя полное её построение выяснилось уже после того, как на основе работ Клейна и других выявилось само понятие о модели. Другое аналитическое определение Л. г. состоит в том, что Л. г. определяется как геометрия риманова пространства постоянной отрицательной кривизны (см.