Пространство, время и движение. Величайшие идеи Вселенной

ds2 = dr 2 + r 2d?2. (7.2)

Это почти теорема Пифагора, но с множителем r2 перед d?2, который как раз и выражает мысль о том, что приращение d? возрастает с увеличением длины r. Мы сохраняем дух теоремы Пифагора, но как бы обобщаем ее, вносим в нее влияние физических расстояний на приращение координат.

Линейный элемент

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

Допустим, что у нас есть две координаты (x1, x2). В данном случае надстрочные цифры — индексы, а не степени (так же, как при разговоре о компонентах вектора). Нам нужно связать расстояние ds с приращениями координат dxi. Не забывая теорему Пифагора, мы можем ожидать, что квадрат расстояния ds2 будет связан с квадратами приращений координат, к примеру (dx1)2. (Это квадрат dx1, так что теперь надстрочные цифры — и индексы, и степени. Не путайте!) Чтобы получить формулу в как можно более общем виде, нам нужно учесть наличие «перекрестных членов», произведений координат (dx1dx2). Кроме того, у нас могут быть множители, которые сами по себе зависят от координат, как, например, в полярной системе.

В самом общем виде формула двумерного линейного элемента имеет вид:

(7.3)

Тут очень много скобок и надстрочных символов. Вдохнем поглубже и попытаемся в них разобраться. Три величины, A, B и C, — это числа, значения которых зависят от конкретной точки многообразия. Поэтому мы записали их в виде функций от координат (x1, x2). Каждое из них умножается на произведение приращений координат dx1 и dx2 в трех возможных сочетаниях: (dx1)2, (dx2)2 и dx1dx2. Последнее произведение важно, когда оси координат не перпендикулярны друг к другу.

Формула (7.3) имеет огромное значение, ведь если три функции, A(x1, x2), B(x1, x2) и C(x1, x2), известны, то с ее помощью можно найти длину любой произвольной кривой. Риман утверждает, что этих данных достаточно, чтобы полностью определить геометрию многообразия. Эти функции хранят в себе сведения обо всем: углах, площадях, кривизне, обо всем, что мы захотим узнать. Этот принцип будет работать при любом количестве измерений, но с той лишь разницей, что станет больше и функций. В d– мерном пространстве для полного определения линейного элемента потребуется d(d + 1)/2 функций.

Извлечь геометрические данные из этих функций не очень-то просто. Проблема в том, что в разных системах координат линейный элемент может иметь разное выражение, хотя геометрия от этого никак не зависит. Мы уже видели это на примере плоской поверхности. В декартовых координатах линейный элемент (7.1) принимает вид (7.3) при следующих функциях:

A(x, y) = 1, B(x, y) = 0, C(x, y) = 1. (7.4)

Если же взять полярную систему координат и формулу (7.2), понадобятся другие функции:

A(r, ?) = 1, B(r, ?) = 0, C(r, ?) = r 2. (7.5)

Одна и та же геометрия, но разные варианты линейного элемента для разных систем координат. Но геометрии нет дела до них, плодов человеческой изобретательности, не имеющих никакого отношения к внутренним свойствам многообразия. Чтобы выдавить из линейных элементов сведения о кривизне, придется нажать на них посильнее.

Метрика

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

Ввести такое обозначение несложно: воспользуемся схемой, которую дает выражение (7.3). Мы будем рассматривать пары приращений dxi и dxj, где i и j — индексы, значения которых определяются количеством измерений. Индексы могут иметь как разные, так и одинаковые значения. Для каждой пары определим функцию пространства-времени gij(x), причем в данном случае буква x обозначает все координаты сразу. Буквы i и j сами по себе не несут никакого конкретного смысла, мы можем использовать любые. Таким образом, на (dx1)2 мы будем умножать функцию g11, на dx1dx2 — функцию g12 и т. д.

Все эти функции можно записать в виде матрицы [21] . Например, для трехмерного пространства:

(7.6)

Мы получили знаменитый метрический тензор, объект, который окажется в центре внимания при разговоре об общей теории относительности. Каждое значение в матрице (элемент метрики) является функцией координат. Знание всех элементов метрики позволяет получить все данные о геометрии рассматриваемого многообразия. Обычно, когда перед физиком стоит какая-то исследовательская задача из общей теории относительности, он пытается либо найти метрику с нуля (например, если энергия и материя распределены каким-то определенным образом), либо вывести ее из уже существующих метрик. (Несмотря на то что в теории относительности метрики описывают пространство-время, а не обычное пространство, это на удивление мало влияет на математические формулы. Мы просто используем греческие буквы для обозначения элементов.)

21

Матрицей математики называют массив величин. В этой книге мы не будем гадать, живем ли мы в компьютерной симуляции.

Метрика — точный эквивалент линейного элемента. Связь между ними очень проста:

(7.7)

Таким образом, зная все элементы метрики, мы можем вычислить длину любой кривой. А значит, хоть это может быть не слишком очевидно, мы также можем находить углы между линиями, площади, объемы и многое другое.

Наш двумерный линейный элемент (7.3), как и следовало ожидать, вписывается в эту схему. Мы можем записать, что:

(7.8)

Как можно заметить, значение B появляется в этой метрике дважды, но оба раза делится пополам. Это связано с тем, что при буквальном применении формула (7.7) дает отдельные множители для математически равных произведений dx1dx2 и dx2dx1. Поэтому мы должны потребовать, чтобы метрика была симметричной, то есть для любых пар i и j соблюдалось равенство gij = gji. В матричной форме это означает, что элементы в правом верхнем и левом нижнем углах равны.

Пора спуститься с небес на землю и рассмотреть несколько примеров. Начнем с хорошо известных нам берегов: трехмерного евклидова пространства с декартовой системой координат (x, y, z). Мы знаем линейный элемент этого пространства — теорему Пифагора:

ds2 = dx2 + dy2 + dz2. (7.9)

Нет ничего проще, чем записать метрический тензор в матричной форме:

(7.10)