Dejar ser una variedad pseudo-Riemann, y una base ortonormal del espacio tangente del punto .
Adjunto a esta base y usando el mapa exponencial (inducido por la conexión Levi-Civita), tenemos el llamado sistema de coordenadas normal alrededor de una vecindad de
.
Mi pregunta es sobre los campos de vectores de coordenadas locales adjuntos a este sistema de coordenadas:
.
No es difícil ver que estos campos vectoriales evaluados en coincidir con los vectores tangentes originales utilizados para definir el sistema de coordenadas normal, es decir
para todos ,
y por lo tanto forman una base ortonormal de .
Me gustaría saber si los campos vectoriales de coordenadas evaluados en un punto diferente
formar una base ortonormal? Si no, ¿en qué casos esto es cierto?
Estoy pensando que, quizás, la situación anterior esté relacionada con la curvatura del espacio-tiempo. Tal vez, algo como "los campos de vectores de coordenadas adjuntos a las coordenadas normales son ortogonales en si y solo si el espacio-tiempo es localmente plano en (el tensor de Riemann desaparece en )" ¿podra celebrar?
Si la base de coordenadas es ortonormal en un conjunto abierto , entonces en ese conjunto tenemos
lo cual solo es posible si la métrica es plana .
Además, con el significado habitual (al menos en física) de "localmente plano", cada variedad es localmente plana, porque la métrica siempre se puede establecer igual a la métrica euclidiana/Minkowski más los términos de segundo orden. Estás usando un significado ligeramente diferente, así que ten cuidado con eso.
Ver mapeo exponencial que mapea de manera única a un vecindario a lo largo de una geodésica, también conocidas como coordenadas normales.
El valor del campo vectorial en la vecindad depende de la curva geodésica, asumiendo una conexión simétrica.
Y sería en el barrio de - no seria a menos que era plana.
En cierto sentido, puede pensar en ello como una extensión de la base en Hacia el barrio de primer orden.
danu
Javier
danu
Javier
danu