Инвариантность интервала в специальной теории относительности Используемые постулаты

Напрямую из принципа относительности, однородности и изотропности пространства, а также однородности времени следует, что при переходе от одной ИСО (инерциальной системы отсчёта) к другой ИСО интервал остается неизменным. Именно это его свойство позволяет формально вывести преобразования Лоренца и обосновывает оправданность введения пространства Минковского и неримановой метрики.

Инвариантность скорости света здесь имеет значение потому, что известно, что скорость света всегда одинакова хотя бы в одной системе отсчёта, а из этого и из принципа относительности следует, что она должна быть такой же в любой ИСО. Однако вместо скорости света можно было бы взять максимальную скорость движения тел или распространения взаимодействий, которая также, из принципа относительности, должна быть одинакова во всех инерциальных системах отсчёта. Если максимальная скорость распространения взаимодействий конечна, она, вследствие принципа относительности, должна совпадать со скоростью света, которую будем здесь обозначать, как обычно, C.

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