Hopf-Rinow Theorem September 9, 2024 August 2, 2025 A connected Riemannian manifold is metrically complete if and only if it is geodasically complete .