子空间，也称线性包络，记作span(B)。给出一个向量集合B，若它的生成子空间就是向量空间V，则称B为V的一个生成集。如果一个向量空间V拥有一个元素个数有限的生成集，那么就称V是一个有限维空间。可以生成一个向量空间V的线性独立子集，称为这个空间的基。若V={0}，约定唯一的基是空集。对非零向量空间V，基是V“最小”的生成集。向量空间的基是对向量空间的一种刻画。确定了向量空间的一组基B之后，空间内的每个向量都有唯一的方法表达成基中元素的线性组合。如果能够把基中元素按下标排列：formula_25，那么