Théorème 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 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

T p M

, 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

{c s}

une variation de courbes $[0,L]\rightarrow M$ d'origine

p

et d'extrémité

q

avec

c 0 = γ

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

Ce document provient de « Th%C3%A9or%C3%A8me de Bonnet-Schoenberg-Myers ».

Catégories : Géométrie riemannienne | Théorème de mathématiques

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème de bonnet-schoenberg-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 — 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
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… … 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
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
Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… … Wikipédia en Français
Liste de 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 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

Dictionnaires et Encyclopédies sur 'Academic'

Théorème de bonnet-schoenberg-myers