形式由给出。
无坐标定义.重言 1-形式可以相当抽象地定义为相空间上一个 1-形式。设 formula_5 是一个流形，formula_6 是其余切空间或者说相空间。设是典范纤维丛投影，令是 formula_9 诱导的前推。设 "m" 是 "M" 上一点，然而因为 "M" 是余切丛，我们可将 "m" 理解为切空间上一个函数，在 formula_10 点为：这样，我们便有 "m" 是在 "q" 点的纤维中。重言 1-形式 formula_12 在点 "m" 定义为这