In mathematics real trees (also called -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
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 (all triangles are "zero-thin"). 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 (which is then a geodesic segment from to ).
- If is a graph with the combinatorial metric then it is a real tree if and only if it is a tree (i.e. it has no cycles). 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 (points whose complement in has three or more connected components) is discrete in .
- 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.
- 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 .
- More generally any hedgehog space is an example of a real tree.
In mathematical context
Real trees often appear, in various situations, as limits of more classical metric spaces.
Ultralimits of metric spaces
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 (if it exists) is a real tree.
A simple example is obtained by taking where is a compact surface, and the universal cover of with the metric (where is a fixed hyperbolic metric on ).
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 discuntinuously on a real hyperbolic space (this predates Rips', Bestina's and Paulin's work and is due to J. Morgan and P. Shalen).
If is a totally ordered abelian group there is a natural notion of a distance with values in (classical metric spaces correspond to ). There is a notion of -tree which recovers simplicial trees (for ) and real trees (for ).
The axioms for a building can be generalized to give a definition of a real building. These arise for example as asymptotic cones of higher-rank symmetric spaces or as Bruhat—Tits buildings of higher-rank groups over valued fields.
- Aldous, D. (1991), "The continuum random tree I", Annals of Probability 19: 1–28.
- Aldous, D. (1991), "The continuum random tree III", Annals of Probability 21: 248–289
- Bestvina, Mladen (2002), "-trees in topology, geometry and group theory", Handbook of Geometric Topology, Elsevier, pp. 55–91
- Shalen, Peter B. (1987), "Dendrology of groups: an introduction", in Gersten, S. M., Essays in Group Theory, Math. Sci. Res. Inst. Publ. 8, Springer-Verlag, pp. 265–319, ISBN 978-0-387-96618-2, MR 919830
- Chiswell, Ian (2001), Introduction to Λ-trees, River Edge, NJ: World Scientific Publishing Co. Inc., ISBN 981-02-4386-3, MR 1851337