Hopf-Rinow Theorem/Corollary 3

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\struct {M, g}$ be a compact Riemannian Manifold.

Let $\gamma$ be a maximal geodesic in $M$.


Then:

$\Dom \gamma = \R$

where $\Dom \gamma$ denotes the domain of $\gamma$.


Proof




Sources