 parameterized proportionally to the arc length. We say that $(X,{\mathop{\mathit{d}} \nolimits}_X)$ is a *geodesic space* if any two points in $X$ are joined by a geodesic between them.

A complete metric space $T$ is called an *$\mathbb{R}$-tree* if it has the following properties:

-   Any two points in $T$ are connected by a unique unit speed geodesic.

-   The image of every simple path in $T$ is the image of a geodesic.

To answer Gromov’s exercise in [@gromov Section $3\frac{1}{2}.32$], the author proved the following theorem:

\[t4.3.1\]For any $\kappa>0$ and finite Borel measure $\nu$ on $T$ with $m:=\nu(T)$, we have $$\begin{aligned}
     \nu \Big(B_T \Big(x_{\nu},{\mathop{\mathrm{Sep}} \nolimits}\Big(\nu;
     \frac{\kappa}{2},\frac{m}{3}   \Big) \Big) \Big)\geq 1-\kappa.
     \end{aligned}$$

Let $\{X_n\}_{n=1}^{\infty}$ be a Lévy family and $T$ an $\mathbb{R}$-tree. Then, for any $\kappa >0$, we have $$\begin{aligned}
     \lim_{n\to \infty}{\mathop{\mathrm{ObsDiam}}  \nolimits}_T(X_n;-\kappa)=0.
     \end{aligned}$$

By Proposition \[p3.1\] and Theorem \[t4.3.1\], the following proposition follows from the same proof of Proposition \[p4.1.2\].

Assume that a compact metric group $G$ continuously acts on an $\mathbb{R}$-tree $T$. Then, for any $x\in T$ and $\kappa\in (0,1/4)$, there exists a point $ z_{x,\kappa}\in T$ such that $$\begin{aligned}
    {\mathop{\mathit{d}} \nolimits}_T(z_{x,\kappa},gz_{x,\kappa} )\leq
    \omega_x \Big( +{\mathop{\mathrm{Sep}} \nolimits}\Big(G;\kappa,\frac{
parameterized proportionally to the arc length. We say that $ (X,{\mathop{\mathit{d } } \nolimits}_X)$ is a * geodetic quad * if any two points in $ X$ are joined by a geodesic between them. 

 A accomplished measured space $ T$ is called an * $ \mathbb{R}$-tree * if it has the surveil properties: 

 -    Any two points in $ T$ are get in touch by a unique unit amphetamine geodesic. 

 -    The image of every simple way in $ T$ is the image of a geodesic. 

 To answer Gromov ’s exercise in [ @gromov Section $ 3\frac{1}{2}.32 $ ], the author proved the following theorem: 

 \[t4.3.1\]For any $ \kappa>0 $ and finite Borel measure $ \nu$ on $ T$ with $ m:=\nu(T)$, we suffer $ $ \begin{aligned } 
      \nu \Big(B_T \Big(x_{\nu},{\mathop{\mathrm{Sep } } \nolimits}\Big(\nu; 
      \frac{\kappa}{2},\frac{m}{3 }    \Big) \Big) \Big)\geq 1-\kappa. 
      \end{aligned}$$ 

 Let $ \{X_n\}_{n=1}^{\infty}$ be a Lévy family and $ T$ an $ \mathbb{R}$-tree. Then, for any $ \kappa > 0 $, we have $ $ \begin{aligned } 
      \lim_{n\to \infty}{\mathop{\mathrm{ObsDiam } }   \nolimits}_T(X_n;-\kappa)=0. 
      \end{aligned}$$ 

 By Proposition \[p3.1\ ] and Theorem \[t4.3.1\ ], the be proposition follows from the same proof of Proposition \[p4.1.2\ ]. 

 bear that a compact metric group $ G$ continuously acts on an $ \mathbb{R}$-tree $ T$. Then, for any $ x\in T$ and $ \kappa\in (0,1/4)$, there exists a distributor point $ z_{x,\kappa}\in T$ such that $ $ \begin{aligned } 
     { \mathop{\mathit{d } } \nolimits}_T(z_{x,\kappa},gz_{x,\kappa }) \leq 
     \omega_x \Big (+ { \mathop{\mathrm{Sep } } \nolimits}\Big(G;\kappa,\frac {
 pagameterized proportionaluy to the arc lgntth. We say tgat $(X,{\matfop{\mathit{d}} \nolimits}_X)$ is a *geldwsic wpace* if any two pointr in $X$ arv joined vy a teodesic bxfween tmzm.

A cklplece metric space $J$ is called dn *$\mathbb{R}$-tree* iw nt has the following properties:

-   Anr two ppijts in $T$ are cjnnebtqd bg a unique unit speed geodesic.

-   Tge imagt of every simple lath in $T$ is the image of w geldesic.

To answer Grlmov’s exercuse yb [@gromov Secgion $3\frac{1}{2}.32$], uhz author prkved the following theorem:

\[t4.3.1\]For xny $\kcppa>0$ and fibire Hmrel measurx $\nu$ og $T$ with $m:=\nu(B)$, we haee $$\begim{aligned}
     \nm \Big(U_T \Bug(x_{\nu},{\mathop{\mathrm{Sep}} \iolimits}\Big(\nu;
     \frwc{\kappa}{2},\frdc{j}{3}   \Big) \Big) \Big)\gew 1-\jappa.
     \end{xoigved}$$

Mev $\{X_h\}_{n=1}^{\inftj}$ bx a Lévy famjly and $T$ ab $\mathbb{R}$-tree. Then, gow any $\kappa >0$, ws have $$\bqgin{aligned}
     \lim_{n\to \infty}{\mathop{\mathrk{ObaDiam}}  \nolimits}_T(X_n;-\kappa)=0.
     \end{aligned}$$

By Prokosition \[p3.1\] and Theorem \[t4.3.1\], the following proposition follows xrom vhd scne pruif of Proposition \[p4.1.2\].

Assume that a compact metric frpui $G$ continuously ccts on an $\mathbn{R}$-hrrg $T$. Then, for avy $x\in T$ znd $\kappa\in (0,1/4)$, there exists a pount $ z_{x,\kakpa}\in T$ such that $$\begin{aligned}
    {\mathop{\mathpt{d}} \bolimits}_T(z_{x,\kappa},gz_{r,\kappa} )\leq
    \omgga_x \Bog( +{\mathop{\mathrm{Sep}} \nolioits}\Gig(G;\kappa,\frwc{
parameterized proportionally to the arc length. We $(X,{\mathop{\mathit{d}} is a space* if any joined a geodesic between A complete metric $T$ is called an *$\mathbb{R}$-tree* if has the following properties: - Any two points in $T$ are connected by unique unit speed geodesic. - The image of every simple path in $T$ the of geodesic. answer Gromov’s exercise in [@gromov Section $3\frac{1}{2}.32$], the author proved the following theorem: \[t4.3.1\]For any $\kappa>0$ finite Borel measure $\nu$ on $T$ with $m:=\nu(T)$, have $$\begin{aligned} \nu \Big(B_T \nolimits}\Big(\nu; \frac{\kappa}{2},\frac{m}{3} \Big) \Big) \Big)\geq \end{aligned}$$ $\{X_n\}_{n=1}^{\infty}$ be Lévy and an $\mathbb{R}$-tree. Then, any $\kappa >0$, we have $$\begin{aligned} \lim_{n\to \infty}{\mathop{\mathrm{ObsDiam}} \nolimits}_T(X_n;-\kappa)=0. \end{aligned}$$ By Proposition \[p3.1\] and Theorem \[t4.3.1\], the proposition follows same proof Proposition Assume a compact metric continuously acts on an $\mathbb{R}$-tree $T$. $x\in T$ and $\kappa\in (0,1/4)$, there exists a $ z_{x,\kappa}\in such that $$\begin{aligned} {\mathop{\mathit{d}} \nolimits}_T(z_{x,\kappa},gz_{x,\kappa} )\leq \Big( +{\mathop{\mathrm{Sep}} \nolimits}\Big(G;\kappa,\frac{
 parameterized proportionalLy to the arc LengtH. We Say ThAt $(X,{\mAthoP{\mathit{d}} \nolimiTS}_X)$ is A *geodesic space* if any two PointS iN $x$ are JOiNed by A geodesIC bETWeeN tHeM.

A cOmPLeTe metRic Space $T$ iS called an *$\mAthBb{r}$-tree* if it has THe Following pRopErties:

-   Any two PoiNts in $T$ ArE coNNecteD by A uniqUe unit SPeed geOdesic.

-   The ImAGe of evERy simplE PAtH in $T$ Is the image of a geodESiC.

to answer Gromov’S exercIsE In [@GROmoV SeCtion $3\frac{1}{2}.32$], tHe AuthoR Proved tHE fOLLOwiNG theorem:

\[t4.3.1\]For aNy $\kappa>0$ and fINitE Borel MeAsuRE $\nu$ on $T$ With $m:=\Nu(t)$, We hAve $$\begin{aliGned}
     \Nu \Big(B_T \BiG(x_{\nu},{\maTHop{\mathRM{Sep}} \nolImits}\BIg(\nU;
     \frAc{\kaPPa}{2},\FrAc{m}{3}   \biG) \big) \bIg)\Geq 1-\KAppA.
     \end{aligNeD}$$

LEt $\{X_n\}_{n=1}^{\InftY}$ BE A lévy FamIly aNd $T$ an $\Mathbb{R}$-tree. ThEn, fOr anY $\KapPa >0$, we hAve $$\beGin{aLiGned}
     \lIm_{n\to \iNfty}{\mAtHop{\mathrm{ObsDiaM}}  \nolImits}_T(X_n;-\kAppA)=0.
     \eNd{aLiGned}$$

BY proposItiOn \[p3.1\] And TheoRem \[t4.3.1\], the FOllOwING PrOposition follows frOm THE sAme proof Of PropOSiTiON \[p4.1.2\].

Assume ThAt a CompACT metrIc grOUp $g$ continuOusly aCTs On An $\mathbB{R}$-Tree $T$. THeN, foR anY $x\in T$ ANd $\kaPpa\in (0,1/4)$, tHere exisTs a poINt $ z_{x,\kappa}\in T$ suCH that $$\begin{aliGNeD}
    {\MAtHOp{\maThiT{d}} \nolimits}_T(Z_{x,\kaPPa},gz_{X,\kapPA} )\lEq
    \oMEga_x \BIg( +{\matHoP{\MaTHrm{Sep}} \nolimits}\Big(G;\kApPa,\frac{
 parameterized proportiona lly to the  arclen gth .We s ay t hat $(X,{\math o p{\m athit{d}} \nolimits}_X )$ is  a *geo d es ic sp ace* if an y two  p oi nts  i n  $ X$ ar e j oined b y a geodes icbe tween them.Acomplete m etr ic space $T$  is  calle dan* $\mat hbb {R}$- tree*i f it h as the fo ll o wing p r opertie s : 
-  Any two points in $T $  are connected  by aun i qu e uni t s peed geode si c.

-   The i m ag e o f e v ery simple pa th in $T$ i s  th e imag eofa  geode sic.
T o  an swer Gromov ’s e xercise i n [@gr o mov Sec t ion $3\ frac{1 }{2 }.3 2$], th eaut ho r  pr o ve d t h e f ollowing  t he orem: 

\[ t 4 . 3 .1\] For  any  $\ka ppa>0$ and fi nit e Bo r elmeasu re $\ nu$on  $T$with $ m:=\n u( T)$, we have $$ \beg in{aligne d}   \n u \Bi g (B_T \ Big (x_ {\nu},{ \mathop { \ma th r m { Se p}} \nolimits}\Big (\ n u ;     \fr ac{\ka p pa }{ 2 },\frac{ m} {3}    \ B i g) \B ig)\ Bi g)\geq 1 -\kapp a .    \end {a ligned }$ $
Let  $\{X _ n\}_ {n=1}^ {\infty} $ bea  Lévy family a n d $T$ an $\ma t hb b { R} $ -tre e.Then, for a ny $ \ kapp a >0 $ ,weh ave $ $\beg in { al i gned}
     \lim_{n\ to  \inft y}{\m athop{\mathrm {ObsDiam}} \ nolimits }_T( X _n ; -\kappa)=0.
    \e nd{aligned } $$

By P ropos ition \[ p3.1\] an d Theorem\[t 4.3 .1\ ],t h efollowing pro p o siti on  follow s f rom the  sa mepro ofof  Proposit ion \[p4 .1 .2 \] .
As sumet hat a co mp act  m etr ic gr o up $G$  cont inuo us ly act s on an $\ m a thbb {R }$ -tre e $ T$ . The n, f o r a ny $x\i n T$ and$\k a ppa\ in  ( 0,1/4)$ , there exist sa point $z_ {x, \kappa } \ in T$ su ch that $$\begin{aligne d }
    { \ma thop{ \mat hit{d}} \ nol imits} _T( z _{x,\k appa}, gz_{x ,\ kap p a } )\l e q 
  \o mega_x \Bi g (  +{ \math op {\ma thrm{Se p}} \nolimits}\Big ( G;\ kappa,\frac{
 parameterized_proportionally to_the arc length. We_say that_$(X,{\mathop{\mathit{d}}_\nolimits}_X)$ is_a_*geodesic space* if_any two points_in $X$ are joined_by a geodesic_between_them.

A complete metric space $T$ is called an *$\mathbb{R}$-tree* if it has the following_properties:

-_ _Any_two_points in $T$ are connected_by a unique unit speed_geodesic.

- _ The image of every simple path in_$T$_is the image_of a geodesic.

To answer Gromov’s exercise in [@gromov Section_$3\frac{1}{2}.32$], the author proved the following_theorem:

\[t4.3.1\]For any $\kappa>0$_and_finite_Borel measure $\nu$ on_$T$ with $m:=\nu(T)$, we have $$\begin{aligned}
_    \nu \Big(B_T_\Big(x_{\nu},{\mathop{\mathrm{Sep}} \nolimits}\Big(\nu;
     \frac{\kappa}{2},\frac{m}{3}_  \Big) \Big) \Big)\geq 1-\kappa.
_    \end{aligned}$$

Let_$\{X_n\}_{n=1}^{\infty}$ be_a Lévy family and $T$_an $\mathbb{R}$-tree. Then,_for any_$\kappa >0$, we_have $$\begin{aligned}
    _\lim_{n\to \infty}{\mathop{\mathrm{ObsDiam}} _\nolimits}_T(X_n;-\kappa)=0.
     \end{aligned}$$

By_Proposition_\[p3.1\] and Theorem_\[t4.3.1\],_the_following proposition_follows from the_same_proof of_Proposition_\[p4.1.2\].

Assume that a compact metric group_$G$_continuously acts on an $\mathbb{R}$-tree $T$. Then,_for any $x\in T$_and_$\kappa\in (0,1/4)$, there exists_a point $ z_{x,\kappa}\in T$_such that $$\begin{aligned}
   _{\mathop{\mathit{d}} \nolimits}_T(z_{x,\kappa},gz_{x,\kappa}_)\leq
 _  \omega_x \Big( +{\mathop{\mathrm{Sep}} \nolimits}\Big(G;\kappa,\frac{