定义 若齐次线性方程组的有限个解满足:
(1)线性无关;
(2)的任意一个解都可由线性表示,
则称是方程组的一个基础解系.
注:如果是齐次线性方程组的一个基础解系,则的全部解可表示为
, (*)
其中为任意实数,而表达式(*)称为线性方程组的通解.
方程组的一个基础解系即为其解空间一个基.方程组的基础解系不是唯一的.方程组的解空间的基也不是唯一的.