LECTURE15:COMPLETENESS1.THEHOPF-RINOWTHEOREMTheHopf-Rinow Theorem and consequences.Last time we proved that on any compact Riemannian manifold, any nontrivialpath-homotopy class contains a shortest curveand that curvemust be a geodesics.Today we will study geodesics in a wider class of Riemannian manifolds, namely,complete Riemannian manifolds, and prove the existence of shortest geodesics ineachnon-trivial path-homotopyclassinsuchmanifolds.We will first prove the existence of shortest geodesics [i.e. a geodesic of length d(p,Q)]between any two given points p,q on any complete Riemannian manifold. This isthe second part of a well-known theorem proved by Hopf and Rinow in 1931. Recallthat a Riemannian manifold (M,g)is called geodesically.complete if themaximaldefining interval of any geodesic on M isR.On the other hand, anyRiemannianmanifold (M, g) admits a Riemannian metric structure given byd(p,q) = inf(L() I is a piecewise smooth curve connecting p to q),and thus we can talk about the completeness of d: a metric space is complete if anyCauchy sequence in it converges.Now we state Hopf-Rinow theorem,which contains two parts:the first partclaims that for Riemannian manifolds, the two notions of completeness coincide;while the second part claims the existences of shortest geodesic on such manifolds.Theorem 1.1 (Hopf-Rinow). Let (M,g) be a connected Riemannian manifold.(Part I) The following statements are equivalent:(1) (M,d) is a complete metric space.(2) (M,g) is geodesically complete.(3) There erists p e M so that exPp is defined for all X, E T,M.(4) [Heine-Borel property] Any bounded closed subset in M is compact.(Part II) Moreover, each of the previous statements implies(5) for any p,q E M, there erists a geodesic of length d(p,q) connecting pand q.Definition 1.2. A connected Riemannian manifold (M,g) satisfying any of (1)-(4)is called a completeRiemannianmanifold.Remark. Property (5) is NOT enough to guarantee that (M,g) is complete.Forexample, the open unit ball Bi(O) in (Rm, go) satisfies (5), but is not complete
LECTURE 15: COMPLETENESS 1. The Hopf-Rinow Theorem ¶ The Hopf-Rinow Theorem and consequences. Last time we proved that on any compact Riemannian manifold, any nontrivial path-homotopy class contains a shortest curve and that curve must be a geodesics. Today we will study geodesics in a wider class of Riemannian manifolds, namely, complete Riemannian manifolds, and prove the existence of shortest geodesics in each non-trivial path-homotopy class in such manifolds. We will first prove the existence of shortest geodesics [i.e. a geodesic of length d(p, q)] between any two given points p, q on any complete Riemannian manifold. This is the second part of a well-known theorem proved by Hopf and Rinow in 1931. Recall that a Riemannian manifold (M, g) is called ✿✿✿✿✿✿✿✿✿✿✿✿ geodesically✿✿✿✿✿✿✿✿✿✿ complete if the maximal defining interval of any geodesic on M is R. On the other hand, any Riemannian manifold (M, g) admits a Riemannian metric structure given by d(p, q) = inf{L(γ) | γ is a piecewise smooth curve connecting p to q}, and thus we can talk about the completeness of d: a metric space is ✿✿✿✿✿✿✿✿✿ complete if any Cauchy sequence in it converges. Now we state Hopf-Rinow theorem, which contains two parts: the first part claims that for Riemannian manifolds, the two notions of completeness coincide; while the second part claims the existences of shortest geodesic on such manifolds. Theorem 1.1 (Hopf-Rinow). Let (M, g) be a connected Riemannian manifold. (Part I) The following statements are equivalent: (1) (M, d) is a complete metric space. (2) (M, g) is geodesically complete. (3) There exists p ∈ M so that expp is defined for all Xp ∈ TpM. (4) [Heine-Borel property] Any bounded closed subset in M is compact. (Part II) Moreover, each of the previous statements implies (5) for any p, q ∈ M, there exists a geodesic of length d(p, q) connecting p and q. Definition 1.2. A connected Riemannian manifold (M, g) satisfying any of (1)-(4) is called a complete Riemannian manifold. Remark. Property (5) is NOT enough to guarantee that (M, g) is complete. For example, the open unit ball B1(0) in (R m, g0) satisfies (5), but is not complete. 1
2LECTURE15:COMPLETENESSRemark. For a general metric space, condition (1) does NOT imply condition (4)any infinite dimensional Banach or Hilbert space like ? is a counterexample. So asmetric spaces, Riemannian manifolds are special (and nice)metric spacesWe list a couple immediate consequences of Hopf-Rinow theorem.Since anycompact metric space is complete, we get another proof ofCorollary 1.3. Any compact Riemannian manifold is geodesically completeSince any two points can be connected by a geodesic,Corollary 1.4. If (M,g) is complete and connected, then for any p E M, theerponential map expp : T,M -→ M is surjective.Since the Heine-Borel property is inherited by closed subsets, we have[warning:although any closed subspace of a complete metric space is complete, one cannot apply (1) heresince "the induced metric on a submanifold S in the metric space (M, d)" is not the same as “"theRiemannian distance generated by the induced Riemannian metric on S C (M,g)"lCorollary 1.5. Any closed submanifold of a complete Riemannian manifold, whenendowed with the induced Riemannian metric, is complete.Proof of“Hopf-Rinow Theorem, Part II"We first prove Part II of Hopf-Rinow theorem. More precisely, we prove (2)→(5)or equivalently, its local version, namely (3)→(5°, where(5') for any q e M, there exists a geodesic of length d(p, q) connecting p and q.Denote r = d(p,q). We have already seen that there exists 0 < < r so thatthe exponential map expp is a diffeomorphism from Bs() TpM to B(p,) E M.Note that the geodesic sphere S(p, d) = expp(Ss(O) is compact. Since the distancefunction is continuous [c.f. lecture 3], there exists po E S(p,) so thatd(po,q) =,inf d(p,q).p'ES(p,0)Let be the normal geodesic from p to po.By (3),is defined over R. LetA= (s E[8, rl / d((s),q) = r - s)We will show sup A = r, which implies (r) = q.Toprovethis, wefirst noticethat eA,sincer = d(p,q) =inf (d(p,p) + d(p,9)) = 8 +inf d(p,q) =8 + d((),9)p'ES(p,))p'eS(p,d)So A is nonempty.Secondly, it's easy to see that A is closed, since the functionf(s)= d((s),q) -r + sis continuous and A = f-1(0) n[8, r]
2 LECTURE 15: COMPLETENESS Remark. For a general metric space, condition (1) does NOT imply condition (4): any infinite dimensional Banach or Hilbert space like l 2 is a counterexample. So as metric spaces, Riemannian manifolds are special (and nice) metric spaces. We list a couple immediate consequences of Hopf-Rinow theorem. Since any compact metric space is complete, we get another proof of Corollary 1.3. Any compact Riemannian manifold is geodesically complete. Since any two points can be connected by a geodesic, Corollary 1.4. If (M, g) is complete and connected, then for any p ∈ M, the exponential map expp : TpM → M is surjective. Since the Heine-Borel property is inherited by closed subsets, we have[warning: although any closed subspace of a complete metric space is complete, one cannot apply (1) here since “the induced metric on a submanifold S in the metric space (M, d)” is not the same as “the Riemannian distance generated by the induced Riemannian metric on S ⊂ (M, g)”] Corollary 1.5. Any closed submanifold of a complete Riemannian manifold, when endowed with the induced Riemannian metric, is complete. ¶ Proof of “Hopf-Rinow Theorem, Part II”. We first prove Part II of Hopf-Rinow theorem. More precisely, we prove (2)⇒(5) , or equivalently, its local version, namely (3)⇒(5 ′ ) , where (5 ′ ) for any q ∈ M, there exists a geodesic of length d(p, q) connecting p and q. Denote r = d(p, q). We have already seen that there exists 0 < δ < r so that the exponential map expp is a diffeomorphism from Bδ(0) ∈ TpM to B(p, δ) ∈ M. Note that the geodesic sphere S(p, δ) = expp (Sδ(0)) is compact. Since the distance function is continuous [c.f. lecture 3], there exists p0 ∈ S(p, δ) so that d(p0, q) = inf p ′∈S(p,δ) d(p ′ , q). Let γ be the normal geodesic from p to p0. By (3), γ is defined over R. Let A = {s ∈ [δ, r] | d(γ(s), q) = r − s}. We will show sup A = r, which implies γ(r) = q. To prove this, we first notice that δ ∈ A, since r = d(p, q) = inf p ′∈S(p,δ) (d(p, p′ ) + d(p ′ , q)) = δ + inf p ′∈S(p,δ) d(p ′ , q) = δ + d(γ(δ), q). So A is nonempty. Secondly, it’s easy to see that A is closed, since the function f(s) = d(γ(s), q) − r + s is continuous and A = f −1 (0) ∩ [δ, r]
3LECTURE15:COMPLETENESSNow let so = sup A. Since A is nonempty and closed, so E A. Suppose so <r.Then by repeating the previous argument,weknow that there exists 0<s'<r-soand p E S((so), s) so thatd(p,g) = d((so),9) - 8.d(po, q) =minpES((so),8))Since so E A, we getd(po, ) = r - 80 - 8.So by the triangle inequality,d(po,p) ≥ d(p,q) - d(po, q) = r - (r - so - 8') = So +8.On the other hand, the curve by connecting p to (so) along and then connecting(so)to po by the“radial"minimal geodesic has length exactly So +'.So, withthe arc-length parametrization, must be a geodesic. Obviously has to coincidewith . In other words, p = (so + $). As a consequenced((so +8),9)=r-(so+8),i.e. So +S' E A.This conflicts with the fact that So =supA.Proof of“Hopf-RinowTheorem,PartI"Having proved (3)(5'),nowweprovepart I of Hopf-Rinow's theorem by(4)— (1) (2)→ (3) and (3)+ (5) (4).(4)-(1)This is a standard result in general topology: Let p; be any Cauchysequence, then the set (pij is contained in bounded ball B whose closure is compactby (4).It follows that phas a subsequence that converges to some po.But p;is aCauchy sequence, so the entire sequence pi Po.(1)-→(2)Let be any normal geodesic on M. By the existence and uniquenesstheorem, the maximal defining interval of must be an open interval (a,b). Ifb < oo, then we can take a sequence si → b-. In particular, s, is a Cauchy sequenceinR.But isa normal geodesic, sod((si), (sj)) ≤[si - sil.As a consequence, (s:) is a Cauchy sequence in (M, d). If follows that there existsa point pE M so that (si)-→p.Since & is open and (p, 0) E &, there exists e > 0 so that (q, Yq) E & for any qwith d(q,p)<and anyYqeT,M with[Ygl<2e.Soif we take i large enoughso that b - si < and thus d((si),p) <, then (t; (si),e(si) is defined fort e [0, 1]. In other words, the geodesic %(t) = (t; (si), (si) is well defined for0 < t < . Since 1 coincides with at si, they must be the same. In particular, can be defined for all t < si + , which exceeds the upper bound b, a contradiction.Similarly by considering the “reverse geodesic" one also has a = -oo. So anynormal geodesic on M, and thus any geodesic on M, has defining interval R
LECTURE 15: COMPLETENESS 3 Now let s0 = sup A. Since A is nonempty and closed, s0 ∈ A. Suppose s0 < r. Then by repeating the previous argument, we know that there exists 0 < δ′ < r −s0 and p ′ 0 ∈ S(γ(s0), δ′ ) so that d(p ′ 0 , q) = min p ′∈S(γ(s0),δ′) d(p ′ , q) = d(γ(s0), q) − δ ′ . Since s0 ∈ A, we get d(p ′ 0 , q) = r − s0 − δ ′ . So by the triangle inequality, d(p ′ 0 , p) ≥ d(p, q) − d(p ′ 0 , q) = r − (r − s0 − δ ′ ) = s0 + δ ′ . On the other hand, the curve γ˜ by connecting p to γ(s0) along γ and then connecting γ(s0) to p ′ 0 by the “radial” minimal geodesic has length exactly s0 + δ ′ . So γ˜, with the arc-length parametrization, must be a geodesic. Obviously γ˜ has to coincide with γ. In other words, p ′ 0 = γ(s0 + δ ′ ). As a consequence, d(γ(s0 + δ ′ ), q) = r − (s0 + δ ′ ), i.e. s0 + δ ′ ∈ A. This conflicts with the fact that s0 = sup A. ¶ Proof of “Hopf-Rinow Theorem, Part I”. Having proved (3) =⇒ (5′ ), now we prove part I of Hopf-Rinow’s theorem by (4) =⇒ (1) =⇒ (2) =⇒ (3) and (3) + (5′ ) =⇒ (4). (4)⇒(1) This is a standard result in general topology: Let pi be any Cauchy sequence, then the set {pi} is contained in bounded ball B whose closure is compact by (4). It follows that pi has a subsequence that converges to some p0. But pi is a Cauchy sequence, so the entire sequence pi → p0. (1)⇒(2) Let γ be any normal geodesic on M. By the existence and uniqueness theorem, the maximal defining interval of γ must be an open interval (a, b). If b < ∞, then we can take a sequence si → b−. In particular, si is a Cauchy sequence in R. But γ is a normal geodesic, so d(γ(si), γ(sj )) ≤ |si − sj |. As a consequence, γ(si) is a Cauchy sequence in (M, d). If follows that there exists a point p ∈ M so that γ(si) → p. Since E is open and (p, 0) ∈ E, there exists ε > 0 so that (q, Yq) ∈ E for any q with d(q, p) < ε and any Yq ∈ TqM with |Yq| < 2ε. So if we take i large enough so that b − si < ε 2 and thus d(γ(si), p) < ε 2 , then γ(t; γ(si), εγ˙(si)) is defined for t ∈ [0, 1]. In other words, the geodesic γ1(t) = γ(t; γ(si), γ˙(si)) is well defined for 0 < t < ε. Since γ1 coincides with γ at si , they must be the same. In particular, γ can be defined for all t < si + ε 2 , which exceeds the upper bound b, a contradiction. Similarly by considering the “reverse geodesic” one also has a = −∞. So any normal geodesic on M, and thus any geodesic on M, has defining interval R
4LECTURE15:COMPLETENESS(2)→(3)This is obvious. (M,g) is geodesically complete 台 &= TM. )(3)+(5')-(4) Let K C M be a bounded closed set. Then there exists a constantC > 0 so that d(p, k) < C for all k E K. According to (3) and (5'), K C exp,(Bc(0),where Bc(O) is the closed ball of radius C in T,M, which is compact in T,M. Sinceexp, is smooth, expp(Bc(O)) is also compact. Thus K, as a closed subset of acompact set,is compact.2.GEODESICSANDRIEMANNCOVERINGMAP Lifting to the Riemannian covering.Next let's turn to prove the existence of length minimizing geodesics in anypath-homotopy class of curves connecting p to q.The idea is to straightforward:instead of working on piecewise smooth curves in M connecting given points p andq that lies in a given path-homotopy classes,we will move to the universal covering :M → M of M and work on piecewise smooth curves starting with a fixedpe -l(p) and ends at the point q eπ-l(q) so that any curve connecting p and qprojects to a curve in the given path-homotopy classes, and then we can apply thesecond part of Hopf-Rinow theorem.For the argument mentioned above to work, we need a couple ingredients. First.we need to lift the complete metric g on M to a complete metric on its universalcovering M. Recall.Let M,N be connected smooth manifolds.A smooth map f : MN issaid to be a smooth covering map if(1) for any q E N, there is a neighborhood V of q in N and open subsetsU& of M so that f-1(V) = UaUa(2) for each a, f : U&→ V is a diffeomorphism,(3) these U.'s are disjoint.As iswell known,if f :M→N is a coveringmap,then- dim M = dim N and f is surjective,-fix any pa e f-1(q),anypath (and path homotopy)starts at gin Nadmitsaunique liftingtoMthat startsatpamoreover, if N is simply connected, then f is a global diffeomorphism.If (M,gm) and (N,gn) are Riemannian manifolds, then a smooth coveringmap : M -→ N is called a Riemannian covering map if *gn = gM. Note:- given any smooth covering map : M → N and any Riemannian metricon N, one may pullback that metric to M to make the covering map aRiemannian covering.[c.f.PSet1Problem 3]anyRiemannian coveringmapisalocal isometry.. We also need some standard properties of local isometries. Let f : (M, g) -)(N,h) be a local isometry, then
4 LECTURE 15: COMPLETENESS (2)⇒(3) This is obvious. ((M, g) is geodesically complete ⇔ E = TM. ) (3)+(5 ′ )⇒(4) Let K ⊂ M be a bounded closed set. Then there exists a constant C > 0 so that d(p, k) < C for all k ∈ K. According to (3) and (5 ′ ), K ⊂ expp (BC(0)), where BC(0) is the closed ball of radius C in TpM, which is compact in TpM. Since expp is smooth, expp (BC(0)) is also compact. Thus K, as a closed subset of a compact set, is compact. 2. Geodesics and Riemann covering map ¶ Lifting to the Riemannian covering. Next let’s turn to prove the existence of length minimizing geodesics in any path-homotopy class of curves connecting p to q. The idea is to straightforward: instead of working on piecewise smooth curves in M connecting given points p and q that lies in a given path-homotopy classes, we will move to the universal covering π : Mf → M of M and work on piecewise smooth curves starting with a fixed pe ∈ π −1 (p) and ends at the point qe ∈ π −1 (q) so that any curve connecting pe and qe projects to a curve in the given path-homotopy classes, and then we can apply the second part of Hopf-Rinow theorem. For the argument mentioned above to work, we need a couple ingredients. First, we need to lift the complete metric g on M to a complete metric on its universal covering Mf. Recall • Let M, N be connected smooth manifolds. A smooth map f : M → N is said to be a smooth covering map if (1) for any q ∈ N, there is a neighborhood V of q in N and open subsets Uα of M so that f −1 (V ) = ∪αUα, (2) for each α, f : Uα → V is a diffeomorphism, (3) these Uα’s are disjoint. As is well known, if f : M → N is a covering map, then – dim M = dim N and f is surjective, – fix any pα ∈ f −1 (q), any path (and path homotopy) starts at q in N admits a unique lifting to M that starts at pα, – moreover, if N is simply connected, then f is a global diffeomorphism. • If (M, gM) and (N, gN ) are Riemannian manifolds, then a smooth covering map π : M → N is called a Riemannian covering map if π ∗ gN = gM. Note: – given any smooth covering map π : M → N and any Riemannian metric on N, one may pullback that metric to M to make the covering map a Riemannian covering. [c.f. PSet 1 Problem 3] – any Riemannian covering map is a ✿✿✿✿✿ local✿✿✿✿✿✿✿✿✿✿ isometry. • We also need some standard properties of local isometries. Let f : (M, g) → (N, h) be a local isometry, then
LECTURE15:COMPLETENESS5-M and N have“the same"Riemannian metrics at correspondingpoints,and thus the same Levi-Civita connection and the same Riemanniancurvature at corresponding points [c.f. PSet 2 Problem 1].- In particular, f maps geodesics into geodesics, and if f is a Riemannian covering, then the lifting of a geodesic is a geodesic.- for any piecewise smooth curve in M, one has [il(t) =df(t)()lf((t)and thus L()=L(f())NowweproveProposition 2.1.Let (M,g)be a completeRiemannian manifold, and :M→Mbea smooth covering map.Then (M,r*g)is complete.Proof. For any pe M and any e T,M, we denote p= (P) and u = dp(). Thenby definition of completeness, there is a geodesic : R → M with (O) = p and(O) = u. By the path-lifting property for covering space, there is a unique lifting : IR → M with (O) = p, which is a geodesic since it is the lifting of a geodesic..Moreover, since π : (M,π*g)→ (M,g) is a local isometry and since π o= , weget(0) = (d)-1(%(0)) = (d)-1(u) = 0.口So the geodesic starts atp in the direction is defined over R.T Length minimizing curves in given path-homotopy class.As a consequence, we can extend Theorem 1.4 in Lecture 14 to complete Rie-mannian manifolds.Theorem 2.2. Let (M,g) be a complete connected Riemannian manifold, and p,qare two points in M.Then in each path-homotopy class of curves with (O)p, (1)= q, there is a length-minimizing piecewise smooth curve and it is a geodesic.Proof. Consider the universal covering : M -→ M. Equip M with the coveringRiemannian metric *g. Given any path g : [o, 1] M connecting p and q in thegiven homotopy class, and given any p e π-1(p), there is a unique lifting : [0, 1] -→M of with (O) = p. Since (M,*g) is complete, by Hopf-Rinow theorem, thereis a minimizing geodesic from p to q := (1). Since π is a local isometry, theprojection = π o is a geodesic in M with (0) = p, (1) = q. Since M is simplyconnected, is path-homotopic to and thus is path-homotopic to o.Finally suppose oi be any piecewise smooth curve in M from p to q in the givenpath homotopy class, then its lifting i in M with starting point i(O) = p mustends atq,and thusby our choiceof,L() = Length() ≤Length(1)= L(α1)口So is the shortest curve in the given path homotopy class
LECTURE 15: COMPLETENESS 5 – M and N have “the same” Riemannian metrics at corresponding points, and thus the same Levi-Civita connection and the same Riemannian curvature at corresponding points [c.f. PSet 2 Problem 1]. – In particular, f maps geodesics into geodesics, and if f is a Riemannian covering, then the lifting of a geodesic is a geodesic. – for any piecewise smooth curve γ in M, one has |γ˙ |γ(t) = |dfγ(t)( ˙γ)|f(γ(t)) and thus L(γ) = L(f(γ)). Now we prove Proposition 2.1. Let (M, g) be a complete Riemannian manifold, and π : Mf → M be a smooth covering map. Then (M, π f ∗ g) is complete. Proof. For any pe∈ Mf and any ve ∈ TpeMf, we denote p = π(pe) and v = dπpe(ve). Then by definition of completeness, there is a geodesic γ : R → M with γ(0) = p and γ˙(0) = v. By the path-lifting property for covering space, there is a unique lifting γe : R → Mf with γe(0) = pe, which is a geodesic since it is the lifting of a geodesic. Moreover, since π : (M, π f ∗ g) → (M, g) is a local isometry and since π ◦ γe = γ, we get ˙γe(0) = (dπpe) −1 ( ˙γ(0)) = (dπpe) −1 (v) = v. e So the geodesic starts at pe in the direction ve is defined over R. □ ¶ Length minimizing curves in given path-homotopy class. As a consequence, we can extend Theorem 1.4 in Lecture 14 to complete Riemannian manifolds. Theorem 2.2. Let (M, g) be a complete connected Riemannian manifold, and p, q are two points in M. Then in each path-homotopy class of curves γ with γ(0) = p, γ(1) = q, there is a length-minimizing piecewise smooth curve and it is a geodesic. Proof. Consider the universal covering π : Mf → M. Equip Mf with the covering Riemannian metric π ∗ g. Given any path σ : [0, 1] → M connecting p and q in the given homotopy class, and given any pe∈ π −1 (p), there is a unique lifting σe : [0, 1] → Mf of σ with σe(0) = pe. Since (M, π f ∗ g) is complete, by Hopf-Rinow theorem, there is a minimizing geodesic γe from pe to qe := σe(1). Since π is a local isometry, the projection γ = π ◦ γe is a geodesic in M with γ(0) = p, γ(1) = q. Since Mf is simply connected, γe is path-homotopic to σe and thus γ is path-homotopic to σ. Finally suppose σ1 be any piecewise smooth curve in M from p to q in the given path homotopy class, then its lifting σe1 in Mf with starting point σe1(0) = pe must ends at qe, and thus by our choice of γe, L(γ) = Length(γe) ≤ Length(σe1) = L(σ1). So γ is the shortest curve in the given path homotopy class. □