线性代数｜矩阵乘法的消去律

前置性质 1　若可逆矩阵 $\mathbf{P}$、$\mathbf{Q}$ 使 $\mathbf{P}\mathbf{A}\mathbf{Q}=\mathbf{B}$，则 $R(\mathbf{A})=R(\mathbf{B})$。

证明见 “矩阵的秩的性质”。

前置定理 2　设 $\mathbf{A}$ 和 $\mathbf{B}$ 为 $m \times n $ 矩阵，那么

1. $\mathbf{A}\stackrel{r}{\sim }\mathbf{B}$ 的充分必要条件是存在 $m$ 阶可逆矩阵 $\mathbf{P}$，使 $\mathbf{P}\mathbf{A}=\mathbf{B}$；
2. $\mathbf{A}\stackrel{c}{\sim }\mathbf{B}$ 的充分必要条件是存在 $n$ 阶可逆矩阵 $\mathbf{Q}$，使 $\mathbf{A}\mathbf{Q}=\mathbf{B}$；
3. $\mathbf{A}\sim \mathbf{B}$ 的充分必要条件是存在 $m$ 阶可逆矩阵 $\mathbf{P}$ 和 $n$ 阶可逆矩阵 $\mathbf{Q}$，使 $\mathbf{P}\mathbf{A}\mathbf{Q}=\mathbf{B}$。

证明见 “矩阵初等变换与矩阵乘法的联系”。

---

定理（矩阵乘法的消去律）　设 $\mathbf{A}\mathbf{B}=\mathbf{O}$，若 $\mathbf{A}$ 为列满秩矩阵，则 $\mathbf{B}=\mathbf{O}$。

证明　不妨设 $\mathbf{A}$ 为 $m\times n$ 矩阵，$\mathbf{B}$ 为 $n\times l$ 矩阵；其中 $\mathbf{A}$ 为列满秩矩阵，即 $R(\mathbf{A})=n$。于是，$\mathbf{A}$ 的行最简形矩阵矩阵为 ${\left(\begin{array}{c}{\mathbf{E}}_n\\ \mathbf{O}\end{array}\right)}_{m\times n}$，根据前置定理 2，有 $m$ 阶可逆矩阵 $\mathbf{P}$ 使 $\mathbf{P}\mathbf{A}=\left(\begin{array}{c}{\mathbf{E}}_n\\ \mathbf{O}\end{array}\right)$。于是
$$\mathbf{P}\mathbf{O}=\mathbf{P}\mathbf{A}\mathbf{B}=\left(\begin{array}{c}{\mathbf{E}}_n\\ \mathbf{O}\end{array}\right)\mathbf{B}=\left(\begin{array}{c}\mathbf{B}\\ \mathbf{O}\end{array}\right)$$
根据前置性质 1 可知，$R(\mathbf{PO})=R(\mathbf{O})=0$，所以 $R\left(\begin{array}{c}\mathbf{B}\\ \mathbf{O}\end{array}\right)=R(\mathbf{B})=0$，故 $\mathbf{B}=\mathbf{O}$。得证。