"的Ε-值微分形式是Ε与formula_3，Μ的余切丛的"ρ"-次外幂，的张量积丛的一个光滑截面。这样的形式的空间记作习惯上一个E-值 0-形式就是丛E的一个截面。即等价地，一个E-值微分形式可以定义为一个完全斜对称的丛态射设"V"是一个给定的向量空间。一个阶数为"ρ"的"V"-值微分形式是一个取值于平凡丛formula_7的微分形式。这样的形式的空间记作formula_8。当formula_9我们重新得到了通常的微分形式。
向量值形式的运算.
拉回.