线性方程组的结构
如何处理一些没有解或是有无数解的线性方程组?
举例 三元一次方程组
高斯-约旦消元法 ==>
在将第三行与第二行相加消元后 ==>
第三行全为0,无法找到一组xyz来满足这个线性方程组,此时这个线性方程组是无解的!
举例2 三元一次方程组
高斯-约旦消元法 ==>
在将第三行与第二行相加消元后 ==>
在此时,第三行的方程组全为0,这个方程是成立的,存在xyz满足相乘后为0,即xyz任意取值都能成立。
在这种情况下,高斯消元的过程已经结束了。
所以反向执行约旦消元法。
从最后一个主元开始进行操作,而此时的最后一个主元不在第三行而是第二行,第三行已经没有主元了。
==> 消去第二行主元上的所有元素
==> 代表的方程组
而此时,这个解意味着,z任意取值,都能得到一组x,y,z,满足方程组 ==> 方程组有无数组解
高斯-约旦消元法本质上是将增广矩阵 变成了 阶梯型矩阵
定义阶梯型矩阵
==>
- 如果矩阵有全零行,那全零行一定位于矩阵的最底层
- 对于其他非全零行的每一行,其中第一个非零元素(主元)随着行数的不断上升,位置逐渐向右偏
- 非零行的第一个元素(主元)为1
- 主元所在列的其他元素均为0
行最简形式
reduced row echelon form RREF
举例 复杂的行最简形式
满足行最简形式的定义