Théorème de Bonnet-Schoenberg-Myers
Aller à la navigation
Aller à la recherche
En géométrie riemannienne, le théorème de Bonnet-Schoenberg-Modèle:Lien 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 variation seconde.
Le cas d'égalité a été étudié (Shiu-Yuen Cheng, 1975) :
- Sous les notations précédentes, si le diamètre de est égal à , alors est isométrique à la sphère euclidienne de rayon .
Myers a amélioré en 1941 le théorème de Bonnet en démontrant le même résultat sous l'hypothèse plus faible que la courbure de Ricci est minorée par , où est la dimension de la variété.
Le théorème de Bonnet-Myers a le corollaire suivant :
- Le groupe fondamental d'une variété riemannienne compacte de courbure strictement positive est fini.