Рис. 2.3. Боб делает свое домашнее задание на ходу, неторопливо шагая по направлению к школе. Алиса садится в ракету и делает уроки в полете. Если Алисина ракета получает ускорение одним импульсом и затем весь оставшийся путь до школьного звонка в понедельник утром летит по инерции, тогда у Алисы будет больше времени на подготовку домашнего задания, чем у Боба.
Эксперименты Алисы и Боба с замедлением времени помогают проиллюстрировать эйнштейновский принцип эквивалентности. В простейшей форме этот принцип состоит в том, что действие ускорения неотличимо от действия тяготения.
Ключ к разрешению исходной, негравитационной формы парадокса близнецов состоит в том, что именно Алисе приходится испытывать ускорение при развороте для возвращения к Бобу. Если мы позаботимся о том, чтобы это ускорение было медленным и постоянным, а не резким, тогда оно будет эквивалентно тому, что Алиса проведет все свое путешествие в гравитационном поле. Главная же особенность гравитационного варианта парадокса близнецов заключается в том, что Алиса проводит свои выходные в состоянии свободного падения, в то время, как Боб свои – в гравитационном поле. Таким образом, в этих двух версиях парадокса Алиса и Боб, по сути, меняются ролями.
Более рутинный пример принципа эквивалентности – это когда в лифте мы чувствуем себя тяжелее, если лифт с ускорением поднимается вверх, и легче, если он с ускорением опускается. Если лифт с ускорением поднимается в пустом пространстве в отсутствие каких-либо гравитирующих тел поблизости, то наши наблюдения внутри лифта идентичны тем, которые мы проводим, когда лифт остается покоящимся в гравитационном поле Земли. Точно так же, если лифт свободно падает в гравитационном поле Земли, мы испытываем такую же невесомость внутри него, какую мы бы испытывали, если бы свободно висели в пустом космическом пространстве.
Чтобы вернуться обратно к уравнениям Эйнштейна, наберемся храбрости и назовем скорость хода времени ее правильным математическим именем: функция хода. Другими словами, функция хода – это скорость, с которой время идет в любой заданной точке пространства. Правило вычисления функции хода в присутствии произвольно распределенных медленно движущихся масс дается дифференциальным уравнением, похожим на одно из уравнений Максвелла. Зная функцию хода, мы можем затем обратиться к принципу оптимального собственного времени для определения траектории массивного тела под воздействием гравитационного поля.
Дифференциальные уравнения для вычисления функции хода в присутствии медленно движущихся масс являются, вообще говоря, частным случаем одного из уравнений Эйнштейна. Существует еще девять функций, похожих на функцию хода, которые в совокупности полностью определяют форму искривленного пространства-времени, и для каждой из них можно составить эйнштейновское уравнение поля. То, что все эти десять функций совместно определяют, называется метрикой пространства-времени – это правило вычисления расстояния между соседними точками, а также скорости течения времени. Как только мы начинаем говорить о метриках, мы оказываемся на территории дифференциальной геометрии, которая изучает произвольно искривленные поверхности. В общей теории относительности используются и геометрии искривленных поверхностей высших порядков, в том числе искривленного пространства-времени.
Наше обсуждение «обычного» тяготения может создать у вас впечатление, что пространство остается идеально плоским, тогда как время в различных его точках идет с разной скоростью. Это не совсем так. В действительности, в областях, где время идет медленнее, пространство немного «раскрывается». Чтобы понять, что это значит, представьте себе, что Земля заключена в идеальную сферическую оболочку, площадь которой вы можете тщательно измерить. Далее, вы измеряете радиус этой сферы. (Возможно, для этого придется просверлить Землю до самого ее центра, но будем считать, что мы достигли соответствующего уровня техники и можем это сделать.) Естественно, вы обнаружите, что площадь A и радиус r сферы связаны формулой A = 4πr². Однако так как внутри сферы находится Земля, r будет чуть больше относительно A, чем следовало бы из соотношения A = 4πr². Другими словами, объем сферы, заключающей в себе Землю, немного больше объема пустой сферы с той же площадью поверхности. Как и гравитационное красное смещение, расширение пространства вблизи массивных тел проявляется очень слабо, если мы ограничиваем рассмотрение обычным слабым полем тяготения. Фактически оказывается, что наши пространственные измерения (удобным образом определенные) расширяются примерно на ту же величину, на которую замедляется ход времени. Может показаться, что все наши предыдущие рассуждения о падающих телах были неверными, мы ведь предполагали, что гравитационное красное смещение – это только эффект тяготения. Но дело спасает то, что наблюдатели, медленно движущиеся по отношению к гравитирующим телам, гораздо более чувствительны к замедлению времени, чем к расширению пространства. Мы же договорились иметь дело с «обычным тяготением», а в этом случае, в частности, требуется, чтобы никакое гравитирующее тело не имело плотности даже отдаленно сравнимой с той, которая достаточна для образования черной дыры. Чтобы понять, что произойдет, если мы откажемся от этого упрощающего предположения, нам придется глубже влезть в дебри дифференциальной геометрии. Дифференциальная геометрия (по крайней мере, та ее часть, которая нам нужна) стоит на трех китах: метриках, геодезических и кривизне. Все эти понятия можно проиллюстрировать, рассматривая любую искривленную поверхность, например поверхность Земли. Метрика – это просто, потому что тут всё дело в расстоянии; во всяком случае, поначалу кажется, что это просто. Например, мы знаем, что от Вашингтона до Сан-Франциско примерно 2440 миль. Под этим мы подразумеваем, что, если вы проделываете это путешествие по поверхности Земли (или чуть выше поверхности, если вы туда летите), то кратчайшее расстояние от Вашингтона до Сан-Франциско составит 2440 миль. Но если мы будем рассматривать эти города как две точки в пространстве, они окажутся чуть ближе, на расстоянии около 2400 миль. Это незначительное различие связано с тем, что если бы мы могли двигаться сквозь Землю по прямой, мы бы немного выиграли в расстоянии по сравнению с движением по сферической поверхности. Если перемещаешься по поверхности, твой путь неизбежно будет искривлен; чтобы найти полное расстояние, естественно разбить путь на небольшие отрезки, каждый из которых будет почти прямым, а потом сложить все длины этих отрезков. Термин «дифференциальный» относится как раз к этому процессу деления на кусочки и их измерению. Понятие метрики в дифференциальной геометрии и должно помочь нам определить длины кусочков. Если мы хотим вычислить общую длину пути, дифференциальная геометрия предлагает нам просто сложить все длины кусочков, а это упражнение в интегрировании.
Геодезическая на земной поверхности между Вашингтоном и Сан-Франциско – это кратчайший возможный путь для путешественника, передвигающегося по земле. Геодезическая – это не прямая, но она настолько же близка к прямой, насколько может быть к ней близка любая тропинка на поверхности Земли. Называя ее «прямой», мы хотим сказать, что, идя вдоль геодезической из Вашингтона в Сан-Франциско, мы будем идти прямо, никуда не сворачивая. Из-за кривизны Земли этот самый прямой из возможных путей пройдет немного севернее по широте, чем расположен каждый из двух городов. Еще более рельефный пример той же ситуации дают самолеты, летящие, например, из Афин в Сан-Франциско через Северный полюс. Оказывается, кратчайший путь между этими городами лежит над Гренландией, широта которой гораздо выше, чем широта любого из них. (Конечно, самолеты летят над Землей, а не по ее поверхности, но по сравнению с радиусом Земли высотой их полета вполне можно пренебречь, и для наших целей мы вполне можем представить себе, что самолеты летят практически по земной поверхности.)
