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.
Contents
Statement of the theorem
Let (M, g) be a connected Riemannian manifold. Then the following statements are equivalent:
- The closed and bounded subsets of M are compact;
- M is a complete metric space;
- M is geodesically complete; that is, for every p in M, the exponential map expp is defined on the entire tangent space TpM.
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 critical points for the length functional, and may or may not be minima).
Variations and generalizations
References
Hopf–Rinow theorem Wikipedia(Text) CC BY-SA