Рис. 2.4. Конус не имеет внутренней кривизны – любой лист бумаги легко можно свернуть в кулек. Поэтому когда мы рисуем треугольник со сторонами, являющимися отрезками геодезических, сумма его углов будет равна 180°.
У того же треугольника, нарисованного на листе до его сворачивания в кулек, стороны представляют собой обычные отрезки прямых. А вот у сферы есть положительная внутренняя кривизна, и поэтому у треугольника, стороны которого образуются отрезками геодезических, сумма углов будет больше 180°.
Идея кривизны поначалу выглядит очень просто: мы все понимаем, как искривлена поверхность земного шара. Но в действительности в понятии кривизны, в той его форме, в какой оно чаще всего используется в дифференциальной геометрии (и которая необходима в теории относительности), есть один очень тонкий момент. Чтобы понять, в чем он состоит, рассмотрим различие между конусом и сферой. Обе эти поверхности искривлены, но по-разному. Плоский лист бумаги можно скрутить в конус без растяжения, а со сферой так не получится: если вы хотите покрыть сферу плоским листом бумаги, придется его смять или разорвать. Поэтому мы говорим, что сфера «внутренне искривлена», а конус «внутренне плоский» (если не считать его кромки и вершины). И сфера, и конус обладают «внешней кривизной», что попросту означает, что у них кривые поверхности в трехмерном пространстве. В теории относительности всё дело как раз в наличии внутренней кривизны. Чтобы сосредоточиться на этом параметре искривленных поверхностей, мы ограничимся такими вопросами, на которые можно получить ответ при помощи одних только измерений, производимых на поверхности. При таком подходе мы скажем, что расстояние от Вашингтона до Сан-Франциско равно 2440 миль, и не будем при этом задумываться о более коротком прямом пути между ними сквозь Землю.
Чтобы еще лучше понять геометрию внутренне искривленных поверхностей, надо задуматься о треугольниках, стороны которых образованы геодезическими. В плоской двумерной геометрии сумма углов при вершинах любого такого треугольника будет равна 180°. При наличии положительной внутренней кривизны, такой как кривизна земной поверхности, сумма углов будет больше 180°. Оказывается, есть такие искривленные поверхности (похожие по форме на шейку песочных часов), на которых треугольники, составленные из геодезических, будут иметь сумму углов меньше 180°. Это случай отрицательной внутренней кривизны.
Теперь, когда мы обрисовали главные идеи дифференциальной геометрии, посмотрим, как они обобщаются на четырехмерное пространство-время в общей теории относительности.
Используемая в ней метрика немного сложнее, чем метрика на поверхности Земли, так как задачи у этих метрик разные: вторая определяет расстояние между двумя пространственно разделенными событиями, а первая – время, протекшее между событиями, разделенными во времени. Временной интервал между разделенными во времени событиями в точности равен времени, протекшему для свободно падающего наблюдателя между моментами наблюдения одного и другого события в предположении, что оба события происходят в одной и той же точке в системе отсчета наблюдателя. Осмыслить пространственно разделенные события сложнее: по определению эти события разделены таким расстоянием, что наблюдатель, движущийся медленнее света, не может наблюдать их оба в одной и той же точке в своей системе отсчета. Для статического (то есть не изменяющегося со временем) пространства-времени можно определить расстояние между пространственно разделенными событиями через продолжительность распространения сигнала от одного из них до другого. Для общей теории относительности понятие метрики служит основополагающим: решения уравнений Эйнштейна не что иное, как метрика пространства-времени. Все наше обсуждение черных дыр в главах 3 и 4 будет строиться на особых метриках пространства-времени, известных как решения Шварцшильда и Керра.
Как мы уже упоминали, метрика в общей теории относительности определяется десятью функциями; одна из них является, в сущности, функцией хода, из которой можно определить скорость течения времени. Еще одна функция из десяти показывает, как «раскрывается» пространство в присутствии массивных тел. Остальные восемь функций описывают различные искажения пространства-времени – как в «комнате смеха», где ваше отражение растягивается то в одном, то в другом направлении. Все эти десять функций можно объединить в так называемый метрический тензор, обозначаемый обычно gµν , – не путать с тензором Эйнштейна Gµν!
Геодезические в теории относительности тоже несколько более сложные, чем на кривых поверхностях, отчасти потому, что они бывают трех разновидностей. Пространственноподобная геодезическая – это кратчайший путь между двумя пространственно разделенными точками, как прямое шоссе из Вашингтона в Сан-Франциско. Но, в отличие от шоссе, пространственноподобная геодезическая – это путь, которым не сможет пройти ни один наблюдатель: чтобы сделать это, он должен двигаться быстрее света. На первый взгляд это выглядит абсурдно: возможно ли, чтобы нельзя было пройти кратчайшим путем из одной точки в другую? Дело в том, что геодезическая в пространстве-времени определяет не только куда вы должны отправиться, но и когда вы должны туда добраться. Хороший пример пространст-венноподобной геодезической – это отрезок прямой при постоянном времени между двумя точками в пространстве Минковского. «Следовать» этой геодезической означало бы, что вы прибываете в пункт назначения в тот же момент, в который покидаете пункт отправления, что, разумеется, невозможно.
Второй тип геодезической – времениподобная: это траектория, по которой естественно движутся массивные тела, если на них не действуют никакие силы, кроме тяготения. Пример такой геодезической – баллистическая траектория движения Алисы в гравитационном поле и свободный полет Боба в пространстве, где не действует гравитация. Времениподобные геодезические максимизируют собственное время, как мы уже видели при нашем обсуждении нескольких версий парадокса близнецов. В самом деле, принцип оптимального собственного времени получает свое полное выражение в требовании, чтобы массивные тела в пространстве-времени произвольной кривизны двигались по времениподобным геодезическим.
В общей теории относительности есть и еще один тип геодезической – нулевая. По такой траектории естественно движется световой луч в искривленном пространстве-времени. Иногда геодезические в общей теории относительности называют «пространственно-временными геодезическими», чтобы подчеркнуть, что они содержат информацию как о времени, так и о пространстве. Но на практике большинство людей говорит просто «геодезическая», и мы впредь будем придерживаться этой сокращенной терминологии.
Рис. 2.5. Земля заставляет пространство деформироваться, что на рисунках часто изображается линиями, прогибающимися вниз. Пространство действительно искривляется вблизи массивного тела, но эта кривизна внутренняя: она соответствует искажению пространства внутри себя, а не его изгибу в какое-то дополнительное измерение.
