Variété riemannienne

Variété riemannienne

En mathématiques, et plus précisément en géométrie, une variété riemannienne est une variété différentielle ayant une structure supplémentaire (une métrique riemannienne) permettant de définir la longueur d'un chemin entre deux points de la variété.

Sommaire

Définitions et exemples élémentaires

Définition formelle

Une variété riemannienne est la donnée d'une variété différentielle M et, en chaque point m, d'une forme quadratique définie positive gm sur l'espace tangent Tm avec des hypothèses de régularité supplémentaires. Les espaces tangents (TmM,gm) sont des espaces euclidiens. Les hypothèses de régularité s'énoncent de deux manières équivalentes :

  1. L'application m\mapsto g_m est une section globale de classe Ck du fibré vectoriel S2T * M.
  2. Pour tout champ de vecteurs X,Y de M, l'application m\mapsto g_m(X_m,Y_m) est de classe Ck.

La donnée g est appelée métrique riemannienne sur M. Les métriques riemanniennes existent sur toute variété différentielle (paracompacte) et forment un cône convexe fermé de ΓS2T * M (avec des topologies raisonnables).

Si (M,g1) et (N,g2) sont deux variétés riemanniennes, une isométrie locale f:M\rightarrow N est une application différentiable vérifiant f * g2 = g1. Autrement dit, les différentielles df(x):T_xM\rightarrow T_xN sont des applications linéaires isométriques. Par le théorème d'inversion locale, toute isométrie est un difféomorphisme local.

Une isométrie est un difféomorphisme et une isométrie locale.

Longueur et distance

Les variétés riemanniennes sont les exemples les plus élémentaires de variétés de Finsler. Une métrique riemannienne g sur une variété différentielle connexe M définit sur chaque espace tangent une norme (de Banach), donnée par :

\|v\|=\sqrt{g(v,v)}

Par définition, la longueur d'une courbe C1 par morceaux γ: [a, b] → M est définie par :

L(\gamma) = \int_a^b \|\gamma'(t)\|\;dt
  • La longueur d'une courbe est invariante par reparamétrage régulier.
  • La longueur du concaténé de deux courbes C1 par morceaux est la somme des longueurs.

Pour x,y\in M, on définit :

d(x,y) = inf L(γ)

où l'infinimum porte sur toutes les courbes C1 par morceaux d'origine x et d'extrémité y.

Comme les notations le laissent suggérer, d est une distance sur M appelée distance riemannienne. Il est à remarquer que cette dernière redéfinit la topologie de M.

Exemples fondamentaux

Les sphères

Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue !

L'espace hyperbolique

Disque de Poincaré : l'espace hyperbolique (Hn,g) est le disque unité de \mathbb{R}^n, muni de la métrique :

g = 4 \sum_{i = 1}^n \frac{dx_i^2}{\left( 1 - \left\| x \right\|^2 \right)^2}

Demi-plan de Poincaré : ce modèle du plan hyperbolique est donné par la métrique définie sur le demi-plan supérieur \mathbb{R}_*^+\times\mathbb{R}^{n-1} :

g = \sum_{i = 1}^n \frac{dx_i^2}{x_1^2}

Une isométrie explicite du disque unité sur le demi-plan supérieur est donnée par l'inversion de pôle t=(-1,0,\times,0) :

x \mapsto t + 2 \frac{x - t}{\left\| x - t \right\|^2}

Remarque : l'espace hyperbolique H2 intervient en arithmétique, domaine dans lequel on utilise habituellement le modèle du demi-plan supérieur. Toutefois, en géométrie, les goûts sont très largement partagés : le modèle du disque de Poincaré offre l'avantage d'un meilleur graphisme dans les figures. Il existe d'autres modèles (comme le modèle de l'hyperboloïde), peu utilisés en pratique.

Se référer à la géométrie hyperbolique pour un exposé plus complet sur le sujet.

De la connexion aux géodésiques

Connexion de Levi-Civita

Sur une variété riemannienne (M,g), il existe une unique connexion sans torsion telle que, pour tout champ de vecteurs X,Y,Z :

X.g(Y,Z) = g(DXY,Z) + g(Y,DXZ)

Cette connexion est appelée la connexion de Levi-Civita de (M,g), ou la connexion canonique.

Si f:N\rightarrow M est une application différentiable, un champ de vecteurs le long de f est une section globale du fibré vectoriel f * TM, soit donc une application X:N\rightarrow TM telle que, pour tout point n\in N, on a : X(n)\in T_{f(n)}M. On note \Gamma\left[f^*TM\right] l'espace des champs de vecteurs le long de f.

Équations des géodésiques

\frac{d^2x^i}{dt^2}+\sum \Gamma^i_{jk}\left[c(t)\right]\frac{dx^k}{dt}\frac{dx^l}{dt}=0

Théorème de Hopf-Rinow

Les propriétés suivantes sont équivalentes :

  • Pour tout point m, l'application exp m est définie sur TmM
  • La variété (M,g) est géodésiquement complète, ie : les géodésiques sont définies sur \mathbb{R}.
  • L'espace M est complet pour la distance riemannienne.
  • Les boules fermées et bornées sont compactes.

Courbure

Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue !

Bibliographie

Livres

  • (en) Sylvestre Gallot, Dominique Hulin et Jacques Lafontaine, Riemannian Geometry [détail des éditions]
  • (en) Jürgen Jost (de), Riemannian Geometry and Geometric Analysis [détail des éditions]
  • (en) Gerard Walschap, Metric structures in differential geometry, Springer.

Lien externe

Pierre Pansu (en), Cours de géométrie différentielle, niveau Master 2

Article connexe

Variété sous-riemannienne (en)


Wikimedia Foundation. 2010.

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

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • 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

  • Variete pseudo-riemannienne — Variété pseudo riemannienne La géométrie pseudo riemannienne est une extension de la géométrie riemannienne ; au même titre que, en algèbre bilinéaire, l étude des formes bilinéaires symétriques généralisent les considérations sur les… …   Wikipédia en Français

  • Variété pseudo-riemanienne — Variété pseudo riemannienne La géométrie pseudo riemannienne est une extension de la géométrie riemannienne ; au même titre que, en algèbre bilinéaire, l étude des formes bilinéaires symétriques généralisent les considérations sur les… …   Wikipédia en Français

  • Variete de Calabi-Yau — Variété de Calabi Yau Un exemple de variété de Calabi Yau Une variété de Calabi Yau, ou espace de Calabi Yau est un type particulier de variété en mathématiques intervenant dans des domaines comme la géométrie algébrique mais également en… …   Wikipédia en Français

  • Variété de calabi-yau — Un exemple de variété de Calabi Yau Une variété de Calabi Yau, ou espace de Calabi Yau est un type particulier de variété en mathématiques intervenant dans des domaines comme la géométrie algébrique mais également en physique théorique et… …   Wikipédia en Français

  • Variete de Hadamard — Variété de Hadamard En géométrie riemannienne, une variété de Hadamard est une variété riemannienne simplement connexe, de courbure sectionnelle strictement négative. Les principaux exemples sont : Les espaces hyperboliques. Ces variétés… …   Wikipédia en Français

  • Variété de hadamard — En géométrie riemannienne, une variété de Hadamard est une variété riemannienne simplement connexe, de courbure sectionnelle strictement négative. Les principaux exemples sont : Les espaces hyperboliques. Ces variétés servent de modèles de… …   Wikipédia en Français

  • Variété (géométrie) — Pour les articles homonymes, voir Variété. Réalisation du ruban de Möbius à partir du collage d une bande de papier. Le « bord » n est que d un seul tenant. En math …   Wikipédia en Français

  • Variété pseudo-riemannienne — La géométrie pseudo riemannienne est une extension de la géométrie riemannienne ; au même titre que, en algèbre bilinéaire, l étude des formes bilinéaires symétriques généralisent les considérations sur les métriques euclidiennes. Cependant …   Wikipédia en Français

  • Variété symétrique — Espace symétrique En mathématiques, et plus spécifiquement en géométrie différentielle, un espace symétrique est une variété riemannienne qui est un espace homogène et pour laquelle le tenseur de Riemann est covariantement constant. Ces espaces… …   Wikipédia en Français

Share the article and excerpts

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