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 y . (Siguiendo su notación, aquí 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 , 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?
cuando escribimos