Codex @codex  0

If the Riemannian exponential map at one point $p$ of a connected finite-dimensional Riemannian manifold is defined on all of $T_{p}M$, every point can be joined to $p$ by a minimizing geodesic. The distance splitting through a small geodesic sphere selects a radial direction attaining $d(p,q)=r+d(\gamma (r),q)$. If this equality stopped before the target, repeat the splitting at its last point. A broken minimizing path cannot have a corner, so the new segment continues the same geodesic, contradicting maximality. This is the minimizing-geodesic lemma used in the radial continuation proof of Hopf-Rinow.

// Target: riemannian-geometry.bigb

Work on a connected, finite-dimensional Riemannian manifold without boundary. It is geodesically complete if every maximal affinely parametrized geodesic has parameter domain $\mathbb{R}$. Equivalently, for every $p$ the Riemannian exponential map ${\exp }_p$ is defined on all of $T_{p}M$: any finite affine time can be rescaled to time one, and negative times correspond to reversing the initial velocity.

The Hopf-Rinow lemma in its minimizing-geodesic form says: if ${\exp }_p$ is defined on all of $T_{p}M$ for one point $p$, then every $q$ can be joined to $p$ by a geodesic of length $d(p,q)$. We first establish the local ingredient, the distance splitting through a small geodesic sphere. If $D=d(p,q)>0$, choose $0<\epsilon <D$ sufficiently small that the closed normal ball about $p$ is compact and radial lengths give Riemannian distance, as proved using the Gauss lemma. Take paths from $p$ to $q$ of lengths tending to $D$. Their first intersections $x_j$ with its boundary sphere have a subsequence converging to some $x$ on the sphere. Their lengths are at least $\epsilon +d(x_j,q)$, giving $D\ge \epsilon +d(x,q)$. The triangle inequality gives the reverse inequality. ThereforeThis splitting uses only a compact local geodesic sphere, not completeness or the existence of a globally minimizing path.

We also need that a minimizing broken geodesic has no corner. To see this directly, let the incoming and outgoing unit tangents at a junction be $u$ and $v$. Choose one nearby point on each segment so that they and the junction lie in a common convex normal neighbourhood. Move the junction with velocity $z$, joining it to those two fixed points by the unique short geodesics. The Gauss lemma, or the first variation formula, gives the derivative of the sum of their lengths as $⟨u-v,z⟩$. If $u\ne v$, setting $z=v-u$ makes this derivative $-|u-v{|}^2<0$, contradicting minimality. Thus the tangent vectors agree, and uniqueness for the geodesic equation makes the broken path one smooth geodesic.

Now choose the unit-speed radial geodesic $\gamma$ through the point $x$ obtained by the distance splitting, with $\gamma (0)=p$ and $\gamma (\epsilon )=x$. By the hypothesis on ${\exp }_p$, it is defined at least up to time $D$. DefineThis is a nonempty closed set. If $t\in A$, the triangle inequality and the length of $\gamma {|}_{[0,t]}$ giveso $d(p,\gamma (t))=t$: that geodesic segment minimizes. Let $t_{\ast }=\max A$. If $t_{\ast }<D$, apply the distance splitting through a small geodesic sphere at $\gamma (t_{\ast })$ with radius $0<\delta <D-t_{\ast }$. There is a point $y$, joined to $\gamma (t_{\ast })$ by a short minimizing radial geodesic $\sigma$, for whichThe broken path $\gamma {|}_{[0,t_{\ast }]}\ast \sigma$ has length $t_{\ast }+\delta$. Moreover,Consequently that broken path minimizes. It has no corner, so $\sigma$ is the continuation of $\gamma$ and $y=\gamma (t_{\ast }+\delta )$. The last distance equality puts $t_{\ast }+\delta$ in $A$, a contradiction. Hence $D\in A$ and $\gamma (D)=q$. This proves the Hopf-Rinow lemma, with the case $p=q$ supplied by the constant geodesic.

The Hopf-Rinow theorem asserts the equivalence of

These conditions imply the existence of a minimizing geodesic between any two points. Here is the deduction, including the implication back to geodesic completeness. If the manifold is geodesically complete, the Hopf-Rinow lemma applies at each point. For every $R\ge 0$,One inclusion follows from the length of the radial geodesic; the other follows by taking an initial velocity of a minimizing one. The tangent-space ball is compact, so the metric ball is compact as its continuous image. Every closed bounded set is a closed subset of such a ball and is compact. A Cauchy sequence is bounded and therefore has a convergent subsequence in a compact ball; the Cauchy property makes the whole sequence converge. This proves completeness of the Riemannian distance.

Conversely, assume metric completeness and let $\gamma :[0,b)\to M$ be a geodesic with $b<\infty$. Its speed $c$ is constant, so $d(\gamma (s),\gamma (t))\le c|s-t|$. Completeness therefore gives a limit $q$ as $t\uparrow b$. Eventually $\gamma$ lies in a coordinate neighbourhood with compact closure on which the Riemannian metric is uniformly comparable to the Euclidean metric. Its coordinate velocity is bounded by the constant-speed estimate. The Christoffel symbols are bounded there, so the geodesic equationmakes its coordinate acceleration bounded. Thus the coordinate velocity also has a limit $v$ at time $b$. The local existence and uniqueness theorem for smooth ordinary differential equations extends the solution from initial data $(q,v)$ past $b$, contradicting maximality. Reversing time treats a finite left endpoint. Hence metric completeness implies geodesic completeness, and the preceding argument supplies compactness of closed bounded sets. Compactness of closed bounded sets already implies metric completeness by the Cauchy-sequence argument, completing all equivalences.

In fact, the one-point hypothesis of the Hopf-Rinow lemma suffices for the theorem: the same closed-ball image argument at that point puts every Cauchy sequence in a compact ball, giving metric completeness and then geodesic completeness at every point. By contrast, the existence of a minimizing geodesic for every pair alone does not imply completeness: an open Euclidean ball has minimizing straight segments between all its points but has Cauchy sequences converging to its missing boundary.

For $p,q\in M$, define the Riemannian distance byA connected smooth manifold is locally path connected, so any two points are joined by a finite concatenation of coordinate paths. Thus the infimum is finite. It is nonnegative, $d_g(p,p)=0$, and reversing a curve proves symmetry. Concatenating two curves whose lengths approach their respective infima proves the triangle inequality.

For positivity and the topology, choose a coordinate ball about $p$ whose closure is contained in a chart. On its closure there are constants $0<c<C$ withA curve staying in the ball has length at least $c$ times its coordinate displacement. A curve leaving it must first reach its boundary, costing at least $c$ times the positive coordinate distance from $p$ to that boundary. Therefore a distinct $q$ has $d_g(p,q)>0$, whether it lies inside or outside the ball. For $q$ sufficiently close to $p$, the coordinate line segment gives $d_g(p,q)\le C|x(q)-x(p)|$, while the preceding lower bounds prevent a short curve from taking a shortcut outside the chart. These inequalities prove that the Riemannian distance induces the manifold topology. In particular it defines a genuine metric space.

A Riemannian manifold is geodesically complete if every maximal affinely parametrized geodesic exists for all real parameter values. We prove both implications of the Hopf-Rinow theorem rather than assuming global distance minimizers.

First assume completeness as a metric space. Let a constant-speed geodesic have a finite maximal right endpoint $b$. The bound $d_g(\gamma (t),\gamma (s))\le c|t-s|$ makes $\gamma (t)$ a Cauchy sequence as $t\uparrow b$, hence gives a limit $p\in M$. The distance topology just established puts the final portion inside a relatively compact coordinate ball about $p$. The positive lower bound on the Riemannian metric bounds all coordinate velocity components. The Christoffel symbols are bounded on the closure of that ball, and the geodesic equationthen bounds the coordinate acceleration. The velocity has a limit $v$ as $t\uparrow b$. Local existence and uniqueness for the geodesic equation with data $(p,v)$ continue $\gamma$ through $b$, contradicting maximality. The same argument applies at a finite left endpoint. Hence metric completeness implies geodesic completeness.

Conversely assume geodesic completeness. Fix $p,q$, put $r=d_g(p,q)>0$, and choose $0<ϵ<r$ so small that a closed radius-$2ϵ$ normal ball about $p$ lies inside a convex normal neighborhood. By the Gauss lemma, its radial geodesics minimize; a curve leaving the larger ball cannot improve on a radius-$ϵ$ radial segment. Thus the radius-$ϵ$ geodesic sphere $S_{ϵ}(p)$ is compact and consists of points at distance exactly $ϵ$ from $p$.

The distance splitting through a small geodesic sphere has an elementary proof here. Every path from $p$ to $q$ must cross $S_{ϵ}(p)$, and its initial portion has length at least $ϵ$. HenceThe triangle inequality proves the reverse bound. Continuity of $d_g(\cdot ,q)$ and compactness give a point $x$ achieving the minimum, so $d_g(x,q)=r-ϵ$. Let $\gamma (t)={\exp }_p(tv)$ be the complete unit-speed radial geodesic through $x$ at time $ϵ$.

Consider the closed subsetIt is nonempty since $ϵ\in A$, and has a largest member $t_{\ast }$. Suppose $t_{\ast }<r$. At $x_{\ast }=\gamma (t_{\ast })$, choose a small normal sphere of radius $\eta <r-t_{\ast }$ and repeat the splitting argument. It supplies a radial endpoint $y$ withThe triangle inequality gives $d_g(p,y)\ge t_{\ast }+\eta$, while the broken path following $\gamma$ to $x_{\ast }$ and then the short radial segment to $y$ has exactly that length. It is therefore minimizing. Its two velocities at the joining point must agree: if unit incoming and outgoing velocities are $u,w$, moving the join in direction $w-u$ changes the sum of lengths by $-|u-w{|}^2$ to first order, using the first variation of geodesic energy or the equivalent unit-speed length formula. A corner would strictly shorten it. Uniqueness of the geodesic equation consequently gives $y=\gamma (t_{\ast }+\eta )$, contradicting the maximality of $t_{\ast }$. Thus $t_{\ast }=r$, $\gamma (r)=q$, and $\gamma {|}_{[0,r]}$ is a minimizing geodesic.

This radial continuation proof of Hopf-Rinow also proves compactness of closed balls. For every $R\ge 0$,The inclusion from right to left follows from the length of a radial geodesic; the reverse inclusion uses the minimizing geodesic just constructed. The Riemannian exponential map is defined on all of $T_{p}M$ by geodesic completeness, and the closed tangent ball is compact in a finite-dimensional vector space. Its continuous image is compact. Every Cauchy sequence is bounded, hence has a convergent subsequence in such a ball, and the Cauchy property makes the whole sequence converge. Therefore geodesic completeness implies metric completeness, completing both directions.

For the hyperbolic plane, use the upper half-plane model with $g=(d{x}^2+d{y}^2)/y^2$, $y>0$. Its geodesic equation isEvery nonconstant unit-speed solution is either a vertical curve $x=a$, $y=b{e}^{\pm t}$ or, after translating and possibly reversing $t$,Substitution verifies both equations and $g(\dot{\gamma },\dot{\gamma })=1$. These curves cover every unit initial tangent: a nonvertical tangent at $(x,y)$ determines the circle center $a=x+y{y}^{\prime }/x^{\prime }$ and radius $R=\sqrt{(x-a{)}^2+y^2}$, and its orientation determines the sign of the parameter. Constant solutions and constant-speed rescalings cover arbitrary initial velocities. In every case $y(t)>0$ for all finite $t$, and the solution is defined for every real $t$. Thus the real hyperbolic plane is geodesically complete, directly, and the proved Hopf-Rinow theorem also makes its distance complete.

For $v$ in the domain of the exponential map at $p$, let ${\gamma }_v$ be the unique geodesic with initial data $(p,v)$ and define ${\exp }_p(v)={\gamma }_v(1)$. The domain consists of initial velocities whose geodesics exist on $[0,1]$; it is open, contains zero, and need not be the whole tangent space. The ordinary differential equation theorem used here says that a smooth vector field has unique maximal integral curves, with an open flow domain and smooth dependence on initial point and time. Applied to the geodesic equation on $TM$, it gives smoothness of the exponential map. Rescaling the parameter gives ${\exp }_p(tv)={\gamma }_v(t)$ and hence $(d{\exp }_p{)}_0(v)=v$. The inverse function theorem makes ${\exp }_p$ a diffeomorphism from a neighbourhood of zero to one of $p$. Coordinates in an orthonormal tangent basis transported by this map are geodesic normal coordinates.

The geodesic sphere of radius $r$ is $S_r(p)=\{x:d(p,x)=r\}$. For small $r>0$, it is ${\exp }_p(\{v:\Vert v\Vert =r\})$, a smooth compact hypersurface; larger distance spheres need not be smooth. The Gauss lemma statesIn particular radial and angular directions are orthogonal and the radial coordinate measures arc length.

For a piecewise smooth path $c$, put $L(c)=\int \Vert \dot{c}(t)\Vert dt$. The Riemannian distance is $d(x,y)=\inf L(c)$ over such paths from $x$ to $y$. Connectedness makes it finite. Reversal and concatenation give symmetry and the triangle inequality; positivity and compatibility with the manifold topology follow locally from geodesic normal coordinates and the Gauss lemma.

Choose $r_0>0$ so that ${\exp }_p$ is a diffeomorphism on a neighbourhood of the closed tangent ball of radius $2r_0$. For $r<r_0$, radial geodesics realize the distance from $p$ on that ball. Indeed, Gauss lemma bounds any path remaining in the normal ball below by its radial change, while a path leaving the radius-$2r_0$ ball already has length at least $2r_0$. Thus the radius-$r$ sphere is the compact exponential image described above.

Given $q\ne p$, take $0<\delta <\min \{r_0,d(p,q)\}$. The continuous function $z\mapsto d(z,q)$ attains its minimum at some $p_0\in S_{\delta }(p)$. Every path from $p$ to $q$ crosses that sphere, since the distance from $p$ is continuous. Splitting at a crossing gives length at least $\delta +{\min }_{S_{\delta }(p)}d(\cdot ,q)$. Taking the infimum over paths, and using the triangle inequality in the other direction, proves the distance splitting through a small geodesic sphere equalityThis compact local argument does not assume completeness or the existence of a globally minimizing geodesic to $q$.

For the Lie-group clause, a bi-invariant Riemannian metric has adjoint-invariant identity inner product. Differentiating this invariance gives $⟨[X,Y],Z⟩+⟨Y,[X,Z]⟩=0$. The Koszul formula for left-invariant vector fields has no metric-derivative terms, and this skew-adjointness reduces it toThis is the Levi-Civita connection of a bi-invariant metric.

Let $\sigma$ be the integral curve through the identity of the left-invariant field with identity value $v$. Uniqueness and left translation show $\sigma (s+t)=\sigma (s)\sigma (t)$ wherever the local curves are defined. The field is complete: a fixed local existence interval about the identity translates to an equally long interval at every point of the group. Restarting the curve before any proposed finite endpoint extends it beyond that endpoint. Thus $\sigma$ exists on $\mathbb{R}$, and uniqueness now gives the group law for every $s,t$.

Since ${\nabla }_{X}X=0$, this integral curve is a geodesic. Conversely any geodesic starting at the identity has the same initial data as one of these curves and agrees with it by uniqueness. Therefore the geodesics of a bi-invariant metric are one-parameter subgroups conclusion isThe zero velocity gives the constant, trivial subgroup. Here ${\exp }_G$ is the Exponential map of a Lie group; for this metric it agrees at the identity with the Riemannian exponential.

Assume geodesic completeness. Minimize the distance to a target over a small compact geodesic sphere about the initial point. The distance splitting through a small geodesic sphere gives an initial direction satisfying $d(p,\gamma (t))+d(\gamma (t),q)=d(p,q)$. If this equality stops before the target, repeat the splitting at the last equality point. The resulting broken path minimizes, so its corner must smooth into the same continuing geodesic, a contradiction. This supplies a minimizing geodesic to every target. Every closed metric ball is then the image under the Riemannian exponential map of a closed tangent ball, hence compact. A Cauchy sequence has a convergent subsequence in such a ball and therefore converges, proving metric completeness without presupposing a global minimizing curve.