Théorème de Myers

Théorème de Myers

Théorème de Bonnet-Schoenberg-Myers

Le théorème de Bonnet-Schoenberg-Myers est un théorème bien connu de la géométrie riemannienne. Il montre comment des contraintes locales sur une métrique riemannienne imposent des conditions globales sur la géométrie de la variété. Sa démonstration repose sur une utilisation classique de la formule de la seconde variation.


Théorème : Si une variété riemannienne complète a une courbure sectionnelle minorée par une constante strictement positive δ, alors son diamètre est borné par \pi/\sqrt{\delta} :

\forall x, k(x)\geq \delta>0\Rightarrow diam M\leq \frac{\pi}{\sqrt{\delta}}

En particulier, M est compacte.


Démonstrations
Raisonnons par l'absurde. Soient p et q deux points de M avec L=d(p,q)>\pi/\sqrt{\delta}. Soit une géodésique \gamma:[0,L]\rightarrow M d'origine γ(0) = p et d'extrémité γ(L) = q. Prenons v un vecteur dans TpM, orthogonal à γ'(0). Introduisons le champ de vecteurs parallèle Z le long de γ d'origine Z(0) = v. Posons :
Y(t)=\sin\left[\frac{\pi t}{L}\right].Z(t)
Un calcul élémentaire donne :
Y'(t)=\frac{\pi}{L}\cos\left[\frac{\pi t}{L}\right] Z(t)
Soit {cs} une variation de courbes [0,L]\rightarrow M d'origine p et d'extrémité q avec c0 = γ et \partial s c_s|_{s=0}=Y. La formule de la variation seconde, appliquée au champ de vecteurs Y, donne alors :
\frac{\partial^2 long c_s}{\partial s^2}=\int_0^L \left[ \frac{\pi^2}{L^2}\cos^2\left[\frac{\pi t}{L}\right] - k(\gamma'(t),Y(t))\sin^2\left[\frac{\pi t}{L}\right]\right] dt\leq \frac{\pi^2 -\delta L^2}{2L}<0
Ceci est absurde lorsque γ est la géodésique minimisante dont l'existence est garantie par l'hypothèse de complétude de la variété riemannienne.

Le cas d'égalité a été étudié :

Sous les notations précédentes, si le diamètre de M est égal à \pi/\sqrt{k}, alors (M,g) est isométrique à la sphère euclidienne de rayon 1/\sqrt{k}.

Le théorème de Meyer a le corollaire bien connu suivant :

Le groupe fondamental d'une variété riemannienne compacte de courbure positive est un groupe fini.
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Th%C3%A9or%C3%A8me de Bonnet-Schoenberg-Myers ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème de Myers de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Theoreme de Bonnet-Schoenberg-Myers — Théorème de Bonnet Schoenberg Myers Le théorème de Bonnet Schoenberg Myers est un théorème bien connu de la géométrie riemannienne. Il montre comment des contraintes locales sur une métrique riemannienne imposent des conditions globales sur la… …   Wikipédia en Français

  • Théorème de bonnet-schoenberg-myers — Le théorème de Bonnet Schoenberg Myers est un théorème bien connu de la géométrie riemannienne. Il montre comment des contraintes locales sur une métrique riemannienne imposent des conditions globales sur la géométrie de la variété. Sa… …   Wikipédia en Français

  • Théorème de Meyers — Théorème de Bonnet Schoenberg Myers Le théorème de Bonnet Schoenberg Myers est un théorème bien connu de la géométrie riemannienne. Il montre comment des contraintes locales sur une métrique riemannienne imposent des conditions globales sur la… …   Wikipédia en Français

  • Théorème de Bonnet-Schoenberg-Myers — En géométrie riemannienne, le théorème de Bonnet Schoenberg Myers (de) montre comment des contraintes locales sur une métrique riemannienne imposent des conditions globales sur la géométrie de la variété. Sa démonstration repose sur une… …   Wikipédia en Français

  • Satz von Bonnet-Myers — Der Satz von Myers (nach Sumner Byron Myers) ist eine mathematische Aussage aus dem Gebiet der Riemann schen Geometrie, einem Teilgebiet der Differentialgeometrie. Diese Aussage kann als Verallgemeinerung des Satzes von Bonnet verstanden werden… …   Deutsch Wikipedia

  • Liste Des Théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème …   Wikipédia en Français

  • Liste des theoremes — Liste des théorèmes Liste des théorèmes par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le… …   Wikipédia en Français

  • Liste des théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème …   Wikipédia en Français

  • Trace (algèbre) — Pour les articles homonymes, voir Trace. En algèbre linéaire, la trace d une matrice carrée A est définie comme la somme de ses coefficients diagonaux et notée Tr(A). La trace peut être vue comme une forme linéaire sur l espace vectoriel des… …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

Share the article and excerpts

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