Интервал (теория относительности)

Материал из свободной русской энциклопедии «Традиция»
Перейти к: навигация, поиск

Интервал в теории относительности — расстояние между двумя событиями в пространстве-времени, являющееся довольно прямым обобщением евклидовского расстояния между двумя точками — на пространство-время (определение см. ниже). Интервал лоренц-инвариантен, то есть не меняется при переходе от одной инерциальной системы отсчёта к другой, или, говоря иначе, является инвариантом (скаляром) в специальной и общей теории относительности.

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

В частности, преобразования Лоренца (преобразования координат, включая время, оставляющие неизменной запись всех фундаментальных уравнений физики при замене системы отсчета) могут быть формально найдены как группа преобразований, сохраняющих инвариантным интервал.

Инвариантность интервала послужила основой для введения пространства Минковского, в котором смене инерциальных систем отсчёта соответствуют «вращения» этого пространства, что явилось по сути, видимо, первой явной формулировкой концепции пространства-времени.

Понятие интервала лежит в основе специальной и общей теорий относительности (и важно в теориях, так или иначе включающих их в себя).

Иногда, особенно при абстрактном изложении, слово 'интервал' может заменяться просто словом 'расстояние' или 'длина'.

Определение[править]

Квадрат интервала — это симметричная билинейная форма на конфигурационном 4-хмерном многообразии пространства-времени. При должным образом выбранных координатах (инерциальная система отсчета с декартовыми пространственными координатами \(~x,y,z\) и временем \(~t\)) для бесконечно малого смещения в пространстве-времени он имеет вид: $$~ds^2 = c^2 dt^2 - dx^2 -dy^2 -dz^2$$

(локально псевдоевклидово пространство-время, пространство Минковского в главном порядке, иначе говоря — многообразие с индефинитной псевдоримановой метрикой сигнатуры (±--)).

В случае плоского пространства-времени — то есть пространства времени без кривизны, к которому в современной физике относится случай отсутствия (или пренебрежимой малости) гравитации — такое же выражение имеет место и для конечных разностей координат: $$~s^2 = c^2 (\Delta t)^2 - (\Delta x)^2 - (\Delta y)^2 - (\Delta z)^2$$

(такое пространство уже точно и глобально является пространством Минковского, если, конечно, топологически оно эквивалентно \(\mathbb R^4\) в своей естественной топологии).

Обычно интервал обозначается латинской буквой \(~s\).

В общей теории относительности используется обобщённое понятие интервала, дающее естественное обобщение расстояния между двумя точками. Вводится метрический тензор \(g_{i k}\), от которого требуется лишь симметричность и невырожденность. Выражение для квадрата интервала между двумя бесконечно близкими точками приобретает вид: $$\! ds^2=g_{i j}dx^i dx^j,~~ i,j=0 \dots 3,~~ x^0 = ct, x^1 = x, x^2 = y, x^3 = z,$$

где \(dx^i\) — дифференциалы координат, по повторяющимся индексам подразумевается суммирование, то есть это выражение означает $$\sum_{i,\ j = 0}^3 g_{i j}dx^i dx^j.$$

Обратим внимание, что таким образом определённая метрика не будет положительно определённой квадратичной формой, как обычно требуется (то есть как в случае собственно римановых многообразий). Напротив, подразумевается, что всегда или почти всегда локально могут быть так выбраны пространственно-временные координаты \(~t,x,y,z\)(система отсчета), что интервал для малой области пространства-времени в этих координатах запишется так же, как он записывается для лоренцевских координат (систем отсчета) в плоском пространстве Минковского: $$~ds^2 = c^2 dt^2 - dx^2 - dy^2 - dz^2,$$

так что через точку пространства-времени проходит бесконечно много линий, имеющих нулевую «длину» (при определении длины в пространстве-времени через его «физическую метрику» — то есть, как интеграл от \(ds = \sqrt{s^2}\)) — образующих световой конус, бесконечно много линий, длина которых вещественна (они все во внутренней области светового конуса), и бесконечно много тех, длина которых чисто мнима (вблизи данной точки они все во внешней области светового конуса с вершиной в ней, если они гладки).

  • Знак квадрата интервала — предмет соглашения. Он может быть выбран (и исторически был) противоположным. В наше время, пожалуй, чаще используется выбор знака как выше в этой статье. Однако иногда противоположный удобнее, если используется введённая Минковским и нередко удобная интерпретация временной координаты как чисто мнимой.
  • Нумерация координат \(x^i\) — также предмет соглашения, однако в современной литературе чаще всего они нумеруются как и здесь — от 0 до 3, причём временной координате приписывается индекс 0.
  • В теоретических построениях, использующих пространство-время большей размерности, определение интервала естественным образом обобщается добавлением в сумму ещё некоторого количества пространственных координат. При этом чаще всего (хотя не всегда) предполагается, что временная координата — остается единственной, то есть обычно только одно слагаемое входит со знаком, противоположным всем остальным.
  • Многообразие с заданным на нем невырожденным интервалом (или, другими словами, невырожденной метрикой) называется псевдоримановым, точнее — собственно псевдоримановым, чтобы подчеркнуть отличие от риманова многообразия, в котором метрика — в отличие от интервала — положительно определённая, как и обычное евклидовское расстояние.

Инвариантность интервала[править]

Используемые постулаты[править]

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

Инвариантность скорости света здесь имеет значение потому, что известно, что скорость света всегда одинакова хотя бы в одной системе отсчёта, а из этого и из принципа относительности следует, что она должна быть такой же в любой ИСО. Однако вместо скорости света можно было бы взять максимальную скорость движения тел или распространения взаимодействий, которая также, из принципа относительности, должна быть одинакова во всех инерциальных системах отсчёта. Если максимальная скорость распространения взаимодействий конечна, она, вследствие принципа относительности, должна совпадать со скоростью света, которую будем здесь обозначать, как обычно, C.

Для приводимого ниже доказательства существенно, что мы будем считать все изменения пространственных координат и времени малыми (бесконечно малыми), то есть всё будет формулировано для интервала между двумя бесконечно близкими в пространстве и времени событиями.

Доказательство[править]

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

Сначала покажем, что если интервал между двумя событиями равен нулю в одной ИСО, то он равен нулю в любой ИСО. Действительно, пусть в ИСО K событие 1 произошло в точке \(x_1, y_1, z_1\) в момент времени \(t_1\), а событие 2 — в точке \(x_2, y_2, z_2\) в момент \(t_2\). По условию интервал между ними равен 0, то есть $$\ c^2 (t_1-t_2)^2-(x_1-x_2)^2-(y_1-y_2)^2-(z_1-z_2)^2=0$$ Это значит, что если из точки 1 испустить в точку 2 сигнал, движущийся со скоростью света, то он окажется в точке 2 через время \(t_2 - t_1\). Но, из-за инвариантности скорости света, для событий 1 и 2, рассматриваемых в системе отсчёта K', можно записать аналогично $$\ c^2 (t^'_1-t^'_2)^2-(x^'_1-x^'_2)^2-(y^'_1-y^'_2)^2-(z^'_1-z^'_2)^2=0$$ Это и доказывает, что равенство интервала нулю не зависит от ИСО.

Для дальнейшего вспомним, что мы рассматриваем интервал между бесконечно близкими событиями, следовательно, он должен быть бесконечно малой величиной. В силу однородности и изотропности пространства и однородности времени при смене ИСО новый интервал может быть лишь функцией старого интервала и скорости новой ИСО в старой ИСО, он не может зависеть от координат точки или момента времени. При смене ИСО к интервалу не может прибавляться слагаемое, не зависящее от интервала в старой ИСО, так как если в одной ИСО интервал равен 0, то и в другой ИСО он тоже 0. Значит, оба интервала будут бесконечно малы. Так как интервалы бесконечно малы, то они должны быть пропорциональны[1], как бесконечно малые одного порядка, учитывая, что один из них обращается в ноль тогда и только тогда, когда и второй, как мы уже выяснили вначале. Значит, при смене ИСО интервал преобразуется по правилу $$ds^2_2 = k(\vec V) ds^2_1$$ В силу изотропности пространства k не может зависеть от направления скорости, только от ее модуля.

Это означает[2], что рассмотрев изменение интервала при переходе от системы 1 к системе 2, а потом обратно, учитывая, что V одинаково для прямого и обратного преобразования из изотропности пространства и принципа относительности (вторая система выглядит из первой ничем не отличимо от того, как первая система выглядит из второй), имеем $$ds^2_2 = K(V) ds^2_1$$ $$ds^2_1 = K(V) ds^2_2$$

а следовательно (так как \(ds_1 = ds_1\)) $$K^2(V) = 1~$$— для любого V.

Осталось отбросить случай K = −1. Это можно сделать рассмотрев три ИСО и изменение интервала между ними. Делая последовательный переход от первой СО к третьей, через вторую, имеем $$ds^2_3 = K^2 ds^2_1$$

а для прямого перехода сразу из первой в третью $$ds^2_3 = K ds^2_1$$

отсюда видно, что \(K^2 = K\), и следовательно остается лишь вариант $$k(V) = 1~$$— для любого V, и интервал не меняется при смене ИСО.

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

Смысл знака квадрата интервала[править]

  • Если \(ds^2\ge 0\), то интервал называется времениподобным. Времениподобный интервал между событиями означает, что существует такая система отсчёта, в которой оба события произошли в одном и том же месте. Что ещё более важно, времениподобный интервал между событиями означает, что они могут быть причинно связаны. Легко убедиться, что для причинно связанных событий \(ds^2\ge 0\), так как любое взаимодействие распространяется со скоростью не большей C, причём \(ds=0\) соответствует событиям, связанным сигналом, распространяющимся со скоростью света. Этот сигнал не обязан быть именно световым, это может быть гравитационная волна, вообще любая безмассовая частица или даже ещё не открытое взаимодействие. Существенно лишь, что существует максимальная скорость распространения взаимодействия, одинаковая для всех систем отсчёта и равная, как следует из уравнений Максвелла, скорости света.
  • Если \(ds^2\le 0\), то интервал называется пространственноподобным, и значит можно выбрать такую инерциальную систему отсчёта, в которой оба события произошли в одно и то же время. Пространственноподобные события, как указано выше, не могут быть причинно связанными, так как даже распространяющийся по прямой сигнал должен бы был для этого двигаться быстрее скорости света.
  • Если же \(ds^2= 0\), то интервал называется светоподобным. Направления в пространстве Минковского, вдоль которых интервал равен 0, называются изотропными. Также изотропными называются многообразия, для которых форма \(ds^2\) тождественно равна 0. Свет распространяется всегда вдоль изотропных направлений.

Замечание. Поскольку инвариантен сам интервал, то, очевидно, знак его квадрата тоже оказывается инвариантным. Поэтому классификация интервалов по этому признаку, приводимая здесь, не зависит от системы отсчета.

Примечания[править]

  1. Это место в доказательстве, приводимом в учебнике Ландау и Лифшица довольно нетривиально при кажущейся простоте. Возможно, Ландау с его любовью к шуткам решил здесь проверить, насколько читатели хорошо понимают изложение, с виду простое, но содержащее незаметные подводные камни. Хотя, конечно, в каком-то смысле рассматриваемое утверждение должно быть верным, исходя хотя бы из верного результата доказательства. Однако детальное рассмотрение того, почему коэффициент оказывается просто числом, не зависящим, например, от угла между вектором скорости и вектором, соединяющим точки событий, интервал между которыми рассматривается, в этом доказательстве опущено: его предлагается восстановить читателю.
  2. С этого места доказательство несколько упрощено по сравнению с доказательством Ландау, однако если принять за доказанное то, что уже доказано до этого момента, согласно изложению Ландау, последующего достаточно.

Литература[править]

См. также[править]