线性代数学习笔记（二十三）——线性相关线性无关

最新推荐文章于 2023-07-13 19:34:05 发布

雏鹰高飞

最新推荐文章于 2023-07-13 19:34:05 发布

阅读量5.3k

点赞数 6

分类专栏：学习笔记文章标签：线性代数

本文链接：https://blog.csdn.net/li2008kui/article/details/107881538

版权

学习笔记专栏收录该内容

37 篇文章 158 订阅

订阅专栏

本篇笔记主要围绕向量组的线性表示、线性相关和线性无关介绍相关定理，这些定理在做证明题时会经常用到，需要重点掌握和运用。

1 相关定理

★ 定理3.2.1：向量组 $\alpha_1,\alpha_2,...,\alpha_s$ 线性相关 ${\Longleftrightarrow}$ 至少有一个向量可由其余向量线性表示。

证明： $\Longrightarrow$
因为向量组 $\alpha_1,\alpha_2,...,\alpha_s$ 线性相关，
所以存在不全为0的数 $k_1,k_2,...,k_s$ ，使得
$k_1\alpha_1+k_2\alpha_2+...+k_s\alpha_s=O$ ，
不防设 $k_1{\neq}0$ ，上式两边同时除以 $k_1$ 得
$\alpha_1=(-\frac{k_2}{k_1})\alpha_2+...+(-\frac{k_s}{k_1})\alpha_s$
即 $\alpha_1$ 可由 $\alpha_2,...,\alpha_s$ 线性表示。

$\Longleftarrow$
不防设 $\alpha_1$ 可由其余向量线性表示，即存在不全为0的数 $m_1,m_2,...,m_{s-1}$ ，使得
$\alpha_1=m_1\alpha_2+m_2\alpha_3+...+m_{s-1}\alpha_s$ ，
所以 $-\alpha_1+m_1\alpha_2+m_2\alpha_3+...+m_{s-1}\alpha_s=O$ ，
不管组合系数 $m_1,m_2,...,m_{s-1}$ 是否全为0，
相关系数 $1,m_1,m_2,...,m_{s-1}$ 一定不全为0，
故向量组 $\alpha_1,\alpha_2,...,\alpha_s$ 线性相关。

★★ 定理3.2.2：若向量组 $\alpha_1,\alpha_2,...,\alpha_s$ 线性无关，而向量组 $\alpha_1,\alpha_2,...,\alpha_s,\beta$ 线性相关，则向量 $\beta$ 可由向量组 $\alpha_1,\alpha_2,...,\alpha_s$ 唯一线性表示。

证明：因为向量组 $\alpha_1,\alpha_2,...,\alpha_s,\beta$ 线性相关，故存在一组不全为0的数 $k_1,k_2,...,k_s,k_{s+1}$ ，使得
$k_1\alpha_1+k_2\alpha_2+...+k_s\alpha_s+k_{s+1}\beta=O$ ，
假设 $k_{s+1}=0$ ，则 $k_1,k_2,...,k_s$ 不全为0，
且 $k_1\alpha_1+k_2\alpha_2+...+k_s\alpha_s=O$ ，
这与 $\alpha_1,\alpha_2,...,\alpha_s$ 线性无关矛盾，
故 $k_{s+1}{\neq}0$ ，所以
$\beta=(-\frac{k_1}{k_{s+1}})\alpha_1+(-\frac{k_2}{k_{s+1}})\alpha_2+...+(-\frac{k_s}{k_{s+1}})\alpha_s$ ，
即 $\beta$ 可由向量组 $\alpha_1,\alpha_2,...,\alpha_s$ 线性表示。

下面证唯一性：
假设线性表示不唯一，即存在
$\beta=m_1\alpha_1+m_2\alpha_2+...+m_s\alpha_s$ ，
和
$\beta=n_1\alpha_1+n_2\alpha_2+...+n_s\alpha_s$ ，
上面两式相减得：
$(m_1-n_1)\alpha_1+(m_2-n_2)\alpha_2+...+(m_s-n_s)\alpha_s=O$ ，
由于 $\alpha_1,\alpha_2,...,\alpha_s$ 线性无关，所以必有
$m_i-n_i=0$ （其中 $i = 1, 2, . . ., s$ ），
即 $m_1=n_1,m_2=n_2,...,m_s=n_s$ ，
所以表示方法唯一。

定理3.2.3：（替换定理）若向量组 $\alpha_1,\alpha_2,...,\alpha_s$ 线性无关，并且可由向量组 $\beta_1,\beta_2,...\beta_t$ 线性表示，则 $s{\le}t$ ，并且可适当排列向量的次序，使得向量组 $\alpha_1,\alpha_2,...,\alpha_s,\beta_{s+1},...,\beta_t$ 与向量组 $\beta_1,\beta_2,...\beta_t$ 等价。