Début de la boite de navigation du chapitre
fin de la boite de navigation du chapitre
En raison de limitations techniques, la typographie souhaitable du titre, «
Géométrie différentielle : Espace tangent
Géométrie différentielle/Espace tangent », n'a pu être restituée correctement ci-dessus.
La définition d'une variété a été donnée dans le chapitre précédent, mais elle ne répond pas à notre principale question : comment dériver des fonctions ? Pour cela, il faut introduire un nouvel espace : l'espace tangent.
Soient et deux variétés , et soit . Comment parler de la différentielle de ? Pour cela, il faut se placer dans des cartes.
Soit . Soit une carte de et une carte de tel que et . Il est alors naturel de considérer l’application , qui va d'un espace vectoriel dans un autre. On peut alors étudier la différentiabilité de cette fonction.
La question est : que se passe-t-il quand on change de carte ? L'espace tangent est là pour répondre à cette question.
Relation d'équivalence
Soient et deux cartes de M. Soient et . Soit .
Alors si , et .
Proposition :
La relation définie ci-dessus est bien une relation d'équivalence.
Définition : Espace tangent
On appelle espace tangent à l’ensemble des classes d'équivalences pour la relation précédemment définie.
On le note .
Définition : Espace tangent en x
Reprenons notre fonction définie dans l'introduction. Grâce à l'espace tangent, nous allons pouvoir écrire sa différentielle.
Définition : différentielle d'une fonction
On définit de la manière suivante :
Soit , une carte de telle que et une carte de telle que . On définit alors .
Il est fondamental de noter que cette définition de dépend pas des cartes (preuve à écrire).
Propriété :
On note que l’on peut définir à partir de cette définition. À CHANGER.