Sé que esta pregunta ya se ha hecho y respondido (ver por ejemplo aquí y aquí ) y aunque la segunda respuesta se acerca bastante a cuál es mi problema (incluso al tocar mi pregunta uno, simplemente lo ignora con un "por definición "), todavía no veo dónde falla exactamente mi razonamiento.
Dejar , para , sea una curva suave, entonces es un elemento del espacio tangente en , que denotaremos por . Ahora podemos elegir un gráfico local en algún subconjunto abierto de , tal que podemos expresar como .
Si es la conexión de Riemann en , entonces hemos definido una geodésica como una curva en que satisface .
Dejar ser un campo de vector Killing. Entonces aparentemente lo siguiente es cierto:
Si se trató de calcular esto directamente:
Su término de Christoffel está equivocado por un factor de 2 y faltan algunos puntos x. Si lo arregla, la última línea será la derivada covariante en la línea mundial:
Sin embargo, no hay razón para usar derivados de coordenadas:
El primer término desaparece por la ecuación de Killing y el segundo por la ecuación geodésica afínmente parametrizada.
Cineed Simson
Cineed Simson
Sito
Cineed Simson