Géométrie différentielle - Définition

Explication mathématique

La géométrie différentielle couvre l'analyse et l'étude de divers concepts :

• l'étude des variétés
• les fibrés tangents et cotangents
• les formes différentielles
• les dérivées extérieures
• les intégrales des p-formes sur des p-variétés
• le théorème de Stokes
• les dérivées de Lie
• la courbure

Tous sont en rapport avec l'analyse à plusieurs variables, mais pour les applications géométriques, il est nécessaire de raisonner sans privilégier un système de coordonnées. Ces concepts distincts de la géométrie différentielle peuvent être considérés comme ceux qui englobent la nature géométrique de la dérivée seconde, c'est-à-dire les caractéristiques de la courbure.

Une variété différentielle dans un espace topologique est une collection d'homéomorphismes d'ensembles ouverts vers une sphère unitaire Rⁿ tels que les ensembles ouverts couvrent l'espace et que si f, g sont des homéomorphismes alors la fonction f^-1 o g d'un sous-ensemble ouvert de la sphère unitaire vers la sphère ouverte unitaire est infiniment différentiable. On dit que la fonction d'une variété vers R' est infiniment différentiable si la composition de chaque homéomorphisme résulte en une fonction infiniment différentiable à partir de la sphère ouverte unitaire à R.

En chaque point de la variété se trouve un espace tangent à ce point constitué de toutes les vitesses (direction et intensité) possibles et avec lesquelles il est possible de s'écarter de ce point. Pour une variété à n dimensions, l'espace tangent en tout point est un espace vectoriel à n dimensions ou, en d'autres termes, une copie de Rⁿ. L'espace tangent a plusieurs définitions. Une définition possible est l'espace vectoriel des chemins qui passent en ce point, quotienté par la relation d'équivalence qui identifie deux chemins ayant le même « vecteur vitesse » en ce point (c'est-à-dire la même dérivée si on les compose avec une carte quelconque).

Un champ de vecteurs est une fonction d'une variété vers l'union disjointe de ses espaces tangents (l'union en elle-même est une variété connu comme le fibré tangent) de telle manière que, en chaque point, la valeur obtenue est un élément de l'espace tangent en ce point. Une telle relation est appelée section d'un fibré. Un champ vectoriel est différentiable si pour chaque fonction différentiable, l'application du champ en chaque point produit une fonction différentiable. Les champs vectoriels peuvent être perçus comme des équations différentielles indépendantes du temps. Une fonction différentiable des réels vers la variété est une courbe sur la variété. Cela définit une fonction des réels vers les espaces tangents : la vitesse de la courbe sur chacun des points qui la constitue. Une courbe est une solution du champ vectoriel si, pour chaque point, la vitesse de la courbe est égale au champ vectoriel en ce point.

Une k-forme linéaire alternée est un élément de la k^e puissance d'un tenseur antisymétrique du dual E^* d'un espace vectoriel E. Une k-forme différentielle d'une variété est un choix, en chaque point de la variété, d'une telle k-forme alternée où E est l'espace tangent en ce point. Elle sera différentiable si le résultat, après une opération sur des k-champs vectorielles différentiables, est une fonction différentiable de la variété vers les réels.

Liens

Liens internes

• Fibré vectoriel
• Géométrie riemannienne
• Géométrie non euclidienne
• Géométrie de Finsler
• Géométrie symplectique
• Géométrie complexe
• Géométrie de contact
• Groupe de Lie
• Relativité générale
• Topologie
• Topologie différentielle

Liens externes

• Cours sur les courbes et les surfaces [pdf]
• Galerie d'images
• Notes sur la géométrie différentielle [pdf]