TOPICS
Search

Complete Riemannian Metric


A complete Riemannian metric on a manifold without boundary 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 each connected component (Burtscher 2025, pp. 76-77). 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 without boundary 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

References

Burtscher, A. Introduction to Riemannian Geometry. Lecture notes, Feb. 21, 2025. https://www.math.ru.nl/~burtscher/lecturenotes/2425RGnotes.pdf.

Referenced on Wolfram|Alpha

Complete Riemannian Metric

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