线性空间立足于它的基础——集合，于是可以通过学习线性空间的子空间来更好的把握全空间，对于子空间的学习，需要把握其存在性