Единственность класса эквивалентности инерциальных систем отсчета

Определим инерциальную систему отсчета как систему отсчета, в которой законы физики принимают свою обычную форму, в отличие от неинтерциальной системы отсчета, где приходится вводить псевдосилы.

Далее мы можем определить класс эквивалентности, который содержит другие инерциальные системы отсчета, как класс систем отсчета, движущихся с постоянной скоростью относительно исходной инерциальной системы отсчета.

Можно ли формально показать, что не существует двух инерциальных систем отсчета, которые нельзя отнести к одному и тому же классу эквивалентности, а именно двух инерциальных систем отсчета, которые не движутся с постоянной относительной скоростью одна относительно другой?

Я знаю, что в системе отсчета, ускоренной по отношению к инерциальной, существуют псевдосилы, но меня, в частности, интересует то, что не существует возможной конфигурации, в которой все они уравновешивались бы.

Ответы (2)

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

Следующая теорема по существу говорит, что если даже требуется, чтобы при преобразовании между друзьями сохранялся только первый закон Ньютона, то системы отсчета должны быть связаны преобразованием Галилея, поэтому они должны находиться в одном и том же классе эквивалентности.

Теорема. Пусть дважды дифференцируемая, сохраняющая ориентацию, зависящая от времени евклидова изометрия Т : р я С О ( 3 ) дать, и пусть т 0 быть действительным числом. Если преобразование пространства-времени

г ( т , Икс ) "=" ( т + т 0 , Т ( т ) ( Икс ) )
сохраняет первый закон Ньютона, то г является Галилеем.

Доказательство. Т ( т ) можно записать как зависящее от времени вращение плюс зависящий от времени перевод:

Т ( т ) ( Икс ) "=" р ( т ) Икс + с ( т ) .
Поэтому под действием г , прямая линия Икс 0 + т в 0 отображается в следующую кривую:
р ( т ) ( Икс 0 + ( т + т 0 ) в 0 ) + с ( т )
Если г сохраняет первый закон Ньютона, то эта преобразованная кривая должна иметь нулевое ускорение независимо от того, Икс 0 и в 0 мы выбираем. Таким образом,
г 2 г т 2 [ р ( т ) ( Икс 0 + ( т + т 0 ) в 0 ) + с ( т ) ] "=" 0 ,
для всех Икс 0 , в 0 е р 3 . Распределение производных в левой части дает
р ¨ ( т ) Икс 0 + р ¨ ( т ) ( т + т 0 ) в 0 + 2 р ˙ ( т ) в 0 + с ¨ ( т ) "=" 0
Выбор Икс 0 "=" в 0 "=" 0 дает с ¨ ( т ) "=" 0 откуда следует, что существуют постоянные векторы с и в такой, что с ( т ) "=" с + т в . Использование этого дает уменьшенное ограничение
р ¨ ( т ) Икс 0 + р ¨ ( т ) ( т + т 0 ) в 0 + 2 р ˙ ( т ) в 0 "=" 0 .
Теперь, собирая в 0 "=" 0 дает р ¨ ( т ) Икс 0 "=" 0 для всех Икс 0 , а это в свою очередь означает, что р ¨ ( т ) "=" 0 . Использование этого еще больше сводит к
р ˙ ( т ) в 0 "=" 0
для всех в 0 , а это означает, что р ˙ ( т ) "=" 0 . Это означает, что происходит постоянное вращение р такой, что р ( т ) "=" р . Собрав все это вместе, мы обнаруживаем, что наша исходная изометрия Т ( т ) принимает следующий вид:
Т ( т ) "=" р Икс + с + т в
и поэтому г является галилеевой, а именно состоит только из переноса во времени, постоянного пространственного переноса, галилеева ускорения с постоянной скоростью и постоянного вращения. .

Насколько я помню, Вайнберг излагает базовую структуру такого доказательства в релятивистском контексте в своей книге по ОТО. Обновлю с должным образом подробной ссылкой, если смогу.

Рассмотрим обращение времени или преобразования четности.

Поскольку в некоторых физиках такой симметрии нет, существуют отдельные неэквивалентные классы инерциальных систем отсчета.

В каждом классе физика будет выглядеть одинаково, и вы можете вращать, переводить или перемещать из одной инерциальной системы координат в другую в том же классе. Но физика будет выглядеть иначе по сравнению с другим классом инерциальных систем отсчета.