Completeness of homogeneous Riemannian manifolds
ID: completeness-of-homogeneous-riemannian-manifolds
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.
New to topics? Read the docs here!