高等代数(三)-线性方程组03：线性相关性

§ 3 线性相关性
以下我们总是在一固定的数域 $P$ 上的 $n$ 维向量空间中进行讨论,
不再每次说明了.
在这一节我们来进一步研究向量之间的关系.
两个向量之间最简单的关系是成比例. 所谓向量 $\mathbf{\alpha }$ 与
$\mathbf{\beta }$ 成比例就是说有一数 $k$, 使
$$\mathbf{\alpha }=k\mathbf{\beta }\text{. }$$
在多个向量之间,成比例的关系表现为线性组合.
定义 9 向量 $\mathbf{\alpha }$ 称为向量组
${\mathbf{\beta }}_1,{\mathbf{\beta }}_2,\cdots ,\mathbf{\beta }$,
的一个线性组合, 如果有数域 $P$ 中的数
$k_1,k_2,\cdots ,k_{\text{, }}$, 使
$$\mathbf{\alpha }=k_1{\mathbf{\beta }}_1+k_2{\mathbf{\beta }}_2+\cdots +k_1{\mathbf{\beta }}_{\ast }.$$
例如, § 1 的方程组 (9) 的三个方程可以用向量
$${\mathbf{\alpha }}_1=(2,-1,3,1),{\mathbf{\alpha }}_2=(4,-2,5,4),{\mathbf{\alpha }}_3=(2,-1,4,-1)$$
来代表. 我们知道, 第三个方程等于第一个方程的 3 倍减去第二个方程,
这等价于 ${\mathbf{\alpha }}_3=$
$3{\mathbf{\alpha }}_1-{\mathbf{\alpha }}_2$. 这个等式表示
${\mathbf{\alpha }}_3$ 是
${\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2$ 的一个线性组合.
又如,任一个 $n$ 维向量
$\mathbf{\alpha }=\left(a_1,a_2,\cdots ,a_n\right)$
都是向量组
$$\{\begin{array}{rl}{\mathbf{\epsilon }}_1=& (1,0,\cdots ,0),\\ {\mathbf{\epsilon }}_2=& (0,1,\cdots ,0),\\ & \cdots \cdots \cdots \cdots \\ {\mathbf{\epsilon }}_n=& (0,0,\cdots ,1)\end{array}$$
的一个线性组合. 因为
$$\mathbf{\alpha }=a_1{\epsilon }_1+a_2{\epsilon }_2+\cdots +a_n{\epsilon }_n.$$
向量 ${\epsilon }_1,{\epsilon }_2,\cdots ,{\epsilon }_n$ 称为
$n$ 维单位向量.
由定义可以立即看出, 零向量是任一向量组的线性组合 (只要取系数全为 0
就行了).
当向量 $\alpha$ 是向量组
${\beta }_1,{\beta }_2,\cdots ,\mathbf{\beta }$, 的一个线性组合时,
我们也说 $\alpha$ 可以经向量组
${\mathbf{\beta }}_1,{\mathbf{\beta }}_2,\cdots ,\mathbf{\beta }$,
线性表出.
定义 10 如果向量组
${\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,\cdots ,{\mathbf{\alpha }}_t$
中每一个向量 ${\mathbf{\alpha }}_i(i=1,2,\cdots ,t)$ 都可以经向量组
${\mathbf{\beta }}_1,{\mathbf{\beta }}_2,\cdots ,\mathbf{\beta }$,
线性表出, 那么向量组
${\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,\cdots ,\mathbf{\alpha }$,
就称为可以经向量组
${\mathbf{\beta }}_1,{\mathbf{\beta }}_2,\cdots ,\mathbf{\beta }$,线性表出.
如果两个向量组互相可以线性表出, 它们就称为等价.
例如, 设
$$\begin{array}{cc}{\mathbf{\alpha }}_1=(1,1,1),& {\mathbf{\alpha }}_2=(1,2,0);\\ {\mathbf{\beta }}_1=(1,0,2),& {\mathbf{\beta }}_2=(0,1,-1).\end{array}$$

则向量组 ${\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2$ 与向量组
${\mathbf{\beta }}_1,{\mathbf{\beta }}_2$ 是等价的.
由定义不难证明,每一个向量组都可以经它自身线性表出. 同时, 如果向量组
${\mathbf{\alpha }}_1$,
${\mathbf{\alpha }}_2,\cdots ,{\mathbf{\alpha }}_t$ 可以经向量组
${\mathbf{\beta }}_1,{\mathbf{\beta }}_2,\cdots ,\mathbf{\beta }$,
线性表出, 向量组
${\mathbf{\beta }}_1,{\mathbf{\beta }}_2,\cdots ,\mathbf{\beta }$,
可以经向量组 ${\mathbf{\gamma }}_1$, ${\gamma }_2,\cdots ,{\gamma }_n$
线性表出, 那么向量组
${\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,\cdots ,\mathbf{\alpha }$,
可以经向量组 ${\gamma }_1,{\gamma }_2,\cdots ,{\gamma }_p$ 线性表出.
事实上,如果
$$\begin{array}{l}{\mathbf{\alpha }}_i={\sum }_{j=1}^j{k}_i{\mathbf{\beta }}_j,i=1,2,\cdots ,t,\\ {\mathbf{\beta }}_j={\sum }_{m=1}^p{l}_{jm}{\mathbf{\gamma }}_m,j=1,2,\cdots ,s,\end{array}$$

则
$${\mathbf{\alpha }}_i=\sum _{j=1}^{\prime }{k}_{ij}\sum _{m=1}^p{l}_{jm}{\mathbf{\gamma }}_m=\sum _{m=1}^p\left(\sum _{j=1}^{\infty }{k}_{ij}{l}_{jm}\right){\gamma }_m,i=1,2,\cdots ,t.$$
这就是说, 向量组
${\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,\cdots ,\mathbf{\alpha }$,
中每一个向量都可以经向量组 ${\gamma }_1,{\gamma }_2,\cdots ,{\gamma }_p$
线性表出,因而向量组
${\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,\cdots ,\mathbf{\alpha }$
可以经向量组 ${\gamma }_1,{\gamma }_2,\cdots ,{\gamma }_p$ 线性表出.
由上述的结论,得知向量组之间的等价有以下性质:

1. 自反性: 每一个向量组都与它自身等价.
2. 对称性: 如果向量组
   ${\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,\cdots ,\mathbf{\alpha }$,
   与
   ${\mathbf{\beta }}_1,{\mathbf{\beta }}_2,\cdots ,{\mathbf{\beta }}_{\text{, }}$
   等价, 那么向量组 ${\mathbf{\beta }}_1$,
   ${\mathbf{\beta }}_2,\cdots ,\mathbf{\beta }$, 也与
   ${\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,\cdots ,\mathbf{\alpha }$,
   等价.
3. 传递性: 如果向量组
   ${\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,\cdots ,\mathbf{\alpha }$,
   与
   ${\mathbf{\beta }}_1,{\mathbf{\beta }}_2,\cdots ,{\mathbf{\beta }}_1$
   等价,
   ${\mathbf{\beta }}_1,{\mathbf{\beta }}_2,\cdots ,\mathbf{\beta }$,
   与 ${\mathbf{\gamma }}_1$, ${\gamma }_2,\cdots ,{\gamma }_p$ 等价,
   那么向量组
   α 1 ,