Beweis des Satzes von Birkhoff

Ich habe eine Frage zum Beweis des Satzes von Birkhoff in Sean Carrolls Buch. Ich stecke an dem Teil fest, an dem er zeigt, dass es keine Kreuzbegriffe (in der Metrik) dazwischen gibt ( A , B ) Und ( θ , ϕ ) . (Nach seiner Notation hier ( A , B ) sind die Koordinaten transversal zu den ''Schieferungskugeln'' und ( θ , ϕ ) die Winkelkoordinaten in den Kugeln.)

Er beweist es, indem er argumentiert, dass die durch die partiellen Ableitungen definierten Vektorfelder bzgl A , B orthogonal zu denen sind, die durch die partiellen Ableitungen in Bezug auf definiert sind θ , ϕ .

Warum impliziert die zweite Aussage (über die partiellen Ableitungen) das Fehlen von Kreuztermen?

Antworten (1)

Wenn wir schreiben

D S 2 = G = G μ v D X μ D X v ,
Wir definieren ein Tensorfeld G , deren Wirkung auf die Koordinatenvektorfelder { μ } wird von gegeben
G μ v = G ( μ , v ) .
Um dies zu überprüfen, erinnern Sie sich D X μ ( v ) = δ μ v . Erinnere dich daran G ist ein inneres Produkt, also μ Und v orthogonal zu sein bedeutet genau das G μ v = 0 . In Ihrem Fall, G A θ = G θ A = 0 , zum Beispiel als A Und θ sind orthogonal.