Kronecker积
Kronecker积是表示矩阵特殊乘积的一种简洁数学符号,也称直积或张量积。一个m*n矩阵A和一个p*q的矩阵B的Kronecker积记作,它是一个mp*nq的矩阵。
右Kronecker积定义:m*n矩阵A和p*q的矩阵B的右Kronecker积定义为:
左Kronecker积定义:m*n矩阵A和p*q的矩阵B的左Kronecker积定义为:
左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.对于矩阵,有
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积与矩阵直和之间存在以下关系: