Prueba del teorema de Birkhoff

Tengo una pregunta sobre la prueba del teorema de Birkhoff en el libro de Sean Carrolls. Estoy atascado en la parte donde muestra que no hay términos cruzados (en la métrica) entre ( a , b ) y ( θ , ϕ ) . (Siguiendo su notación, aquí ( a , b ) son las coordenadas transversales a las ''esferas de foliación'' y ( θ , ϕ ) las coordenadas angulares en las esferas.)

Lo demuestra argumentando que los campos vectoriales definidos por las derivadas parciales con respecto a a , b son ortogonales a las definidas por las derivadas parciales con respecto a θ , ϕ .

¿Por qué la segunda afirmación (sobre las derivadas parciales) implica la ausencia de términos cruzados?

Respuestas (1)

cuando escribimos

d s 2 = gramo = gramo m v d X m d X v ,
estamos definiendo un campo tensorial gramo , cuya acción sobre los campos vectoriales de coordenadas { m } es dado por
gramo m v = gramo ( m , v ) .
Para comprobar esto, recuerda d X m ( v ) = d m v . Recordar que gramo es un producto interno, entonces m y v ser ortogonal significa precisamente eso gramo m v = 0 . En tu caso, gramo a θ = gramo θ a = 0 , por ejemplo, como a y θ son ortogonales.