- Carte locale
-
Pour les articles homonymes, voir Carte.
En mathématiques, plus précisément en topologie et en géométrie différentielle, une carte locale d'une variété topologique ou d'une variété différentielle est une paramétrisation d'un ouvert de cette variété par un ouvert d'un espace de Banach. Un atlas est une famille de cartes locales compatibles qui recouvrent la variété.
Définition
Soit E un espace de Banach.
Une carte locale d'un espace topologique X sur E est la donnée d'un couple (U,φ) où :
- U est un ouvert de X.
- est une application de U dans E telle que soit un homéomorphisme.
L'application réciproque est alors appelée paramétrisation de U, et les coordonnées locales des points de U sont leurs images par φ.
Compatibilité
Deux cartes locales sur E, (U1,φ1) et (U2,φ2) sont dites compatibles lorsque :
- ,
- l'application dite de changement de cartes est un difféomorphisme.
Exemple
Appliquons une projection stéréographique à la sphère S3 privée d'un point noté N (N comme "Nord"). On supposera que ses coordonnées cartésiennes (dans un repère orthonormé convenablement choisi) sont (0,0,1).
- : est une carte locale de S3.
- L'application réciproque :
-
- :
est donc le paramétrage de S3 − {N} "déduit" de φ.
- Cette carte locale est compatible avec la carte locale
-
- :
(avec bien sûr S le point diamétralement opposé à N qui a donc comme coordonnées cartésiennes dans le même repère, (0,0,-1)).
- Le paramétrage de "déduit" de ψ est l'application :
-
- :
- L'application correspondante de changement de cartes est :
Wikimedia Foundation. 2010.