Myers sats är en klassisk sats i Riemannsk geometri .
Om Ricci-krökningen för ett komplett dimensionellt Riemann-grenrör är begränsat nedanför av ett positivt värde för vissa , så överstiger inte dess diameter . Dessutom, om diametern är , är grenröret självt isometriskt till en sfär med konstant tvärsnittskrökning .
Detta resultat förblir giltigt för den universella täckningen av ett sådant Riemann-grenrör . I synnerhet är det universella höljet ändligt arkformigt, och därför är grundgruppen ändlig.
För tvådimensionella ytor bevisades satsen av Hopf och Rinow. [ett]
Teoremet är ibland uppkallat efter Ossian Bonnet på grund av hans andra resultat på klassificeringen av ytor med positiv Gaussisk krökning, [2] (detta resultat är inte direkt relaterat till uttalandet av Myers sats).
Teoremet bevisades av Myers . [3]
Jämlikhetsfallet i teoremet bevisades av Cheng 1975. [fyra]