Carte locale

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éfinitionModifier

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éModifier

Un atlas (topologique) sur X est simplement une famille de cartes locales dont les ouverts recouvrent X. Pour toutes cartes   et   de l'atlas, l'application dite de changement de cartes

 

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 Ck, variété lisse, etc.).

ExempleModifier

Appliquons une projection stéréographique à la sphère S2 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 S2.
  • L'application réciproque : est donc le paramétrage de S2\{N} « déduit » de  .
  • On définit de même une carte locale avec 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 S2\{S} « déduit » de   est l'application : 
  • L'application correspondante de changement de cartes est : C'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).