Истина и красота. Всемирная история симметрии

Таким образом решился вопрос с электричеством и магнетизмом — двумя фундаментальными силами в природе. Но одна фундаментальная сила по-прежнему не была включена в описание — гравитация. Пытаясь развить более общую теорию, включающую гравитацию, и снова опираясь на тот принцип, что законы природы должны быть симметричны, Эйнштейн пришел к общей теории относительности — к идее, что само пространство-время искривлено и что его кривизна соответствует массе. Из этих идей выросла наша современная космология Большого Взрыва, согласно которой вселенная возникла из крошечной крупинки около 13 миллиардов лет назад, а также замечательная концепция черных дыр — объектов столь массивных, что свет не может вырваться из их гравитационного поля.

Общая теория относительности восходит к ранним работам по неэвклидовой геометрии, которые привели Гаусса к идее «метрики» — формулы для расстояния между любыми двумя точками. Новые геометрии возникают, когда эта формула не является классической эвклидовой формулой, отвечающей теореме Пифагора. Коль скоро такая формула подчиняется нескольким простым правилам, она определяет осмысленную концепцию «расстояния». Основное правило состоит в том, что расстояние от одной точки A до другой точки не может стать меньше, если по дороге пройти через какую-то промежуточную точку B. Другими словами, расстояние от A до C меньше чем или равно сумме расстояний от A до B и от B до C. Это — «неравенство треугольника», называемое так потому, что в эвклидовой геометрии оно утверждает: любая сторона треугольника короче, чем сумма двух других его сторон.

Пифагорова формула выполнена в эвклидовой геометрии, то есть там, где пространство является «плоским». Так что когда метрика отличается от эвклидовой, можно приписать это различие некоторой «кривизне» пространства. Это можно представлять себе как изгибание пространства, но на самом деле это не идеальная картина, потому что тогда потребуется большее пространство, в котором исходному предстоит изогнуться. Лучше думать о «кривизне» таким образом, как будто области пространства или сжаты, или растянуты, так что изнутри кажется, что они вмещают меньше (или больше), чем снаружи. (Фанаты британского телесериала Doctor Who вспомнят Тардис — космический корабль и машину времени, которая изнутри больше, чем снаружи.) Блестящий ученик Гаусса Риман обобщил идею метрики с размерности два на любое число измерений и модифицировал идею таким образом, что расстояния стало возможно определять локально — для точек, расположенных очень близко друг к другу. Такая геометрия называется Римановым многообразием, и она представляет собой наиболее общий вид искривленного пространства.

Физика происходит не в пространстве, а в пространстве-времени, где, согласно Эйнштейну, естественная «плоская» геометрия есть не геометрия Эвклида, а геометрия Минковского. Время входит в формулу для «расстояния» иначе, нежели пространство. Такое геометрическое устройство представляет собой искривленное пространство-время. Оно оказалось именно тем, что заказывал патентный служащий.

Эйнштейн долго бился, изобретая свои уравнения общей теории относительности. Сначала он исследовал, как свет распространяется в гравитационном поле, и это привело его к мысли положить в основу единый фундаментальный принцип — принцип эквивалентности. В ньютоновской механике гравитация проявляет себя как сила, притягивающая все тела друг к другу. Силы вызывают ускорение. Принцип эквивалентности утверждает, что ускорение всегда неотличимо от эффектов, вызванных подходящим гравитационным полем. Другими словами, способ включить гравитацию в теорию относительности состоит в том, чтобы понять ускорение.

К 1912 году Эйнштейн убедился, что теория гравитации не может быть симметричной относительно всех преобразований Лоренца; симметрия такого вида применима точно и повсюду, только когда отсутствует материя, гравитация нулевая, а пространство-время является пространством-временем Минковского. Отбросив это требование «лоренцевой инвариантности», он избежал массы бесплодных усилий. «Единственная вещь, в которую я твердо верил, — писал он в 1950 году, — состояла в том, что в фундаментальные уравнения надо было включить принцип эквивалентности». Но он осознавал и пределы этого принципа: он должен быть верен только локально, как некое инфинитезимальное приближение к истинной теории[62].