Loading AI tools
bijection différentiable dont la réciproque est également différentiable De Wikipédia, l'encyclopédie libre
En mathématiques, un difféomorphisme est un isomorphisme dans la catégorie usuelle des variétés différentielles : c'est une bijection différentiable d'une variété dans une autre, dont la bijection réciproque est aussi différentiable.
Soient :
On dit que f est un difféomorphisme si les trois propriétés suivantes sont vérifiées :
S'il existe un tel f (avec U et V non vides), alors E et F sont isomorphes, donc de même dimension.
On peut remarquer que les hypothèses sont légèrement redondantes. En effet, d'après le théorème de l'invariance du domaine, si U est un ouvert non vide de ℝn et f : U → ℝm une injection continue, et si m ≤ n, alors m = n, f(U) est ouvert, et f est un homéomorphisme entre U et f(U).
Pour 1 ≤ k ≤ ∞, un Ck-difféomorphisme est une fonction de classe Ck, bijective, et dont la réciproque est également de classe Ck.
De même qu'entre ouverts de ℝn,
Un difféomorphisme local (en) est une application f : M → N d'une variété dans une autre telle que pour tout point m de M, il existe un voisinage ouvert U de m dans M tel que f(U) soit ouvert dans N et que la restriction de f, de U sur f(U), soit un difféomorphisme.
Si f : M → N est un difféomorphisme local alors, pour tout point m de M, l'application linéaire Tmf : TmM → Tf(m)N (différentielle de f au point m) est un isomorphisme (ceci implique que M et N ont même dimension, et revient alors, en coordonnées locales, à dire que le jacobien de f en m est non nul, ou encore, que les parties linéaires des approximations affines des différentes composantes de f sont linéairement indépendantes). D'après le théorème d'inversion locale, la réciproque est vraie dès que f est de classe C1.
Un difféomorphisme local est un difféomorphisme (global) si et seulement s'il est bijectif. Dans le cas des fonctions numériques entre intervalles, le théorème de la bijection assure que tout Ck-difféomorphisme local d'un intervalle réel sur un autre est un Ck-difféomorphisme (global). Ce résultat élémentaire se généralise aux dimensions supérieures et aux variétés sous la forme suivante :
Théorème — Si la variété M est connexe et si la variété N est connexe et simplement connexe, alors tout difféomorphisme local propre f : M → N est un difféomorphisme.
En effet, tout difféomorphisme local est une application ouverte et toute application continue et propre d'une variété dans une autre est fermée. Par connexité de N, ces deux propriétés assurent que f est un revêtement[1],[2]. Par simple connexité de N, ce revêtement est trivialisable[3] donc par connexité de M, f est un difféomorphisme.
L'hypothèse de simple connexité est cruciale. Par exemple, l'application z ↦ z2, de C* dans lui-même, est un C∞-difféomorphisme local (son jacobien en z est égal à 4|z|2 donc n'est jamais nul) mais n'est pas injective (c'est un 2-revêtement).
Le cas particulier M = N = ℝn[1],[4] et une généralisation aux espaces de Banach[5],[6] sont connus sous le nom de théorème de Hadamard-Lévy.
Le déterminant de cette matrice est nul si et seulement si ou est nul. Par conséquent, la restriction de au plan privé de ces deux axes est un difféomorphisme local. Mais cette restriction n'est pas injective puisque , ni surjective puisque si alors .
Le groupe des difféomorphismes d'une variété M de classe Ck est le groupe des Ck-difféomorphismes de M dans M. On le note Diff k(M), ou Diff(M) quand k est implicite. Il est « gros », au sens où il n'est pas localement compact (sauf si M est de dimension 0).
Les composantes connexes de ce groupe sont les difféotopies de la variété (qui composent son mapping class group).
Le groupe des difféomorphismes a deux topologies naturelles, la « faible » et la « forte »[9].
La topologie faible sur le groupe des difféomorphismes est la « topologie compacte-ouverte » au sens de la convergence uniforme sur tout compact de la fonction et de ses dérivées jusqu'à l'ordre k. Elle est métrisable (par σ-compacité de M).
Le groupe des difféomorphismes, muni de sa topologie faible, est localement homéomorphe à l'espace des champs de vecteurs de classe Ck[10], via les applications exponentielles pour des métriques riemanniennes locales arbitraires. Si k est fini et si M est compacte, cet espace des champs de vecteurs est de Banach et le groupe des difféomorphismes est une variété de Banach. Si k = ∞ ou si la variété est seulement σ-compacte, l'espace des champs de vecteurs et le groupe des difféomorphismes sont seulement de Fréchet.
Lorsque la variété est compacte, la topologie forte sur le groupe des difféomorphismes coïncide avec la faible. Lorsqu'elle ne l'est pas, la forte rend compte du comportement « à l'infini » des fonctions et n'est plus métrisable, mais elle est encore de Baire.
Pour une variété connexe M, le groupe des difféomorphismes agit transitivement sur M. Il agit même transitivement sur la variété des configurations CnM pour tout entier naturel n et, si la dimension de M est au moins 2, sur la variété des configurations FnM : l'action sur M est « multiplement transitive »[11].
En 1926, Tibor Radó demanda si le prolongement harmonique de tout homéomorphisme (ou difféomorphisme) du cercle unité dans lui-même était un difféomorphisme du disque ouvert. Une preuve élégante fut fournie peu après par Hellmuth Kneser et une démonstration complètement différente fut découverte en 1945 par Gustave Choquet, qui ignorait apparemment que ce théorème était déjà connu.
Le groupe Diff+(S1) des difféomorphismes orientés du cercle (i.e. les f qui préservent l'orientation) est connexe par arcs, puisqu'ils se relèvent en les difféomorphismes orientés g de ℝ tels que g(x + 1) = g(x) + 1 et que ces derniers forment un ensemble convexe. Un chemin lisse de f à l'identité, constant au voisinage de 1, donne un autre moyen de prolonger f en un difféomorphisme du disque unité ouvert (c'est un cas particulier de l'astuce d'Alexander (en)). De plus, le groupe des difféomorphismes du cercle a le type d'homotopie du groupe orthogonal O2.
Le problème de prolongement correspondant pour l'hypersphère Sn−1 a été très étudié dans les années 1950 et 1960, notamment par René Thom, John Milnor et Stephen Smale. Une obstruction est le groupe abélien fini Γn, le « groupe des sphères tordues », défini comme le quotient de π0Diff+(Sn−1) — le groupe abélien des composantes connexes du groupe des difféomorphismes orientés — par le sous-groupe des composantes contenant des restrictions de difféomorphismes de la boule Bn.
Le mapping class group π0Diff+(M) d'une variété orientable M est généralement non trivial. Si M est une surface, ce groupe est de présentation finie, engendré par les twists de Dehn (en)[12]. Max Dehn et Jakob Nielsen ont prouvé qu'il s'identifiait au groupe des automorphismes extérieurs du groupe fondamental de la surface.
William Thurston a raffiné cette analyse en classifiant les éléments du mapping class group (en) en trois types : ceux équivalents à un difféomorphisme périodique, ceux équivalents à un difféomorphisme laissant invariante une courbe fermée simple, et ceux équivalents à un difféomorphisme pseudo-Anosov (en). Dans le cas du tore S1×S1 = ℝ2/ℤ2, le mapping class group est simplement le groupe modulaire SL(2, ℤ) et la classification se ramène à celle des transformations de Möbius elliptiques, paraboliques et loxodromiques. Thurston réalisa cette classification en remarquant que le mapping class group agissait naturellement sur une compactification de l'espace de Teichmüller ; sur cet espace ainsi agrandi, homéomorphe à une boule fermée, le théorème du point fixe de Brouwer pouvait s'appliquer.
Smale conjectura que pour une variété M lisse, orientable, compacte et sans bord, π0Diff+(M) est un groupe simple. Michaël Herman démontra le cas particulier d'un produit de cercles et Thurston le cas général.
Il est facile (voir section « Exemples » ci-dessus) d'exhiber un homéomorphisme lisse qui n'est pas un difféomorphisme, mais plus difficile de trouver des variétés lisses qui sont homéomorphes sans être difféomorphes. Il en existe seulement en dimension supérieure ou égale à 4.
Le premier exemple fut la sphère exotique de Milnor, variété de dimension 7, homéomorphe mais non difféomorphe à la 7-sphère standard. Il existe en fait (à difféomorphisme orienté près) 28 variétés homéomorphes à la 7-sphère (chacune est l'espace total d'un fibré en 3-sphères sur la 4-sphère).
Le cas des variétés de dimension 4 (en) est encore plus pathologique. C'est au début des années 1980, en combinant des résultats de Simon Donaldson et Michael Freedman, que furent découverts les ℝ4 exotiques (en) : il existe une famille non dénombrable d'ouverts de ℝ4, tous homéomorphes à ℝ4 mais deux à deux non difféomorphes, et il existe aussi une famille non dénombrable de variétés homéomorphes à ℝ4, deux à deux non difféomorphes, dont aucune n'est difféomorphe à un ouvert de ℝ4.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.