4线性方程组的解的结构.docVIP

§4 线性方程组的解的结构 在上一章中，我们已介绍了用矩阵的初等变换解线性方程组的方法，并建立了两个重要的定理，即 （1）n个未知数的齐次线性方程组有非零解的充分必要条件是系数矩阵的秩。 （2）n个未知数的非其次线性方程组有解的充分必要条件是系数矩阵A的秩等于增广矩阵B的秩，且当时方程组有唯一解，当时方程组有无限多个解。 下面我们用向量组线性相关性的理论来讨论线性方程组的解。先讨论齐次线性方程组。 一、齐次线性方程组解的结构 设齐次线性方程组 （4.1） 记 则（4.1）式可写成向量方程 （4.2） 若为（4.1）的解，则 称为方程组（4.1）的解向量，它也就是向量方程（4.2）的解。 根据向量方程（4.2），我们来讨论解向量的性质。 性质4.1 若为（4.2）的解，则也是方程（4.2）的解。 证 只要验证满足方程（4.2）： 性质4.2 若为（4.2）的解，k为实数，则，也是（4.2）的解。 证 。 证毕 把方程（4.2）的全体解所组成的集合记作S，如果能求得解集S的一个最大无关组，那么方程（4.2）的任一解都可由最大无关组线性表示；另一方面，由上述性质1,2可知，最大无关组的任何线性组合 都是方程（4.2）的解，因此上式便是方程（4.2）的通解。 二、齐次线性方程组的基础解系 齐次线性方程组的解集的最大无关组称为改齐次线性方程组的基础解系。由上面的讨论可知，要求齐次线性方程组的通解，只需球求出它的基础解系。 上一章我们用初等变换的方法求线性方程组的通解，下面我们用同一方法来求齐次线性方程组的基础解系。 设方程组（4.1）的系数记作A的秩为r，并不妨设A的前r个向量线性无关，于是A的行最简形矩阵为 ， 与B对应，即有方程组 （4.3） 把作为自由未知数，并令它们依次等于，可得方程组（4.1）的通解 把上式记作 。 可知解集S中的任一向量x能由线性表示，又因为矩阵中有n-r阶子式，故，所以线性无关，根据最大无关组的等价定义，即知是解集S的最大无关组，即是方程组（4.1）的基础解系。 在上面的讨论中，我们先求出齐次线性方程组的通解，再从通解求得基础解系。其实我们也可先求基础解系，再写出通解。这只需在得到方程组（4.3）以后，令自由未知数取下列n-r组数 由（3）即依次可得 合起来便得基础解系 依据以上的讨论，还可推得 定理4.7 设矩阵的秩，则元齐次线性方程组的解集的秩。 当时，方程（4.1）只有零解，没有基础解系（此时解集只含一个零向量）；当时，由定理4.7可知方程组（4.1）的基础解系含个向量。因此，由最大无关组的性质可知，方程组（4.1）的任何个线性无关的解都可构成它的基础解系。并由此可知齐次线性方程组的基础解系并不是唯一的，它的通解的形式也不是唯一的。 例4.12 求齐次线性方程组 的基础解系与通解。 解 对系数矩阵作初等行变换，变为行最简形矩阵，有 便的 （*） 令及，则对应有及，即得基础解系 并由此写出通解 . 上一章中线性方程组的解法是从（*）式中写出通解（从通解的表达式即可得基础解系），现在从（*）式先取基础解系，再写出通解，两种解法其实没有多少差别。 根据（*）式，如果取 及，对应得及， 即得不同的基础解系 从而得通解 显然与是等价的，两个通解虽然形式不一样，但都含两个任意常数，且都可表示方程组的任一解。 上述解法中，由于行最简形矩阵的结构，总是选为非自由未知数。对于解方程来说，当然也可选为自由未知数。如果要选为自由未知数，那么就不能采用上述化系数矩阵为行最简形矩阵的“标准程序”，而要稍作变化，对系数矩阵作初等行变换时，先把其中某一列（不一定是第一列）化为。如本例中第四列数值较简，容易化出两个： 上式最后一个矩阵虽不是行最简形矩阵，但也具备行最简形矩阵的功