Валерий Савченко - Начала современного естествознания - концепции и принципы

Начиная с античных времен, многие математики делали тщетные попытки доказать или опровергнуть аксиому о параллельных прямых. Наиболее выдающимся среди математиков, размышлявшим над этой проблемой, был Карл Фридрих Гаусс (1777–1855). В 1813 году Гаусс разрабатывал свой вариант неевклидовой геометрии, но так и не опубликовал ни одной работы, связанной с разрешением этой проблемы, хотя, как отмечают историки математики, ответ он знал, но парадоксальностью этого ответа боялся подорвать свой авторитет великого математика. Слава создателя неевклидовой геометрии принадлежит великому русскому математику Николаю Лобачевскому. Венгерский математик Янош Больяи (1802–1860) разработал свои идеи по неевклидовой геометрии независимо от Лобачевского и несколько позднее.

Лобачевский первым доказал в 1826 г., что аксиома Евклида о параллельных прямых не может быть непротиворечиво согласована с остальными аксиомами евклидовой геометрии, так называемыми аксиомами сочетания, порядка, движения и непрерывности.

Отвергнув аксиому Евклида о параллельных прямых, Лобачевский ввел свою аксиому параллельности, в которой допустил, что через точку, лежащую вне заданной прямой, можно провести не одну, а по крайней мере две (в принципе бесконечное количество) прямых, не пересекающих данную прямую. Это бесконечное множество прямых линий, проходящих через эту точку, ограничено двумя прямыми, которые и считаются параллельными данной прямой. На основе этого допущения Лобачевский построил неевклидовую геометрию, в которой много необычных с точки зрения приверженцев геометрии Евклида выводов. Так, например, математики Ф. Клейн и А. Пуанкаре показали, что за плоскость Лобачевского может быть принята внутренность круга, а за пространство — внутренность шара, тогда как еще несколько раньше, в 1876 г., итальянский математик Э. Бельтрами показал, что геометрии Лобачевского соответствует псевдосфера. Прямыми, согласно Пуанкаре, в этих моделях считаются дуги окружностей, перпендикулярные окружности данного круга. Модель Пуанкаре замечательна тем, что в ней углы Лобачевского изображаются обычными углами. Аналитическое определение геометрии Лобачевского состоит в том, что это есть геометрия пространства постоянной отрицательной кривизны (типа поверхности седла, устанавливаемого на круп лошади). Как следствие этого, сумма углов треугольника в геометрии Лобачевского всегда меньше 180° и стремится к 180° с уменьшением площади треугольника (т. е. сумма углов треугольника в геометрии Лобачевского пропорциональна площади треугольника!). В этой геометрии нет подобных и неконгруэнтных (неравных) треугольников; треугольники равны, если их углы равны, и т. д.

Образ пространства Лобачевского можно условно выразить, представив себе гору неограниченной высоты с идеальными склонами по всей долготе и с гладкой вершиной. С этой вершины тело может соскользнуть вниз по бесконечному числу путей, и ни один из этих путей не пересечется, так что мы имеем в этом случае бесконечное число параллельных (непересекающихся) линий движения.

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

Проблема выбора геометрии, наиболее соответствующей реальному физическому пространству, исследовалась в дальнейшем, уже после Лобачевского, самым великим из учеников Гаусса, Бернхардом Риманом. Риман первым поставил вопрос: что нам достоверно известно о пространстве? Одна из целей Римана состояла в доказательстве того, что аксиомы Евклида являются эмпирическими, а не очевидными истинами. Риман избрал аналитический подход, поскольку геометрические доказательства не свободны от' чувственного опыта, «здравого смысла», способного привести к ошибочным заключениям.