Cheeger-Gromoll splitting theorem
= Cheeger-Gromoll splitting theorem
{c}
{wiki=Cheeger–Gromoll_splitting_theorem}
A complete connected Riemannian manifold with nonnegative Ricci curvature that contains a line splits isometrically as $N\times\mathbb R$.