张量积
它们的张量积是多重线性函数