17-09-2023
4-вектор (четыре-вектор, четырёхвектор) — вектор в четырёхмерном пространстве Минковского. Координаты 4-вектора при переносе или повороте системы отсчёта преобразуются как соответствующие им координаты в пространстве Минковского. В 4-векторе одна временная компонента и три пространственных. Пространственные компоненты составляют обычный пространственный трёхмерный вектор и преобразуются в соответствии с этим при преобразовании пространственных координат, не затрагивающих временной, то есть при преобразованиях координат, не включающих физического движения новой системы отсчёта относительно прежней.
Содержание |
где — матрица из группы Лоренца — матрица перехода к новым координатам (к новой системе отсчёта).
Традиционно используется обозначение 4-вектора как совокупности его компонент. Так 4-вектор обозначается как: (не нужно путать это обозначение с возведением в степень!) или
Координаты, пространственную и временную, обычно обозначают как .
Что означает при этом использование верхнего () или нижнего индекса, оговаривается особо, но по умолчанию, если используется тот и другой (или хотя бы первый) вариант, то есть, если верхние индексы вообще используют, верхним индексом обозначают контравариантные координаты 4-вектора, а нижним — ковариантные координаты. Таким образом, в этом случае один и тот же вектор может иметь два разных представления — контравариантное и ковариантное.
В случае плоского пространства и инерциальных систем отсчета, как в электродинамике, специальной теории относительности и вообще в случаях, когда гравитацией можно пренебречь, ковариантное и контравариантное представление отличаются лишь знаком временной (или наоборот, в зависимости от условно принятой сигнатуры — пространственных) компоненты. При этом скалярное произведение представимо как простая сумма произведений соответствующих компонент только для произведения ковариантного вектора с контравариантным, например:
и в частности
(здесь и ниже использовано правило суммирования по повторяющемуся индексу Эйнштейна, а возведение в квадрат обозначено как (…)²).
Если же хотят написать скалярное произведение с использованием только ковариантных или только контравариантных компонент, обычно используют запись с метрикой Лоренца (или ):
или
(оба способа эквивалентны друг другу и описанному выше способу со обоими типами координат).
Однако в более общем случае нелоренцевых систем отсчета, в том числе при учете гравитации в соответствии с ОТО, вместо очень простой и постоянной лоренцевой метрики приходится рассматривать произвольную, в том числе зависящую от пространственных координат и времени метрику (Во всех формулах, написанных в этом параграфе выше надо в общем случае заменить на , а на ). При этом простое правило о том, что ковариантное и контравариантное представление 4-вектора различаются лишь знаком пространственных компонент, перестает действовать, они начинают выражаться друг через друга с использованием также метрики общего вида (см. Метрический тензор#Изоморфизм между касательным и кокасательным пространством):
(Как видим, эти формулы были верны и для , но в том случае сводились к простому правилу перемены знака некоторых компонент, а здесь — в общем случае — уже не сводятся).
Заметим также, что в пространстве-времени с кривизной (которое уже правильно считать только многообразием, а не векторным пространством), совокупность координат уже не является вектором. Однако, бесконечно малые смещения по координатам представляют вектор (вектор касательного пространства к многообразию в точке ).
И наконец, в случае лоренцевой метрики, рассмотренном выше, нередко используют только нижние индексы, так как ковариантные и контравариантные компоненты различаются только знаком, и можно ограничиваться упоминанием только одних из них (обычно — контравариантных, хотя и используя нижний индекс). Этот способ для этого случая сравнительно удобен, так как отсутствие верхних индексов несколько более привычно для неспециалистов, к тому же не может создать путаницы с обозначением возведения в степень. Однако и он имеет подводные камни, так как, например, вектор 4-градиента, записанный в контравариантном виде, довольно неожиданно имеет знак минус у пространственных компонент: так как полный дифференциал — должен быть инвариантным, а в формулу скалярного произведения, если оба вектора представлены в одинаковой контравариантной форме, входит, как мы знаем, изменение знака из-за .
Интересно, что способ с использованием только нижних индексов и мнимой временной компоненты лишен этих недостатков (главным образом в области применимости, ограниченной случаем плоского пространства, но не только). Дело в том, что при использовании этого способа нужные знаки получаются автоматически (внимание: с учетом сигнатуры; впрочем, выбор сигнатуры — всё равно дело договоренности). То есть, о знаках вообще не нужно думать, не нужно использовать явно матрицу метрического тензора, даже , то есть метрика формально представлена единичной матрицей («формально евклидовская», что, конечно, не меняет её реально псевдоевклидова характера, но упрощает запись), а представление всех 4-векторов просто и единообразно:
и т. д., где i — мнимая единица.
Точка в пространстве Минковского называется событием и задаётся четырьмя координатами:
где — скорость света, — время события, а — его пространственные координаты. Такой 4-вектор называется 4-радиус-вектором.
Многие другие 4-векторы могут быть построены из него и далее друг из друга сложением, вычитанием, умножением или делением на скаляр, а также дифференцированием по скаляру и т. п. Так из 4-радиус-вектора дифференцированием по собственному времени получается 4-скорость, и т. д.
Скалярные произведения 4-векторов — лоренц-инвариантные величины (инварианты группы Лоренца), скаляры пространства Минковского.
4-векторы впервые рассмотрели Пуанкаре (1905) и затем Минковский. Они рассматривали временную компоненту 4-вектора чисто мнимой, что автоматически порождало нужное правило вычисления скалярного произведения при обычном суммировании произведений компонент. Термин «4-вектор» был предложен Арнольдом Зоммерфельдом в 1910 году.
4-вектор.