![](img/83.gif)
![](img/84.gif)
我们接下来看下空间的定义,什么才能叫作向量空间?
当空间中的任意向量相加或数乘(实数乘以向量)运算时,结果仍然在原来的空间里,这才能叫作向量空间,其是一个“封闭”的空间。同时有一点非常重要,向量空间永远都能经过零点(或零向量)。因为数乘运算时,你完全可以乘以0,得到的结果也一定是零点(或零向量)。
比如对于一个二维向量空间
![](img/83.gif)
了解了向量空间后,我们再来看下子空间的概念。对于一个
![](img/83.gif)
1. 我们首先可以确定的是
![](img/83.gif)
2. 其次我们能确定的是零向量(0,0)也是其一个子空间。首先其包含在
![](img/83.gif)
3. 我们先来考虑一个问题,其第一象限的空间算不算其一个子空间。其确实是包含在
![](img/83.gif)
那么如果给一条穿过原点的直线y=kx,其算不算一个子空间。首先其包含在xy平面里,直线上的向量相加或数乘后结果也在直线上,所以其就是
![](img/83.gif)
综上,
![](img/83.gif)
接下来,我们再来考虑一个问题,对于
![](img/84.gif)
参照
![](img/83.gif)
我们再提一个问题,如果S和T都是
![](img/84.gif)
我们考虑下一个
![](img/85.gif)
所以S和T的并集不是一个子空间,但是S和T的交集是不是一个子空间?
如果任意两个向量X,Y存在S和T的交集中,那么X,Y的相加与数乘同样存在于S空间中(因为S是一个子空间),同时X,Y的相加与数乘也会同样存在于T空间中(因为T是一个子空间),那X,Y的相加与数乘的结果一定存在S和T的交集中!故得证S和T的交集是一个子空间!
聊完子空间后,我们再来看下向量空间跟矩阵怎么联系起来?
已知一个矩阵A:
![](img/86.gif)
之前在AX=b的解?略微有提过矩阵的列空间,行空间,其实这都是子空间的一种。我们这里主要看其列空间。对于矩阵A而言,其列空间是一个
![](img/85.gif)
![](img/85.gif)
而对于其行空间,是一个
![](img/83.gif)
最后,我们来看一种特殊的子空间——零空间。其不再是矩阵上的向量的组合了,而是X的组合。矩阵的零空间是能让矩阵变成零向量的所有解的集合,即AX=0中X的全部解的集合。这里的内容有点多,我放到了另一篇文章来完成好了——AX=0?