Application exponentielle

L'application exponentielle correspondante est définie par expp(v) = γv(1). En général, cette application n'est définie que localement, c'est-à-dire qu'elle n'envoie qu'un petit voisinage de l'origine de TpM vers un voisinage de p dans la variété ; ceci vient …