Frage zum Pseudotensor mit vollständig antisymmetrischer Einheit

In einem Buch heißt es, einen Pseudotensor einer vollständig antisymmetrischen Einheit aus einem nicht krummlinigen System zu transformieren X ' zum krummlinigen System X , kann man verwenden

E ich k l M = X ich X ' P X k X ' R X l X ' S X M X ' T e P R S T

Ich verstehe diesen Teil.

  1. Aber dann heißt es auch:
    E ich k l M = J e ich k l M

Warum das?

  1. In obiger Formel J ist definiert als
    J = ( X 0 , X 1 , X 2 , X 3 ) ( X ' 0 , X ' 1 , X ' 2 , X ' 3 )

Was ist die Bedeutung von J in dieser Definition? Ist es eine 4x4-Matrix?

Antworten (2)

Zu Teilfrage 2:

J   =   det J ich J
ist die Determinante der Jacobi-Matrix mit Einträgen
J ich J   =   X ich X ' J .
( J wird auch als Jacobi-Determinante bezeichnet , vgl. gelöschte Antwort von Michael Seifert.) Eine bessere Notation für die letzte Formel von OP wäre also

J   =   det ( X 0 , X 1 , X 2 , X 3 ) ( X ' 0 , X ' 1 , X ' 2 , X ' 3 ) .

Teilfrage 1 folgt aus Eigenschaften der Determinante und der Kettenregel.

Wahrscheinlich wäre hier die Matrix J ich J ?
Nun, ich versuche, zwischen einer Matrix und ihren (Matrix-)Einträgen zu unterscheiden.
Können Sie mir weitere Hinweise geben, um 1 zu beweisen? Ich habe 2D-Fall ausprobiert, und schließlich muss ich zB beweisen
X ich X ' 1 X k X ' 0 e 01 = X 0 X ' 0 X 1 X ' 1 e ich k
wie ist e ich k bezüglich X ich X ' k ?

E ich k l M = X ich X ' P X k X ' R X l X ' S X M X ' T e P R S T , = δ [ A ich δ B k δ C l δ D ] M X A X ' P X B X ' R X C X ' S X D X ' T e P R S T , = 1 4 ! e ich k l M e A B C D X A X ' P X B X ' R X C X ' S X D X ' T e P R S T , = ( 1 4 ! e A B C D e P R S T X A X ' P X B X ' R X C X ' S X D X ' T ) e ich k l M , = J e ich k l M