论的根源之一。作为对比，光滑函数的层趋向于不包含很多拓扑信息。
流形的光滑映射.光滑流形之间的光滑映射可以用坐标图的方式来定义。因为函数的光滑性的概念和特定的坐标图的选取无关。这样的映射有一个一阶导数，定义在切向量上；它给出了在切丛的级别上的对应纤维间的线性映射。
高等定义.在需要讨论所有无穷可微函数的集合时，以及该空间的元素在微分和积分、求和、取极限时的行为时，人们发现所有光滑函数的空间不是一个合适的选择，因为它在这些操作下不是完备和闭合的。对于这个情况