||This article provides insufficient context for those unfamiliar with the subject. Learn how and when to remove this template message) (January 2013) (|
||Some Information/Formula presented in this article have missing or incomplete descriptions . Please assist in recruiting an expert or improve this article yourself. See the talk page for details. (January 2013)|
A simple example of a non-complete manifold is given by the punctured plane (with its induced metric). Geodesics going to the origin cannot be defined on the entire real line.
There exists non geodesically complete compact pseudo-Riemannian (but not Riemannian) manifolds. It is the case for example of the Clifton–Pohl torus.
Path-connectedness, completeness and geodesic completeness
It can be shown that a finite-dimensional path-connected Riemannian manifold is a complete metric space (with respect to the Riemannian distance) if and only if it is geodesically complete. This is the Hopf–Rinow theorem. This theorem does not hold for infinite-dimensional manifolds. The example of a non-complete manifold (the punctured plane) given above fails to be geodesically complete because, although it is path-connected, it is not a complete metric space: any sequence in the plane converging to the origin is a non-converging Cauchy sequence in the punctured plane.