Соответствует ли gμμgμμg _ {\ mu \ mu} в выражении правилу суммирования Эйнштейна?

Предположим, что у меня есть выражение для символа Кристоффеля:

(1) Г α β мю "=" 1 2 г мю λ ( α г β λ + β г α λ λ г α β ) .

Если метрика г мю ν является диагональным, то тождество

(2) г мю λ г λ ν "=" дельта ν мю
упрощается до выражения
(3) г мю мю г мю мю "=" 1.

Следовательно, правильно ли следующее выражение для символа Кристоффеля?

(4) Г α β мю "=" 1 2 г мю мю ( α г β мю + β г α мю мю г α β ) .

Правильно ли он подчиняется правилу суммирования Эйнштейна, поскольку повторение мю индекс не суммируется?

Если выражение неверно, то как его записать?

Добавление

Хорошо, я вижу правильную манипуляцию для получения полностью ковариантной формы с использованием нотации Эйнштейна:

(5) Г γ α β "=" г γ мю Г α β мю "=" 1 2 г γ мю г мю λ ( α г β λ + β г α λ λ г α β ) "=" 1 2 дельта γ λ ( α г β λ + β г α λ λ г α β ) "=" 1 2 ( α г β γ + β г α γ γ г α β )

Это правильно, не так ли?

Ответы (1)

Ваше последнее выражение неверно по двум причинам: во-первых, любой заданный индекс может встречаться только дважды за термин в соглашении Эйнштейна, один раз как верхний индекс и один раз как нижний индекс. Помните, что когда индекс повторяется, это означает, что вы суммируете его с метрикой:

Т а Т а "=" а , б г а б Т а Т б
У вас есть такие термины, как 1 2 г мю мю α г β мю которые содержат мю три раза. Это бессмысленно в системе обозначений Эйнштейна.

Другая причина в том, что метрика не обязательно коммутирует с частной производной: г г . Таким образом, вы не можете преобразовать такой фактор, как г мю λ α г β λ в α г мю λ г β λ , что я думаю, это то, что вы имели в виду там. (Вы можете добавить дополнительный термин для учета коммутатора, если хотите: г "=" г + [ г , ] .)

Кстати, неправда, что свертывание результата г мю λ г λ ν дает тебе 1 . Вы получаете г мю λ г λ мю "=" дельта   мю мю "=" мю 1 , то есть размерность пространства. В обычном пространстве 3+1D это дает 4.

Мне было бы интересно узнать, что кто-то считает неправильным в этом ответе....
Спасибо за ваши очень полезные комментарии, но я все еще думаю г мю λ г λ ν "=" дельта ν мю правильно (источник крошечного документа Шона Кэрролла).
@JohnEastmond Он никогда не говорил г мю λ г λ ν "=" дельта ν мю был не прав...
хорошо - я вижу - извините, я был неправ!