Codex @codex  0

In a connected Riemannian manifold, choose a small compact geodesic sphere around $p$ with $0<r<d(p,q)$. Minimize $d(\cdot ,q)$ on this sphere. Every path from $p$ to $q$ crosses it, so an almost-minimizing path has length at least $r+{\min }_{S_r(p)}d(\cdot ,q)$. The triangle inequality gives the reverse bound, yielding the displayed equality. No global completeness is needed.

The Riemannian exponential map at $p$ is ${\exp }_p(v)={\gamma }_v(1)$, where ${\gamma }_v$ is the affinely parametrized geodesic with ${\gamma }_v(0)=p$ and ${\dot{\gamma }}_v(0)=v$. Its derivative at zero is the identity. The inverse function theorem therefore gives a normal neighbourhood $U={\exp }_p(V)$, where $V\subset T_{p}M$ is an open star-shaped neighbourhood of zero on which ${\exp }_p$ is a diffeomorphism. Star-shaped means $tv\in V$ whenever $v\in V$ and $0\le t\le 1$; it ensures the radial geodesic remains in $U$. This is distinct from a convex normal neighbourhood, which imposes a unique short geodesic between every pair of its points.

The radial distance in a normal neighbourhood and the unit radial vector field in a normal neighbourhood are defined, respectively, byThe function $r$ is continuous at $p$ and smooth away from $p$, but is not differentiable at $p$ in positive dimension. Some conventions use the scaled radial field $W_q=(d{\exp }_p{)}_{v}v$ and the smooth radial function $r^2/2$ instead; the associated gradient identities will distinguish them.

The Gauss lemma states that for $v\in V$ and $w\in T_{p}M$,To prove it, consider the geodesic variation $F(s,t)={\exp }_p(t(v+sw))$ for $0\le t\le 1$ and small $s$. Set $T={\partial }_{t}F$ and $J={\partial }_{s}F$. The Levi-Civita connection has zero torsion tensor, so $D_{t}J=D_{s}T$. Each $t$-curve is a geodesic, hence $D_{t}T=0$, and its squared speed is the constant $|v+sw{|}^2$. At $s=0$,Since $J(0)=0$, integration gives $g(T,J)=t{g}_p(v,w)$. At $t=1$, $T=(d{\exp }_p{)}_{v}v$ and $J=(d{\exp }_p{)}_{v}w$, proving the Gauss lemma. Taking $w=v$ shows $|E|=1$; taking $w\perp v$ shows that $E$ is orthogonal to the images of tangent vectors to the tangent-space sphere, hence to the geodesic spheres in $U$.

For $u\in T_{p}M$ of unit length, write the unit-speed radial geodesic as ${\gamma }_u(t)={\exp }_p(tu)$. Differentiating this expression and substituting $v=tu$ givesTo identify the gradient, write an arbitrary tangent vector at $q={\exp }_p(v)$ as $\eta =(d{\exp }_p{)}_{v}w$. Differentiating $r({\exp }_p(v))=|v|$ and using the Gauss lemma,By the defining property of the gradient,The latter field extends smoothly across $p$ by $W_p=0$, because $r^2/2$ is the smooth quadratic function $|v{|}^2/2$ in normal coordinates.

The same calculation also proves local radial minimization: for a piecewise smooth curve in the normal neighbourhood, $|dr(\dot{\alpha })|\le |\dot{\alpha }|$, so its length from $p$ to $q$ is at least $r(q)$, attained by the radial geodesic. Take a small tangent ball with closure inside a larger normal ball. Any path leaving the small ball before reaching a point inside it has already accumulated length at least its radius. Therefore, for points in the small ball, $r(q)=d(p,q)$ even when competitors may leave the neighbourhood. This local argument does not assert that $r$ equals global Riemannian distance throughout every arbitrarily large star-shaped normal neighbourhood.

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.

Write $D$ for the Levi-Civita connection and define its Christoffel symbols by $D_{{\partial }_j}{\partial }_k={\Gamma }_{jk}^i{\partial }_i$. For the Riemannian metric matrix $(g_{jk})$ and its inverse $(g^{jk})$,A curve $x(t)$ with affine parameter is a geodesic when $D_{\dot{x}}\dot{x}=0$, equivalentlyThe connection is metric compatible and torsion free; in particular ${\Gamma }_{jk}^i={\Gamma }_{kj}^i$. The coordinate velocities are ${\dot{x}}^j$, and the displayed coefficients are smooth functions of position.

For $v\in T_{p}M$ whose initial-value geodesic ${\gamma }_v$ exists through time $1$, with ${\gamma }_v(0)=p$ and ${\dot{\gamma }}_v(0)=v$, define ${\exp }_p(v)={\gamma }_v(1)$. The domain is open and contains a neighborhood of zero. Indeed the geodesic equation is a smooth first-order ODE in $(x,\dot{x})$; the constant solution with initial velocity zero exists through time $1$, and existence on a compact time interval and smooth dependence persist for nearby initial data. Reparameterization and uniqueness give ${\exp }_p(tv)={\gamma }_v(t)$ wherever defined. Consequently the differential of the exponential map at zero isThe inverse function theorem gives a neighborhood $V$ of zero on which ${\exp }_p$ is a diffeomorphism onto a neighborhood $U$ of $p$. Shrink $V$ to a ball in $T_{p}M$ and choose an orthonormal basis there. Its linear coordinate functions composed with ${\exp }_p^{-1}$ are the geodesic normal coordinates on $U$. This establishes well-defined local coordinates without assuming geodesic completeness.

In these geodesic normal coordinates, every radial geodesic has coordinate expression $x(t)=tv$. Its equation at $t=0$ reads ${\Gamma }_{jk}^i(p)v^j{v}^k=0$ for every $v$. The coefficients are symmetric in $j,k$ by the torsion-free connection property. Evaluating at the coordinate unit vectors and their pairwise sums, or using the polarization identity, therefore givesThis is the fact that Christoffel symbols vanish at the center of normal coordinates. Also $g_{ij}(p)={\delta }_{ij}$, since $(d{\exp }_p{)}_0$ is the identity in an orthonormal basis.

For sufficiently small $r>0$, the geodesic sphere is $S_r(p)={\exp }_p\{v:|v{|}_{g_p}=r\}$. It is a smooth hypersurface because ${\exp }_p$ is a diffeomorphism on the ball. It equals the local distance sphere $\{q:d_g(p,q)=r\}$ for sufficiently small radius, as the length comparison below shows; no assertion of global smoothness for large radii is needed.

The full Gauss lemma isfor $v$ in a star-shaped domain of ${\exp }_p$ and $w\in T_{p}M$. To prove it, set $F(t,s)={\exp }_p(t(v+sw))$, $T={\partial }_{t}F$ and $S={\partial }_{s}F$, for $s$ near zero. Every $t$-curve is a geodesic and has squared speed $|v+sw{|}_{g_p}^2$. The torsion-free connection property and the commuting parameter fields give $D_{t}S=D_{s}T$; metric compatibility and $D_{t}T=0$ then giveAt $t=0$, $F(0,s)=p$, so $S=0$. Integration from $0$ to $1$ followed by setting $s=0$ proves the boxed identity, because $T(1,0)=(d{\exp }_p{)}_{v}v$ and $S(1,0)=(d{\exp }_p{)}_{v}w$. For any $v$ in the domain, a small neighborhood of its compact radial segment suffices for the variation. The zero vector is covered directly.

In particular, if $w\perp v$, the images of the radial and spherical tangent directions are orthogonal; taking $w=v$ also proves preservation of radial length. Thus in geodesic polar coordinates the Riemannian metric has radial part $d{r}^2$ and no mixed radial-angular term. Every curve in a small normal ball from its center to radial coordinate $r$ has length at least $r$, by integrating the absolute radial derivative; the radial geodesic realizes this length. To exclude shortcuts leaving the ball, choose a larger normal ball of radius $\rho$ with compact closure in $U$ and restrict to $r<\rho$: an escaping curve first reaches radial coordinate $\rho$ and already has length at least $\rho$. This proves the asserted small-radius distance interpretation and orthogonality of radial geodesics to geodesic spheres.

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.