TOPICS
Search

Complete Riemannian Metric


A complete Riemannian metric is a Riemannian metric for which every geodesic extends to all real values of its affine parameter. This is equivalent to completeness of the induced distance on a manifold without boundary. A geodesic need not be an isometric copy of the real line; for example, great circle geodesics on the sphere are periodic. Euclidean space is complete, but the open unit disk is not complete since every nonconstant geodesic reaches the boundary at a finite distance. Whether or not a manifold is complete depends on the metric.

CompleteRiemannianHole

For instance, the punctured plane R^2-(0,0) is not complete with the usual metric. However, with the Riemannian metric ds^2=r^(-2)(dx^2+dy^2), the punctured plane is the infinite (flat) cylinder, which is complete. The figure above illustrates a geodesic which can only go a finite distance because it reaches a hole in the punctured plane, exemplifying that the punctured plane with the usual metric is not complete. For the rescaled metric, the path (e^t,0) is a geodesic parametrized by arc length.

Any Riemannian metric on a compact manifold without boundary is complete. Consequently, the pullback metric on the universal cover of a compact manifold is complete.


See also

Compact Manifold, Geodesic, Hyperbolic Metric, Manifold, Poincare Metric, Riemannian Manifold, Riemannian Metric

Portions of this entry contributed by Todd Rowland

Explore with Wolfram|Alpha

Cite this as:

Weisstein, Eric W., with contributions by Todd Rowland. "Complete Riemannian Metric." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/CompleteRiemannianMetric.html

Subject classifications