Definición. Un $\mathbb{R}$ -árbol es un espacio métrico $(X,d)$ tal que
- existe un único segmento geodésico (denominado $[x,y]$ ) que une cada par de puntos $x,y \in X$ ;
- si $[x,y] \cap [y,z] = \{y\}$ entonces $[x,y] \cup [y,z] = [x,z]$ .
por qué este nombre de espacio es $\mathbb{R}$ -árbol ?