沿流的光滑移位

设 $\Phi$ 为光滑、紧致、有限维流形 $M$ 上的一个流。考虑由保持流 $\Phi$ 的叶状结构的 $M$ 的光滑映射与( respective)$M$ 的微分同胚组成的 $C^{\infty}(M,M)$ 的子集 $E(\Phi)$ 与 $D(\Phi)$。再令 $E_{0}(\Phi)$ 与 $D_{0}(\Phi)$ 为具紧开拓扑的 $E(\Phi)$ 与 $D(\Phi)$ 的单位道路分支。我们证明,在 $\Phi$ 的不动点上的温和条件下,包含映射 $D_{0}(\Phi) \subset E_{0}(\Phi)$ 是同伦等价,且这些空间要么可缩,要么同伦等价于圆周。