Для математического описания событий в физическом пространстве вводят пространство событий. Это аффинное четырехмерное пространство А, точки которого изображают всевозможные элементарные события.
Известно, что каждое аффинное преобразование, при котором расстояние между любыми двумя точками равно расстоянию между их образами, называют движением в этом пространстве.
Однородное преобразование Лоренца выглядит:
где
- определяют матрицу преобразований
.
Из определения движения легко получить условие:
(2)
Где
- транспонированная матрица
.
- единичная матрица.
Это условие – условие ортогональности преобразований, которое соответствует сохранению интервала.
В случае двух инерциальных систем
и
, условие (2) дает преобразования координат, переводящие одну ортонормированную систему к другой ортонормированной системе.
Для
четверка орт-векторов
.
Для
четверка орт-векторов
.
Упростим вид преобразований.
Вектора
– у нас будут соответствовать временным координатам.
Мы рассматриваем вариант, когда
и
имеют общую точку
(начальные точки
и
совмещены).
Обозначим через
– гиперплоскость пространственных векторов
, через
– гиперплоскость пространственных векторов
. Так как
и
имеют общую точку и не совпадают друг с другом, то известно, что они пересекаются по плоскости
. Сохраним без изменения вектор
, а тройку пространственных векторов переведем евклидовым движением внутри гиперплоскости
в новое положение, так, чтобы
расположились на плоскости
. Сохраним без изменения вектор
, а тройку пространственных векторов переведем евклидовым движением внутри гиперплоскости
в новое положение, так, чтобы
расположились на плоскости
, при этом так, чтобы они совместились с
. Это дает:
Тривиальными изменениями можно привести к упрощенному виду (например, скалярным произведением векторов: если умножим скалярно первое уравнение на третье, то получим
и т.д.), тогда преобразования координат будут выглядеть:
Если вернуться к физическому обозначению координат событий, то:
(3)
Координаты
и
можно поменять местами без нарушения общности, поэтому в преобразованиях коэффициент перед ними одинаков. Если коэффициент отличен от 1, то в выражении расстояния (записанного с помощью преобразований) он может быть вынесен за скобку и сохранения расстояния не будет, поэтому он равен 1.
Сохранение расстояния в данном случае выглядит:
(4)
подставляя в левую часть этого тождества выражения (3) и сравнивая коэффициенты получаемой квадратичной формы с соответствующими коэффициентами правой части, найдем:
,
(5)
(6)
из (6) следует
, тогда из равенств (5) получаем:
,
, после найдем D и B, тогда:
Найдем скорость произвольной точки
в системе
:
ясно, что
.
Это дает общеизвестные коэффициенты.
Литература: 1) Н.В. Ефимов, «Высшая геометрия», Москва, государственное издательство физико-математической литературы,1961г., печ. л. 36,25.