Как преобразование Лоренца влияет на метрический тензор?

После выполнения преобразования Лоренца ортогональные координаты станут скошенными, как на следующем рисунке:

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

и в такой системе координат, согласно этой статье в Википедии, метрика будет иметь недиагональные ненулевые элементы:

г я Дж "=" е я . е Дж

а не плоское пространство-время:

г "=" [ 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 ]

В чем проблема?

Преобразование Лоренца — это просто изменение координат, и хотя оно оставляет компоненты метрики неизменными, на самом деле это не проблема, если изменение координат не делает этого. Все, что действительно имеет значение, — это сигнатура метрики (знаки ее собственных значений), и она гарантированно не изменится (при условии, что преобразование невырожденное) из-за закона инерции Сильвестра. Например, нет ничего плохого в преобразовании, при котором вы удваиваете все координаты, так что г "=" диаг ( 1 / 4 , 1 / 4 , 1 / 4 , 1 / 4 ) .
@ user4552 Это действительно важно. (1) Не «случается» оставлять компоненты неизменными, а суждено оставить неизменными, как говорят ответы. (2) Если он действительно не оставит компоненты инвариантными (а этому суждено никогда не случиться), то понятие "метрический тензор" вообще не будет обсуждаться в физике, по той причине, что "метрический тензор" обсуждается в физике заключается в том, что он оставляет компоненты инвариантными при специфическом преобразовании, которое происходит в SR — преобразовании Лоренца.

Ответы (6)

Вы должны быть очень осторожны. е я являются векторами, поэтому они имеют индекс Лоренца: е я мю . Когда вы пишете

е я е Дж
ты на самом деле имеешь в виду
г мю ν е я мю е Дж ν
где г мю ν — плоская метрика Минковского ( не евклидова метрика). Зная это, легко проверить, сохраняется ли плоская метрика при преобразованиях Лоренца.

Редактировать: в теории относительности физики называют эти объекты каркасом или вирбейном . Может помочь вам найти другие ресурсы, если вы хотите.

Не совсем. Когда вы пишете г мю ν е я мю е Дж ν это сокращение от е я е Дж , и что (структура внутреннего продукта, в данном случае неопределенная по Минковскому) является фундаментальным объектом.
Да, но это не то, о чем спрашивает ОП. Он/она хочет знать, почему при вычислении внутреннего продукта получается противоречивый результат. е я е Дж наивно (в евклидовом смысле). Это более фундаментальная точка зрения, но вам нужно присвоить «правильное» значение этому внутреннему продукту.
Тогда проблема в том, что вам нужно переосмыслить то, что вы подразумеваете под внутренним продуктом и ортогональностью. Версия компонента является вторичной конструкцией.

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

г с 2 "=" г а б г Икс а г Икс б "=" г т 2 + г Икс 2 + г у 2 + г г 2

Теперь, зная, что в "=" танх ф , достаточно легко показать, что преобразования Лоренца задаются формулой:

т "=" т чушь ф Икс грех ф Икс "=" Икс чушь ф т грех ф

Взяв дифференциал, решив г т и г Икс и подставляя в элемент строки выше, мы находим:

г с 2 "=" ( чушь 2 ф грех 2 ф ) г т 2 + ( чушь 2 ф грех 2 ф ) г Икс 2 + г у 2 + г г 2

Поскольку мы знаем основное тригонометрическое тождество чушь 2 грех 2 "=" 1 , мы находим, что

г с 2 "=" г а б г Икс а г Икс б "=" г т 2 + г Икс 2 + г у 2 + г г 2

и ясно, что компоненты метрического тензора совпадают.

РЕДАКТИРОВАТЬ: чтобы увидеть, как это становится обычным преобразованием Лоренца:

танх ф "=" в грех ф чушь ф "=" в грех 2 ф "=" в 2 чушь 2 ф чушь 2 ф 1 "=" в 2 чушь 2 ф чушь 2 ф ( 1 в 2 ) "=" 1 чушь ф "=" 1 1 в 2 грех ф "=" с о с час 2 ф 1 "=" 1 1 в 2 1 "=" 1 ( 1 в 2 ) 1 в 2 "=" в 1 в 2

Вы можете выяснить остальное

Закон преобразования для ковариантного вектора е (как базисный вектор):

(1) е я "=" Икс мю Икс я е мю

Для 2-ковариантного тензора типа метрики г , закон преобразования:

(2) г я Дж "=" Икс мю Икс я Икс ν Икс Дж г мю ν

Это просто означает, что г я Дж трансформируется как е я е Дж

Отношения между е я мю а частные производные просто:

(3) е я мю "=" Икс мю Икс я
Итак, вы можете написать:

(4) е я "=" е я мю е мю , г я Дж "=" е я мю е Дж ν г мю ν

Так, е я мю является компонентом нового базисного вектора е я , в старом базисном векторе е мю

Проблема исходит из евклидова представления ортогональности двух векторов в пространстве Минковского: скалярное произведение двух векторов x, y с координатами Икс я , у я (в 2D) определяется в смысле геометрии Минковского формулой Икс у "=" Икс 1 у 1 Икс 2 у 2 .

Два вектора перпендикулярны друг другу по Минковскому, если Икс у "=" Икс 1 у 1 Икс 2 у 2 "=" 0 , в евклидовом смысле это равенство переводит симметрию направлений двух векторов относительно биссектрисы координатных углов. В частности, два вектора, лежащие на одной биссектрисе, перпендикулярны друг другу в геометрии Минковского.

Ссылка: Высшая геометрия Н.Ефимова.

Я думаю, что схема может ввести вас в заблуждение. На этой диаграмме ничего "кривого" не видно. Икс и с т оси здесь ортогональны в пространственно-временном смысле. На диаграмме (при стандартном выборе масштабов) два 4-вектора ортогональны, если прямая, делящая пополам угол между ними, проходит под углом 45 градусов.

В системе покоя оси x и ct ортогональны... x'-ct' ортогональны наблюдателю, который движется вместе с загрунтованной системой отсчета (отсчет покоя загрунтованных наблюдателей)... но относительно одного кадра другой кадр делает не обладают ортогональностью ... фактически инвариантностью (см. Доказательство того, что метрический тензор Минковского инвариантен относительно преобразований Лоренца) метрического тензора диаг. (1,-1,-1,-1) оправдано с первой точки зрения ... с более поздней точки зрения, это все равно, что задавать новые компоненты (штрихованные) метрического тензора по старому базису, и там вы получаете только диагональный член. ...все это связано с иллюзией рисования: попытка поместить координату «времени» в вашу «бумагу», где подсознательно мы предполагаем пространственное поведение времени (в специальной теории относительности все смешивается, но не на одной основе; см. +; - оба с точки зрения метрики): такая мысль пришла мне в голову, когда я увидел письменные заметки рядом с фигурой Гольдштейна (кл. мех.; соответствующая глава)

Боюсь, на самом деле это не относится к заданному вопросу.