Геометрическое доказательство Шюца инвариантности пространственно-временного интервала

Я пытаюсь понять доказательство того, что пространственно-временной интервал инвариантен для любых двух инерциальных наблюдателей. Я знаю, что легко получить результат, используя преобразование Лоренца, но я пытаюсь понять геометрический способ сделать это, в частности, как это сделано в Schutz . Доказательство начинается на странице 9 по приведенной выше ссылке. Вдаваясь в подробности, я не мог понять следующую часть.

Как только мы придем к результату Δ с ¯ 2 "=" ф ( в ) Δ с 2 , мы приступаем к доказательству сначала, что ф ( в ) "=" ф ( | в | ) а потом ф ( в ) "=" 1 . Чтобы доказать первую часть, мы выбираем конкретный класс пары наблюдателей О и О ¯ где относительная скорость в перпендикулярно длине стержня на у -ось (по существу у "=" у ¯ и г "=" г ¯ ), а затем показать, что ф ( в ) "=" ф ( | в | ) .

Следующая часть утверждает, что этот персонаж ф ( в ) верно для любого общего класса пары наблюдателей (например, О и О ¯ где относительная скорость в такой, что у у ¯ и г г ¯ ). Я не мог понять это расширение. Я ищу какое-то объяснение на этом шаге. Спасибо, любая помощь приветствуется.

Я изменил ссылку на книги Google.
Я также полностью сбит с толку этим шагом в логике.
Я вижу, что никто не ответил на ваш вопрос, но мне интересно, смогли ли вы ответить на него сами. Меня реально смущает скачок в логике доказательства из ф ( в ) "=" ф ( | в | ) . Вы понимаете (теперь, когда у вас есть пара лет, чтобы подумать об этом :))?
Привет, я не помню, смог ли я ответить на него сам себе. Прошло очень много времени с тех пор, как я в последний раз работал над теорией относительности. Но я потрачу некоторое время в ближайшие несколько дней, чтобы посмотреть, смогу ли я это понять, хотя я не могу гарантировать, что смогу решить эту проблему. Я дам вам знать, если я что-нибудь сказать. Если вы застряли на этом этапе, я предлагаю вам оставить эту часть в покое и двигаться дальше.

Ответы (2)

Да, логика, представленная в schutz, неверна, хотя правильной логикой было бы то, что пространство и время однородны и изотропны. На самом деле ϕ может быть функцией скорости и координат пространства-времени, но из-за однородности пространства на мгновение мы можем сказать, что функция зависит от скорости только потому, что однородность пространства говорит, что каждая точка в пространстве эквивалентна, поэтому любая система координат O' мы выбираем, может быть смещено в начало исходного кадра. Теперь, используя изотропию пространства, мы можем сказать, что куда бы ни перемещалась система O ', не имеет значения, в каком направлении, это даст тот же результат, что и некоторый эксперимент (который мы называем событием). Таким образом, функция зависит только от скорости и дополнительных аргументов. заданное Шютцем, можно применить, чтобы получить ϕ(v)=1.

Уф.. спасибо.

введите описание изображения здесь


Пусть две инерциальные системы С 1 , С 2 с общей осью Икс 1 Икс 2 и параллельные оси у 1 у 2 и г 1 г 2 . Система С 2 движется по общей оси Икс 1 Икс 2 с постоянным вектором скорости υ как на рисунке. Для пространственно-временных интервалов

(01) д с 1 2 "=" д т 1 2 д Икс 1 2 д у 1 2 д г 1 2 , д с 2 2 "=" д т 2 2 д Икс 2 2 д у 2 2 д г 2 2
у нас есть
(02) д с 2 2 "=" ф ( υ ) д с 1 2
где ф ( υ ) функция векторной переменной υ быть определенным.

Теперь предположим третью систему С 3 в состоянии покоя относительно С 2 с общей осью у 2 у 3 и антипараллельные оси Икс 3 Икс 2 и г 3 г 2 . Затем

(03) д с 3 2 "=" д с 2 2 "=" "=" (02) ф ( υ ) д с 1 2

Также пусть четвертая система С 4 в состоянии покоя относительно С 1 с общей осью у 4 у 1 и антипараллельные оси Икс 4 Икс 1 и г 4 г 1 . Тогда система С 4 движется относительно С 3 с постоянным вектором скорости υ вдоль общей оси Икс 3 Икс 4 . Конфигурация систем С 3 , С 4 во всех отношениях идентичен С 1 , С 2 (это более ясно, если смотреть на Фигуру со спины). Так

(04) д с 4 2 "=" ф ( υ ) д с 3 2 "=" "=" (03) ф 2 ( υ ) д с 1 2

Теперь система С 1 находится в состоянии покоя относительно С 4 так

(05) д с 1 2 "=" д с 4 2 "=" "=" (04) ф 2 ( υ ) д с 1 2
то есть у нас должно быть
(06) ф 2 ( υ ) "=" 1
или
(07) ф ( υ ) "=" ± 1
Но для υ "=" 0 системы С 1 , С 2 идентичны, поэтому в (02) мы должны иметь д с 2 2 "=" д с 1 2 , то есть ф ( 0 ) "=" + 1 и (07) урожаи
(08) ф ( υ ) "=" + 1 , для любого  υ