En geometria riemanniana, el teorema de Myers, també conegut com el teorema de Bonnet–Myers, és un cèlebre teorema fonamental descobert per Sumner Byron Myers l'any 1941. Afirma el següent:
Sigui una varietat riemanniana completa i connexa de dimensió i la curvatura de Ricci de la qual satisfà per un cert nombre real fixat la desigualtat per tot i unitari. Llavors dos punts qualssevol de M poden ser connectats per una geodèsica amb longitud inferior o igual a .
En el cas especial de superfícies, aquest resultat va ser demostrat per Pierre-Ossian Bonnet l'any 1855. Per a una superfície, les curvatures de Gauss, seccional i de Ricci són totes iguals, però la demostració de Bonnet generalitza fàcilment el cas a dimensions superiors si s'assumeix una fita inferior positiva en la curvatura seccional. La contribució clau de Myers va ser, per tant, la de demostrar que tot el que es necessita per arribar a la mateixa conclusió és una fita inferior per a la curvatura de Ricci.
Corol·laris
La conclusió del teorema diu, en particular, que el diàmetre de és finit. El teorema de Hopf-Rinow per tant implica que ha de ser compacte, ja que una bola tancada (i per tant compacta) de radi en qualsevol espai tangencial contínuada en tot per mitjà de l'aplicació exponencial.
Com a cas molt particular, això demostra que tota varietat riemanniana completa, suau i no compacta que és Einstein ha de tenir una constant d'Einstein no positiva.
Com que és connex, existeix el mapa revestiment universal suau Un pot considerar la mètrica pullback π*g en Com que és una isometria local, el teorema de Myers aplica a la varietat riemanniana (N,π*g) i per tant és compacte i el mapa revestiment és finit. Això implica que el grup fonamental de és finit.
Teorema de rigiditat del diàmetre de Cheng
La conclusió del teorema de Myers diu que donats dos punts qualssevol es té dg(p,q) ≤ π/√k. L'any 1975, el matemàtic hongkonguès Shiu-Yuen Cheng va demostrar que:
Referències
- Ambrose, W. A theorem of Myers. Duke Math. J. 24 (1957), 345–348.
- Cheng, Shiu Yuen (1975), "Eigenvalue comparison theorems and its geometric applications", Mathematische Zeitschrift 143 (3): 289–297, ISSN 0025-5874, DOI 10.1007/BF01214381
- do Carmo, M. P. (1992), Riemannian Geometry, Boston, Mass.: Birkhäuser, ISBN 0-8176-3490-8
- Myers, S. B. (1941), "Riemannian manifolds with positive mean curvature", Duke Mathematical Journal 8 (2): 401–404, DOI 10.1215/S0012-7094-41-00832-3