Definition:Complete Disconnected Riemannian Manifold

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\struct {M, g}$ be a disconnected Riemannian manifold.

Suppose $M$ is geodesically complete or that every disconnected component is a complete metric space.



Then $M$ is said to be complete.


Sources