Cheeger-Gromoll splitting theorem (source code)

= 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$.