1
$\begingroup$

I'm reading do Carmo's book Riemannian geometry and I have a problem. At the proof of Hopf-Rinow theorem, more precisely at c.)=>d.) ($M$ complete metric space => $M$ geodezically complete space). I don't Understand the last step of the proof. enter image description here

Namely the fact that $\text{exp}_{\gamma(s_n)}(B_\delta(0))\supset W.$ And why $g$ extends $\gamma$ beyond $s_0?$

$\endgroup$
  • 2
    $\begingroup$ This is the definition of normal neighborhood (see Proposition 3.6) and a totally normal neighborhood (see Theorem 3.7). $\endgroup$ – M. Dus Aug 14 '18 at 9:01
  • $\begingroup$ Yeah, you are right! Thanks! $\endgroup$ – Hurjui Ionut Aug 14 '18 at 10:50

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.