I'm trying to study Hyperbolic geometry, but I can not understand the following statement.
Let $X$ be a $δ$-hyperbolic space. Then, there exists $M > 0$ such that for any geodesic $γ$, and any ball $B_r(x)$ of arbitrary radius that is disjoint from $γ$, the closest-point projection of the ball to the geodesic has diameter $≤ M$.
I want to know the proof of the question. (Maybe $M = 5δ$)
If anyone could help, It would be really appreciated.Thanks.
Hint: Notice that the statement is easy to prove when $X$ is a real tree. Therefore, suppose that the general statement fails in some hyperbolic space $X$, and take a sequence of balls $B_n$ and geodesics $\gamma_n$ such that the projection of $B_n$ on $\gamma_n$ has diameter at least $n$; then deduce that your statement fails in some ultralimit $\left( \frac{1}{n} X , y_n \right) \to (Y,y)$. Since $Y$ is a real tree, you get a contradiction.
EDIT: In Géométrie et théorie des groupes, les groupes hyperboliques de Gromov (proposition 10.2.1 page 108), a more general statement is proved using a quantitative approximation of finite subspaces by simplicial trees. In particular, if $B_r$ is a ball at distance at least $r$ from a geodesic $\gamma$, then the projection of $B_r$ on $\gamma$ has diameter at most $12 \delta$.