четырехвектор импульса
(25.3)

и поделив его на массу покоя, которая в четырехмерном пространстве является скаляром. Мы получим при этом
(25.4)

что по-прежнему должно быть четырехвектором. (Деление на скаляр не изменяет трансформационных свойств.) Так что четырехвектор скорости v m можно определить так:
(25.5)
Это очень полезная величина; мы можем теперь написать, например,

(25.6)
Таков типичный вид, который должен иметь правильное релятивистское уравнение: каждая сторона его должна быть четырехвектором. (В правой части стоит произведение инварианта на четырехвектор, которое по-прежнему есть четырехвектор.)
§ 2. Скалярное произведение
То, что расстояние от некоторой точки до начала координат не изменяется при повороте, если хотите,— счастливая случайность. Математически это означает, что r 2=x 2+y 2+z 2является инвариантом. Другими словами, после поворота r' 2=r 2или


Возникает вопрос: существует ли подобная величина, которая инвариантна при преобразованиях Лоренца? Да, существует. Из (25.1) вы видите, что

Она была бы всем хороша, если бы только не зависела от нашего выбора оси х. Но этот недостаток легко исправить вычитанием y/ 2и z 2. Тогда преобразование Лоренца плюс вращение оставляют ее неизменной. Таким образом, роль величины, аналогичной трехмерному r 2в четырехмерном пространстве, играет комбинация
Она является инвариантом так называемой «полной группы Лоренца», которая включает как перемещения с постоянной скоростью, так и повороты.

Далее, поскольку эта инвариантность представляет собой алгебраическое свойство, зависящее только от правил преобразования (25.1) плюс вращение, то она справедлива для любого четырехвектора. (Все они, по определению, преобразуются одинаковым образом.) Так что для любого четырехвектора а m
Эту величину мы будем называть квадратом «длины» четырехвектора а м . (Будьте внимательны! Иногда берут обратные знаки у всех слагаемых и квадратом длины называют число a 2 x + a 2 y + a 2 z - a 2 t )

Если теперь у нас есть два вектора а mи b m , то их одноименные компоненты преобразуются одинаково, поэтому комбинация
также будет инвариантной (скалярной) величиной. (Фактически мы доказали это уже в гл. 17, вып. 2.) Получилась величина, совершенно аналогичная скалярному произведению векторов. Мы так и будем называть ее скалярным произведением двух четырехвекторов. Логично, казалось бы, и записывать его а m · b m , чтобы оно даже выглядело похожим на скалярное произведение. Но обычно, к сожалению, так не делают и пишут его без точки.
И мы тоже будем придерживаться этого порядка и записывать скалярное произведение просто a m b m . Итак, по определению,

(25.7)

Помните, что повсюду, где вы видите два одинаковых значка (вместо m мы иногда будем пользоваться v или другими буквами), необходимо взять четыре произведения и сложить их, не забывая при этом о знаке минус перед произведениями пространственных компонент. С учетом такого соглашения инвариантность скалярного произведения при преобразованиях Лоренца можно записать как

Поскольку последние три слагаемых в формуле (25.7) представляют просто трехмерное скалярное произведение, то часто удобнее принять такую запись:
Читать дальше