Coding the Matrix (2)：向量空间

 

1. 线性组合

概念很简单：

固然，这里向量前面的系数都是标量。

 

2. Span

向量v1，v2，.... ，vn的全部线性组合构成的集合，称为v1，v2，... ，vn的张成（span）。向量v1，v2，...vn的张成记为Span{v1，v2，... ，vn}。

回顾上一次课里面的电脑登录认证的过程，假设黑客知道使用 GF(2) 加密，截获到一组电脑的问题 alpha 以及用户的回答 beta：

那么即便黑客不知道密码， alpha 所组成的 span 里面的全部问题均可以经过线性组合来获得答案了，证实以下：

 

3. Generator

实际上就是基的概念：

 

4. 向量在实数上的 span

span 就是向量的全部线性组合。一个非零向量的 span 经过原点的线，是一维，两个向量的 span 多是一维的，亦多是二维。

一个过原点的平面能够表示成：

{[x, y, z]: [a, b, c] · [x, y, z] = 0}

在几何上， (a, b, c) 又叫法向量。两个平面相交，能够获得一根直线：

能够看到，有两种方法表示一个几何物体：

1. 几个向量的 span
2. 齐次线性方程组（b = 0）的解集。

 

5. Convex Full

向量线性组合系数之和为 1，能够获得 Convex Full, 实际上这就是一个仿射组合。两个二维向量的 Convex Full 是一条线段，三个三维向量的 Convex Full 是一个三角形。

 

6. 仿射空间和仿射组合

过三个点 u1, u2, u3 的平面能够表示成 u1 + span{u2-u1, u3-u1},进一步能够推导以下：

一样的仿射组合的定义能够表示成：

和上面的推导同样，实际上

 

7. 齐次与非齐次线性方程组

齐次线性方程组的解集表示了一个过原点的几何物体，如点，直线，平面等，这个结集也能够看作一个 span。假设 U1 和 U2 是非齐次方程组的解，那么将 U1 和 U2 分别带到方程组，想减能够获得 U1 - U2 是齐次方程的组。因此有：

联系第6小节中的推导，假设 U1， U1, U3 是非齐次线性方程的三个解，那么 U3 -U1 和 U2 -U1 一定是齐次线性方程组的两个解，能够看到，非齐次方程组的解就在  u1 + span{u2-u1, u3-u1} 的仿射空间内。