Variété différentielle

Variété différentielle

En mathématiques, les variétés différentielles ou variétés différentiables sont les objets de base de la topologie différentielle et de la géométrie différentielle. Il s'agit de variétés sur lesquelles il est possible d'effectuer les opérations du calcul différentiel et intégral.

Une variété différentielle se définit d'abord par la donnée d'une variété topologique, espace topologique localement homéomorphe à l'espace ℝn. Les homéomorphismes locaux sont appelés cartes et définissent des systèmes de coordonnées locales. La structure différentielle est définie en exigeant certaines propriétés de régularité des applications de transition entre les cartes. Cette structure permet par exemple de donner une définition globale de la notion d'application différentiable.

Sommaire

Définition par un atlas

Pour une introduction informelle voir l'article Variété (géométrie).

Cartes locales et atlas

Article détaillé : Carte locale.
L'application de projection stéréographique définit une carte locale sur la sphère.

Une variété topologique M de dimension n est un espace topologique séparé à base dénombrable, tel que chacun de ses points admet un voisinage ouvert homéomorphe à un ouvert de l'espace vectoriel topologiquen. Plus précisément :

\forall x\in M , il existe un voisinage ouvert Ux et un homéomorphisme \varphi_x:U_x\longrightarrow \varphi_x(U_x)\subset\R^n. On dit alors que (Uxx) est une carte locale de M.

Une famille de cartes (Uii) qui recouvre (entièrement) M constitue un atlas de la variété M.

Un tel atlas est dit de classe Ck, 1 ≤ k ≤ ∞, si : pour tous les indices i,j tels que U_i\cap U_j\neq\varnothing, l'application de changement de cartes

\varphi_i\circ\varphi_j^{-1}: \varphi_j(U_i\cap U_j) \to \varphi_i(U_i\cap U_j)

est un difféomorphisme de classe Ck.

Structure de variété différentielle

Deux atlas de classe Ck sur une même variété topologique M sont dits compatibles lorsque leur réunion est encore un atlas de classe Ck. La relation de compatibilité ainsi introduite est une relation d'équivalence pour les atlas.

Les classes d'équivalence définissent la structure de variété différentielle : une variété différentielle (ou variété différentiable) de classe Ck est une variété topologique munie d'une famille d'atlas de classe Ck tous compatibles avec un atlas donné. Une variété lisse est une variété différentielle de classe C.

Dans chaque classe d'équivalence existe un représentant privilégié, l'atlas maximal, obtenu en considérant toutes les cartes compatibles avec l'atlas initial.

Les exemples les plus classiques de variétés différentielles sont les ouverts de l'espace euclidien ℝn, la sphère de dimension n, le tore de dimension n, les espaces projectifs réels ou complexes.

Variantes

On obtient une variété analytique en exigeant que les applications de changements de cartes soient des fonctions analytiques.

La géométrie complexe étudie les variétés analytiques complexes (ou variétés complexes), définies de façon analogue sur le corps des complexes, avec des applications de changement de cartes qui sont biholomorphes.

Il est possible d'étudier des variétés modelées sur des espaces vectoriels de dimension infinie, comme les variétés de Banach ou de Fréchet.

Applications différentiables

Définition

La différentiabilité d'une fonction f entre deux variétés différentielles M et N se définit en procédant à la lecture de f dans des cartes locales au voisinage de chaque point.

Formellement, on considère deux variétés M et N de classe Ck et un entier j inférieur à k. Une application f : M → N est dite de classe Cj, ou Cj-difféomorphisme, quand, pour tout point m de M, on peut trouver une carte locale (U,ϕ) de M centrée en m et une carte locale (V,ψ) de N centrée en n=f(m) telles que

f_{\phi,\psi}=\psi \circ f \circ \phi^{-1} est bien définie et est de classe Cj de ϕ(U) dans ψ(V).

Si on considère de nouvelles cartes locales, la régularité des applications de changement de cartes assure que les fonctions fϕ',ψ' correspondantes seront régulières, ce qui montre la cohérence de la définition.

Il est un peu plus délicat de définir la notion de différentielle d'une application différentiable, puisque cela demande d'introduire au préalable les vecteurs tangents. Cependant, le rang de la différentielle de fϕ,ψ au point m ne dépend pas des cartes choisies. On parle notamment d'immersion si ce rang est égal en tout point à la dimension de M, de submersion s'il est égal en tout point à la dimension de N[1].

Variétés isomorphes

La composée d'applications de classe Cj entre deux variétés, quand elle existe, est de classe Cj. Les variétés différentielles de classe Ck forment une catégorie dont les morphismes sont les applications de classe Ck.

Deux variétés différentielles M et N de classe Ck sont isomorphes lorsqu'il existe un Ck-difféomorphisme de M dans N (c'est-à-dire une application bijective de classe Ck ainsi que sa réciproque).

Du point de vue du calcul différentiel, il est possible d'identifier deux variétés isomorphes. La géométrie différentielle a pour objet premier l'étude des structures différentielles modulo la relation d'isomorphisme.

Existence et unicité de structures différentielles

Alors que la théorie des variétés différentielles est foncièrement différente de celle des variétés topologiques, le degré de différentiabilité utilisé est sans importance autre que technique. On a en effet le théorème[2]

Soient k1 ≤ k2 dans (N\{0})∪{∞, ω} (ω pour analytique). Toute variété de classe Ck1 est Ck1-difféomorphe à une variété de classe Ck2. Si deux variétés de classe Ck2 sont Ck1-difféomorphes, alors elles sont Ck2-difféomorphes.

Ce théorème s'interprète naïvement en disant qu'on peut retirer d'un atlas Ck1 des cartes qui se recollent mal (dont les applications de changement de carte ne sont pas de classe Ck2). On obtient alors un atlas avec moins de cartes, mais de classe Ck2. A l'extrême s'il ne reste plus qu'une seule carte dans l'atlas (la variété étant alors homéomorphe à un ouvert de Rn), dans ce cas l'atlas est analytique.

On connaît au contraire des variétés topologiques qui admettent plusieurs structures différentielles non isomorphes. Le premier exemple, découvert en 1956 par John Milnor[3], est la sphère de dimension 7 (voir l'article sphère exotique). Il existe par ailleurs des variétés topologiques qui n'admettent aucune structure différentielle (Michel Kervaire (en), 1960[4]).

Les questions d'existence et d'unicité ne se posent qu'à partir de la dimension 4, puisqu'une variété topologique de dimension inférieure à 3 possède une unique structure différentielle[5]. La dimension 4 est la première dimension pour laquelle l'existence et l'unicité sont mises en défaut.

Cette dimension joue à plusieurs égards un rôle particulier : on sait ainsi que pour toute valeur de n différente de 4, l'espace ℝn possède une unique structure différentiable, alors qu'il existe une infinité non dénombrable de structures non isomorphes sur ℝ4 (voir l'article Michael Freedman établit la classification des variétés topologiques compactes simplement connexes de dimension 4[7]. L'année suivante, Simon Donaldson montre que les structures différentielles sont soumises à des contraintes beaucoup plus fortes[8] ; il découvre également de nouveaux invariants de la structure différentielle[9]. Ces travaux sont exploités pour montrer l'existence de structures exotiques sur ℝ4 : Clifford Taubes montre même en 1987 qu'il en existe une infinité non dénombrable, représentée sous la forme d'une famille à deux paramètres[10].

Sous-variétés, plongements

Article détaillé : Plongement.
La lemniscate n'est pas une sous-variété du plan, car elle a un point double. On peut la voir comme l'image d'un cercle par une immersion, mais pas un plongement.

Soit M une variété différentielle et \scriptstyle\mathcal A son atlas maximal de classe Ck. Une partie N de M est une sous-variété différentielle de codimension d, si N en est une sous-variété topologique de dimension n-d et si N respecte l'atlas \scriptstyle\mathcal A au sens suivant

Au voisinage de chaque point x de N, il existe une carte locale \scriptstyle(U,\varphi)\in\mathcal{A} pour laquelle
\varphi(U\cap N) = \varphi(U)\cap (\R^{n-d}\times\{0\}^d).

Autrement dit, un point p est dans N ssi les d dernières coordonnées de φ(p) sont nulles. La partie N est alors naturellement munie d'une structure de variété Ck de dimension n-d, induite par celle de M ; à savoir la classe de Ck-équivalence dans N de l'atlas formé par les cartes φ dont les d dernières coordonnées s'annulent sur N.

Tout ouvert d'une variété est une sous-variété de codimension 0.

Certaines courbes et surfaces classiques du plan ou de l'espace forment des sous-variétés, mais pas toutes, par exemple à cause de l'existence de points multiples. Si la courbe ou la surface est définie de façon paramétrique, on peut donner des conditions suffisantes sur l'application de paramétrage pour que l'image soit une sous-variété, ce qui conduit à la notion générale de plongement. On peut aussi donner des conditions pour qu'une courbe ou surface définie par une ou des équations soit une sous-variété. L'équivalence locale entre ces différents points de vue est donnée par le théorème des fonctions implicites.

De façon générale, un plongement permet d'inclure une variété dans une autre en respectant la structure différentielle. Une application p d'une variété X dans M est appelée plongement quand p est une immersion et un homéomorphisme sur son image Y=p(X). Dans ce cas, Y est une sous-variété de M. Le théorème de plongement de Whitney montre que toute variété différentielle peut être plongée dans un espace ℝp pour un p suffisamment grand, c'est-à-dire que toute variété peut être vue comme sous-variété d'un tel espace vectoriel.

On dispose d'une généralisation de la définition d'une sous-variété par équation. Si f : M → N est une submersion entre les variétés différentielles M et N, et si n appartient à N, alors l'image réciproque f -1({n}) est une sous-variété de codimension égale à la dimension de N.

Notamment, les sous-variétés de codimension 1 sont appelées hypersurfaces de M. Elles peuvent être obtenues, localement, comme images réciproques pour des fonctions numériques définies sur M et sans point critique.

Calcul différentiel sur une variété

Vecteurs tangents et différentielle d'une application

Article détaillé : Fibré tangent.

On peut définir de façon relativement simple la notion de vecteur tangent à une sous-variété de ℝp, et cette définition donne des vecteurs de l'espace ambiant. Cependant, il est utile et important de disposer d'une construction qui ne fasse pas intervenir de plongement, mais qui soit valable au niveau des variétés abstraites.

Un mode de définition possible est basé sur la relation de tangence entre les courbes. On peut, par lecture dans une carte locale, définir la notion de courbes tangentes en un point m de la variété M. Les vecteurs tangents en m à la variété sont alors les classes d'équivalence pour cette relation. Ils forment un espace vectoriel TmM qui a la même dimension n que M.

La réunion disjointe de tous les espaces tangents TmM pour m appartenant à M forme une variété TM de dimension 2n, appelée fibré tangent à la variété. L'espace TM possède une structure de fibré vectoriel de base M. Cependant cette construction engendre une perte de différentiabilité : si M est de classe Ck+1, le fibré tangent est de classe Ck.

On peut ensuite définir la différentielle d'une application différentiable f entre deux variétés M et N. On note m un point de M et n son image ; alors la différentielle Tmf de f au point m est une application linéaire de l'espace tangent TmM vers TnN. Pour la définir, on réintroduit les applications fϕ,ψ représentant la fonction f lue dans des cartes locales, et on en prend la différentielle au point ϕ-1(m) correspondant à m. Une nouvelle fois, l'objet ainsi construit est indépendant des cartes utilisées.

Fibrés associés

Opérateurs de calcul différentiel

Opérateur de Laplace-Beltrami

Notes et références

Notes

  1. Cet ordre d'exposition, où l'on définit l'immersion avant la différentielle, peut par exemple être trouvé dans le livre Riemannian Geometry cité en référence.
  2. M. Hirsch, Differential topology, GTM 33, Springer, 1976.
  3. John Milnor, On manifolds homeomorphic to the 7-sphere, Annals of Math. 64, 1956, p. 399-405
  4. M. Kervaire, A manifold which does not admit any differentiable structure, Comm. Math. Helv., 34, 1960, p. 257–270 consultable en ligne
  5. Pour la dimension 3, ce texte présente (page 8) la cascade de résultats (1934-1960) qui concourent à donner cette propriété
  6. Une partie de cette séquence est retracée dans le livre The Geometry of Four-Manifolds cité en référence, p. 28-30
  7. Michael Freedman, The topology of four-dimensional manifolds, Journal of Differential Geometry, 17, 1982, p. 357-454
  8. Simon Donaldson, Self-dual connections and the topology of smooth 4-manifolds., Bull. Amer. Math. Soc. (en), vol. 8, 1983, p. 81-83, disponible en ligne
  9. Simon Donaldson, An application of gauge theory to four-dimensional topology, Journal of Differential Geometry, 18, 1983, p. 279-315
  10. Clifford Taubes, Gauge theory on asymptotically periodic 4-manifolds, Journal of Differential Geometry, 25, p. 363-430 (1987), voir résumé en ligne

Références

  • Jacques Lafontaine, Introduction aux variétés différentielles [détail des éditions]
  • (en) Sylvestre Gallot, Dominique Hulin et Jacques Lafontaine, Riemannian Geometry [détail des éditions]
  • (en) Morris W. Hirsch (de), Differential Topology [détail des éditions] 
  • (en) S. K. Donaldson et P. B. Kronheimer (en), The Geometry of Four-Manifolds (Oxford Mathematical Monographs) (ISBN 978-0-19-850269-2)

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Variété différentielle de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • Variete differentielle — Variété différentielle En mathématiques, les variétés différentielles ou variétés différentiables sont les objets de base de la topologie différentielle et de la géométrie différentielle. Il s agit de variétés sur lesquelles il est possible d… …   Wikipédia en Français

  • Congruence (Variété Différentielle) — Pour les articles homonymes, voir congruence. En relativité générale, le terme de congruence désigne un ensemble de courbes ne s intersectant pas, susceptibles de représente un flot géodésique de particules se déplaçant sur une variété… …   Wikipédia en Français

  • Congruence (variete differentielle) — Congruence (variété différentielle) Pour les articles homonymes, voir congruence. En relativité générale, le terme de congruence désigne un ensemble de courbes ne s intersectant pas, susceptibles de représente un flot géodésique de particules se… …   Wikipédia en Français

  • Congruence (variété différentielle) — Pour les articles homonymes, voir congruence. En relativité générale, le terme de congruence désigne un ensemble de courbes ne s intersectant pas, susceptibles de représente un flot géodésique de particules se déplaçant sur une variété… …   Wikipédia en Français

  • Variété différentiable — Variété différentielle En mathématiques, les variétés différentielles ou variétés différentiables sont les objets de base de la topologie différentielle et de la géométrie différentielle. Il s agit de variétés sur lesquelles il est possible d… …   Wikipédia en Français

  • Variete riemannienne — Variété riemannienne Une variété riemannienne est une variété différentielle ayant une structure supplémentaire permettant de définir la longueur d un chemin entre deux points de la variété. Sommaire 1 Définitions et exemples élémentaires 1.1… …   Wikipédia en Français

  • Variété banachique — Une variété banachique ou variété de Banach est une généralisation en dimension infinie de la notion de variété différentielle. Soit E un espace de Banach réel. Une carte locale d un espace topologique X sur E est la donnée d un ouvert U de X et… …   Wikipédia en Français

  • Variete symplectique — Variété symplectique En mathématiques, une variété symplectique est une variété différentielle M, munie d une forme différentielle de degré deux ω fermée et non dégénérée, appelée forme symplectique. L étude des variétés symplectiques relève de… …   Wikipédia en Français

  • Variété symplétique — Variété symplectique En mathématiques, une variété symplectique est une variété différentielle M, munie d une forme différentielle de degré deux ω fermée et non dégénérée, appelée forme symplectique. L étude des variétés symplectiques relève de… …   Wikipédia en Français

  • Variete cotangente — Variété cotangente En topologie différentielle, une variété cotangente est l espace total du fibré cotangent d une variété différentielle M. Rappelons que le fibré cotangent est le fibré dual du fibré tangent de M. Ses sections sont les 1 formes… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”