3

Picture below is from the do Carmo's Riemannian geometry. I don't know why $r(1)=l(\gamma)$ ?

enter image description here

Enhao Lan
  • 5,829
  • I think it's because $\text{exp}_p(r(1)v(1)) = c(1) = \gamma(1) = \text{exp}_p(l(\gamma) \gamma'(0)/||\gamma'(0)||)$. Which implies by diffeomorphism + taking modules that $r(1) = l(\gamma)$. Not making an answer because I'm not sure it's actually right. – AnilCh Jul 06 '21 at 08:02

1 Answers1

2

Fix $p \in M$ and take some normal geodesic ball $B_R(p) \subset M$ with polar coordinates \begin{align} E \colon (0,R)\times S &\to B_R(p) \\ (r,v) & \mapsto \exp_p(rv) \end{align}

Fix $q \in B_R(p)$, which has polar coordinates $(r(q),v(q))$. Any curve $c \colon [0,1] \to B_R(p)$ joining $p$ to $q$ has some polar coordinates $(r(t),v(t))$. The fact that $c$ joins $p$ and $q$ is equivalent to saying that $r(0) = 0$ and $r(1) = r(q)$, $v(1) = v(q)$. Now, as the ball is supposed normal, the only geodesic joining $p$ and $q$ is, in coordinates, $\gamma(t) = (t\cdot r(q), v(q))$. If follows that $r(q) = d(p,q) = l(\gamma)$ and thus, $r(1) = r(q) = l(\gamma)$.

Enhao Lan
  • 5,829
Didier
  • 19,132
  • Thanks, today, I get much help from you. Thanks again. – Enhao Lan Jul 06 '21 at 11:58
  • I think the main problem is that these kind of "easy statements" are not illustrated by some drawings while these drawings really are what put the "easy" in "easy statement"! – Didier Jul 06 '21 at 12:12