Real tree
In mathematics, real trees are a class of metric spaces generalising simplicial trees. They arise naturally in many mathematical contexts, in particular geometric group theory and probability theory. They are also the simplest examples of Gromov hyperbolic spaces.
Definition and examples
Formal definition
A metric space is a real tree if it is a geodesic space where every triangle is a tripod. That is, for every three points there exists a point such that the geodesic segments intersect in the segment and also. This definition is equivalent to being a "zero-hyperbolic space" in the sense of Gromov.Real trees can also be characterised by a topological property. A metric space is a real tree if for any pair of points all topological embeddings of the segment into such that have the same image.
Simple examples
- If is a connected graph with the combinatorial metric then it is a real tree if and only if it is a tree. Such a tree is often called a simplicial tree. They are characterised by the following topological property: a real tree is simplicial if and only if the set of singular points of is closed and discrete in.
- The -tree obtained in the following way is nonsimplicial. Start with the interval 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 -tree. Gluing an interval to 1 would result in a closed set of singular points at the expense of discreteness.
- The Paris metric makes the plane into a real tree. It is defined as follows: one fixes an origin, and if two points are on the same ray from, their distance is defined as the Euclidean distance. Otherwise, their distance is defined to be the sum of the Euclidean distances of these two points to the origin.
- The plane under the Paris metric is an example of a hedgehog space, a collection of line segments joined at a common endpoint. Any such space is a real tree.
Characterizations
1) ' A real tree is a geodesic metric space which contains no subset homeomorphic to a circle.
2) A real tree is a connected metric space which has the four points condition' :
3) A real tree is a connected 0-hyperbolic metric space. Formally,
where denotes the Gromov product of and with respect to, that is,
4) .'' Consider a positive excursion of a function. In other words, let be a continuous real-valued function and an interval such that and for.
For,, define a pseudometric and an equivalence relation with:
Then, the quotient space is a real tree. Intuitively, the local minima of the excursion e are the parents of the local maxima. Another visual way to construct the real tree from an excursion is to "put glue" under the curve of e, and "bend" this curve, identifying the glued points.
Examples
Real trees often appear, in various situations, as limits of more classical metric spaces.Brownian trees
A Brownian tree is a random metric space whose value is a real tree almost surely. Brownian trees arise as limits of various random processes on finite trees.Ultralimits of metric spaces
Any ultralimit of a sequence of -hyperbolic spaces with is a real tree. In particular, the asymptotic cone of any hyperbolic space is a real tree.Limit of group actions
Let be a group. For a sequence of based -spaces there is a notion of convergence to a based -space due to M. Bestvina and F. Paulin. When the spaces are hyperbolic and the actions are unbounded the limit is a real tree.A simple example is obtained by taking where is a compact surface, and the universal cover of with the metric .
This is useful to produce actions of hyperbolic groups on real trees. Such actions are analyzed using the so-called Rips machine. A case of particular interest is the study of degeneration of groups acting properly discontinuously on a real hyperbolic space.