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

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

1 相关定理

★ 定理3.2.1：向量组${\alpha }_1,{\alpha }_2,...,{\alpha }_s$线性相关$⟺$至少有一个向量可由其余向量线性表示。

证明：$⟹$
因为向量组${\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\ne 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$线性表示。

$⟸$
不防设${\alpha }_1$可由其余向量线性表示，即存在不全为0的数$m_1,m_2,...,m_{s-1}$，使得
α 1 = m 1 α 2 + m 2 α 3 + . . . + m s − 1 α s \alpha_1=m_1\alpha_2+m_2\alpha_3+...+m_{s-1}\alpha_s α