logo search
8

Неевклидова геометрия

К 1800 г. математика покоилась на двух "китах" – на числовой системе и евклидовой геометрии. Так как многие свойства числовой системы доказывались геометрически, евклидова геометрия была наиболее надежной частью здания математики. Тем не менее, аксиома о параллельных содержала утверждение о прямых, простирающихся в бесконечность, которое не могло быть подтверждено опытом. Даже версия этой аксиомы, принадлежащая самому Евклиду, вовсе не утверждает, что какие-то прямые не пересекутся. В ней, скорее, формулируется условие, при котором они пересекутся в некоторой конечной точке. Столетиями математики пытались найти аксиоме о параллельных соответствующую подходящую замену. Но в каждом варианте непременно оказывался какой-нибудь пробел. Честь создания неевклидовой геометрии выпала Н.И.Лобачевскому (1792 – 1856) и Я. Бойяи (1802 – 1860), каждый из которых независимо опубликовал свое собственное оригинальное изложение неевклидовой геометрии. В их геометриях через данную точку можно было провести бесконечно много параллельных прямых. В геометрии Б. Римана (1826 – 1866) через точку вне прямой нельзя провести ни одной параллельной.

О физических приложениях неевклидовой геометрии никто серьезно не помышлял. Создание А.Эйнштейном (1879 – 1955) общей теории относительности в 1915 г. пробудило научный мир к осознанию реальности неевклидовой геометрии.

Неевклидова геометрия стала наиболее впечатляющим интеллектуальным свершением 19 в. Она ясно продемонстрировала, что математику нельзя более рассматривать как свод непререкаемых истин. В лучшем случае математика может гарантировать достоверность доказательства на основе недостоверных аксиом. Но зато математики впредь обрели свободу исследовать любые идеи, которые могли показаться им привлекательными. Каждый математик в отдельности был теперь волен вводить свои собственные новые понятия и устанавливать аксиомы по своему усмотрению, следя лишь за тем, чтобы проистекающие из аксиом теоремы не противоречили друг другу. Грандиозное расширение круга математических исследований в конце прошлого века по существу явилось следствием этой новой свободы.