线性代数【四】：向量（1）：线性相关及其判别，极大线性无关组，等价向量组

本节为线性代数复习笔记的第二部分，矩阵的概念与计算（1），主要包括：线性相关的概念，五个判别定理，极大线性无关组和等价向量组。

1. 线性相关

  对m个n维向量$\overrightarrow{{\alpha }_1},\overrightarrow{{\alpha }_2},...,\overrightarrow{{\alpha }_m}$，若存在一组不全为零的数$k_1,k_2,...,k_m$，使得线性组合$k_1\overrightarrow{{\alpha }_1}+k_2\overrightarrow{{\alpha }_2}+...+k_m\overrightarrow{{\alpha }_m}=0$，则称向量组$\overrightarrow{{\alpha }_1},\overrightarrow{{\alpha }_2},...,\overrightarrow{{\alpha }_m}$线性相关。（含有零向量或者有成比例的向量，向量组必然线性相关）
  注意有几个等价的判断，即：
  1）向量组$\overrightarrow{{\alpha }_1},\overrightarrow{{\alpha }_2},...,\overrightarrow{{\alpha }_m}$线性相关$\iff$
  $2）A=(\overrightarrow{{\alpha }_1},\overrightarrow{{\alpha }_2},...,\overrightarrow{{\alpha }_m})可逆\iff$
  $3）|\overrightarrow{{\alpha }_1},\overrightarrow{{\alpha }_2},...,\overrightarrow{{\alpha }_m}|=0$
  若只有当$k_1=k_2=...=k_m=0$时$k_1\overrightarrow{{\alpha }_1}+k_2\overrightarrow{{\alpha }_2}+...+k_m\overrightarrow{{\alpha }_m}=0$才成立，则称向量组线性无关。

2. 线性相关判别的五个定理

2.1 判别定理(1)

  向量$\beta$可由向量组$\overrightarrow{{\alpha }_1},\overrightarrow{{\alpha }_2},...,\overrightarrow{{\alpha }_s}$线性表出
$\iff$
  非齐次方程组${\alpha }_1{x}_1+{\alpha }_2{x}_2+...+{\alpha }_s{x}_s=\beta 有解$
$\iff$
  $r[\overrightarrow{{\alpha }_1},\overrightarrow{{\alpha }_2},...,\overrightarrow{{\alpha }_s}]=r[\overrightarrow{{\alpha }_1},\overrightarrow{{\alpha }_2},...,\overrightarrow{{\alpha }_s},\vec{\beta }]$

2.2 判别定理(2)

  向量组$\overrightarrow{{\alpha }_1},\overrightarrow{{\alpha }_2},...,\overrightarrow{{\alpha }_s}$线性相关
$\iff$
  齐次线性方程组${\alpha }_1{x}_1+{\alpha }_2{x}_2+...+{\alpha }_s{x}_s=0$有非零解
$\iff$
  $r[\overrightarrow{{\alpha }_1},\overrightarrow{{\alpha }_2},...,\overrightarrow{{\alpha }_s}]<s$
$\iff$
  $|\overrightarrow{{\alpha }_1},\overrightarrow{{\alpha }_2},...,\overrightarrow{{\alpha }_s}|=0$

2.3 判别定理(3)

  线性相关充要条件：向量组中至少有一个向量可由其他s-1个向量线性标出

2.4 判别定理(4)

  若$\overrightarrow{{\alpha }_1},\overrightarrow{{\alpha }_2},...,\overrightarrow{{\alpha }_s}$线性无关，而向量组$\overrightarrow{{\alpha }_1},\overrightarrow{{\alpha }_2},...,\overrightarrow{{\alpha }_s},\vec{\beta }$线性相关，则$\vec{\beta }$可由$\overrightarrow{{\alpha }_1},\overrightarrow{{\alpha }_2},...,\overrightarrow{{\alpha }_s}$唯一线性表出。

2.5 判别定理(5)

  $I.\overrightarrow{{\beta }_1},\overrightarrow{{\beta }_2},...,\overrightarrow{{\beta }_s}，II.\overrightarrow{{\alpha }_1},\overrightarrow{{\alpha }_2},...,\overrightarrow{{\alpha }_t}$
  若$I$中每一个向量均可由$II$中向量线性表出，且s>t，则向量组$I$线性相关；
  若$I$中每一个向量均可由$II$中向量线性表出，且向量组$I$线性相关，则$s\le t$。

3. 极大线性无关组

  若$\overrightarrow{{\alpha }_1},\overrightarrow{{\alpha }_2},...,\overrightarrow{{\alpha }_s}$中存在部分组$\overrightarrow{{\alpha }_{i1}},\overrightarrow{{\alpha }_{i2}},...,\overrightarrow{{\alpha }_{ir}}$满足：
  1）$\overrightarrow{{\alpha }_{i1}},\overrightarrow{{\alpha }_{i2}},...,\overrightarrow{{\alpha }_{ir}}$线性无关；
  2）任一向量$\overrightarrow{{\alpha }_i}$均可由$\overrightarrow{{\alpha }_{i1}},\overrightarrow{{\alpha }_{i2}},...,\overrightarrow{{\alpha }_{ir}}$线性表出。
  则称$\overrightarrow{{\alpha }_{i1}},\overrightarrow{{\alpha }_{i2}},...,\overrightarrow{{\alpha }_{ir}}$是原向量组的极大线性无关组。（一般不唯一，线性无关向量组的极大线性无关组即为本身）

4. 等价向量组

  $I.\overrightarrow{{\alpha }_1},\overrightarrow{{\alpha }_2},...,\overrightarrow{{\alpha }_s}，II.\overrightarrow{{\beta }_1},\overrightarrow{{\beta }_2},...,\overrightarrow{{\beta }_t}$
  若$I$中每个$\overrightarrow{{\alpha }_i}$均可由$II$中向量线性表出且反之亦然，则称向量组$I,II$等价，记为$I\cong II$
  等价具有自反性、等价性和传递性且向量组总是与其极大线性无关组等价。

---

欢迎扫描二维码关注微信公众号 深度学习与数学   [每天获取免费的大数据、AI等相关的学习资源、经典和最新的深度学习相关的论文研读，算法和其他互联网技能的学习，概率论、线性代数等高等数学知识的回顾]