Myers's theorem, also known as the Bonnet–Myers theorem, is a celebrated, fundamental theorem in the mathematical field of Riemannian geometry. It was discovered by Sumner Byron Myers in 1941. It asserts the following:
In the special case of surfaces, this result was proved by Ossian Bonnet in 1855. For a surface, the Gauss, sectional, and Ricci curvatures are all the same, but Bonnet's proof easily generalizes to higher dimensions if one assumes a positive lower bound on the sectional curvature. Myers' key contribution was therefore to show that a Ricci lower bound is all that is needed to reach the same conclusion.
The conclusion of the theorem says, in particular, that the diameter of
(M,g)
M
M
As a very particular case, this shows that any complete and noncompact smooth Riemannian manifold which is Einstein must have nonpositive Einstein constant.
Since
M
\pi:N\toM.
N.
\pi
N
M
The conclusion of Myers' theorem says that for any
p,q\inM,