Myers tétele a Riemann-féle geometria klasszikus tétele .
Ha egy teljes dimenziós Riemann-sokaság Ricci-görbületét alább egy pozitív érték határolja , akkor az átmérője nem haladja meg a -t . Sőt, ha az átmérő , akkor maga az elosztó izometrikus egy állandó metszeti görbületű gömbhöz képest .
Ez az eredmény érvényes marad egy ilyen Riemann-féle sokaság univerzális lefedésére . Konkrétan az univerzális burkolat véges lapos, és ezért az alapcsoport véges.
Kétdimenziós felületekre a tételt Hopf és Rinow bizonyította. [egy]
A tételt néha Ossian Bonnet -ről nevezik el a pozitív Gauss-görbületű felületek osztályozására vonatkozó másik eredménye miatt [2] (ez az eredmény nem kapcsolódik közvetlenül Myers-tétel kijelentéséhez).
A tételt Myers bizonyította . [3]
A tételben szereplő egyenlőségi esetet Cheng igazolta 1975-ben. [négy]