齐次线性方程组基础解系(PPT).docVIP

齐次线性方程组的基础解系 对于齐次线性方程组 令 则上述方程组即为 (*) （其中0为零向量）。将（*）的解视为维向量，则所有解向量构成中的一个向量组，记为。 命题 中的元素（解向量）的线性组合仍属于（仍是解）。 证明 只需要证明关于加法与数乘封闭。设，则 于是 故 ； 又因为 所以。证毕。 定义（线性方程组基础解系） 齐次线性方程组（*）的一组解向量如果满足如下条件： （1） 线性无关； （2） 方程组（*）的任一解向量都可被线性表出，那么，就称是齐次线性方程组（*）的一个基础解系。 定理 数域上的齐次线性方程组的基础解系中的向量个数等于变元个数减去系数矩阵的秩。 证明 记线性方程组为 其中 设的秩为，无妨设为其极大线性无关部分组，则皆可被线性表出，即存在，使得 即 于是中含有向量 只需要证明是解向量组的一个极大线性无关部分组即可。易见，向量组线性无关。只需要再证明能线性表出任意一个即可。为此，需要证明引理： 引理 设线性无关，可被线性表出，则表示法唯一。 证明 设 两式相减，得到 . 由于线性无关，故各的系数皆为零，于是，即的表示法唯一。引理证毕。 现在回到定理的证明。设，则有 . （1） 考虑，则形如，且有 . （2） 记，则由引理，它可以被线性无关的向量组唯一地线性表示，于是由（1）、（2）两式可知 ， 于是 这就证明了是解向量组的一个极大线性无关部分组