式.余切丛的光滑截面是微分1-形式。
余切丛的定义.设"M"×"M"是"M"与自己的笛卡尔积。对角映射Δ将"M"中的点"p"映到"M"×"M"中的点 ("p","p")。像 Δ称为对角线。设formula_1是"M"上光滑函数芽的层。那么商层formula_2由高阶项为0的等价类组成。余切丛是这个层拉回到"M"：由泰勒定理，这是"M"一个上关于光滑函数芽层上的模的局部自由层。从而在"M"上定义了一个向量丛：余切丛。
作为相空间的余切丛.Section