Real tree

A real tree, or an $mathbb\; R$-tree, is a metric space ("M","d") such thatfor any "x", "y" in "M" there is a unique "arc" from "x" to "y" and this arc is a geodesic segment. Here by an "arc" from "x" to "y" we mean the image in "M" of a topological embedding "f" from an interval ["a","b"] to "M" such that "f"("a")="x" and "f"("b")="y". The condition that the arc is a geodesic segment means that the map "f" above can be chosen to be an isometric embedding, that is it can be chosen so that for every "z, t" in ["a","b"] we have "d(f(z), f(t))"=|"z-t"| and that "f(a)=x", "f(b)=y". A real tree is also sometimes referred to as a metric tree.

Equivalently, a geodesic metric space "M" is a real tree if and only if "M" is a δ-hyperbolic space with δ=0. Real trees are injective metric spaces.

There is a theory of group actions on R-trees, which is part of geometric group theory.

Simplicial R-trees

A simplicial R-tree is an R-tree that is free from certain "topological strangeness". More precisely, a point "x" in an R-tree "T" is called ordinary if "T"−"x" has two components. The points which are not ordinary are singular. We define a simplicial R-tree to be an R-tree whose set of singular points is discrete and closed.

Examples

* Each discrete tree can be regarded as an R-tree by a simple construction such that neighboring vertices have distance one.
* The Paris metric makes the plane into an R-tree. If two points are on the same ray in the plane, their distance is defined as the Euclidean distance. Otherwise, their distance is defined to be the sum of the Euclidian distances of these two points to the origin. More generally any hedgehog space is an example of a real tree.
* The R-tree obtained in the following way is nonsimplicial. Start with the interval [0,2] and glue, for each positive integer "n", an interval of length 1/"n" to the point 1−1/"n" in the original interval. The set of singular points is discrete, but fails to be closed since 1 is an ordinary point in this R-tree. Gluing an interval to 1 would result in a closed set of singular points at the expense of discreteness.

References

* M. Bestvina. [http://www.math.utah.edu/~bestvina/eprints/handbook.ps R-trees in topology, geometry, and group theory.] in: "Handbook of geometric topology" R. J. Daverman and R. B. Sher (editors), pp. 55-91, North-Holland, Amsterdam, 2002; ISBN: 0-444-82432-4