霍普夫－里诺定理

设M是黎曼流形，则下列命题等价： M 的有界闭子集是紧的。 M 是完备度量空间。 M 是测地完备：对 M 中任意点 p，指数映射 exp ₚ 可定义在整个切空间 TₚM。

而且，以上任一条均可导出对于 M 中任何两点 p 和 q，存在连起两点的测地线使长度最短（测地线一般是极值，不一定是最小值）。

推广

霍普夫—里诺定理推广至长度度量空间如下：

若一长度度量空间 (M,d) 是完备和局部紧，那么 M 中任意两点可以用长度最短的测地线连起， M 的任意有界闭子集是紧的。

The 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. Stefan Cohn-Vossen extended part of the Hopf–Rinow theorem to the context of certain types of metric spaces.

Statement

Let (M,g) be a connected and smooth Riemannian manifold without boundary. 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∈ M, the exponential map expp is defined on the entire tangent space T ₚM.

Furthermore, any one of the above implies that given any two points p,q∈ 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).

In the Hopf–Rinow theorem, the first characterization of completeness deals purely with the topology of the manifold and the boundedness of various sets; the second deals with the existence of minimizers to a certain problem in the calculus of variations (namely minimization of the length functional); the third deals with the nature of solutions to a certain system of ordinary differential equations.

Variations and generalizations

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

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

In fact these properties characterize completeness for locally compact length-metric spaces.

The theorem does not hold for infinite-dimensional manifolds. The unit sphere in a separable Hilbert space can be endowed with the structure of a Hilbert manifold in such a way that antipodal points cannot be joined by a length-minimizing geodesic. It was later observed that it is not even automatically true that two points are joined by any geodesic, whether minimizing or not.

The theorem also does not generalize to Lorentzian manifolds: the Clifton–Pohl torus provides an example (diffeomorphic to the two-dimensional torus) that is compact but not complete.