geodésica en espacio métrico y en variedades

En el libro ''Metric space of non-positive curvature'' de Bridson y Haefliger tenemos la siguiente definición de geodésica en un espacio métrico:

Dejar ( X , d ) Sea un espacio métrico. Un mapa C : [ 0 , yo ] X es una geodésica si para todo s , t [ 0 , yo ] tenemos d ( C ( s ) , C ( t ) ) = | t s | .

Hasta ahora, todo bien. En el ejemplo debajo de esta definición, afirman lo siguiente:

“Hacemos hincapié en que las trayectorias que comúnmente se denominan geodésicas en geometría diferencial no necesitan ser geodésicas en el sentido métrico; en general solo serán geodésicas locales .''

Asumo que entienden por "sentido métrico" la métrica en nuestra variedad que es inducida por nuestra métrica riemanniana. De lo contrario no sé lo que significan?

Pero si esto es cierto, estoy bastante confundido acerca de esto, ya que γ : [ 0 , 1 ] R 2 , t 2 t es una geodésica en el sentido riemanniano (si consideramos la métrica riemanniana estándar en R 2 con conexión inducida). Pero esto nunca será una geodésica local en el sentido métrico, como d ( γ ( s ) , γ ( t ) ) = 2 | t s | para todos s , t [ 0 , 1 ] .

¿Dónde falla mi pensamiento? Y si no falla, ¿cuál es la conexión entre las geodésicas en el sentido métrico y el sentido riemanniano?

En general, las "geodésicas de geometría diferencial" solo minimizan la longitud localmente; considere en la esfera el camino del polo norte al polo sur, y luego avance un poco más a lo largo de este camino. Esta es una geodésica, pero el camino más rápido habría sido ir al revés alrededor de la esfera.
Sí, lo entiendo. Pero lo que me confunde es que los autores afirman (al menos yo lo entiendo así) es: las geodésicas de geometría diferencial son geodésicas métricas localmente. Pero creo que la curva γ es un contraejemplo?
una cosa es la distancia entre puntos en R 2 y otro la distancia entre curvas en R 2

Respuestas (1)

He visto una definición donde declaran que las geodésicas en un espacio métrico son curvas que satisfacen

d ( C ( s ) , C ( t ) ) = v | t s | ,
para algunos v 0 . Ver aquí por ejemplo. La definición que usó podría llamarse "geodésica de velocidad unitaria en ( X , d ) ".

Lo que los autores quieren decir es que las geodésicas en la geometría riemanniana podrían no ser geodésicas en el sentido que ustedes le dan, incluso si es de velocidad unitaria. Un ejemplo sencillo es la curva C ( t ) = [ t ] en la variedad unidimensional R / Z con la métrica euclidiana. Desde C ( 0 ) = C ( 1 ) ,

d ( C ( 0 ) , C ( 1 ) ) = 0 1 = | 1 0 | .

Por otro lado, si C ( t ) es una geodésica de velocidad unitaria en una variedad de Riemann ( METRO , gramo ) , entonces para cada t 0 , hay ϵ > 0 de modo que C | [ t 0 ϵ , t 0 + ϵ ] es longitud minimizando y C | [ t 0 ϵ , t 0 + ϵ ] es una geodésica en el sentido de espacio métrico. De ahí el término "geodésica local".