Tensor product
给定向量formula_20和余向量formula_21，张量积formula_22给出映射formula_23，在同构formula_24之下。