目录

想法

在上下文中映射空间，一个重要的家族平滑贴图是评估图也就是说，对于序列紧致 Frölicher空间 $S公司$和a歧管 $M（M）$，我们选择一个指向 $在S中为p\$考虑一下地图$ev_p\colon C^\infty（S，M）到M$由提供$ev_p（\alpha）=\ alpha（p）$。这是光滑的（请参见映射空间的光滑映射?). 在$q\单位：M$，的纤维是平滑贴图的空间$S至M$哪个需要$第页$到$q个$这也是一个平滑的歧管（如所示映射空间的流形结构). 提供$M（M）$有足够的微分同态，这是一个纤维束也就是说，序列：

是一束纤维。

关于“足够的微分同态”的评论是证明这一点的关键。为了证明这是一个纤维束，我们需要证明如果$\β\结肠S \至M$几乎占了$第页$到$q个$然后我们可以变形$\β$到一张地图$第页$到$q个$在鼻子上。知道这一点$M（M）$具有流形结构，我们可以解释该语句“$\β（p）$接近$q个$“这意味着我们已经修复了图表近的$q个$并要求$\β（p）$在密码子在图表中。因此，我们有一个很好的变形选择$\β（p）$自身：沿“直线”变形$q个$到$\β（p）$如图所示。问题是它只告诉我们该怎么做$\β（p）$，而不是其他$\β$。所以我们需要拖动其余的$\β$随着$\β（p）$这就是差异形态的来源：而不是移动$\β（p）$沿着一条路径，我们使用微分同构使整个流形变形，以便$\β（p）$被带到$q个$。我们使用的方法是传播流.