【矩阵论】4. 矩阵运算——张量积

矩阵论的所有文章，主要内容参考北航赵迪老师的课件

[注]由于矩阵论对计算机比较重要，所以选修了这门课，但不是专业搞数学的，所以存在很多口语化描述，而且对很多东西理解不是很正确与透彻，欢迎大家指正。我可能间歇性忙，但有空一定会回复修改的。

矩阵论
1. 准备知识——复数域上矩阵,Hermite变换
1.准备知识——复数域上的内积域正交阵
1.准备知识——Hermite阵，二次型，矩阵合同，正定阵，幂0阵，幂等阵，矩阵的秩
2. 矩阵分解——SVD准备知识——奇异值
2. 矩阵分解——SVD
2. 矩阵分解——QR分解
2. 矩阵分解——正定阵分解
2. 矩阵分解——单阵谱分解
2. 矩阵分解——正规分解——正规阵
2. 矩阵分解——正规谱分解
2. 矩阵分解——高低分解
3. 矩阵函数——常见解析函数
3. 矩阵函数——谱公式,幂0与泰勒计算矩阵函数
3. 矩阵函数——矩阵函数求导
4. 矩阵运算——观察法求矩阵特征值特征向量
4. 矩阵运算——张量积
4. 矩阵运算——矩阵拉直
4.矩阵运算——广义逆——加号逆定义性质与特殊矩阵的加号逆
4. 矩阵运算——广义逆——加号逆的计算
4. 矩阵运算——广义逆——加号逆应用
4. 矩阵运算——广义逆——减号逆
5. 线性空间与线性变换——线性空间
5. 线性空间与线性变换——生成子空间
5. 线性空间与线性变换——线性映射与自然基分解,线性变换
6. 正规方程与矩阵方程求解
7. 范数理论——基本概念——向量范数与矩阵范数
7.范数理论——基本概念——矩阵范数生成向量范数&谱范不等式
7. 矩阵理论——算子范数
7.范数理论——范数估计——许尔估计&谱估计
7. 范数理论——非负/正矩阵
8. 常用矩阵总结——秩1矩阵，优阵(单位正交阵)，Hermite阵
8. 常用矩阵总结——镜面阵，正定阵
8. 常用矩阵总结——单阵，正规阵，幂0阵，幂等阵，循环阵

---

4.2 张量积

4.2.1 定义

设 $A=(a_{ij}{)}_{m\times n}$ ，$B=(b_{ij}{)}_{p\times q}$ ，则称分块矩阵 $\left(\begin{array}{cccc}{a}_{11}B& a_{12}B& \cdots & a_{1n}B\\ a_{21}B& a_{22}B& \cdots & a_{2n}B\\ ⋮& ⋮& \ddots & ⋮\\ a_{n1}B& a_{n2}& \cdots & a_{nn}\end{array}\right)$ 为 $A$ 与 $B$ 的张量积，记作 $A\otimes B=(a_{ij}B{)}_{mp\times nq}$

eg
$$A=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right),B=\left(\begin{array}{c}2\\ 3\end{array}\right)$$

$$\begin{array}{rl}& A\otimes B=\left(\begin{array}{cc}aB& bB\\ cB& dB\end{array}\right)=\left(\begin{array}{cc}2a& 2b\\ 3a& 3b\\ 2c& 2d\\ 3c& 3d\end{array}\right),B\otimes A=\left(\begin{array}{c}2A\\ 3B\end{array}\right)=\left(\begin{array}{cc}2a& 2b\\ 2c& 2d\\ 3a& 3b\\ 3c& 3d\end{array}\right)\end{array}$$

• 张量积不满足交换律 ，即 $A\otimes B\ne B\otimes A$

定理

1. 两个上三角的张量积也是上三角

2. 两个对角阵的张量积是对角阵
   $$\begin{array}{rl}& P^{-1}AP=A_1=\left(\begin{array}{ccc}{\lambda }_1& & 0\\ & \ddots & \\ 0& & {\lambda }_m\end{array}\right),Q^{-1}BQ=\left(\begin{array}{ccc}{t}_1& & 0\\ & \ddots & \\ 0& & t_n\end{array}\right)\\ & (P\otimes Q{)}^{-1}(A\otimes B)(P\otimes Q)\stackrel{吸收公式}{=}(P^{-1}AP)\otimes (Q^{-1}BQ)\\ & =A_1\otimes B_1=\left(\begin{array}{ccc}{\lambda }_1{B}_1& & 0\\ & \ddots & \\ 0& & {\lambda }_m{B}_n\end{array}\right)\end{array}$$

3. $I_n\otimes I_m=I_m\otimes I_n=I_{m\times n}$

4.2.2 计算

a. 分块法

右进右出
$$\begin{gathered} \left(\begin{array}{cc}A& B\\ C& D\end{array}\right)\otimes F=\left(\begin{array}{cc}A\otimes F& B\otimes F\\ C\otimes F& D\otimes F\end{array}\right) \\ (AB)\otimes F=(A\otimes FB\otimes F) \end{gathered}$$

一般情况下：$F\otimes (AB)\ne (F\otimes AF\otimes B)$

b. 向量与向量张量积

$$列向量\alpha =\left(\begin{array}{c}{a}_1\\ a_2\\ ⋮\\ a_n\end{array}\right)\beta =\left(\begin{array}{c}{b}_1\\ b_2\\ ⋮\\ b_q\end{array}\right),则\alpha \otimes \beta ={\left(\begin{array}{c}{a}_1\otimes \beta \\ a_2\otimes \beta \\ ⋮\\ a_n\otimes \beta \end{array}\right)}_{nq\times 1}={\left(\begin{array}{c}{a}_1{b}_1\\ a_1{b}_2\\ ⋮\\ a_1{b}_q\\ ⋮\\ a_n{b}_1\\ a_n{b}_2\\ ⋮\\ a_n{b}_q\end{array}\right)}_{nq\times 1}$$

c. 向量与矩阵张量积

$$列向量\alpha =\left(\begin{array}{c}{a}_1\\ a_2\\ ⋮\\ a_m\end{array}\right),B_{n\times q}=({\beta }_1,{\beta }_2,\cdots ,{\beta }_q)，\alpha \otimes B=\left(\begin{array}{c}{a}_{1}B\\ a_{2}B\\ ⋮\\ a_{m}B\end{array}\right)={\left(\begin{array}{cccc}{a}_1{b}_{11}& a_1{b}_{12}& \cdots & a_1{b}_{1q}\\ a_1{b}_{21}& a_1{b}_{22}& \cdots & a_1{b}_{2q}\\ ⋮& ⋮& \ddots & ⋮\\ a_1{b}_{p1}& a_1{b}_{p2}& \cdots & a_1{b}_{pq}\\ a_2{b}_{11}& a_2{b}_{12}& \cdots & a_2{b}_{1q}\\ a_2{b}_{21}& a_2{b}_{22}& \cdots & a_2{b}_{2q}\\ ⋮& ⋮& \ddots & ⋮\\ a_2{b}_{p1}& a_2{b}_{p2}& \cdots & a_2{b}_{pq}\\ ⋮& ⋮& ⋮& ⋮\\ a_m{b}_{11}& a_m{b}_{12}& \cdots & a_m{b}_{1q}\\ a_m{b}_{21}& a_m{b}_{22}& \cdots & a_m{b}_{2q}\\ ⋮& ⋮& \ddots & ⋮\\ a_m{b}_{p1}& a_m{b}_{p2}& \cdots & a_m{b}_{pq}\end{array}\right)}_{mp\times q}$$

4.2.3 运算律

1. 数乘： $k(A\otimes B)=(kA)\otimes B=A\otimes (kB)$

2. 分配律(右进右出)：$(A+B)\otimes C=A\otimes C+B\otimes C$ ，$C\otimes (A+B)=C\otimes A+C\otimes B$

3. 结合律：$(A\otimes B)\otimes C=A\otimes (B\otimes C)$

   

4. 吸收律：$(A\otimes B)(C\otimes D)=(AC)\otimes (BD)$

   $张乘(左边括号间乘法个数)\to 乘张(右边括号内乘法个数相等)$

   

   推论：
   $$\begin{array}{rl}& 若A=A_{m\times m}为m阶方阵,B=B_{n\times n}为n阶方阵，则\\ & (A\otimes B{)}^k=A^k\otimes B^k\\ & (A\otimes I_n)(I_m\otimes B)=A\otimes B\\ & (A_1\otimes B_1)(A_2\otimes B_2)\cdots (A_k\otimes B_k)=(A_1{A}_2\cdots A_k)\otimes (B_1\otimes B_2\cdots B_k)\\ & (A_1\otimes A_2\otimes \cdots \otimes A_k)(B_1\otimes B_2\otimes \cdots \otimes B_k)=(A_1{B}_1)\otimes (A_2\otimes \cdots \otimes A_k)(B_2\otimes \cdots \otimes B_k)\\ & =(A_1{B}_1)\otimes (A_2{B}_2)\otimes \cdots \otimes (A_k{B}_k)\end{array}$$

   eg：
   $$A=A_{m\times m}，证明e^{A\otimes I_n}=e^A\otimes I_n$$

$$\begin{array}{rl}& e^{A\otimes I_n}=\sum _{k=1}^{\infty }\frac{1}{k!}(A\otimes I{)}^k=\sum _{k=1}^{\infty }\frac{1}{k!}(A^k\otimes I^k)=(\sum _{k=1}^{\infty }\frac{1}{k!}{A}^k)\otimes I^k=e^A\otimes I\end{array}$$

5. 转置与求逆公式：

$$\begin{array}{rl}& (A\otimes B{)}^H=A^H\otimes B^H\\ & (A\otimes B{)}^{-1}=A^{-1}\otimes B^{-1}\end{array}$$

6. 若A与B都是U阵，则 $A\otimes B$ 为U阵

7. 秩公式：$r(A\otimes B)=r(A)r(B)$

   推论：
   若 X 1 、 ⋯ 、 X p 为 C m 中 p 个线性无关的列向量， Y 1 、 ⋯ 、 Y q 为 C n 中 q 个线性无关列向量，则 则 p q 个列向量 { X i ⊗ Y j } 线性无关 \begin{aligned} &若X_1、\cdots、X_p为C^m中p个线性无关的列向量，Y_1、\cdots、Y_q为C^n中q个线性无关列向量，则\\ &则pq个列向量\{X_i\otimes Y_j\}线性无关 \end{aligned} ​若X1​、⋯、Xp​为Cm中p个线性无关的列向量，Y1​、⋯、Yq​为Cn中q个线性无关列向量，则则pq个列向量{Xi​⊗Yj​}线性无关​

   由于 r ( { X ⊗ Y } ) = r ( { X } ) r ( { Y } ) r(\{X\otimes Y\})=r(\{X\})r(\{Y\}) r({X⊗Y})=r({X})r({Y}) ，张量积的秩等于两个向量组的秩的乘积，所以张量积线性无关

4.2.4 张量积行列式

设 $A=(a_{ij})\in C^{m\times m}，B=(b_{ij})\in C^{n\times n}$ ，则
$$\begin{array}{rl}& tr(A\otimes B)=tr(A)\cdot tr(B)\\ & |A\otimes B|=|A{|}^n|B{|}^m\end{array}$$

证明：

$$\begin{array}{rl}& 由许尔公式，存在可逆阵P使P^{-1}AP=\left(\begin{array}{ccc}{\lambda }_1& & \ast \\ & \ddots & \\ 0& & {\lambda }_m\end{array}\right)为上三角，且P\otimes I为可逆阵，构造一个新公式\\ & (P\otimes I{)}^{-1}A\otimes B(P\otimes I)=(P^{-1}AP)\otimes B=A_1\otimes B=\left(\begin{array}{cccc}{\lambda }_{1}B& & & (\ast B)\\ & {\lambda }_{2}B& & \\ & & \ddots & \\ 0& & & {\lambda }_{m}B\end{array}\right)\\ & 故|A\otimes B|=|{\lambda }_1^{n}B||{\lambda }_2^{n}B|\cdots |{\lambda }_m^{n}B{|}^m=|{\lambda }_1^n{\lambda }_2^n\cdots {\lambda }_m^n||B{|}^m=|A{|}^n|B{|}^m\end{array}$$

4.2.5 张量积特征值特征向量

a. 特征值

若 $A=A_{m\times m}$ 的特征根为 ${\lambda }_1,{\lambda }_2,\cdots ,{\lambda }_m，B=B_{n\times n}$ 的特征根为 $t_1,t_2,\cdots ,t_n$

• $A\otimes B$ 的全体特征根为 $mn$ 个数 { λ i t j } \{\lambda_it_j\} {λi​tj​} ，有重根

• $A\otimes I_n\pm I_m\otimes B$ 是的全体特根为 $mn$ 个数 { λ i ± t j } \{\lambda_i\pm t_j\} {λi​±tj​}

b. 特征向量

设 { X 1 , ⋯   , X p } \{X_1,\cdots,X_p\} {X1​,⋯,Xp​} 是 $A\in C^{m\times m}$ 关于 $\lambda$ 的线性无关的特征向量, { Y 1 , ⋯   , Y q } \{Y_1,\cdots,Y_q\} {Y1​,⋯,Yq​} 是 $B\in C^{n\times n}$ 关于t的线性无关的特征向量

• $pq$ 个向量 { X i ⊗ Y j } \{X_i\otimes Y_j\} {Xi​⊗Yj​} 是 $A\otimes B$ 关于 $\lambda t$ 的特征向量
• { X ⊗ Y } \{X\otimes Y\} {X⊗Y} 是 $A\otimes I_n\pm I_m\otimes B$ 关于 $\lambda +t$ 的一个特征向量

eg

A = ( 2 2 1 3 ) ⊗ ( 1 − 1 0 1 ) = B ⊗ D , 且 B 为行和等矩阵， D 为上三角阵，则 λ ( A ) = { 4 , t r ( A ) − 4 } = { 4 , 1 } , λ ( B ) = { 1 , 1 } ∴ A ⊗ B = ∏ λ A λ B = { 4 , 4 , 1 , 1 } , 特式 ∣ λ I − A ∣ = ( λ − 4 ) 2 ( λ − 1 ) 2 可知， ( 1 1 ) ( − 2 1 ) 是 B 的特征向量， ( 1 0 ) 是 D 的特征向朗 , 故 A ⊗ B 的特征向量为 ( 1 0 1 0 ) , ( − 2 0 1 0 ) \begin{aligned} &A=\left( \begin{matrix} 2&2\\1&3 \end{matrix} \right)\otimes \left( \begin{matrix} 1&-1\\0&1 \end{matrix} \right)=B\otimes D,且B为行和等矩阵，D为上三角阵，则\lambda(A)=\{4,tr(A)-4\}=\{4,1\},\lambda(B)=\{1,1\}\\ &\therefore A\otimes B=\prod\lambda_A\lambda_B=\{4,4,1,1\},特式\vert \lambda I-A\vert=(\lambda-4)^2(\lambda-1)^2\\ &可知，\left( \begin{matrix} 1\\1 \end{matrix} \right)\left( \begin{matrix} -2\\1 \end{matrix} \right)是B的特征向量，\left( \begin{matrix} 1\\0 \end{matrix} \right)是D的特征向朗,故A\otimes B的特征向量为\left( \begin{matrix} 1\\0\\1\\0 \end{matrix} \right),\left( \begin{matrix} -2\\0\\1\\0 \end{matrix} \right) \end{aligned} ​A=(21​23​)⊗(10​−11​)=B⊗D,且B为行和等矩阵，D为上三角阵，则λ(A)={4,tr(A)−4}={4,1},λ(B)={1,1}∴A⊗B=∏λA​λB​={4,4,1,1},特式∣λI−A∣=(λ−4)2(λ−1)2可知，(11​)(−21​)是B的特征向量，(10​)是D的特征向朗,故A⊗B的特征向量为 ​1010​ ​, ​−2010​ ​​

c. 矩阵函数的特根特向

设 A 和 B 分别是 m 阶与 n 阶方阵， $f(x,y)$ 是二元多项式， $f(x,y)=\sum _{i,j=1}^p{c}_{ij}{x}^i{y}^j$

定义 mn 阶矩阵 $f(A,B)$ 如下：
$$f(A,B)=\sum _{i,j=1}^p{c}_{ij}{A}^i\otimes B^j,(A^0=I_m,B^0=I_n)$$