[permalink] [id link]

# Myers ' theorem states that if the Ricci curvature is bounded from below on a complete Riemannian manifold by, then the manifold has diameter, with equality only if the manifold is isometric to a sphere of a constant curvature k. By a covering-space argument, it follows that any compact manifold of positive Ricci curvature must have finite fundamental group.

from
Wikipedia

## Some Related Sentences

# and Myers

__#__Peng H., Ruan

**,**Z

**,**Long

**,**F

**,**Simpson

**,**JH

**,**

__Myers__

**,**EW: V3D enables real-time 3D visualization and quantitative analysis

**of**large-scale biological image data sets

**.**

# and theorem

__#__Yoga

**of**

**the**Grothendieck – Riemann – Roch

__theorem__( K-theory

**,**relation

**with**intersection theory ).

__#__X

**has**

**a**sub-base such

**that**every cover

**of**

**the**space

**by**members

**of**

**the**sub-base

**has**

**a**

**finite**subcover ( Alexander's sub-base

__theorem__)

__#__Reducing

**the**

__theorem__

**to**sentences ( formulas

**with**no free variables ) in prenex form

**,**i

**.**e

**.**

**with**all quantifiers ( and ) at

**the**beginning

**.**

__#__If A

**is**

**a**Lebesgue measurable set

**,**

**then**

**it**

**is**" approximately open " and " approximately closed " in

**the**sense

**of**Lebesgue measure ( see

**the**regularity

__theorem__for Lebesgue measure ).

There

**is**no formal distinction between**a**lemma and**a**__theorem__**,****only**one**of**intention – see Theorem__#__Terminology**.**
One consequence

**of**Toda's__theorem__**is****that****a**polynomial-time machine**with****a**__#__P oracle ( P < sup ># P </ sup >) can solve all problems in PH**,****the**entire polynomial hierarchy**.**0.156 seconds.