В релятивистской физике ключевым инструментом для описания пространства-времени являются четырехвекторы. Четырехвектор — это объект, который имеет четыре компоненты и трансформируется при переходе от одной инерциальной системы отсчета к другой согласно преобразованиям Лоренца. Четырехвекторы объединяют пространственные и временные координаты в единый математический аппарат, что позволяет формулировать законы физики в ковариантной форме.
Обозначение четырехвектора обычно записывается как:
Xμ = (X0, X1, X2, X3) = (ct, x)
где X0 = ct — временная компонента (с учётом скорости света c), а x = (x, y, z) — пространственные компоненты. Индекс μ пробегает значения 0, 1, 2, 3.
Временной четырехвектор — описывает события в пространстве-времени:
Xμ = (ct, x, y, z)
Четырехскорость — скорость движения частицы в пространстве-времени:
$$ U^\mu = \frac{dX^\mu}{d\tau} = \gamma(c, \mathbf{v}) $$
где τ — собственное время частицы, v — трёхскорость в пространстве, $\gamma = \frac{1}{\sqrt{1 - v^2/c^2}}$ — фактор Лоренца.
Четырехимпульс — импульс и энергия частицы в релятивистской форме:
$$ P^\mu = m U^\mu = (\frac{E}{c}, \mathbf{p}) $$
где m — масса покоя частицы, E = γmc2 — полная энергия, p = γmv — релятивистский импульс.
Для определения длины и скалярного произведения четырехвекторов используется метрический тензор Минковского gμν с сигнатурой (+, −, −, −):
$$ g_{\mu\nu} = \begin{pmatrix} 1 & 0 & 0 & 0\\ 0 & -1 & 0 & 0\\ 0 & 0 & -1 & 0\\ 0 & 0 & 0 & -1 \end{pmatrix} $$
Скалярное произведение двух четырехвекторов определяется как:
A ⋅ B = gμνAμBν = A0B0 − A ⋅ B
Скалярное произведение инвариантно относительно преобразований Лоренца, что является фундаментальным свойством релятивистской физики.
Интервал s2 = X ⋅ X = (ct)2 − x2 позволяет классифицировать четырехвекторы:
Линейность: если Aμ и Bμ — четырехвекторы, то αAμ + βBμ тоже является четырехвектором.
Инвариантность скалярного произведения: (A ⋅ B)′ = A ⋅ B при любых преобразованиях Лоренца.
Подъем и понижение индексов: с помощью метрического тензора можно переводить ковариантные и контравариантные компоненты:
Aμ = gμνAν, Aμ = gμνAν
Преобразование Лоренца: четырехвектор Xμ при переходе к другой инерциальной системе S′ преобразуется как
X′μ = Λ νμXν
где Λ νμ — матрица преобразования Лоренца.
Четырехвекторы позволяют: