Espace tangent — Wikipédia https://fr.wikipedia.

org/wiki/Espace_tangent

Basculer la table des matières

Espace tangent
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.

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 Representation du plan tangent à la
revient à considérer que la variété a localement une structure sphère en un point.
proche de celle d'un espace affine.

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

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

Définition en termes de chemins

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

L'espace tangent TxM en un point x
d'équivalence. Une classe d'équivalence V est appelée vecteur
∈ M et un vecteur tangent v ∈ TxM,
le long d'une courbe passant par x.
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.

1 sur 2 23/06/2023 20:16

Espace tangent — Wikipédia https://fr.wikipedia.org/wiki/Espace_tangent

Définition en termes de dérivation

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

Voir aussi
▪ Fibré tangent
▪ Théorème du redressement

Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Espace_tangent&oldid=186880584 ».

Activer ou désactiver la limitation de largeur du contenu

2 sur 2 23/06/2023 20:16