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

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

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

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

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

Определение[править | править вики-текст]

Квадрат интервала — это симметричная билинейная форма на конфигурационном 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. С этого места доказательство несколько упрощено по сравнению с доказательством Ландау, однако если принять за доказанное то, что уже доказано до этого момента, согласно изложению Ландау, последующего достаточно.

Литература[править | править вики-текст]