In a homogeneous Riemannian manifold, choose so that one closed metric ball is compact. Such a ball exists from local compactness and the metric topology. Every radius- ball is isometric to it. A Cauchy sequence eventually lies in one such compact ball, has a convergent subsequence, and therefore converges. This proves metric completeness; the Hopf-Rinow theorem gives geodesic completeness and minimizing geodesics between points.
Articles by others on the same topic
There are currently no matching articles.