Definition:Geodesically Complete Semi-Riemannian Manifold
Jump to navigation
Jump to search
Definition
Let $\struct {M, g}$ be a semi-Riemannian manifold.
This article, or a section of it, needs explaining. In particular: Is the semi-Riemannian manifold different than Definition:Pseudo-Riemannian Manifold? It is the same. We should mention that there under "Also known as" and create a definition page with a redirect. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Explain}} from the code. |
Let $I$ be an real interval.
Suppose every maximal geodesic $\gamma : I \ni t \to M$ is defined for all $t \in \R$.
That is, suppose that every maximal geodesic in $M$ is a geodesic $\gamma : \R \to M$.
Then $M$ is geodesically complete.
Sources
- 2018: John M. Lee: Introduction to Riemannian Manifolds (2nd ed.) ... (previous) ... (next): $\S 6$: Geodesics and Distance. Completeness