Kronecker积
Kronecker积是表示矩阵特殊乘积的一种简洁数学符号,也称直积或张量积。一个m*n矩阵A和一个p*q的矩阵B的Kronecker积记作
,它是一个mp*nq的矩阵。
右Kronecker积定义:m*n矩阵A和p*q的矩阵B的右Kronecker积
定义为:
![A\otimes B=[a_{ij}B]=\begin{bmatrix} a_{11}B &a_{12}B & .. . & a_{1n}B\\ a_{21}B & a_{22}B & .. .&a_{2n}B \\ .. . & .. . & .. .&.. . \\ a_{m1}B & a_{m1}B & .. .& a_{mn}B \end{bmatrix}](https://1000bd.com/contentImg/2022/08/09/130259352.gif)
左Kronecker积定义:m*n矩阵A和p*q的矩阵B的左Kronecker积
定义为:
![[A\otimes B]_{left}=[Ab_{ij}]=\begin{bmatrix} Ab_{11} &Ab_{12}& .. . & Ab_{1q}\\ Ab_{21} & Ab_{22} & .. .&Ab_{2q} \\ .. . & .. . & .. .&.. . \\ Ab_{p1} & Ab_{p1} & .. .& Ab_{pq} \end{bmatrix}](https://1000bd.com/contentImg/2022/08/09/130300131.gif)
左Kronecker积可以写成
或者
。
若矩阵
,则:

定理:令
,则:

Kronecker积有以下性质:
1.对于矩阵
,一般有:

2.任意矩阵与零矩阵的Kronecker积对于零矩阵,即:

3.若
为常数,则:

4对于矩阵
,有:
.
5.对于矩阵
,有:


6.若矩阵A和B分别有广义逆矩阵
和
,则:

若A,B均为可逆的正方矩阵,则:

7.对于矩阵
,有


8.对于矩阵
,有

9.若A是m*m矩阵,B是n*n矩阵,则:

10.若A是m*m矩阵,B是n*n矩阵,则:

11.对于矩阵
,有

![\left [ \sum_{i=1}^{M} A(i)\right ]\otimes \left [ \sum_{j=1}^{N} B(j)\right ]= \sum_{i=1}^{M} \sum_{j=1}^{N}[A(i)\otimes B(j)]](https://1000bd.com/contentImg/2022/08/09/130345349.gif)
12.对于矩阵
,有:

13.若
是矩阵A与特征值
对应的特征向量,
是矩阵B与特征值
对应的特征向量,则
是矩阵
与特征值
对应的特征向量,也是与特征值
对应的特征向量。
14.对于矩阵
,有:

15.对于矩阵
,有:

16.对于矩阵
,有:

广义Kronecker积:给定N个m*r矩阵
,它们组成矩阵组
。该矩阵组与N*l矩阵B的Kronecker积称为广义Kronecker积,定义为:

式中,
是矩阵B的第i个行向量
与两个矩阵的Kronecker积不同,广义Kronecker积是多个矩阵组成的矩阵组与另一个矩阵的Kronecker积。
设:

则广义Kronecker积为:
广义Kronecker积的性质:
1.若
的每一个矩阵为
矩阵,
的每一个矩阵为
矩阵,并且
的每一个矩阵为
矩阵,则:

2.广义Kronecker积与矩阵直和之间存在以下关系:
