仿射相关与线性相关

1.目录

线性组合与仿射组合

给定n个向量$v_1,v_2...v_n$，其线性组合为$\sum\limits_{i=1}^na_iv_i$，其中，$a_1,a_2,a_3...a_i$是标量。
仿射组合是线性组合的一种，只是要求组合系数之和为1。
$v_1,v_2...v_n$的仿射组合是$\sum\limits_{i=1}^na_iv_i$，当且仅当$\sum\limits_{i=1}^na_i=1$

线性相关与线性独立

通俗来讲，对于一组向量，如果其中任一向量都不能被其他向量线性组合而成则称线性无关或者线性独立。

从数学上来说：给定n个向量如下

$$v_1,v_2...v_n$$
如果存在n个不全为0的标量 $a_1,a_2,a_3...a_n$使得:

$a_1v_1+a_2v_2+...+a_nv_n=0$
称 $v_1,v_2...v_n$线性相关，否则称 $v_1,v_2...v_n$线性独立。

仿射相关与仿射独立

通俗来讲，对于一组向量，如果其中任一向量都不能被其他向量仿射组合而成则称仿射无关或者线性独立。
回忆我们的仿射组合的定义，如果存在一个向量$v_i$能其他n-1个向量仿射组合而成，则这n个向量仿射相关。
给定n个向量如下$v_1,v_2...v_n$
如果存在n个不全为0的标量$a_1,a_2,a_3...a_n$使得:

$a_1v_1+a_2v_2+...+a_nv_n=0$
且 $a_1+a_2+...+a_n=0$
则称 $v_1,v_2...v_n$仿射相关，否则称 $v_1,v_2...v_n$仿射独立。
下面我们将这个数学定义推到成仿射组合的形式：
假设其中 $a_i\neq0$，则 $-a_iv_i=\sum\limits_{j\neq i}^n a_jv_j$
由于 $a_1+a_2+...+a_n=0$所以 $-a_i=a_1+a_2,a_{i-1},a_{i+1}...+a_{n}$
所以 $v_i=\sum\limits_{j\neq i}^n b_jv_j$ ,其中 $b_j=\frac{a_j}{\sum\limits_{j\neq i}a_j}$
注意这里 ${\sum\limits_{j\neq i}b_j}=1$则 $v_i$是由其他n-1个向量仿射组合而成。

联系

如果$v_2-v_1,v_3-v_1,v_4-v_1...,v_n-v_1$线性独立，则$v_1,v_2...v_n$仿射独立，反之亦然。
反证法如下：
假设$v_1,v_2...v_n$仿射相关。
则$a_1 v_1-a_1v_1+a_2v_2-a_2v_1+...a_1v_1+a_nv_n-a_nv_1=-\sum\limits_{j=1}^na_jv_1=0=a_1v_1+a_2v_2+...+a_nv_n$
则$\sum\limits_{j=2}^n a_j(v_j-v_1)=0$
则$v_2-v_1,v_3-v_1,v_4-v_1...,v_n-v_1$线性相关与已知条件矛盾，故成立，证毕。