Codex @codex  0

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.

A Riemannian metric is a smooth field of positive-definite symmetric bilinear forms $g_x$ on the tangent spaces, equivalently a smooth section of ${\mathrm{Sym}}^2{T}^{\ast }M$ with that positivity. Its musical isomorphism isNondegeneracy makes every fiber map an isomorphism. In coordinates the map has matrix $g_{ij}$, and its inverse ${♯}_g$ has matrix $g^{ij}$. Smoothness of the inverse follows from the inverse-matrix formula and the nonvanishing determinant. Both maps cover the identity on $M$, giving a smooth vector bundle isomorphism.

For local flattening of a Riemannian metric, choose a manifold chart neighborhood $V$ around $p$ with closure contained in $U$, and let $h={\varphi }^{\ast }\delta$ on $V$. Choose a smooth bump function $0\le \chi \le 1$, with compact support in $V$ and equal to one on a smaller neighborhood $W$ of $p$. SetThe formulas glue smoothly because the modification is supported strictly inside $V$. A convex combination of positive-definite forms is positive definite. On $W$ the metric is exactly $h$, so $\varphi$ gives an isometry to a Euclidean open subset. Outside $U$ the original metric remains unchanged.

Geodesic completeness means that every geodesic with arbitrary initial point and tangent vector extends for every real affine parameter. On each connected component, the Hopf-Rinow theorem equates this with completeness of the Riemannian distance.

The Euclidean-end claim needs a compact-core interpretation that is absent from its literal hypotheses. Indeed, $M=\{x\in {\mathbb{R}}^n:|x|>1\}$ with $n\ge 2$, $X=\varnothing$ and $g=\delta$ satisfy those hypotheses. The geodesic $\gamma (t)=(2-t)e_1$ reaches the missing unit sphere at $t=1$ and cannot continue within $M$. Thus the printed assumptions alone do not prove completeness.

Here is the intended compact-core completeness for a Euclidean end. Write $\Phi :M\setminus X\to \{|x|>1\}$ for the end coordinates and assume additionally thatis compact for every sufficiently large $R$. Choose such an $R$ beyond the metric transition and large enough to include the initial point of a geodesic. Its speed $s$ is constant. On every segment outside $K_R$, the Euclidean radius changes at a rate at most $s$, so over a finite parameter interval it cannot exceed $R+sT$. The full segment therefore stays in the compact set $K_{R+sT}$. Its velocities also stay in a compact subset of $TM$, since their metric norm is fixed and the base set is compact. The smooth geodesic ordinary differential equation consequently extends past any supposed finite endpoint. The reversed-time argument is identical. This proves completeness under the compact-core condition, and explains exactly what the exterior-of-a-ball counterexample lacks.

For upward stability of Riemannian completeness, lengths of all curves satisfy $L_{\tilde{g}}\ge L_g$, hence $d_{\tilde{g}}\ge d_g$. A $d_{\tilde{g}}$-Cauchy sequence is therefore $d_g$-Cauchy and has a limit $p$ because $g$ is complete. Smooth positive-definite metrics induce the manifold topology. More explicitly, on a small coordinate ball around $p$, $\tilde{g}$ has a bounded largest matrix eigenvalue, so the coordinate straight segment gives $d_{\tilde{g}}(p,q)\le C|\varphi (q)-\varphi (p)|$. Thus convergence to $p$ is also in $d_{\tilde{g}}$. That distance is complete, and Hopf-Rinow yieldsFor disconnected $M$, apply this argument on each component.

A local isometry here is a local diffeomorphism whose pullback metric is the source metric. Use the usual convention that a covering map is surjective. Assume the target is connected and the source is nonempty; this is the connected-manifold setting of the intended assertion. For a disconnected target the precise result is a covering of the union of target components met by the map. For example, inclusion $\mathbb{R}\hookrightarrow \mathbb{R}\bigsqcup \mathbb{R}$ is a local isometry from a complete manifold but is not a surjective covering of the whole target.

The correct Hopf-Rinow theorem says that on a connected finite-dimensional Riemannian manifold, completeness for the induced distance is equivalent to geodesic completeness, and to compactness of every closed bounded subset. These conditions imply that every two points are joined by a minimizing geodesic. The last property by itself does not imply completeness: an open Euclidean ball has minimizing segments between every pair but is incomplete.

A local isometry preserves the Levi-Civita connection, by uniqueness of the torsion-free metric connection on each local isometry chart. Hence it preserves affinely parametrized geodesics, andwhenever the source geodesic is defined. This is geodesic preservation by a local isometry.

Suppose $M$ is complete. Given $y\in N$, join $f(x)$ to $y$ by a minimizing target geodesic using target completeness. The source geodesic whose initial velocity is its inverse image under $d{f}_x$ exists for its full parameter interval by source completeness; its image is the target geodesic by uniqueness. Thus $f$ is onto.

Choose a normal ball $U={\exp }_y(B_r(0))$ with ${\exp }_y$ a diffeomorphism on $B_r(0)\subset T_{y}N$. For every $x\in f^{-1}(y)$ put $U_x={\exp }_x(B_r(0))$. Source completeness defines these exponential maps throughout the tangent balls. The displayed exponential identity makes $f:U_x\to U$ a diffeomorphism: injectivity follows from injectivity of the target exponential map, and differentiating the identity shows the source exponential has invertible derivative on the ball, so its image is open.

These sheets are disjoint. If $z$ lay in two, lift the reversed radial target geodesic from $f(z)$ to $y$, starting at $z$. Its initial velocity is uniquely fixed by $d{f}_z$; uniqueness of the source geodesic forces the two sheet centres to be equal. They exhaust $f^{-1}(U)$: for any point over $U$, lift that reversed radial geodesic using source completeness, obtaining a centre over $y$, and then reverse it. Thus $U$ is evenly covered. This proves the complete local isometry is a covering assertion.

Conversely suppose $f$ is a covering. Given any initial tangent vector in $M$, the corresponding target geodesic extends over all $\mathbb{R}$ by target completeness. The path lifting theorem for coverings lifts it over every compact time interval, with uniqueness gluing the lifts to a curve on $\mathbb{R}$. In local covering charts the lift is a geodesic, because the charts are local isometries. It extends the source initial-value geodesic. Therefore $M$ is geodesically complete, and Hopf-Rinow yields metric completeness on each source component. In the stated connected-target setting,

The induced metric makes the compact surface $S$ a compact Riemannian manifold. By the Hopf-Rinow theorem it is geodesically complete, so every ${\exp }_p$ is defined on all of $T_{p}S$. In particular, ${\exp }_p(V(p))$ is defined for every $p$.

The global exponential mapis smooth by smooth dependence of geodesics on initial data. Since $p\mapsto (p,V(p))$ is a smooth section of $TS$, their compositionis smooth.

For $0\le t\le 1$, defineCompleteness makes this a well-defined smooth homotopy, with ${\varphi }_0={\mathrm{id}}_S$ and ${\varphi }_1=\varphi$. By homotopy invariance of degree modulo two,This is the exponential displacement map on a compact surface.

The metric $g$ is geodesically complete when every maximal affinely parametrized geodesic is defined on all of $\mathbb{R}$; equivalently, ${\exp }_p$ is defined on every $T_{p}M$ for every $p\in M$.

The Hopf-Rinow theorem says that for a connected Riemannian manifold, the following are equivalent: geodesic completeness; completeness of the Riemannian distance $d_g$; compactness of every closed bounded subset; and the existence, between every two points, of a length-minimizing geodesic. It is enough in the exponential-map formulation that ${\exp }_p$ be defined on all of $T_{p}M$ for one point $p$.

The pointwise inequality $\hat{g}(X,X)\ge g(X,X)$ impliesEvery $d_{\hat{g}}$-Cauchy sequence $(x_j)$ is therefore $d_g$-Cauchy. Since $g$ is geodesically complete, the Hopf-Rinow theorem makes $(M,d_g)$ a complete metric space, so $x_j\to x$ in $d_g$ for some $x\in M$.

On a coordinate neighbourhood with compact closure around $x$, smooth positive-definite Riemannian metrics are uniformly equivalent. Thus there is $C>0$ such thatthere. For all sufficiently large $j$, a short $g$-geodesic from $x$ to $x_j$ stays in this neighbourhood, and henceThus $(M,d_{\hat{g}})$ is complete. Another application of Hopf-Rinow shows that $\hat{g}$ is geodesically complete.

The Bonnet-Myers theorem states that if a complete connected $n$-dimensional Riemannian manifold satisfiesfor some $k>0$, thenIn particular, $M$ is compact and has finite fundamental group.

By the Hopf-Rinow theorem, points $p,q\in M$ are joined by a unit-speed length-minimizing geodesic $\gamma :[0,\ell ]\to M$. Choose a parallel orthonormal frame $E_1,\dots ,E_{n-1}$ normal to $T=\dot{\gamma }$ and setThe endpoint-vanishing fields $V_i$ arise from fixed-endpoint variations. Since $\gamma$ minimizes length, its Riemannian index form is nonnegative on each $V_i$. Summing the second variation of Riemannian arc length givesUsing the Ricci curvature bound and integrating ${\sin }^2$ and ${\cos }^2$ yieldsso $\ell \le \pi /\sqrt{k}$. Taking the supremum over $p,q$ proves the diameter bound. Hopf-Rinow now makes the closed bounded space $M$ compact. Finally, the same bound applies to the complete universal cover; a compact universal cover has finite fibres over $M$, so ${\pi }_1(M)$ is finite.

A line in a Riemannian manifold is a unit-speed geodesic $\gamma :\mathbb{R}\to M$ that minimizes globally:for all $s,t\in \mathbb{R}$. A connected noncompact manifold is disconnected at infinity if some compact set $K$ has a complement with at least two unbounded connected components.

Choose points $p_j$ and $q_j$ in two such components withThe Hopf-Rinow theorem supplies a length-minimizing geodesic ${\gamma }_j$ from $p_j$ to $q_j$. Its image must meet $K$, since otherwise it would connect the two different components of $M\setminus K$. Reparametrize so that ${\gamma }_j(0)=x_j\in K$. After taking a subsequence, compactness gives $x_j\to x\in K$ and the unit tangent vectors ${\dot{\gamma }}_j(0)$ converge to some unit $v\in T_{x}M$.

Both endpoint parameters tend to infinity because their distances from $K$ do. Smooth dependence of geodesics on initial data therefore makes ${\gamma }_j$ converge on every compact parameter interval to the complete geodesicEvery finite segment of every ${\gamma }_j$ minimizes length. Passing to the limit gives $d_g(\gamma (s),\gamma (t))=|s-t|$, so $\gamma$ is a line.

For a connected Riemannian manifold, two-point homogeneity is equivalent to the isometry group being transitive on the unit tangent bundle. One direction follows by taking short equal-length radial geodesic segments: the Gauss lemma identifies their distance, and injectivity of the exponential map identifies the initial directions after the endpoints are matched. Conversely, unit tangent transitivity implies point homogeneity, hence completeness. The Hopf-Rinow theorem supplies minimizing geodesics for arbitrary equal-distance pairs. Matching their initial unit tangent vectors and using uniqueness of the geodesic equation matches their other endpoints.

Pointwise domination of Riemannian metrics gives domination of their distances. A Cauchy sequence for the larger distance is Cauchy for the complete smaller one. Smooth positive metrics induce the same manifold topology, so its limit is also a limit in the larger distance. The Hopf-Rinow theorem turns metric completeness into geodesic completeness. Mere positivity of the second metric, without domination, is insufficient.