纤维中。重言 1-形式 formula_12 在点 "m" 定义为这是一个线性函数所以是流形 formula_6 上一个 1-形式。不难验证这种定义和上一节局部坐标的定义是相同的。
性质.重言 1-形式是惟一“消去”拉回的 1-形式。这便是说：若是 "Q" 上任意一个 1-形式，而 formula_18 是其拉回。那么以及这些都可以用上一节的定义直接得到，如果写成局部坐标的形式就最好理解：
作用量.如果 "H" 是余切丛上一个哈密顿