Новый ум короля: О компьютерах, мышлении и законах физики
Шрифт:
Но насколько хороша такая терминология? Что обычно понимают под «геодезической» линией? Рассмотрим аналогию для двумерной искривленной поверхности. Геодезическими называются такие кривые, которые на данной поверхности (локально) служат «кратчайшими маршрутами». Иначе говоря, если представить себе отрезок нити, натянутый на указанную поверхность (и не слишком длинный, чтобы он не мог соскользнуть), то нить расположится вдоль некоторой геодезической линии на поверхности.
Рис. 5.28.Геодезические линии в искривленном пространстве: линии сходятся в пространстве с положительной кривизной, и расходятся — в пространстве с отрицательной кривизной
На рис. 5.28 я привел два примера поверхностей: первая (слева) — поверхность так называемой «положительной кривизны» (как поверхность сферы), вторая — поверхность «отрицательной кривизны» (седловидная поверхность). На поверхности положительной кривизны две соседние геодезические линии, выходящие из начальных точек параллельно друг другу, начинают впоследствии изгибаться навстречудруг другу; а на поверхности отрицательной кривизны они изгибаются
Если мы представим себе, что мировые линии свободно падающих частиц в некотором смысле ведут себя как геодезические линии на поверхности, то окажется, что существует тесная аналогия между гравитационным приливным эффектом, о котором шла речь выше, и эффектами кривизны поверхности — причем как положительной кривизны, так и отрицательной. Взгляните на рис. 5.25, 5.27. Мы видим, что в нашем пространстве-времени геодезические линии начинают расходитьсяв одном направлении (когда они «выстраиваются» в сторону Земли) — как это происходит на поверхности отрицательнойкривизны на рис. 5.28 — и сближатьсяв других направлениях (когда они смещаются горизонтально относительно Земли) — как на поверхности положительнойкривизны на рис. 5.28. Таким образом, создается впечатление, что наше пространство-время, как и вышеупомянутые поверхности, тоже обладает «кривизной», только более сложной, поскольку из-за высокой размерности пространства-времени при различных перемещениях она может носить смешанный характер, не будучи ни чисто положительной, ни чисто отрицательной.
Отсюда следует, что понятие «кривизны» пространства-времени может быть использовано для описания действия гравитационных полей. Возможность использования такого описания в конечном счете следует из интуитивного открытия Галилея (принципа эквивалентности) и позволяет нам исключить гравитационную «силу» с помощью свободного падения. Действительно, ничто из сказанного мной до сих пор не выходит за рамки ньютонианской теории. Нарисованная только что картина дает просто переформулировкуэтой теории [127] . Но когда мы пытаемся скомбинировать новую картину с тем, что дает предложенное Минковским описание специальной теории относительности — геометрии пространства-времени, которая, как мы знаем, применяется в отсутствиегравитации — в игру вступает новая физика. Результат этой комбинации — общая теория относительностиЭйнштейна.
127
Математическое описание этой переформулировки ньютоновской теории впервые было выполнено замечательным французским математиком Эли Картаном [1923], которое, разумеется, последовало после открытия общей теории относительности Эйнштейна.
Напомним, чему учил нас Минковский. Мы имеем (в отсутствие гравитации) пространство-время, наделенное особого рода мерой «расстояния» между точками: если мы имеем в пространстве-времени мировую линию, описывающую траекторию какой-нибудь частицы, то «расстояние» в смысле Минковского, измеряемое вдоль этой мировой линии, дает время , реально прожитое частицей. (В действительности, в предыдущем разделе мы рассматривали это «расстояние» только для тех мировых линий, которые состоят из прямолинейных отрезков — но приведенное выше утверждение справедливо и по отношению к искривленным мировым линиям, если «расстояние» измеряется вдоль кривой.) Геометрия Минковского считается точной, если нет гравитационного поля, т. е. если у пространства-времени нет кривизны. Но при наличии гравитации мы рассматриваем геометрию Минковского уже лишь как приближенную — аналогично тому, как плоская поверхность лишь приблизительно соответствует геометрии искривленной поверхности. Вообразим, что, изучая искривленную поверхность, мы берем микроскоп, дающий все большее увеличение — так, что геометрия искривленной поверхности кажется все больше растянутой. При этом поверхность будет нам казаться все более плоской. Поэтому мы говорим, что искривленная поверхность имеет локальное строение евклидовой плоскости [128] . Точно так же мы можем сказать, что при наличии гравитации пространство-время локально описывается геометрией Минковского (которая есть геометрия плоского пространства-времени), но мы допускаем некоторую «искривленность» на более крупных масштабах (рис. 5.29).
128
Искривленные пространства — в том числе и многомерные — являющиеся в этом смысле локально евклидовыми, называются римановыми многообразиями в честь великого Бернгарда Римана A826-1866), который первым исследовал такие пространства, опираясь в своих изысканиях на раннюю работу Гаусса, посвященную двумерному случаю. Здесь нам понадобится существенно модифицировать идеи Римана, вводя допущение о возможности замены локально евклидовой геометрии на геометрию Минковского. Такие пространства часто принято называть лоренцевыми многообразиями (принадлежащими к классу так называемых псевдоримановых , или, что менее логично, полуримановых многообразий).
Рис. 5.29.Картина искривленного пространства-времени
В частности, как и в пространстве Минковского, любая точка пространства-времени является вершиной светового конуса— но в данном случае эти световые конусы расположены уже не одинаково. В главе 7 мы познакомимся с отдельными моделями пространства-времени, в которых явно видна эта неоднородность расположения световых конусов (см. рис. 7.13, 7.14). Мировые линии материальных частиц всегда направлены внутрь световых конусов, а линии фотонов — вдоль световых конусов. Вдоль
Геодезическим линиям в пространстве-времени теперь можно придать интерпретацию, аналогичную интерпретации геодезических линий на двумерных поверхностях, учитывая при этом различия между геометриями Минковского и Евклида. Таким образом, наши геодезические линии в пространстве-времени представляют собой не (локально) кратчайшие кривые, а наоборот — кривые, которые (локально) максимизируют«расстояние» (т. е. время) вдоль мировой линии. Мировые линии частиц, свободно перемещающиеся под действием гравитации, согласно этому правилу действительно являютсягеодезическими. В частности, небесные тела, движущиеся в гравитационном поле, хорошо описываются подобными геодезическими линиями. Кроме того, лучи света (мировые линии фотонов) в пустом пространстве так же служат геодезическими линиями, но на этот раз — нулевой«длины» [129] . В качестве примера я схематически нарисовал на рис. 5.30 мировые линии Земли и Солнца. Движение Земли вокруг Солнца описывается «штопорообразной» линией, навивающейся вокруг мировой линии Солнца. Там же я изобразил фотон, приходящий на Землю от далекой звезды. Его мировая линия кажется слегка «изогнутой» вследствие того, что свет (по теории Эйнштейна) на самом деле отклоняется гравитационным полем Солнца.
129
Возможно, у читателя может возникнуть беспокойство по поводу того, каким образом это нулевоезначение может быть максимальнымзначением «длины»! Но это именно так, хотя и в несколько бессодержательном смысле: геодезическая линия нулевой длины характеризуется тем, что не существует мировых линий другихчастиц, соединяющих (локально) любые две ее точки.
Рис. 5.30.Мировые линии Земли и Солнца. Световой луч от далекой звезды отклоняется Солнцем
Нам необходимо еще выяснить, каким образом ньютоновский закон обратных квадратов может быть включен (после надлежащей модификации) в общую теорию относительности Эйнштейна. Обратимся еще раз к нашей сфере из материальных частиц, падающей в гравитационном поле. Напомним, что если внутри сферы заключен только вакуум, то, согласно теории Ньютона, объем сферы первоначально не изменяется; но если внутри сферы находится материя общей массой М , то происходит сокращение объема, пропорциональное М . В теории Эйнштейна (для малой сферы) правила в точности такие же, за исключением того, что не все изменение объема определяется массой М ; существует (обычно очень малый) вклад от давления, возникающем в окруженном сферой материале.
Полное математическое выражение для кривизны четырехмерного пространства-времени (которая должна описывать приливные эффекты для частиц, движущихся в любой данной точке по всевозможным направлениям) дается так называемым тензором кривизны Римана . Это несколько сложный объект; для его описания необходимо в каждой точке указать двадцать действительных чисел. Эти двадцать чисел называются его компонентами . Различные компоненты соответствуют различным кривизнам в различных направлениях пространства-времени. Тензор кривизны Римана обычно записывают в виде R tjkl , но так как мне не хочется объяснять здесь, что означают эти субиндексы (и, конечно, что такое тензор), то я запишу его просто как:
РИМАН .
Существует способ, позволяющий разбить этот тензор на две части, называемые, соответственно, тензором ВЕЙЛЯ и тензором РИЧЧИ (каждый — с десятью компонентами). Условно я запишу это разбиение так:
РИМАН = ВЕЙЛЬ + РИЧЧИ .
(Подробная запись тензоров Вейля и Риччи для наших целей сейчас совершенно не нужна.) Тензор Вейля ВЕЙЛЬ служит мерой приливной деформациинашей сферы из свободно падающих частиц (т. е. изменения начальной формы, а не размеров); тогда как тензор Риччи РИЧЧИ служит мерой изменения первоначального объема [130] . Напомним, что ньютоновская теория гравитации требует, чтобы масса , содержащаяся внутри нашей падающей сферы, была пропорциональна этому изменению первоначального объема. Это означает, что, грубо говоря, плотность массы материи — или, что эквивалентно, плотность энергии (так как Е = mc 2 ) — следует приравнять тензору Риччи.
130
В действительности, это деление на эффекты деформации и изменения объема носит не настолько четкий характер, как я пытаюсь это изобразить. Тензор Риччи сам может дать определенный вклад в приливную деформацию. (Для световых лучей такое деление проводится однозначно; см. Пенроуз, Риндлер [1986], т. 2, глава 7.) Точное определение тензоров Вейля и Риччи см., например, в книге Пенроуза и Риндлера [1984], т. 1. (Герман Вейль (род. в Германии) был выдающимся математиком XX века, а Грегорио Риччи (род. в Италии) — весьма влиятельным геометром, создавшим также теорию тензоров.)