Tensor product
这里的formula_3是"V"的複共轭向量空间。通过张量积的泛性质，它一一对应于(复数)线性映射