线性代数之 向量空间几何学（1）仿射

前言

本章是线性代数最后一节内容，向量空间与几何学。

仿射组合

定义仿射组合：对于$R^n$中的向量${\vec{v}}_1,{\vec{v}}_2\dots ,{\vec{v}}_p$，其仿射组合是一种特殊的线性组合，满足$y=c_1{\vec{v}}_1+c_2{\vec{v}}_2+\cdots +c_p{\vec{v}}_p,c_1+c_2+\cdots +c_p=1$

定义仿射包：对于某个向量集合$S$，其所有仿射组合的集合称为$S$的仿射包，记为$\mathbf{a}\mathbf{f}\mathbf{f}S$

定理：$y\in R^n,S\subset R^n$，则$y$是$S$的仿射组合的充要条件为$y-v_1$是$v_2-v_1,v_3-v_1,\dots ,v_n-v_1$的线性组合。将$v_1$换成任意$v_i\in S$都成立。

证明：
$$\begin{gathered} 充分性： \\ y-v_i=a_1(v_1-v_i)+a_2(v_2-v_i)+\cdots +a_n(v_n-v_i) \\ y=v_i(1-a_1-a_2-\cdots -a_n)+a_1{v}_1+a_2{v}_2+\cdots +a_n{v}_n \\ 必要性： \\ 将充分性中的顺序换一下就OK \end{gathered}$$

定义仿射集：$\forall t\in R,p,q\in S,(1-t)p+q\in S$，则$S$是一个仿射集。

定义仿射集2：如果$S$中的所有仿射组合都属于$S$，即$\mathbf{a}\mathbf{f}\mathbf{f}S\subseteq S$，称$S$为仿射集。

定理：仿射集$S=\mathbf{a}\mathbf{f}\mathbf{f}S$。
证明：
$$\because \mathbf{a}\mathbf{f}\mathbf{f}S\subseteq S,S\subseteq \mathbf{a}\mathbf{f}\mathbf{f}S,\therefore S=\mathbf{a}\mathbf{f}\mathbf{f}S$$

仿射组合与向量空间

定义向量空间中集合的平移： S ⊆ R n , p ∈ R n , S + p = { s + p ∣ s ∈ S } S\subseteq R^n,p\in R^n,S+p=\{s+p|s\in S \} S⊆Rn,p∈Rn,S+p={s+p∣s∈S}，称为集合$S$的平移。

定义向量空间中的平面：$R^n$中的平面是$R^n$的一个子空间的平移。如果一个平面是另一个平面的平移，则两平面平行。平面的维数是对应的平行子空间的维数。集合$S$的维数是包含$S$的最小平面的维数。

定义向量空间中的直线和超平面：$R^n$中的一条直线是维数为1的平面，一个超平面是维数为n-1的平面。

定理（仿射集的几何意义）：非空集合$S$是仿射集的充要条件是$S$是一个平面。也就是说，集合中的点的所有仿射组合构成了平面。

定义齐次形式：对于向量$v\in R^n$，其齐次形式为$\tilde{v}=\left[\begin{array}{c}v\\ 1\end{array}\right]$。

定理：$y\in R^n是v_1,v_2,\dots ,v_p\in R^n$的一个仿射组合的充要条件是 y ~ ∈ S p a n { v 1 , v 2 , … , v p } \tilde y\in Span\{v_1,v_2,\dots,v_p\} y~​∈Span{v1​,v2​,…,vp​}。
证明：
$$\begin{gathered} 充分性： \\ \tilde{y}=\left[\begin{array}{c}y\\ 1\end{array}\right]=a_1\left[\begin{array}{c}{v}_1\\ 1\end{array}\right]+a_2\left[\begin{array}{c}{v}_2\\ 1\end{array}\right]+\cdots +a_p\left[\begin{array}{c}{v}_p\\ 1\end{array}\right] \\ \to y=a_1{v}_1+a_2{v}_2+\cdots +a_p{v}_p,\sum _{i=1}^p{a}_i=1 \\ 必要性： \\ 上面反过来推就行了 \end{gathered}$$

仿射无关性

定义仿射相关：对于指标点集（不同下标可能表示相同点的集合）$S$，如果存在不全为零的$c_1,c_2,\dots ,c_p,c_1+c_2+\cdots +c_p=0,c_1{v}_1+c_2{v}_2+\cdots +c_n{v}_n=0$，称$S$是仿射相关的。仿射相关是线性相关的特殊情况。

由仿射相关的定义可知，单点集$v_1$仿射无关，两点集$v_1,v_2$必须表示同一点才仿射相关。

定理：以下命题同真同假：①$S$仿射相关；②$S$中有一个点是其它点的一个仿射组合；③ { v 1 − v i , v 2 − v i , … , v i − 1 − v i , v i + 1 − v i , v n − v i } \{v_1-v_i,v_2-v_i,\dots,v_{i-1}-v_i,v_{i+1}-v_i,v_n-v_i \} {v1​−vi​,v2​−vi​,…,vi−1​−vi​,vi+1​−vi​,vn​−vi​}是线性相关的；④ { v ~ 1 , v ~ 2 , … , v ~ n } \{\tilde v_1,\tilde v_2,\dots,\tilde v_n\} {v~1​,v~2​,…,v~n​}是线性相关的。

现在假设①真，证明其它三项：
$$\begin{gathered} c_1{v}_1+c_2{v}_2+\cdots +c_n{v}_n=0,c_1+c_2+\cdots +c_n=0 \\ 证明2： \\ if{c}_i\ne 0 \\ {c}_i{v}_i=-\sum _{j=1,j\ne i}^n{c}_j{v}_j \\ {v}_i=-\sum _{j=1,j\ne i}^n\frac{c_j}{c_i}{v}_j \\ {v}_i+\sum _{j=1,j\ne i}^n\frac{c_j}{c_i}{v}_j=0 \\ 1+\sum _{j=1,j\ne i}^n\frac{c_j}{c_i}=1-\frac{c_i}{c_i}=0 \\ 证明3： \\ {v}_i=\sum _{j=1,j\ne i}^n{c}_j{v}_j,\sum _{j=1,j\ne i}^n{c}_j=1 \\ \sum _{j=1,j\ne i}^n{c}_j{v}_i=\sum _{j=1,j\ne i}^n{c}_j{v}_j \\ \sum _{j=1,j\ne i}^n{c}_j(v_j-v_i)=0 \\ 证明4： \\ \sum _{j=1}^n{c}_j=0,\sum _{j=1}^n{c}_j{v}_j=0 \\ \sum _{j=1}^n\tilde{v}=\left[\begin{array}{c}{\sum }_{j=1}^n{c}_j\\ {\sum }_{j=1}^n{c}_j{v}_j\end{array}\right]=\left[\begin{array}{c}0\\ 0\end{array}\right] \end{gathered}$$

定理：对于一个仿射无关集$S$，$\forall v\in \mathbf{a}\mathbf{f}\mathbf{f}S$，其仿射组合$v=c_1{v}_1+c_2{v}_2+\cdots +c_p{v}_p$的系数是唯一确定的。称$c_1,c_2,\dots ,c_n$是$v$的仿射坐标。

总结

仿射组合：某个向量是另外几个向量的线性组合，且系数和为1。
仿射包：向量集或点集的所有元素的所有仿射组合。
仿射集：集合中任意元素的仿射组合都在本集合中。

向量空间的平面：子空间的平移
向量空间的直线：维数为1的平面
向量空间的超平面：维数为n-1的平面
仿射集=空间平面

仿射相关：向量线性相关，且系数和为0
仿射相关，则其中有至少一个向量是其它向量的仿射组合
仿射无关组的仿射组合的系数固定，系数被称为仿射坐标。