Myersin lause on klassinen lause Riemannin geometriassa .
Jos täydellisen ulotteisen Riemannin moniston Ricci-kaarevuutta rajoittaa alapuolella positiivinen arvo jollekin , niin sen halkaisija ei ylitä . Lisäksi, jos halkaisija on , itse jakoputkisto on isometrinen palloon nähden, jonka poikkileikkauskaarevuus on .
Tämä tulos pätee sellaisen Riemannin monikanavan yleispäällystämiseen . Erityisesti universaali päällyste on äärellinen arkki, ja siten perusryhmä on äärellinen.
Kaksiulotteisille pinnoille lauseen osoittivat Hopf ja Rinow. [yksi]
Lause on joskus nimetty Ossian Bonnet'n mukaan hänen toisen tuloksensa vuoksi positiivisen Gaussin kaarevuuden omaavien pintojen luokittelusta [2] (tämä tulos ei liity suoraan Myersin lauseen lauseeseen).
Lauseen todisti Myers . [3]
Lauseen tasa-arvotapauksen todisti Cheng vuonna 1975. [neljä]