In mathematics, a real tree, or an -tree, is a metric space (M,d) such that for 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 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 we have d(f(z), f(t))=|z-t| and that f(a)=x, f(b)=y.
Equivalently, a geodesic metric space M is a real tree if and only if M is a δ-hyperbolic space with δ=0.
Complete real trees are injective metric spaces (Kirk 1998).
There is a theory of group actions on R-trees, known as the Rips machine, which is part of geometric group theory.
Read more about Real Tree: Simplicial R-trees, Examples
Famous quotes containing the words real and/or tree:
“When I read of the vain discussions of the present day about the Virgin Birth and other old dogmas which belong to the past, I feel how great the need is still of a real interest in the religion which builds up character, teaches brotherly love, and opens up to the seeker such a world of usefulness and the beauty of holiness.”
—Olympia Brown (1835–1900)
“It never had been inside the room,
And only one of the two
Was afraid in an oft-repeated dream
Of what the tree might do.”
—Robert Frost (1874–1963)