El teorema de Myers es un teorema clásico en la geometría de Riemann .
Si la curvatura de Ricci de una variedad riemanniana de dimensión completa está limitada por debajo por un valor positivo para algunos , entonces su diámetro no excede . Además, si el diámetro es , entonces la variedad misma es isométrica a una esfera de curvatura de sección constante .
Este resultado sigue siendo válido para la cobertura universal de una variedad Riemanniana de este tipo . En particular, la cubierta universal tiene láminas finitas y, por lo tanto, el grupo fundamental es finito.
Para superficies bidimensionales, Hopf y Rinow demostraron el teorema. [una]
El teorema a veces lleva el nombre de Ossian Bonnet debido a su otro resultado sobre la clasificación de superficies con curvatura gaussiana positiva, [2] (este resultado no está directamente relacionado con el enunciado del teorema de Myers).
El teorema fue probado por Myers . [3]
El caso de igualdad en el teorema fue probado por Cheng en 1975. [cuatro]