线性代数｜向量组等价、矩阵等价与方程组可互推的关系

前置知识：

• 【定义】向量与向量组

---

前置定理 1　设 $\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}$。

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

---

1 向量组等价与矩阵等价的关系

下面讨论向量组等价与矩阵变换的关系。

把向量组 $A$ 和 $B$ 所构成的矩阵依次记作 $A=({\mathbf{a}}_1,{\mathbf{a}}_2,\cdots ,{\mathbf{a}}_m)$ 和 $B=({\mathbf{b}}_1,{\mathbf{b}}_2,\cdots ,{\mathbf{b}}_l)$。若向量组 $B$ 能由向量组 $A$ 线性表示，则有向量组 $B$ 中的每个向量 ${\mathbf{b}}_j(j=1,2,\cdots ,l)$ 都能由向量组 $A$ 线性表示，根据定义 5，即存在一组数 $k_{1j},k_{2j},\cdots ,k_{mj}$，使
$${\mathbf{b}}_j=k_{1j}{\mathbf{a}}_1+k_{2j}{\mathbf{a}}_2+\cdots +k_{mj}{\mathbf{a}}_m=({\mathbf{a}}_1,{\mathbf{a}}_2,\cdots ,{\mathbf{a}}_m)\left(\begin{array}{c}{k}_{1j}\\ k_{2j}\\ ⋮\\ k_{mj}\end{array}\right)$$

从而有
$$({\mathbf{b}}_1,{\mathbf{b}}_2,\cdots ,{\mathbf{b}}_l)=({\mathbf{a}}_1,{\mathbf{a}}_2,\cdots ,{\mathbf{a}}_m)\left(\begin{array}{cccc}{k}_{11}& k_{12}& \cdots & k_{1l}\\ k_{21}& k_{22}& \cdots & k_{2l}\\ ⋮& ⋮& & ⋮\\ k_{m1}& k_{m2}& \cdots & k_{ml}\end{array}\right)$$
这里，矩阵 ${\mathbf{K}}_{m\times l}=(k_{ij})$ 称为这一线性表示的系数矩阵。

由此可知，若 ${\mathbf{C}}_{m\times n}={\mathbf{A}}_{m\times l}{\mathbf{B}}_{l\times n}$，则矩阵 $\mathbf{C}$ 的列向量组能由矩阵 $\mathbf{A}$ 的列向量组线性表示，$\mathbf{B}$ 为这一表示的系数矩阵：
$$({\mathbf{c}}_1,{\mathbf{c}}_2,\cdots ,{\mathbf{c}}_n)=({\mathbf{a}}_1,{\mathbf{a}}_2,\cdots ,{\mathbf{a}}_l)\left(\begin{array}{cccc}{b}_{11}& b_{12}& \cdots & b_{1n}\\ b_{21}& b_{22}& \cdots & b_{2n}\\ ⋮& ⋮& & ⋮\\ b_{l1}& b_{l2}& \cdots & b_{ln}\end{array}\right)$$
同理可知，矩阵 $\mathbf{C}$ 的行向量组能由矩阵 $\mathbf{B}$ 的行向量组线性表示，$\mathbf{A}$ 为这一表示的系数矩阵：

$$\left(\begin{array}{c}{\mathbf{\gamma }}_1^T\\ {\mathbf{\gamma }}_2^T\\ ⋮\\ {\mathbf{\gamma }}_m^T\end{array}\right)=\left(\begin{array}{cccc}{a}_{11}& a_{12}& \cdots & a_{1l}\\ a_{21}& a_{22}& \cdots & a_{2l}\\ ⋮& ⋮& & ⋮\\ a_{m1}& a_{m2}& \cdots & a_{ll}\end{array}\right)\left(\begin{array}{c}{\mathbf{\beta }}_1^T\\ {\mathbf{\beta }}_2^T\\ ⋮\\ {\mathbf{\beta }}_l^T\end{array}\right)$$

根据前置定理 1：设矩阵 $\mathbf{A}$ 与 $\mathbf{B}$ 行等价，即矩阵 $\mathbf{A}$ 经初等行变换变成矩阵 $\mathbf{B}$，则 $\mathbf{B}$ 的每个行向量都是 $\mathbf{A}$ 的行向量组的线性组合，即 $\mathbf{B}$ 的行向量组能由 $\mathbf{A}$ 的行向量组线性表示。由于初等变换可逆，知矩阵 $\mathbf{B}$ 亦可经初等行变换变为 $\mathbf{A}$，从而 $\mathbf{A}$ 的行向量组也能由 $\mathbf{B}$ 的行向量组线性表示。于是 $\mathbf{A}$ 的行向量组与 $\mathbf{B}$ 的行向量组等价。

类似可知，设矩阵 $\mathbf{A}$ 与 $\mathbf{B}$ 列等价，则 $\mathbf{A}$ 的列向量组与 $\mathbf{B}$ 的列向量组等价。

于是得到定理如下：

定理 1　若矩阵 $\mathbf{A}$ 与 $\mathbf{B}$ 行等价，则 $\mathbf{A}$ 的行向量组与 $\mathbf{B}$ 的行向量组等价。若矩阵 $\mathbf{A}$ 与 $\mathbf{B}$ 列等价，则 $\mathbf{A}$ 的列向量组与 $\mathbf{B}$ 的列向量组等价。

2 向量组等价与方程组可互推的关系

对方程组 $A$ 的各个方程作线性运算所得到的一个方程就称为方程组 $A$ 的一个线性组合；若方程组 $B$ 的每个方程都是方程组 $A$ 的线性组合，就称方程组 $B$ 能由方程组 $A$ 线性表示，这时方程组 $A$ 的解一定是方程组 $B$ 的解；若方程组 $A$ 与方程组 $B$ 能相互线性表示，就称这两个方程组可互推，可互推的线性方程组一定同解。