Tensor product
设 "E" → "M" 是一个向量丛。一个 "r" 阶 "E"-值微分形式是张量积丛 "E"Λ"r""T"*"M" 的一个截面。这种形式的空间记作