Hénon映射产生的Smale马蹄

则存在一二维Contor集Λ,它与{0,1}上的双向无穷序列组成的集合Σ拓扑等价,且F|_Λ与Σ上的移位自同构拓扑等价。于是F的周期点集在Λ内稠,且F有在Λ内稠的轨线。