【线性代数】线性相关与线性无关的定义与性质

定义1 线性相关：

Kn K n K^n中向量组 α1,α2,...,αs α 1 , α 2 , . . . , α s \alpha_1,\alpha_2,...,\alpha_s(s ≥ ≥ \ge1)称为是线性相关的,如果 K K K中有不全为0的k1,k2,...,ks" role="presentation" style="position: relative;">k1,k2,...,ksk1,k2,...,ksk_1,k_2,...,k_s使得 k1α1+k2α2+...+ksαs=0 k 1 α 1 + k 2 α 2 + . . . + k s α s = 0 k_1\alpha_1+k_2\alpha_2+...+k_s\alpha_s=0.

定义2 线性无关：

Kn K n K^n中如果有向量组 α1,α2,...αs α 1 , α 2 , . . . α s \alpha_1,\alpha_2,...\alpha_s(s ≥ ≥ \ge1)是线性无关的,那么从式子 k1α1+k2α2+...+ksαs=0 k 1 α 1 + k 2 α 2 + . . . + k s α s = 0 k_1\alpha_1+k_2\alpha_2+...+k_s\alpha_s=0中可以得到 k1=k2=...=ks=0 k 1 = k 2 = . . . = k s = 0 k_1=k_2=...=k_s=0.

线性相关与线性无关是线性代数中最基本的概念之一.

从以下几个角度来考察线性相关的向量组与线性无关的向量组的本质区别：

从线性组合来看:
如果向量组 α1,α2,...,αs α 1 , α 2 , . . . , α s \alpha_1,\alpha_2,...,\alpha_s(s ≥ ≥ \ge1)线性相关
⟷ ⟷ \longleftrightarrow k1α1+k2α2+...+ksαs=0 k 1 α 1 + k 2 α 2 + . . . + k s α s = 0 k_1\alpha_1+k_2\alpha_2+...+k_s\alpha_s=0,其中 k1,k2,...,ks k 1 , k 2 , . . . , k s k_1,k_2,...,k_s不全为0.
如果向量组 α1,α2,...,αs α 1 , α 2 , . . . , α s \alpha_1,\alpha_2,...,\alpha_s(s ≥ ≥ \ge1)线性无关
⟷ ⟷ \longleftrightarrow k1α1+k2α2+...+ksαs=0 k 1 α 1 + k 2 α 2 + . . . + k s α s = 0 k_1\alpha_1+k_2\alpha_2+...+k_s\alpha_s=0,其中 k1=k2=...=ks=0 k 1 = k 2 = . . . = k s = 0 k_1=k_2=...=k_s=0.
从线性表出来看:
如果向量组 α1,α2,...,αs α 1 , α 2 , . . . , α s \alpha_1,\alpha_2,...,\alpha_s(s ≥ ≥ \ge2)线性相关
⟷ ⟷ \longleftrightarrow其中至少有一个向量可以由其他向量线性表出.
如果向量组 α1,α2,...,αs α 1 , α 2 , . . . , α s \alpha_1,\alpha_2,...,\alpha_s(s ≥ ≥ \ge2)线性无关
⟷ ⟷ \longleftrightarrow其中每一个向量都不可以由其他向量线性表出.
从齐次线性方程组来看:
如果列向量组 α1,α2,...,αs α 1 , α 2 , . . . , α s \alpha_1,\alpha_2,...,\alpha_s(s ≥ ≥ \ge1)线性相关
⟷ ⟷ \longleftrightarrow齐次线性方程组 x1α1+x2α2+...+xsαs=0 x 1 α 1 + x 2 α 2 + . . . + x s α s = 0 x_1\alpha_1+x_2\alpha_2+...+x_s\alpha_s=0有非零解.
如果列向量组 α1,α2,...,αs α 1 , α 2 , . . . , α s \alpha_1,\alpha_2,...,\alpha_s(s ≥ ≥ \ge1)线性无关
⟷ ⟷ \longleftrightarrow齐次线性方程组 x1α1+x2α2+...+xsαs=0 x 1 α 1 + x 2 α 2 + . . . + x s α s = 0 x_1\alpha_1+x_2\alpha_2+...+x_s\alpha_s=0只有零解.
从行列式来看:
若n个n维列(行)向量组 α1,α2,...,αn α 1 , α 2 , . . . , α n \alpha_1,\alpha_2,...,\alpha_n线性相关
⟷ ⟷ \longleftrightarrow以 α1,α2,...,αn α 1 , α 2 , . . . , α n \alpha_1,\alpha_2,...,\alpha_n为列(行)向量组的矩阵的行列式等于零.
若n个n维列(行)向量组 α1,α2,...,αn α 1 , α 2 , . . . , α n \alpha_1,\alpha_2,...,\alpha_n线性无关
⟷ ⟷ \longleftrightarrow以 α1,α2,...,αn α 1 , α 2 , . . . , α n \alpha_1,\alpha_2,...,\alpha_n为列(行)向量组的矩阵的行列式不等于零.
从向量组线性表出的一个向量的方式来看:
若向量 β β \beta可以由向量组 α1,α2,...,αs α 1 , α 2 , . . . , α s \alpha_1,\alpha_2,...,\alpha_s线性表出,且表出方式唯一,
⟷ ⟷ \longleftrightarrow则向量组 α1,α2,...,αn α 1 , α 2 , . . . , α n \alpha_1,\alpha_2,...,\alpha_n线性无关.
若向量 β β \beta可以由向量组 α1,α2,...,αs α 1 , α 2 , . . . , α s \alpha_1,\alpha_2,...,\alpha_s线性表出,且表出方式有无穷多种,
⟷ ⟷ \longleftrightarrow则向量组 α1,α2,...,αn α 1 , α 2 , . . . , α n \alpha_1,\alpha_2,...,\alpha_n线性相关.
从向量组与它部分组的关系来看:
若向量组的一个部分组线性相关
⟶ ⟶ \longrightarrow则整个向量组线性相关.
若向量组线性无关
⟶ ⟶ \longrightarrow则它的任何一个部分向量组线性无关.
（以上二者为逆否命题）
从向量组与它的延伸组或伸缩组的关系来看:
如果向量组线性无关,那么把每个分量添上 m m m个分量(所添加的分量的位置对于每个向量都是一样的)得到的延伸组也线性无关；
如果向量组线性相关,那么把每个分量去掉m" role="presentation" style="position: relative;">mmm个分量(所添加的分量的位置对于每个向量都是一样的)得到的延伸组也线性相关.

我的微信公众号