丛formula_7的微分形式。这样的形式的空间记作formula_8。当formula_9我们重新得到了通常的微分形式。
向量值形式的运算.
拉回.与通常的形式一样，对向量值形式我们可以定义通过光滑映射的拉回。"N" 上 "E"-值形式通过一个光滑映射 φ : "M" → "N" 的拉回是 "M" 上一个 (φ*"E")-值形式，这里 form on "M", where φ*"E" 是 "E" 通过 φ 的拉回丛。公式和通常的情形一样。对 "N" 上任