【线性代数笔记】关于两个矩阵相乘等于零矩阵（AB=O）

定理1 设矩阵$A_{m\times n}$，$B_{n\times s}$满足$AB=O$，则
(1) $B$的各列均为齐次线性方程组$A\mathbf{x}=0$的解；
(2) $r(A)+r(B)\le n$；
(3) 若$A\ne O$且$B\ne O$，则$A$的列向量组线性相关，$B$的行向量组线性相关。

证明：
(1) 将$B$按列分块，得$B=(b_1,b_2,\dots ,b_s)$，其中$b_i$是$n$维列向量，则$AB=A(b_1,b_2,\dots ,b_s)$，再由分块运算法则得$AB=(A{b}_1,A{b}_2,\dots ,A{b}_s)=O=(0,0,\dots ,0)$，故
$$\{\begin{array}{l}A{b}_1=0\\ A{b}_2=0\\ \dots \\ A{b}_s=0\end{array}$$
则$B$的各列$b_i$均为齐次线性方程组$A\mathbf{x}=0$的解。
(2) 由基础解系的性质可知$b_i$一定可以被齐次线性方程组$A\mathbf{x}=0$的基础解系线性表示，故$r(B)\le r(A\text{的基础解系})=n-r(A)$。
$\therefore r(A)+r(B)\le n$。
(3) 由(1)知齐次线性方程组$A\mathbf{x}=0$有非零解。将$A$按列分块，得$A=\left[\begin{array}{cccc}{\mathbf{\alpha }}_1& {\mathbf{\alpha }}_2& \dots & {\mathbf{\alpha }}_n\end{array}\right]$，结合$\mathbf{x}=\left[\begin{array}{c}{x}_1\\ x_2\\ ⋮\\ x_n\end{array}\right]$得$A\mathbf{x}=x_1{\mathbf{\alpha }}_1+x_2{\mathbf{\alpha }}_2+\cdots +x_n{\mathbf{\alpha }}_n=0$，其中$\mathbf{x}\ne 0$，因此${\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2\dots ,{\mathbf{\alpha }}_n$线性相关，即$A$的列向量线性相关。再在原式两端取转置得$B^T{A}^T=O^T=O$，则$B^T$的列向量线性相关，故$B$的行向量线性相关。