由一个方程组成的齐次线性方程组的一个基础解系由个解向量组成.