Espace tangent

un espace vectoriel qui est l’ensemble de tous les vecteurs-vitesse possibles d’un « mobile » se déplaçant dans une variété, quand il est en un point

L'espace tangent en un point p d'une variété différentielle M est un espace vectoriel qui intuitivement est l'ensemble de tous les vecteurs-vitesse possibles d'un « mobile » se déplaçant (sans pouvoir la quitter) dans la variété M quand il est en p.

Representation du plan tangent à la sphère en un point.

Une façon commune en physique de décrire l'espace tangent est de dire que les vecteurs qu'il contient représentent les différences entre ce point et des points de la variété infiniment proches du premier. Cette façon d'interpréter l'espace tangent revient à considérer que la variété a localement une structure proche de celle d'un espace affine.

Définition lorsque la variété est plongée

modifier

Lorsque la variété est plongée dans ℝn, l'espace tangent en un point p est simplement l'ensemble des vecteurs tangents en p aux courbes (de classe C1) tracées sur la variété et contenant p.

Définition formelle

modifier

Définition en termes de chemins

modifier
 
L'espace tangent TxM en un point x M et un vecteur tangent v TxM, le long d'une courbe passant par x.

Supposons que M est une variété différentielle de dimension n et de classe C1 et que p est un point de M. Soit (U, φ) une carte locale de M en p. Deux courbes γ1, γ2 : ]–1, 1[ → M, telles que φ∘γ1 et φ∘γ2 soient différentiables en 0, sont dites mutuellement tangentes en p si γ1(0) = γ2(0) = p et (φ∘γ1)'(0) = (φ∘γ2)'(0). Cette notion ne dépend pas de la carte choisie.

On peut vérifier que la relation ainsi définie est une relation d'équivalence. Une classe d'équivalence V est appelée vecteur tangent à M en p. Dans la carte précédente, le vecteur V est représenté par le vecteur de   égal à (φ∘γ)'(0), où γ est une courbe quelconque élément de la classe d'équivalence.

L'ensemble des classes est l'espace tangent en p à M, noté TpM. La fonction γ ↦ (φ∘γ)'(0) induit par passage au quotient une bijection de TpM dans ℝn qui fait de l'espace tangent un espace vectoriel. La formule du changement de cartes montre que la structure vectorielle ne dépend pas de la carte locale choisie.

Définition en termes de dérivation

modifier

Avec les notations précédentes, soit f une fonction de M à valeurs réelles, de classe  . Si on dispose d'une carte locale (U, φ) en p telle que (par exemple), φ(p) = 0, alors la fonction   est une fonction de classe  , définie dans un voisinage de   contenant 0 et à valeurs réelles. Si on se donne un vecteur   de  , on peut alors calculer la dérivée directionnelle de F selon   :

 

On vérifie que le résultat ne dépend pas de la carte choisie, mais seulement de la fonction f et de la classe d'équivalence V définie au paragraphe précédent, et pour laquelle on a   dans la carte donnée. On le note   ou  . Le vecteur définit ainsi une opération de dérivation sur les fonctions f, égale à   dans la carte précédente. Réciproquement, toute opération de dérivation est de cette forme et définit donc un vecteur. Cette méthode permet d'identifier les vecteurs tangents à M au point p avec les dérivations au point p des fonctions à valeurs réelles.

Notes et références

modifier

Voir aussi

modifier