En una variedad riemanniana una línea geodésica entre dos puntos suficientemente cercanos es necesariamente una curva de mínima longitud, es decir, el camino más corto posible entre dos puntos.