2.2　矩阵的张量积

对于n阶矩阵A={a_ij}和m阶矩阵B={b_kl}，可定义矩阵的张量积（又称Kronecker积）为

（1）Kronecker积运算满足双线性和结合律：若A与B是相同维数的矩阵，则有

（2）Kronecker积运算具有混合乘积性质：若在4个矩阵A、B、C和D中，矩阵乘积AC和BD都存在，则有

假设C取A-1，D取B-1，则有

例如，对于一个相互独立的双量子比特系统（没有纠缠），各自作用一个酉算子，有

（3）Kronecker积转置运算符合分配律：若A和B是两个矩阵，则有