Возникновение геометрии Лобачевского.Источником Л. г. послужил вопрос об аксиоме о параллельных, которая известна также как V постулат Евклида (под этим номером утверждение, эквивалентное приведённой выше аксиоме о параллельных, фигурирует в списке постулатов в «Началах» Евклида ). Этот постулат, ввиду его сложности в сравнении с другими, вызвал попытки дать его доказательство на основании остальных постулатов.
Вот неполный перечень учёных, занимавшихся доказательством V постулата до 19 в.: древнегреческий математики Птолемей (2 в.), Прокл (5 в.) (доказательство Прокла основано на предположении о конечности расстояния между двумя параллельными), Ибн аль-Хайсам из Ирака (конец 10 — начало 11 вв.) (Ибн аль-Хайсам пытался доказать V постулат, исходя из предположения, что конец движущегося перпендикуляра к прямой описывает прямую линию), таджикский математик Омар Хайям (2-я половина 11 — начало 12 вв.), азербайджанский математик Насирэддин Туей (13 в.) (Хайям и Насирэддин при доказательстве V постулата исходили из предположения, что две сходящиеся прямые не могут при продолжении стать расходящимися без пересечения), немецкий математик К. Клавий (Шлюссель, 1574), итальянские математики П. Катальди (впервые в 1603 напечатавший работу, целиком посвященную вопросу о параллельных), Дж. Борелли (1658), Дж. Витале (1680), английский математик Дж. Валлис (1663, опубликовано в 1693) (Валлис основывает доказательство V постулата на предположении, что для всякой фигуры существует ей подобная, но не равная фигура). Доказательства перечисленных выше геометров сводились к замене V постулата др. предположением, казавшимся более очевидным. Итальянский математик Дж. Саккери (1733) сделал попытку доказать V постулат от противного. Приняв предложение, противоречащее постулату Евклида, Саккери развил из него довольно обширные следствия. Ошибочно признав некоторые из этих следствий приводящими к противоречиям, Саккери заключил, что постулат Евклида доказан. Немецкий математик И. Ламберт (около 1766, опубликовано в 1786) предпринял аналогичные исследования, однако он не повторил ошибки Саккери, а признал своё бессилие обнаружить в построенной им системе логическое противоречие. Попытки доказательства постулата предпринимались и в 19 в. Здесь следует отметить работы французского математика А. Лежандра; одно из его доказательств (1800) основано на допущении, что через каждую точку внутри острого угла можно провести прямую, пересекающую обе стороны угла, т. е., как и все его предшественники, он заменил постулат др. допущением. Довольно близко к построению Л. г. подошли немецкие математики Ф. Швейкарт (1818) и Ф. Тауринус (1825), однако ясно выраженной мысли о том, что намечаемая ими теория будет логически столь же совершенна, как и геометрия Евклида, они не имели.
Вопрос о V постулате Евклида, занимавший геометров более двух тысячелетий, был решен Лобачевским. Это решение сводится к тому, что постулат не может быть доказан на основе др. посылок евклидовой геометрии и что допущение постулата, противоположного постулату Евклида, позволяет построить геометрию столь же содержательную, как и евклидова, и свободную от противоречий. Лобачевский сделал об этом сообщение в 1826, а в 1829—30 напечатал работу «О началах геометрии» с изложением своей теории. В 1832 была опубликована работа венгерского математика Я. Больяй аналогичного содержания. Как выяснилось впоследствии, немецкий математик К. Ф. Гаусс также пришёл к мысли о возможности существования непротиворечивой неевклидовой геометрии, но скрывал её, опасаясь быть непонятым. Хотя Л. г. развивалась как умозрительная теория и сам Лобачевский называл её «воображаемой геометрией», тем не менее именно Лобачевский рассматривал её не как игру ума, а как возможную теорию пространственных отношений. Однако доказательство её непротиворечивости было дано позже, когда были указаны её интерпретации и тем полностью решен вопрос о её реальном смысле, логической непротиворечивости.
Интерпретации (модели) геометрии Лобачевского.Л. г. изучает свойства «плоскости Лобачевского» (в планиметрии) и «пространства Лобачевского» (в стереометрии). Плоскость Лобачевского — это плоскость (множество точек), в которой определены прямые линии, а также движения фигур (вместе с тем — расстояния, углы и пр.), подчиняющиеся всем аксиомам евклидовой геометрии, за исключением аксиомы о параллельных, которая заменяется указанной выше аксиомой Лобачевского. Сходным образом определяется пространство Лобачевского. Задача выяснения реального смысла Л. г. состояла в нахождении моделей плоскости и пространства Лобачевского, т. е. в нахождении таких объектов, в которых реализовались бы соответствующим образом истолкованные положения планиметрии и стереометрии Л. г. (об интерпретации вообще см. Геометрия, раздел Истолкования геометрии). Итальянский математик Э. Бельтрами в 1868 заметил, что геометрия на куске плоскости Лобачевского совпадает с геометрией на поверхностях постоянной отрицательной кривизны, простейший пример которых представляет псевдосфера ( рис. 2 ). Если точкам и прямым на конечном куске плоскости Лобачевского сопоставлять точки и кратчайшие линии (геодезические) на псевдосфере и движению в плоскости Лобачевского сопоставлять перемещение фигуры по псевдосфере с изгибанием, т. е. деформацией, сохраняющей длины, то всякой теореме Л. г. будет отвечать факт, имеющий место на псевдосфере. Т. о., Л. г. получает простой реальный смысл. При этом длины, углы, площади понимаются в смысле естественного измерения их на псевдосфере. Однако здесь даётся интерпретация только геометрии на куске плоскости Лобачевского, а не на всей плоскости и тем более не в пространстве (в 1901 Д. Гильберт доказал даже, что вообще в евклидовом пространстве не может существовать регулярной поверхности, геометрия на которой совпадает с геометрией всей плоскости Лобачевского).
Читать дальше
