向量的线性相关性

1. 线性相关性的定义

这一节我们将引入向量的线性相关性这一新的概念,从另一个角度研究齐次线性方程组(Ax=0)(A\mathbf{x}=\mathbf{0})。通过分析向量的线性相关性,我们可以更好地理解方程组解的结构。我们先来看定义:

根据上面的定义,观察下面两个示例中的向量组是否线性相关,重点在于理解向量的线性相关性和方程组解的结构之间的联系。

loading...

要判断 v1,v2,v3 ~\mathbf{v_1},\mathbf{v_2},\mathbf{v_3}~是否线性相关, 根据定义,我们需要判断 x1v1+x2v2+x3v3=0 ~x_1\mathbf{v_1}+x_2\mathbf{v_2}+x_3\mathbf{v_3}=\mathbf{0}~(也就是齐次方程 Ax=0 ~A\mathbf{x}=\mathbf{0}~) 是否有非平凡解,判断齐次方程是否有非平凡解,可以根据上一节的结论来判断方程中是否有自由变量。通过对增广矩阵 [v1v2v30] ~\begin{bmatrix}\mathbf{v_1}&\mathbf{v_2}&\mathbf{v_3}&\mathbf{0}\end{bmatrix}~进行行化简后,可得方程存在非平凡解,所以向量组 {v1,v2,v3} ~\{\mathbf{v_1},\mathbf{v_2},\mathbf{v_3}\}~线性相关。

判断矩阵 A ~\mathbf{A}~的列向量 [a1a2a3] ~\begin{bmatrix}\mathbf{a_1}&\mathbf{a_2}&\mathbf{a_3}\end{bmatrix}~是否线性相关,也既是判断 x1a1+x2a2++xnan=0 ~x_1\mathbf{a_1}+x_2\mathbf{a_2}+\dots+x_n\mathbf{a_n}=\mathbf{0}~是否有非平凡解。这个问题和例 1 是等价的。这次对增广矩阵行化简后可知方程组没有自由变量,它只有平凡解,所以矩阵 A ~\mathbf{A}~的列向量线性无关。

2. 线性相关性判别方法一

通常情况下,我们不会直接依据定义来判断向量组的线性相关性,而是利用更便于计算或更容易检查的条件。下面的方法是从向量组合的角度来判定向量的线性相关性的。

当向量集合 S={v} ~S=\{\mathbf{v}\}~含有一个向量时,当且仅当 v=0 ~\mathbf{v}=\mathbf{0}~时,S S~线性相关。这是因为:如果 v=0 ~\mathbf{v}=\mathbf{0}~,那么 x1v=0 ~x_1\mathbf{v}=\mathbf{0}~会有无穷多个非平凡解( x1 ~x_1~可取任意值),根据定义可知此时 S ~S~线性相关。

当向量集合 S={v1,v2} ~S=\{\mathbf{v_1},\mathbf{v_2}\}~有两个向量时,当且仅当 v1=kv2 ~\mathbf{v_1}=k\mathbf{v_2}~kk取任意实数)时, S ~S~线性相关。这是因为:如果 v1=kv2 ~\mathbf{v_1}=k\mathbf{v_2}~,那么 v1kv2=0 ~\mathbf{v_1}-k\mathbf{v_2}=\mathbf{0}~存在非平凡解,此时 S ~S~线性相关。

推广到包含更多向量的集合 S={v1,v2,,vp} ~S=\{\mathbf{v_1},\mathbf{v_2},\dots,\mathbf{v_p}\}~,有如下定理:

关于定理 7 的证明过程如下:

定理 7 通过向量的线性组合来判断向量组是否线性相关,使得我们能够从几何角度来理解向量的线性相关性。对于向量组 {u,v,w}R3 ~\{\mathbf{u},\mathbf{v},\mathbf{w}\}\subseteq \mathbb{R^3}~,其中 u ~\mathbf{u}~ v ~\mathbf{v}~线性无关,那么当且仅当 w ~\mathbf{w}~ u ~\mathbf{u}~ v ~\mathbf{v}~所生成的平面上( Span{u,v} ~Span\{\mathbf{u},\mathbf{v}\}~)时, {u,v,w} ~\{\mathbf{u},\mathbf{v},\mathbf{w}\}~线性相关。

3. 线性相关性判别方法二

我们还可以根据向量的数量和向量的维度来判断向量的相关性。比如,在 R2 ~\mathbb{R^2}~中, 当向量的数量超过 2 个时,我们可以确定这些向量线性相关,因为在 R2 ~\mathbb{R^2}~空间中只需要 2 个不相关的向量就可以组合出其它任意的向量。同理,在 R3 ~\mathbb{R^3}~中,最多只需要 3 不相关的向量就可以组合出其它任意向量。推广到 Rn ~\mathbb{R^n}~,有如下定理:

这个定理非常有用。比如,对于一个矩阵 Am×n ~A_{m\times n}~,当它的列数大于它的行数(即n>m n>m~)时,矩阵 A ~\mathbf{A}~的列向量必定是线性相关的。另外,该定理在后续章节中对于理解矩阵的秩向量空间的基等概念非常重要。

4. 线性相关性判别方法三

还有一种特殊的情况,就是向量组中包含零向量。有如下定理:

这个定理的证明也十分简单,假设 S={v1,v2,,vp} ~S=\{\mathbf{v_1},\mathbf{v_2},\dots,\mathbf{v_p}\}~ v1=0 ~\mathbf{v_1}=\mathbf{0}~,那么方程 1v1+0v2++0vp=0 ~1\mathbf{v_1}+0\mathbf{v_2}+\dots+0\mathbf{v_p}=\mathbf{0}~,根据定义可知 S ~S~线性相关。比如下面的示例中,由于:
0[235]+2[000]+0[118]=00\begin{bmatrix}2\\3\\5 \end{bmatrix}+2\begin{bmatrix}0\\0\\0\end{bmatrix}+0\begin{bmatrix}1\\1\\8\end{bmatrix}=\mathbf{0}
方程中存在非零系数。所以,向量 [235] ~\begin{bmatrix}2\\3\\5\end{bmatrix}~, [000] ~\begin{bmatrix}0\\0\\0\end{bmatrix}~, [118] ~\begin{bmatrix}1\\1\\8\end{bmatrix}~线性相关。