线性方程组的结构

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

举例 三元一次方程组

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

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

举例2 三元一次方程组

高斯-约旦消元法 ==>


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

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

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

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

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

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

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

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

行最简形式
reduced row echelon form RREF

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

举例 不是行最简形式


通过行最简形式来理解线性方程组解的结构

  1. 有唯一解

  2. 无解

  3. 有无数解

    综上, 系数矩阵的非零行 < 行最简形式非零行 ==> 方程组无解
    A非零行 < 未知数个数 ==> 方程组无数解
    反例

    方程数与未知数不匹配,有唯一解

A非零行 = 未知数个数 ==> 方程组唯一解
反例

方程数与未知数不匹配,有无数解。

直观理解线性方程组解的结构

n个未知数需要有n个方程,才可能有唯一解。
举例 二元一次方程

在二维平面中表示这个方程 ==>

即表示,在这条直线上的任意点都可以满足这个方程。

如果再加上一个方程 ==>

在二维平面中表示这两个方程 ==>

即表示,在这两条直线的交点满足该方程组,有唯一解。

将第二个方程调换 ==>
在二维平面中表示这两个方程 ==>

即表示,这两条直线没有交点,无解。

综上 ==> n个未知数有n个方程 才有可能有唯一解,或是无解。

将上述思路拓展到 三元一次方程中 ==>

将这个方程放到三维空间中 ==>

使用两个三元一次方程联立 ==>

如果这两个平面相交的话,即会有一条直线相交,那这条直接上所表示的所有点,无数个点,都可以满足这两个方程组。

如果两个平面平行,则没有交点,无解。

综上 ==> 如果方程组的个数小于未知数个数,那就一定没有唯一解,或是无解。

引入第三个三元一次方程 ==>

在三个平面都相交的情况下,就可能在两个平面相交的直线上,产生一个三个平面都相交的点,这个点就是唯一解。

==> 在另一种情况下

在这种情况下,三个平面相交的是一条直线,所以有无数解。


在这三个平面平行的情况下,没有交点,无解。


在这种情况下,虽然有平面相交,但是相交的位置没有公共点,相交的位置是平行的,所以无解。


在这种情况下,虽然三个平面两两相交,但是得到的位置是三条平行线,所以无解。

如果再引入一个三元一次方程,即四个三元方程联立会是什么情况呢?
==>



在这种情况下,虽然这四个平面两两相交,但是也没有公共点,这四个平面中间存在一个立体三角形的空间。在不断的调整这个四个平面,使这个个立体三角形不断的缩小,直到只有一个点的时候,此时这个方程组就有了唯一解。

更直观的通过二元方程来看待这个问题 ==>
三个二元方程联立

在这种情况下,没有公共点。只有在新的直线与之前的两个的交点 相交的时候,才有公共点。
当三根直线完全重合时 ==>

此时,这三个二元方程的交点为一条直线,有无数解。

综上,如果方程个数 多于 未知数个数 ⇒ 这个方程可能唯一解、无解、无数解。

这是正常情况下 ==>

在化为行最简形式后 ==>
系数矩阵的非零行 不可能大于 未知数个数

不可能存在这样一个矩阵,在只有三列的系数矩阵中,却有四个非零行,同时还是一个行最简形式。

综上,在行最简式情况下 ==>
而其中,无解的判断非常简单。在增广矩阵的系数矩阵化为行最简形式后,看有没有存在矛盾的行就可以判断了。所以,在行最简形式下可以简化为 ==>

而在 行最简形式A非零行 = 未知数 的时候,此时是不会有无数解的 ==>

因为,行最简形式的定义就说明了,如果系数矩阵的 A非零行 = 未知数 的话,那非零行的系数矩阵 一定是单位矩阵。
==> 系数矩阵的非零行 = 未知数个数 ==> 一定有唯一解

所以,在行最简形式下可以简化为 ==>

这个结论的前提是 系数矩阵化为行最简形式后,不存在矛盾行 。
行最简形式A非零行 < 行最简形式Ab非零行 ==> 无解

更一般的线性系统求解

如果 方程个数 与 未知数个数 不匹配的话,在使用高斯-约旦消元法的时候,会产生什么问题呢,怎样来处理?

举例 五元方程,四个方程组 ==>

执行前向过程 ==>

发现 在第二、三、四行,除了首元素化为了0,第二个元素也都化为了0,没有一个元素可以当作主元,那应该怎么办呢?
> 继续从第三个元素 确定主元
> 继续执行前向操作


==> 继续确定第三行主元,但是发现第三行第四列元素为0,并且下面所有的行第四列都为0,所以 第四列找不到主元 ==> 从第五列找主元

==>继续执行前向操作

最终化为 ==>

==> 执行后向操作,第三行主元上面的元素都化为0

==> 第二行主元上面的元素都化为0
==> 行最简形式

对应的方程 ==>

> 变换为以主元的等式方程

即x,z,u符合这个线性方程组的一组解,w,y可以任意取值。> 无数解


含有主元的 称为 主元列
没有主元的 称为 自由列

将上述一组解 化为 列向量形式 ==>


从行最简形式 直接读出了 整个线性系统的解。

举例 二元方程,三个方程组 ==>

执行前向操作 ==>




由于 最后一行矛盾 ==> 方程组无解。

6.5-6.7 理解线性方程组解的结构相关推荐

  1. 线性代数:第四章 向量组的线性相关性(2)向量空间 线性方程组解的结构

    第三节 向量空间 一.数字概念 定义3.1  设V是n维向量集合,且非空,若 (i)  则,  : (ii)  则  . 则称V是一个向量空间. 定义3.2  设  是两个向量空间,若  ,则称  的 ...

  2. LA@线性方程组解的结构@Cramer法则@高斯消元法

    文章目录 LA@线性方程组解的结构@Cramer法则@高斯消元法 preface 矩阵方程和线性方程组 Cramer's Rule@克莱姆法则 new 齐次化推论 证明Cramer's Rule 高斯 ...

  3. 线性代数:03 向量空间 -- 矩阵的零空间,列空间,线性方程组解的结构

    本讲义是自己上课所用幻灯片,里面没有详细的推导过程(笔者板书推导)只以大纲的方式来展示课上的内容,以方便大家下来复习. 本章主要介绍向量空间的知识,与前两章一样本章也可以通过研究解线性方程组的解把所有 ...

  4. 系数矩阵为方阵的线性方程组解的情况

    系数矩阵为方阵的线性方程组解的情况 下面这个问题可能勾起你对往日青葱岁月的回忆.对于线性方程组Ax=b(A为n阶方阵)Ax=b(A为n阶方阵)Ax=b(A为n阶方阵): 什么情况下无解? 什么情况下有 ...

  5. 线性代数学习笔记(二十九)——方程组解的结构(一)

    停更2年多了,做事得有始有终,继续更新... 本篇笔记回顾了线性方程组解的三种情况,并讨论了齐次线性方程组解的结构,并介绍了齐次线性方程组解的相关性质.其中重点讨论了基础解系定义,以及基础解系的求法和 ...

  6. 音视频开发(29)---深入浅出理解视频编码H264结构

    深入浅出理解视频编码H264结构 编码流程: 那么 H.264 其编解码流程是怎么样的呢?其实可以主要分为 5 部分: 帧间和帧内预测(Estimation).变换(Transform)和反变换.量化 ...

  7. 数学 - 线性代数导论 - #9 Ax=b的解:存在性、解法、解的结构、解的数量

    线性代数导论 - #9 Ax=b的解:存在性.解法.解的结构.解的数量 终于,我们在b为参数的一般情况下,开始分析Ax=b的解,包括标题中的四个方面. 首先是解的存在性. 从几何上说,当且仅当向量b位 ...

  8. 5G NR学习理解系列——时频结构及相关概念

    提示:文章写完后,目录可以自动生成,如何生成可参考右边的帮助文档 5G NR学习理解系列--时频结构 频段 工作带宽 信道带宽 子载波间隔(SCS) SLOT长度 OFDM符号时长 采样点时长 无线帧 ...

  9. JDK中的Timer和TimerTask详解 目录结构: Timer和TimerTask 一个Timer调度的例子 如何终止Timer线程 关于cancle方式终止线程 反复执行一个任务 sche

    JDK中的Timer和TimerTask详解 目录结构: Timer和TimerTask 一个Timer调度的例子 如何终止Timer线程 关于cancle方式终止线程 反复执行一个任务 schedu ...

  10. 堆栈(Strack)是指这样一段内存,它可以理解为一个筒结构,先放进筒中的数据被后放进筒中的数据“压住”,只有后放进筒中的数据都取出后,先放进去的数据才能被取出,称为“后进先出”。堆栈的长度可随意增加

    堆栈(Strack)是指这样一段内存,它可以理解为一个筒结构,先放进筒中的数据被后放进筒中的数据"压住",只有后放进筒中的数据都取出后,先放进去的数据才能被取出,称为"后 ...

最新文章

  1. Spring Boot + Vue 如此强大?
  2. 系统运维包括哪些内容_电力电缆到货验收包括哪些内容?
  3. 【2556】传说中的数据结构 sdutOJ
  4. 事物与数据库底层数据
  5. kali2.0安装搜狗输入法
  6. 2.11 queue
  7. 对一道基础string题及其变式题的思考与解析
  8. 投稿过程要不要考虑预印本?——medRxiv那些事
  9. STM32 - CubeMX 的使用实例详细(04.1)- STM32F103的 - 定时器设定详细解释 - PWM波的产生 - 频率占空比的设定 - 软件代码分析
  10. 【我的物联网成长记13】物联网卡能否携号转网?
  11. jQuery实现一个淡入淡出下拉菜单 非常简易
  12. 锁定计算机好在下游戏吗,巧用win7锁定计算机防止孩子沉迷游戏
  13. 数据-第14课-栈的定义及实现
  14. NVIDIA-SMI has failed because it couldn‘t communicate with the NVIDIA driver
  15. 带你快速入门计算机网络模型与5G协议!!
  16. windows双系统完全删除ubuntu
  17. 产品经理的自我修养—认知模式
  18. ubuntu / linux 禁止鼠标中键的粘贴功能!
  19. Android中的指纹识别
  20. 表格中insertBefore方法的使用(The node before which the new node is to be inserted is not a child of this no)

热门文章

  1. 用小程序做问卷调查,获取数据就是这么简单!
  2. 2012-7-05可樂词汇积累#9312;
  3. swift 数组遍历 forEach 、enumerated、iterator、indices
  4. git鉴权失败问题 以及每次clone 都要输入用户名密码问题
  5. 2B市场 面向2025年技术趋势与5大机会
  6. [样本分析] 海莲花CS样本
  7. 小程序 40163_微信小程序请求openid错误码40163
  8. python和c#区别_Python和C#哪个好?有什么区别?
  9. java书名号乱码_别骗我,这些居然是汉字,不是乱码
  10. access如何设置定期报表汇总_access 2007创建分组报表或汇总报表