Пятый постулат Евклида стал известен как «аксиома параллельных прямых» во многом благодаря работам шотландского математика Джона Плейфэра. Он предложил иную формулировку пятого постулата; которая хоть и не является полностью логически эквивалентной исходной; играет ту же роль в доказательствах теорем. По версии Плейфэра; на плоскости через точку, не лежащую на данной прямой, можно провести одну, и только одну прямую, параллельную данной.
На протяжении многих веков ученые пытались вывести пятый постулат (в формулировке и Евклида, и Плейфэра) из первых четырех.
Даже известный персидский поэт и философ Омар Хайям не избежал попыток превратить этот постулат в доказанную теорему. В конечном итоге математическое сообщество пришло к выводу, что пятый постулат полностью независим, и отказалось от попыток его доказать.
Когда Эйнштейн изучал учебник геометрии, он и не подозревал о противоречиях и научных спорах вокруг пятого постулата. Более того, он разделял многовековое убеждение, что евклидова геометрия является сакрально-неприкосновенной. Ее аксиомы и теоремы казались такими же незыблемыми, вечными и изящными, как баварские Альпы.
Однако далеко к северу от Мюнхена, в маленьком университетском городке Гёттингене математики решились на смелый эксперимент по изменению геометрии. Каменное святилище мыслительной деятельности стало территорией радикального реформирования математики. Результат этого эксперимента был назван неевклидовой геометрией. Новый подход к геометрии имел еще меньше общего с традиционным, чем психоделические постеры Питера Макса с полотнами Рембрандта. Пока Эйнштейн изучал старые правила для точек, прямых и фигур на плоскости, гениальные математики, в числе которых был Феликс Клейн, приехавший в Гёттинген из Лейпцига, разрабатывали намного более гибкий подход, описывающий геометрические соотношения на искривленных и перекрученных поверхностях. Самое шокирующее его творение, бутылка Клейна, — это нечто напоминающее вазу, в которой внутренняя и внешняя двумерные поверхности соединены изгибом в более высоком измерении. Таких ужасающих фигур-монстров еще не было в учебниках, где нерушимые законы евклидовой геометрии исключали подобные кошмары. Но Клейн показал, что и евклидова и неевклидова геометрии математически равноправны. К1890-м годам его революционное видение открыло когда-то элитный клуб геометрических фигур не только для треугольников и квадратов, но и для настоящих «монстров».
Несмотря на это, неевклидова геометрия не такая уж и либеральная. Как и у предшественницы, у нее есть свои ограничения. Суть неевклидовой геометрии заключается в том, чтобы заменить аксиому параллельных прямых новым утверждением, но оставить при этом остальные постулаты неизменными. Раз аксиома параллельных независима, то она в некотором смысле заменяема, что делает возможным новые варианты геометрии.
Первым, кто предложил идею неевклидовой геометрии, был Карл Фридрих Гаусс, хотя он и не рискнул опубликовать свои ранние соображения[2]. В версии Гаусса, которую позже Клейн назвал «гиперболической геометрией», аксиома параллельности заменена утверждением о том, что через точку, не лежащую на данной прямой, можно провести неограниченное число прямых, параллельных данной прямой. Представьте, что вы крепко сжали в руке бумажный веер прямо над длинным узким столом. Если стол — это прямая, а ваша рука — точка, не лежащая на прямой, то складки веера показывают множество прямых, которые не пересекают исходную прямую. Термин «гиперболическая» происходит оттого, что расхождение параллельных прямых напоминает то, как расходятся ветви гиперболы.
Гаусс заметил любопытное свойство треугольников в гиперболической геометрии: сумма их углов была меньше 180°. Это отличает гиперболическую геометрию от евклидовой, где сумма углов треугольника всегда равна 180°. Например, в равнобедренном прямоугольном треугольнике два угла равны 45°, а третий — 90°. Талантливый художник М. К. Эшер вдохновился этим различием для создания любопытных узоров из искаженных не-180-градусных треугольников, существующих в гиперболической реальности.
Можно попробовать проиллюстрировать гиперболическую геометрию следующим образом: представьте себе точки, прямые и геометрические фигуры, расположенные не на плоскости, а на поверхности в форме седла или, если эпикурейские удовольствия вам ближе, в форме изогнутых картофельных чипсов. Из-за формы седла находящиеся рядом прямые будут расходиться друг от друга. Как бы им ни «хотелось» идти прямо, они будут отклоняться друг от друга и никогда не встретятся. Это приводит к тому, что через данную точку вы можете провести неограниченное число прямых, не пересекающих прямую, лежащую в стороне от данной точки. Кроме того, седловая форма поверхности «сжимает» треугольники; делая сумму их углов меньше 180°.
Другая версия неевклидовой геометрии впервые была предложена студентом Гаусса Бернхардом Риманом в 1854 году и опубликована в 1867 году. Она стала известна под названием «эллиптическая геометрия»; которое предложил Клейн. В этой геометрии аксиома параллельных заменена утверждением; полностью исключающим возможность существования непересекающихся прямых. Она говорит о том; что через данную точку, не лежащую на данной прямой; невозможно провести ни одной прямой; не пересекающейся с данной. Другими словами; все прямые; проходящие через точку, не лежащую на данной прямой; должны пересекать эту прямую где-то в пространстве. Риман показал; что таким свойством обладают прямые на поверхности сферы.
Если отсутствие параллельных прямых кажется вам странным; представьте себе Землю. Каждый меридиан пересекается со всеми остальными на Северном и Южном полюсах. То есть если какой-нибудь амбициозный путешественник начнет свой путь из центра Торонто строго на север; прямо по Янг-стрит; главной улице города; потом наймет собачью упряжку и ледокол и продолжит свой путь на Северный полюс; в то время как его сестра в это же самое время пойдет по аналогичному маршруту, только из Москвы, то вначале их пути будут казаться параллельными, но, несмотря на это, родственники неизбежно встретятся.
Любопытно, что такой запрет существования параллельных прямых повлиял на свойства треугольников иным образом. В эллиптической геометрии сумма углов треугольника превышает 180°. Возможен, например, треугольник, все углы которого прямые, а сумма углов равна 270°. Примером может служить треугольник, составленный из нулевого и 90-градусного меридианов, а также из соединяющей их части экватора. У такого треугольника все три стороны будут пересекаться под прямыми углами.
Риман разработал очень сложный математический аппарат для анализа кривых поверхностей произвольной размерности. Такие поверхности получили название многообразия. Риман показал, как строго математически обнаружить разницу между кривой и плоской поверхностями. Для этого он ввел тензор кривизны. Тензор — это математический объект, который преобразуется определенным образом при переходе в другую систему координат. Риман показал, что существует три типа пространств: пространства положительной кривизны, пространства отрицательной кривизны и пространства нулевой кривизны. Они соответствуют эллиптической, гиперболической и евклидовой (плоской) геометриям.
Людям, далеким от математики, неевклидова геометрия кажется абстрактной и противоестественной. В конце концов, здравый смысл подсказывает, что параллельность — это что-то про две прямые, которые никогда не пересекутся. Если при параллельной парковке вы врежетесь в другую машину, то вряд ли полиция сделает скидку на неевклидовость. Детям в школе объясняют, что сумма углов треугольника равна 180°. Зачем же усложнять геометрию, изменяя ее основополагающие принципы?
По мере развития своих идей, но еще до создания общей теории относительности Эйнштейн и сам задавался этим вопросом, однако традиции евклидовой геометрии, усвоенные еще на школьной скамье, прочно владели его мыслями. Эйнштейн обсуждал свои идеи с другом семьи и студентом медицинского университета Максом Талми (Талмудом), который часто заходил к нему в гости, и Талми был поражен глубиной суждений столь молодого юноши о математике, природе и других материях.
Эйнштейн узнал о неевклидовой геометрии уже в университете. Будучи все еще привязанным к своему детскому учебнику, он не уделил ей особого внимания, посчитав не важной для науки. Намного позже, находясь под влиянием университетского друга Марселя Гроссмана, он осознал важность неевклидовой геометрии. Введя неевклидову геометрию в область теоретической физики, Эйнштейн невероятным образом изменил эту науку[3]. Двенадцатилетний мальчик, прижимающий к груди учебник геометрии, еще не знал, что своими руками перепишет законы физики в такой формулировке, которая сделает этот учебник неактуальным.
