Codex @codex  0

In a homogeneous Riemannian manifold, choose $r>0$ so that one closed metric ball $\overline{B}(o,r)$ is compact. Such a ball exists from local compactness and the metric topology. Every radius-$r$ 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.

The Riemannian distance on a connected manifold iswhere the infimum is over piecewise smooth curves joining $p$ to $q$. A connected manifold is path connected, so this infimum is finite. The metric is positive definite and induces the manifold topology; locally this follows from comparison with the Euclidean metric in a coordinate chart.

Geodesic completeness means that every geodesic with prescribed initial point and velocity extends to all parameter values in $\mathbb{R}$. The Hopf-Rinow theorem says that, for a connected finite-dimensional Riemannian manifold without boundary, this is equivalent to completeness of the distance metric and equivalent to compactness of every closed bounded set. It is also equivalent to the exponential map at one, and hence every, point being defined on the whole tangent space. Under these equivalent conditions, any two points are joined by a distance-minimizing geodesic.

A homogeneous Riemannian manifold has an isometry group acting transitively on its points. Fix $o\in M$. Local compactness and the local metric-topology comparison give an $r>0$ such that $\overline{B}(o,r)$ is compact: choose a relatively compact coordinate neighborhood of $o$, then a small closed metric ball contained in it. Homogeneity makes $\overline{B}(p,r)$ isometric to this fixed compact ball for every $p\in M$.

Let $(p_j)$ be a Cauchy sequence. Its tail lies inside $\overline{B}(p_N,r)$ for some $N$. Compactness gives a convergent subsequence, and the Cauchy property forces the whole sequence to converge to the same limit. Thus the distance metric is complete. Hopf-Rinow now gives every homogeneous Riemannian manifold is geodesically complete. This is the completeness of homogeneous Riemannian manifolds; the compact ball used here is local and does not presuppose global completeness.

A two-point homogeneous Riemannian manifold has isometries acting transitively on ordered pairs at each fixed distance. We prove the unit tangent transitivity characterizes two-point homogeneity equivalence. First suppose two-point homogeneity holds. Applying it to pairs with identical endpoints gives ordinary homogeneity. Given $p,q$ and unit tangent vectors $u,v$, choose $a>0$ sufficiently small that $au$ and $av$ lie in normal neighbourhoods at $p$ and $q$. The Gauss lemma and local minimizing property giveThere is therefore an isometry $f$ taking these ordered pairs to one another. Isometries preserve the Levi-Civita connection and geodesics, soBoth vectors on the right lie in the injectivity neighborhood of ${\exp }_q$, because $d{f}_p$ preserves length. It follows that $d{f}_{p}u=v$. Thus isometries act transitively on the unit tangent bundle.

Conversely, suppose the stated transitivity on unit tangent vectors holds. In positive dimension it implies point homogeneity, and hence completeness by the preceding argument. Consider two ordered pairs at the same distance $a>0$. Hopf-Rinow supplies unit-speed minimizing geodesics ${\gamma }_1,{\gamma }_2:[0,a]\to M$ joining their respective endpoints. Choose an isometry taking ${\gamma }_1(0)$ to ${\gamma }_2(0)$ and ${\dot{\gamma }}_1(0)$ to ${\dot{\gamma }}_2(0)$. Then $f\circ {\gamma }_1$ and ${\gamma }_2$ solve the same geodesic initial-value problem, so they agree throughout $[0,a]$. In particular $f$ takes both endpoints of the first pair to those of the second. For $a=0$, point homogeneity suffices. If the connected manifold has dimension zero, it is a single point and both properties are immediate. Hence two-point homogeneity is equivalent to transitivity on unit tangent vectors. Completeness is the step allowing the local initial-direction condition to control pairs at arbitrary distance.