¿Se garantiza que lo siguiente sea cierto para cualquier vector covariante? (1-formulario ) en ausencia de torsión?
es solo la definición de y está en todas partes en los libros de texto, y el hecho de que sea cero también está en todas partes. Así que mi verdadera pregunta es:
¿Es siempre cierto lo siguiente?
Creo que necesita la primera identidad de Bianchi (que se mantiene sin torsión). Su expresión antisimetrizada es la LHS de
Comentario agregado: en realidad su derivación usando también es bastante correcto, por lo que mi primera ruta de identidad de Bianchi se puede invertir para dar una prueba ordenada (y previamente desconocida para mí) de la primera identidad de Bianchi para conexiones sin torsión.
qmecanico
papi kropotkin