【矩阵论】2.矩阵方程

2 矩阵方程

2.1 矩阵直积（张量积）

定义 2.1.1 设 $A$ , $B$ 分别是 $m\times n$ 阵和 $p\times q$ 阵，定义 $A\otimes B=(\begin{array}{ccc}{a}_{11}B& \cdots & a_{1n}B\\ ⋮& & ⋮\\ a_{m1}B& \cdots & a_{mn}B\end{array}).$

若将 $A\otimes B$ 的行足标集视为$[m]\times [p]$，列足标集视为 $[n]\times [q]$ ，则 $(A\otimes B{)}_{(i,l)\times (j,k)}=(a_{ij}B{)}_{lk}$ .

性质 2.1.2 (1) $a(A\otimes B)=(aA)\otimes B=A\otimes (aB)$

(2)$(\begin{array}{ccc}{A}_{11}& \cdots & A_{1q}\\ ⋮& & ⋮\\ A_{p1}& \cdots & A_{pq}\end{array})\otimes B=\left(\begin{array}{ccc}{A}_{11}\otimes B& \cdots & A_{1q}\otimes B\\ ⋮& & ⋮\\ A_{p1}\otimes B& \cdots & A_{pq}\otimes B\end{array}\right)$

    ~~~~    矩阵直积的下列三个性质很容易验证：
(3) $(A_1+A_2)\otimes B=A_1\otimes B+A_2\otimes B$
(4) $(A\otimes B)\otimes C=A\otimes (B\otimes C)$
(5) $(A\otimes B{)}^T=A^T\otimes B^T$

    ~~~~    和矩阵乘积一样，直积也不满足交换律。

(6) 一般地说，对 $m\times n$ 矩阵 $\mathbf{A}$ 和 $p\times q$ 矩阵 $\mathbf{B}$ ，$\mathbf{A}\otimes \mathbf{B}\ne \mathbf{B}\otimes \mathbf{A}$。但 $\mathbf{A}\otimes \mathbf{B}$ 和 $\mathbf{B}\otimes \mathbf{A}$ 置换相抵，它们都是 $mp\times nq$ 型的，而且可以通过对行的置换和对列的置换把 $\mathbf{A}\otimes \mathbf{B}$ 化成 $\mathbf{B}\otimes \mathbf{A}$。形式地说，存在 $mp$ 阶和 $nq$ 阶置换方阵 $\mathbf{P}$ 和 $\mathbf{Q}$ , 使 $\mathbf{P}(\mathbf{A}\otimes \mathbf{B})\mathbf{Q}=\mathbf{B}\otimes \mathbf{A}$。特别地，当 $m=n,p=q$ 时 $\mathbf{A}\otimes \mathbf{B}$ 和 $\mathbf{B}\otimes \mathbf{A}$ 置换相似，一定有 $mp$ 阶置换方阵 $\mathbf{P}$ ，使 $\mathbf{P}(\mathbf{A}\otimes \mathbf{B}){\mathbf{P}}^T=\mathbf{B}\otimes \mathbf{A}$ .

(7) 只要乘积 $\mathbf{AC}$ 和 $\mathbf{BD}$ 都有意义，则 $(\mathbf{A}\otimes \mathbf{B})(\mathbf{C}\otimes \mathbf{D})$ 也有意义，而且$(\mathbf{A}\otimes \mathbf{B})(\mathbf{C}\otimes \mathbf{D})=\mathbf{AC}\otimes \mathbf{BD}.$

证 设 $\mathbf{A}$ 和 $\mathbf{C}$ 分别是 $m\times n$ 和 $n\times k$ 矩阵，$\mathbf{B}$ 和 $\mathbf{D}$ 分别是 $p\times q$ 和 $q\times r$ 矩阵，则 $\mathbf{A}\otimes \mathbf{B}$ 和 $\mathbf{C}\otimes \mathbf{D}$ 分别是 $mp\times nq$ 和 $nq\times kr$ 矩阵，从而可以相乘.现在分别将 $\mathbf{A}\otimes \mathbf{B}$ 和 $\mathbf{C}\otimes \mathbf{D}$ 作自然分块：
$$\mathbf{A}\otimes \mathbf{B}=\left(\begin{array}{ccc}{a}_{11}\mathbf{B}& \cdots & a_{1n}\mathbf{B}\\ ⋮& & ⋮\\ a_{m1}\mathbf{B}& \cdots & a_{mn}\mathbf{B}\end{array}\right)，\mathbf{C}\otimes \mathbf{D}=\left(\begin{array}{ccc}{c}_{11}\mathbf{D}& \cdots & c_{1k}\mathbf{D}\\ ⋮& & ⋮\\ c_{n1}\mathbf{D}& \cdots & c_{nk}\mathbf{D}\end{array}\right).$$则$(\mathbf{A}\otimes \mathbf{B})(\mathbf{C}\otimes \mathbf{D})$的 $(i,j)$ 块是 ${\sum }_{l=1}^n{a}_{il}\mathbf{B}{c}_{lj}\mathbf{D}=({\sum }_{l=1}^n{a}_{il}{c}_{lj})\mathbf{B}\mathbf{D}$，右边正是 $\mathbf{AC}\otimes \mathbf{BD}$ 的 $(i,j)$ 块。

利用性质 (3) ~ (7) ，特别是性质 (5) ，可以得到更多的常用性质。在下列性质 (8) ~ (11) 中，$A$ 和 $B$ 分别是 $m$ 阶和 $n$ 阶方阵.

(8) 设 $\mathbf{A}$, $\mathbf{B}$ 都可逆，则 $\mathbf{A}\otimes \mathbf{B}$ 也可逆，且 $(\mathbf{A}\otimes \mathbf{B}{)}^{-1}={\mathbf{A}}^{-1}\otimes {\mathbf{B}}^{-1}$ 。

(9) $\det (\mathbf{A}\otimes \mathbf{B})=(\det \mathbf{A}{)}^n(\det \mathbf{B}{)}^m$ 。

证 由于 $\mathbf{A}\otimes \mathbf{B}=(\mathbf{A}\otimes {\mathbf{I}}_{\mathbf{n}})({\mathbf{I}}_{\mathbf{m}}\otimes \mathbf{B})$，而 $\det ({\mathbf{I}}_{\mathbf{m}}\otimes \mathbf{B})=(\det \mathbf{B}{)}^m$ ，由 $\mathbf{A}\otimes {\mathbf{I}}_{\mathbf{n}}$ 置换相似于 ${\mathbf{I}}_{\mathbf{n}}\otimes \mathbf{A}$ ，知 $\det (\mathbf{A}\otimes {\mathbf{I}}_{\mathbf{n}})=\det ({\mathbf{I}}_{\mathbf{n}}\otimes \mathbf{A})=(\det \mathbf{A}{)}^n$ ，所以结论成立。

(10) rank⁡(A⊗B)=(rank⁡A)(rank⁡B)\operatorname{rank}(\boldsymbol{A}\otimes\boldsymbol{B})=(\operatorname{rank}\boldsymbol{A})(\operatorname{rank}\boldsymbol{B})rank(A⊗B)=(rankA)(rankB)<