Carte locale

Modèle:Homonymes 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 φ: U → φ(U) soit un homéomorphisme.

L’application réciproque φ⁻¹: φ(U) → U est alors appelée paramétrisation de U, et les coordonnées locales des points de U sont leurs images par φ.

Compatibilité

Un atlas (topologique) sur X est simplement une famille de cartes locales dont les ouverts recouvrent X. Pour toutes cartes $(U_1,{\phi }_1)$ et $(U_2,{\phi }_2)$ de l'atlas, l'application dite de changement de cartes

${\phi }_2\circ {\phi }_1^{-1}:{\phi }_1(U_1\cap U_2)\to {\phi }_2(U_1\cap U_2)$

est alors un homéomorphisme.

Pour qu'un atlas définisse sur X une structure de variété différentielle, on demande de plus que ses cartes soient compatibles, c'est-à-dire que tous ses changements de cartes soient des difféomorphismes.

Il existe de multiples variantes de cette notion de compatibilité, selon la rigidité du type de structure considéré (variété de classe CModèle:Exp, variété lisseModèle:Etc.).

Exemple

Appliquons une projection stéréographique à la sphère SModèle:2 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).

• $\phi :S^2\setminus \{N\}\to {ℝ}^2,(x,y,z)⟼(\frac{x}{1-z},\frac{y}{1-z})$ est une carte locale de SModèle:2.
• L'application réciproque :Modèle:Retraitest donc le paramétrage de [[Différence ensembliste|SModèle:2\{N}]] « déduit » de $\phi$.
• On définit de même une carte localeModèle:Retraitavec 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 SModèle:2\{S} « déduit » de $\psi$ est l'application :Modèle:Retrait
• L'application correspondante de changement de cartes est :Modèle:RetraitC'est un difféomorphisme analytique, donc l'atlas de ces deux cartes munit la sphère d'une structure de variété analytique (c'est même une surface de Riemann).