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 Und . (Nach seiner Notation hier 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 , 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?
Wenn wir schreiben