Cheeger-Gromoll splitting theorem
= Cheeger-Gromoll splitting theorem
{c}
This is a Riemannian <splitting theorem> whose hypotheses include a globally minimizing geodesic line.
A complete connected Riemannian manifold with nonnegative Ricci curvature that contains a line splits isometrically as $N\times\mathbb R$.