Espace tangent

Un article de Wikipédia, l'encyclopédie libre.

Cet article est une ébauche concernant la géométrie.

Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).

L'espace tangent en un point $a$ 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 $a$ .

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.

Sommaire

1 Définition lorsque la variété est plongée
2 Définition formelle
- 2.1 Définition en termes de chemins
3 Voir aussi

[modifier] Définition lorsque la variété est plongée

Lorsque la variété est plongée dans $\mathbb{R}^n$ , l'espace tangent en un point p est simplement l'ensemble des vecteurs tangents en p aux courbes (de classe $C 1$ ) tracées sur la variété et contenant p.

[modifier] Définition formelle

[modifier] Définition en termes de chemins

Supposons que $M$ est une variété différentielle de dimension $n$ et de classe $\mathcal{C}^1$ et que $p$ est un point de $M$ . Soit $(U,\varphi)$ une carte locale de $M$ en $p$ . Deux courbes $\gamma_1,\gamma_2:]-1,1[\rightarrow M$ , telles que $\varphi\circ\gamma_1, \varphi\circ\gamma_2$ soient différentiables en $0$ , sont dites tangentes en $\,p$ si $γ 1 (0) = γ 2 (0) = p$ et $\big(\varphi\circ\gamma_1(0)\big)^\prime(0) = \big(\varphi\circ\gamma_1(0)\big)^\prime(0)$ . Cette relation est une relation d'équivalence. L'ensemble des classes est l'espace tangent en $p$ à $M$ , noté $T p (M)$ . La fonction $\gamma\mapsto \phi\circ\gamma'(0)$ induit par passage au quotient une bijection de $T p (M)$ dans $\mathbb{R}^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.