Tensor product
考虑他们的作为线性空间的张量积formula_45。formula_40 和 formula_41上的内积自然地扩展到formula_48上：