数学上,实树,也称为R-树,是指有类似于的性质的度量空间(M,d),:对M中任何两点x, y,都有唯一的自xy,而这条弧是测地线。自xy,是指从区间[a, b]到M中的拓扑嵌入f,使得f(a)=xf(b)=y

一个测地度量空间是实树,当且仅当这空间是δ-双曲空间,且δ=0。

完备实树是单射度量空间。(Kirk 1998)

研究实树上的群作用的理论称为Rips machine,是几何群论的一部分。

单纯实树

一个单纯实树是没有某种奇怪的拓扑性质的实树。实树T中的一点x称为寻常的,意思是Tx有正好两个分支。不是寻常的点x称为奇异的。实树称为单纯的,如果奇异点的集合是离散的。

例子

  • 任何离散树都可以视为实树,一个简单的构造方法,是定义相邻节点的距离为1。
  • 在平面上定义度量为:平面上两点如果在自原点出发的同一条射线上,则这两点距离为两点的欧几里得距离,若否,则距离为自原点至这两点的欧几里得距离的和。上述度量称为巴黎度量。巴黎度量使平面成为实树。更一般而言,刺猬空间都是实树。
  • 下述所构造出的是非单纯实树:取闭区间[0,2],对每个正整数n,把一个长为1/n的区间黏合到原来区间的点1-1/n上。这个实树的奇异点集是离散的,却非闭集,因为在这实树中1是寻常点。如果再黏贴一个区间到点1上,可以使奇异点集成为闭集,但是失了离散性。

参考