Hopf–Rinow theorem

Hopf–Rinow theorem is a set of statements about the geodesic completeness of Riemannian manifolds. It is named after Heinz Hopf and his student Willi Rinow, who published it in 1931.^[1]

Statement of the theorem

Let (M, g) be a connected Riemannian manifold. Then the following statements are equivalent:

1. The closed and bounded subsets of M are compact;
2. M is a complete metric space;
3. M is geodesically complete; that is, for every p in M, the exponential map exp_p is defined on the entire tangent space T_pM.

Furthermore, any one of the above implies that given any two points p and q in M, there exists a length minimizing geodesic connecting these two points (geodesics are in general extrema, and may or may not be minima).

Variations and generalizations

• The Hopf–Rinow theorem is generalized to length-metric spaces the following way:

  If a length-metric space (M, d) is complete and locally compact then any two points in M can be connected by minimizing geodesic, and any bounded closed set in M is compact.

• The theorem does not hold in infinite dimensions: (Atkin 1975) showed that two points in an infinite dimensional complete Hilbert manifold need not be connected by a geodesic.^[2]
• The theorem also does not generalize to Lorentzian manifolds: the Clifton–Pohl torus provides an example that is compact but not complete.^[3]

Notes

References

• Jürgen Jost, Riemannian Geometry and Geometric Analysis, (2002) Springer-Verlag, Berlin. ISBN 3-540-42627-2 See section 1.4.
• Voitsekhovskii, M.I. (2001), "H/h048010", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4