Однако в том, что Гаусс и в самом деле много размышлял над неевклидовыми геометриями, сомневаться не приходится
[105]. В дневниковой записи за сентябрь 1799 года он писал: «In principiis geometriae egregios progressus fecimus» («Мы сделали энергичные шаги вперед в области основ геометрии»). В дальнейшем, в 1813 году, он отметил: «В теории параллельных прямых мы сейчас зашли не дальше Евклида. Это partie honteuse [позорная часть] математики, которая рано или поздно должна принять совсем другую форму». Спустя еще несколько лет, 28 апреля 1817 года, он утверждает: «Я все больше и больше прихожу к убеждению, что невозможно доказать, что наша [евклидова] геометрия единственна и неизбежна». Наконец – и в противоположность воззрениям Канта – Гаусс заключил, что евклидову геометрию нельзя считать вселенской истиной и что скорее «придется поставить [евклидову] геометрию не на одну ступень с арифметикой, положение которой априорно, а приблизительно на уровень механики». Подобные выводы сделал независимо и Фердинанд Швейкарт (1780–1859), профессор юриспруденции, о чем он позднее и сообщил Гауссу – примерно в 1818–19 годах. Поскольку ни Гаусс, ни Швейкарт своих результатов не публиковали, традиционно считают, что приоритет принадлежит либо Лобачевскому, либо Бойяи, хотя ни того ни другого нельзя, конечно, считать единственными «творцами» неевклидовых геометрий.
Гиперболическая геометрия поразила мир математики, будто молния, и нанесла сокрушительный удар по восприятию евклидовой геометрии как единственного безошибочного описания пространства. До работ Гаусса-Лобачевского-Бойяи евклидова геометрия и представляла собой, в сущности, мир природы. А когда стало ясно, что можно взять другой, произвольный набор аксиом и построить на нем другой тип геометрии, поначалу это вызвало подозрение, что математика все же плод человеческой изобретательности, а не открытие истин, существующих независимо от человеческого сознания. В то же время коллапс непосредственной связи между евклидовой геометрией и реальным физическим пространством выявил фатальные на первый взгляд недостатки самой идеи математики как языка Вселенной.
Новый удар по привилегированному положению евклидовой геометрии был нанесен, когда один из учеников Гаусса Бернхард Риман показал, что гиперболическая геометрия – не единственно возможная неевклидова геометрия. В блестящей речи, прочитанной в Геттингене 10 июня 1854 года (на рис. 45 показана первая страница опубликованной лекции) Риман представил свои представления «О гипотезе, лежащей в основе геометрии»
[106]. Начинает он с того, что «геометрия предполагает концепцию пространства, а также задает основные принципы построений в пространстве. Она дает лишь номинальные определения этого, в то время как их сущностные характеристики появляются в виде аксиом». Однако Риман отмечает, что «отношения между этими исходными предпосылками остаются неясными, мы не видим, необходима ли связь между ними, и если да, то в какой степени, или даже возможна ли она a priori. Среди возможных геометрических теорий Риман говорил и об эллиптической геометрии – той, какую можно наблюдать на поверхности сферы (рис. 41, с). Отметим, что в такой геометрии кратчайшее расстояние между двумя точками – не прямая линия, а скорее сегмент окружности большого круга, центр которого совпадает с центром сферы. Этим обстоятельством пользуются авиакомпании: полеты из США в Европу следуют не по прямой линии на карте, а скорее по большой окружности, идущей на север. Легко убедиться, что две любые большие окружности пересекаются в диаметрально противоположных точках. Например, два земных меридиана, которые на экваторе кажутся параллельными, на полюсах пересекаются. Таким образом, в отличие от евклидовой геометрии, где через точку вне прямой можно провести лишь одну параллельную этой прямой линию, и гиперболической геометрии, где можно провести как минимум две параллели, в эллиптической геометрии на сфере параллельных линий нет вообще.
Риман сделал и следующий шаг в разработке неевклидовых концепций и представил геометрии в искривленных пространствах с тремя и четырьмя измерениями и даже больше. Одно из важнейших понятий, разработанных Риманом, – это понятие кривизны, скорости искривления кривой или поверхности. Например, поверхность яйца быстрее всего закругляется у заостренного конца. Риман дал и точное математическое определение кривизны в пространстве с любым количеством измерений. При этом он скрепил узы между алгеброй и геометрией, то есть продолжил дело Декарта. В трудах Римана уравнениям с любым числом переменных нашлись геометрические соответствия – и новые понятия из области новых геометрий стали партнерами алгебраических уравнений.
Рис. 45
Высокое положение евклидовой геометрии – не единственная жертва открытий, которые распахнули перед геометрией в XIX веке совершенно новые горизонты. Представления Канта о пространстве долго не продержались. Вспомним, что Кант утверждал, что данные органов чувств организуются исключительно по шаблонам, которые задал Евклид, еще до того, как регистрируются в нашем сознании. Геометры XIX столетия быстро выработали у себя интуитивное понимание неевклидовых геометрий и научились исследовать мир с этой точки зрения. Оказалось, что евклидово восприятие пространства все-таки не интуитивно, ему учатся. Все эти поразительные открытия натолкнули великого французского математика Анри Пуанкаре (1854–1912) на вывод, что аксиомы геометрии – это «не синтетические интуитивные априорные догадки и не экспериментальные факты. Это договоренности (курсив мой. – М. Л.). Какую именно договоренность из всех возможных мы выбираем, зависит от экспериментальных фактов, но это свободный выбор». Иначе говоря, Пуанкаре считал аксиомы и постулаты всего лишь «замаскированными определениями».
Представления Пуанкаре были вдохновлены не только неевклидовыми геометриями, о которых мы только что говорили, но и бурным ростом других новых геометрий, который к концу XIX века, похоже, совершенно вышел из-под контроля (Poincaré 1891). Скажем, в проективной геометрии (проекции получаются, например, если спроецировать на экран изображение на кинопленке) можно буквально менять местами роли точек и линий, так что теоремы о точках и линиях (в этом порядке) становятся теоремами о линиях и точках. В дифференциальной геометрии математики применяют дифференциальное исчисление для изучения локальных геометрических свойств различных математических пространств, например поверхности сферы или тора. По крайней мере, на первый взгляд все эти геометрии и им подобные казались порождением математического вдохновения и воображения, а не точными описаниями физического пространства. Ну и как прикажете в таких условиях отстаивать представление о Боге-математике? Ведь если «Бог всегда остается геометром (пер. Л. Сумм)» (эту фразу приписывал Платону историк Плутарх), которая из множества геометрий соответствует божественным практикам?
