Ломать – не строить. Эйнштейну для построения новой физики требовалась новая геометрия, которая описывала бы искажение пространства. К счастью, Риман (и несколько его последователей) уже все придумали. К несчастью, Эйнштейн не слыхал о Римане – как, впрочем, и почти все остальные. Зато Эйнштейн еще как слыхал о Гауссе.
Эйнштейн помнил свой студенческий курс по инфинитезимальной геометрии, включавший гауссову теорию поверхностей. Эйнштейн обратился к своему другу Марселю Гроссманну, которому в 1905 году посвятил свою докторскую диссертацию. Гроссманн к тому времени трудился на ниве математики в Цюрихе и специализировался как раз по геометрии. Встретившись с Марселем, Эйнштейн воскликнул: «Гроссманн, ты должен мне помочь, иначе я сойду с ума».
Эйнштейн растолковал свои нужды. Копаясь в литературе, Гроссманн обнаружил работы Римана и других по дифференциальной геометрии. Там все было мудрено. И сложно. Совсем не примитивно. Гроссманн доложил: да, нужная математика уже существует, но в ней «чудовищный беспорядок, с которым физикам не следует возиться». Однако повозиться Эйнштейн пожелал. Он нашел инструменты формулировки своей теории. Но попутно выяснил, что Гроссманн прав.
В октябре 1912 года Эйнштейн написал другому своему другу и коллеге-физику Арнольду Зоммерфельду: «…за всю свою жизнь так тяжко я не работал никогда и пропитался великим уважением к математике… по сравнению с этой задачей исходная теория [специальная теория относительности] – детская забава».
Это приключение заняло еще три года, два из которых Эйнштейн трудился в тесном сотрудничестве с Гроссманном. Студент, на чьих конспектах Эйнштейн проскочил учебные годы, теперь стал его наставником. Планк, узнав о замыслах Эйнштейна, сказал ему: «Как старший товарищ, я должен предостеречь вас: для начала у вас ничего не выйдет; а если и выйдет, вам никто не поверит». Но к 1915 году Эйнштейн вернулся в Берлин – по приглашению самого Планка. С тех пор Гроссманн написал совсем немного исследовательских статей и менее чем через десять лет тяжело заболел рассеянным склерозом. Эйнштейн, постигнув необходимое ему, завершил создание теории без него. 25 ноября 1915 года он представил работу под названием «Уравнения поля тяготения» Прусской научной академии. В ней он объявил: «Наконец общая теория относительности завершена как логическая структура».
Как же общая теория относительности описывает природу пространства? Она показывает, как материя и энергия Вселенной влияют на расстояния между ее точками. Пространство, рассматриваемое как множество, есть попросту собрание некоторых элементов – точек. Структура пространства, которую мы называем геометрией, возникает из соотношений между точками, и эти соотношения именуются расстояниями. Привнесенная структура соотносится с исходной так же, как, скажем, телефонная книга со списком домов и карта, определяющая их пространственные связи. Занимаясь картографированием Германии, Гаусс обнаружил, что, определив расстояние между парой точек, можно установить геометрию пространства, а Риман привнес в это наблюдение детали, необходимые Эйнштейну для формулировки его физики в геометрических терминах.
В сухом остатке все сводится к спору двух наших старых друзей – Пифагора и Непифагора. Вспомним, что в евклидовом мире можно померить расстояние между любыми двумя точками, применив теорему Пифагора. Мы попросту накладываем прямоугольную координатную сетку. Назовем координатные оси «восток – запад» и «север – юг». Согласно теореме Пифагора, квадрат расстояния между двумя точками равен сумме квадратов разницы между их положениями относительно оси восток – запад и север – юг.
Как установила Неевклида, в искривленном пространстве это соотношение недействительно. Пифагорову формулу необходимо заменить новой – непифагоровой. В непифагоровой формуле для вычисления расстояний значения разницы вдоль оси север – юг и вдоль оси восток – запад не обязательно считаются одинаково. Более того, возможно, появится и еще одно значение – продукт разнесенности север/юг и восток – запад. Математически говоря, получается: (расстояние)2 = g11 х (разнесенность восток – запад)2 + + g22 х (разнесенность север – юг) + g12 x (разнесенность восток – запад) х (разнесенность север – юг). Числа, обозначенные через g, называются метрикой пространства (а сами факторы g называются компонентами метрики). Поскольку метрика определяет расстояние между двумя точками, она, геометрически говоря, полностью характеризует пространство. Для евклидовой плоскости и прямоугольных координат компоненты метрики попросту g11 = g22 = 1, а g12 = 0. В этом случае формула Непифагора превращается в обычную пифагорову. В других типах пространства компоненты не так просты, и их значения могут варьировать в зависимости от вашего местоположения. В общей теории относительности эти представления обобщены для трех пространственных измерений и, как и в специальной теории, включают время как четвертое измерение (в четырехмерном пространстве метрика имеет десять независимых компонентов).
Работа Эйнштейна 1915 года предъявляла уравнение, описывающее распределение материи в пространстве (и времени) в связи с метрикой четырехмерного пространства-времени. Поскольку метрика определяет геометрию, уравнения Эйнштейна определяют форму пространства-времени. В теории Эйнштейна масса не производит гравитационного воздействия, а меняет пространство-время.
Хотя пространство и время взаимосвязаны, однако, если ограничиться определенными обстоятельствами, как то: малыми скоростями и слабой гравитацией, – пространство и время можно рассматривать более-менее порознь. В таком случае допустимо говорить об одном лишь пространстве и о его кривизне. Согласно теории Эйнштейна, искривление области пространства (усредненное во всех направлениях) определяется массой в этой области.
Как мы уже убедились, искривление отражено в отношении площади круга к его радиусу или объему сферы с таким радиусом. Уравнения Эйнштейна утверждают, что при заданной сферической области пространства с равномерно распределенной в ней материей, измеряемый радиус этой сферы будет меньше ожидаемого (с учетом ее объема) пропорционально значению массы внутри нее. Постоянная в этой пропорции чрезвычайно мала: на каждый грамм массы радиус уменьшается всего на 2,5 х 10–29 сантиметра, т. е. 0,000000000000000000000000000025 см. Для нашей планеты, с допущением равномерности ее плотности, разница в радиусах – 1,5 миллиметра. Для Солнца – полкилометра.
Проявления кривизны пространства-времени на Земле минимальны и лишь недавно получили практическое применение (системы спутниковой навигации, к примеру, чтобы сохранялась синхронизация, требуют релятивистских поправок настройки). Эйнштейн на протяжении многих лет и не предполагал, что изгибание света под действием сил тяготения вообще можно как-то измерить. Но вот наконец решил взглянуть в небо. Эксперимент принципиально прост: дождитесь следующего солнечного затмения и в том месте и в то время, где и когда затмение наблюдается, измерьте положение какой-нибудь звезды, что проявится рядом с Солнцем в процессе затмения (из-за этого затмение и нужно: если Солнце ничто не загораживает, звезду никак не увидать); далее найдите данные о положении этой звезды, скажем, полугодичной давности, когда свет ее достигал ваших глаз, не касаясь нашей родной звезды. Во время затмения проверьте, возникает ли эта звезда там, где «должна», – или слегка «в стороне».
«Слегка» в данном случае – и впрямь слегка: всего 13/4 угловой секунды, или 0,00049°. Сам Ньютон мог бы открыть это явление, хотя его теория предсказывала иное отклонение. К 1915 году Эйнштейн уже сформулировал свои уравнения поля и сделал наилучшее свое предсказание. Первая подлинная проверка общей теории относительности заключалась, таким образом, не в удостоверении изгибания света, а в том, насколько именно он изгибается. Уверенности Эйнштейну хватало.