Гауссу подумалось, что если геометрия не обязательно должна быть евклидовой, то и реальное окружающее нас пространство тоже не обязано быть евклидовым. Один из способов различить варианты геометрии состоит в том, чтобы сложить углы треугольника. В евклидовой геометрии вы всегда получите 180°. В одном из типов неевклидовой геометрии — в эллиптическом ее варианте — эта сумма всегда превышает 180°; в геометрии другого типа — гиперболической — она всегда меньше этой величины. Точное значение суммы при этом зависит от площади треугольника. Гаусс попытался выяснить истинную форму пространства, измерив треугольник, образованный тремя горными пиками, но не получил убедительного результата. Учитывая, что сделал с математикой Эйнштейн, опираясь на все эти открытия, можно предположить, что на его измерениях сказалось гравитационное притяжение этих гор Гаусса.
Гаусс начал размышлять о количественной оценке кривизны поверхности: можно ли измерить, насколько сильно она изгибается. До того момента поверхность традиционно рассматривалась как граница объемного объекта в евклидовом пространстве. Все не так, сказал Гаусс. Объемный объект не нужен: поверхность может существовать сама по себе. В окружающем евклидовом пространстве, кстати говоря, тоже нет необходимости. Нужно лишь нечто, что определяло бы поверхность, и на его взгляд это нечто — правило для определения расстояния, метрика . Математически метрика — это формула расстояния между любыми двумя точками, очень близкими одна к другой. Зная метрику, можно определить расстояние между любыми двумя точками. Для этого нужно протянуть между ними цепочку из очень близких соседей, определить при помощи формулы, насколько они близки друг другу, сложить все эти маленькие расстояния, а затем выбрать такую цепочку соседей, при которой результат получится минимально возможным. Эта цепочка образует так называемую геодезическую кривую, которая представляет собой кратчайшее расстояние между этими двумя точками. Эта идея привела Гаусса к элегантной, хотя и сложной, формуле для кривизны. Интересно, но в этой формуле никак не задействуется окружающее пространство. Она имеет дело только с поверхностью. Кривизна евклидова пространства равна нулю: оно плоское.
Это натолкнуло на радикальную идею: пространство может быть изогнутым и при этом не загибаться вокруг чего-то. К примеру, сфера, что очевидно, изогнута вокруг объемного шара, поверхностью которого является. Чтобы получить цилиндр, вы берете лист бумаги и сворачиваете по кругу, так что цилиндрическая поверхность изогнута вокруг объемного цилиндра, который она ограничивает. Но Гаусс отказался от такого устаревшего мышления. Он понял, что можно наблюдать кривизну поверхности, не погружая ее в евклидово пространство.
Ему нравилось объяснять это на примере муравья, живущего на поверхности и не способного покинуть ее ни для того, чтобы проникнуть внутрь, ни для того, чтобы подняться в пространство. Все, что знает муравей, — это поверхность. Даже свет заперт на поверхности, он движется вдоль геодезических кривых, — и муравей не видит, что его аналог пространства — его мир — изогнут. Однако он может догадаться о его кривизне, если проведет триангуляционную съемку. Крохотные треугольнички расскажут ему о метрике его Вселенной, а затем он сможет применить формулу Гаусса. Поползав немного по своей поверхности и поизмеряв расстояния, он сможет заключить, что его вселенная искривлена.
Такое представление о кривизне отличается в некоторых отношениях от обычного представления о ней. К примеру, скатанная в трубку газета не искривлена, хотя и выглядит как цилиндр. Чтобы понять почему, взгляните на буквы в заголовке. Мы видим, что они искривлены, но, если говорить о них по отношению к бумаге, их форма остается неизменной. Ничто не растягивается, ничто не сдвигается. Муравей не заметил бы никаких отличий на небольших участках газеты. Если говорить о метрике, газета по-прежнему плоская . На небольших участках она обладает той же геометрией, что характерна для плоскости. Так, углы небольшого треугольника дадут в сумме 180°, если вы измерите их в пределах бумаги. Идеальным инструментом для этого может послужить несжимаемый гибкий транспортир.
Плоская метрика имеет смысл — если, конечно, к ней привыкнуть, — потому что именно благодаря ей вы можете скатать газету в цилиндр. Все расстояния и углы, измеренные в пределах бумаги, останутся прежними. Обитающий на газете муравей не в состоянии локально отличить скатанную в цилиндр газету от плоского листа.
Читать дальше