6.5-6.7 理解线性方程组解的结构

线性方程组的结构

如何处理一些没有解或是有无数解的线性方程组？

举例 三元一次方程组

高斯-约旦消元法 ==>
在将第三行与第二行相加消元后 ==>

第三行全为0，无法找到一组xyz来满足这个线性方程组，此时这个线性方程组是无解的！

举例2 三元一次方程组

高斯-约旦消元法 ==>


在将第三行与第二行相加消元后 ==>

在此时，第三行的方程组全为0，这个方程是成立的，存在xyz满足相乘后为0，即xyz任意取值都能成立。

在这种情况下，高斯消元的过程已经结束了。

所以反向执行约旦消元法。
从最后一个主元开始进行操作，而此时的最后一个主元不在第三行而是第二行，第三行已经没有主元了。

==> 消去第二行主元上的所有元素

==> 代表的方程组
而此时，这个解意味着，z任意取值，都能得到一组x,y,z,满足方程组 ==> 方程组有无数组解

高斯-约旦消元法本质上是将增广矩阵 变成了 阶梯型矩阵
定义阶梯型矩阵
==>

1. 如果矩阵有全零行，那全零行一定位于矩阵的最底层
   
2. 对于其他非全零行的每一行，其中第一个非零元素（主元）随着行数的不断上升，位置逐渐向右偏
3. 非零行的第一个元素（主元）为1
4. 主元所在列的其他元素均为0

行最简形式
reduced row echelon form RREF

举例 复杂的行最简形式
满足行最简形式的定义

举例 不是行最简形式