设X={x0,x1,…}是一个自密的可数度量空间.则对任意0〈δ〈diamX,存在X上的同胚φ满足：（a）X={φix0：i∈Z}且{φix0：i≥0},{φ-ix0：i≥0}......