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!