当前位置: 首页 > news >正文

第三章,矩阵,09-线性方程组解的判断与求法、矩阵方程

第三章,矩阵,09-线性方程组解的判断与求法、矩阵方程

    • 定理
      • 推论1
      • 推论2
      • 推论3
      • 推论4
    • 矩阵方程AX=B
      • 解法
      • 解的存在性
        • 推论

玩转线性代数(21)线性方程组解的判断与求法的笔记,相关证明以及例子见原文

定理

对n元线性方程组 A x = b Ax=b Ax=b,A为系数矩阵, B = ( A ∣ b ) B=(A|b) B=(Ab)为增广矩阵,则有
(1) A x = b Ax=b Ax=b无解 ⇔ R ( A ) < R ( A , b ) \Leftrightarrow R(A)\lt R(A,b) R(A)<R(A,b);
(2) A x = b Ax=b Ax=b有唯一解 ⇔ R ( A ) = R ( A , b ) = n \Leftrightarrow R(A)=R(A,b)=n R(A)=R(A,b)=n;
(3) A x = b Ax=b Ax=b有无穷多解 ⇔ R ( A ) = R ( A , b ) < n \Leftrightarrow R(A)= R(A,b)\lt n R(A)=R(A,b)<n.

推论1

对n元线性方程组 A x = b Ax=b Ax=b,A为系数矩阵, B = ( A ∣ b ) B=(A|b) B=(Ab)为增广矩阵,则有
(1) A x = b Ax=b Ax=b无解 ⇔ R ( A ) < R ( A , b ) \Leftrightarrow R(A)\lt R(A,b) R(A)<R(A,b);
(2) A x = b Ax=b Ax=b有解 ⇔ R ( A ) = R ( A , b ) \Leftrightarrow R(A)=R(A,b) R(A)=R(A,b).

推论2

对n元线性方程组 A x = b Ax=b Ax=b,A为系数矩阵,或A为方阵,则有:
(1) A x = b Ax=b Ax=b有唯一解 ⇔ R ( A ) = n ⇔ ∣ A ∣ ≠ 0 \Leftrightarrow R(A)=n\Leftrightarrow |A|\neq 0 R(A)=nA=0,其解为 x = A − 1 b x=A^{-1}b x=A1b; ( R ( A ) = R ( B ) = n R(A)=R(B)=n R(A)=R(B)=n);
(2) ∣ A ∣ = 0 ⇔ |A|=0\Leftrightarrow A=0有无穷多解或无解.

推论3

对n元线性方程组 A x = 0 Ax=0 Ax=0,A为系数矩阵,方程必有零解,故不存在无解的情况,另外增广矩阵的最后一列为零,故其秩与系数矩阵A相同。
(1) A x = 0 Ax=0 Ax=0只有零解 ⇔ R ( A ) = n \Leftrightarrow R(A)=n R(A)=n;
(2) A x = 0 Ax=0 Ax=0有非零解 ⇔ R ( A ) < n \Leftrightarrow R(A)\lt n R(A)<n.
如果推论3中的A为方阵,则又有如下结论:

推论4

对n元线性方程组 A x = 0 Ax=0 Ax=0,A为系数矩阵且为方阵,则有
(1) A x = 0 Ax=0 Ax=0只有零解 ⇔ R ( A ) = n ⇔ ∣ A ∣ ≠ 0 \Leftrightarrow R(A)=n \Leftrightarrow |A| \neq 0 R(A)=nA=0;
(2) A x = 0 Ax=0 Ax=0有非零解 ⇔ R ( A ) < n ⇔ ∣ A ∣ = 0 \Leftrightarrow R(A) \lt n \Leftrightarrow |A| = 0 R(A)<nA=0.

矩阵方程AX=B

解法

若A是方阵,先确定A是否可逆,若A可逆,则有唯一解 X = A − 1 B X=A^{-1}B X=A1B
若A不是方阵或不可逆,这时需要用待定元素法来求解。设未知矩阵X的元素为 x i j x_{ij} xij,即 X = ( x i j ) X=(x_{ij}) X=(xij),然后根据所给的矩阵方程列出 x i j x_{ij} xij所满足的线性方程组,通过解线性方程组求出所有元素 x i j x_{ij} xij,从而得到X.

解的存在性

设A为m * n矩阵,X为n * l矩阵,则B为m * l矩阵,把X和B按列分块,记为
X = ( x 1 , x 2 , . . . , x l ) , B = ( b 1 , b 2 , . . . b l ) X=(x_1,x_2,...,x_l), B=(b_1,b_2,...b_l) X=(x1,x2,...,xl),B=(b1,b2,...bl)
则矩阵方程 A X = B AX=B AX=B等价于l个向量方程
A x i = b i , ( i = 1 , 2 , . . . l ) Ax_i=b_i, (i=1,2,...l) Axi=bi,(i=1,2,...l)
又设 R ( A ) = r R(A)=r R(A)=r,且A的行最简形矩阵为 A ~ \tilde{A} A~,则 A ~ \tilde{A} A~一定有r个非零行。
再设 ( A , B ) = ( A , b 1 , b 2 , . . . , b i ) ∼ r ( A ~ , b ~ 1 , b ~ 2 , . . . , b ~ l ) (A,B)=(A, b_1, b_2,..., b_i)_{\sim}^r (\tilde{A}, \tilde{b}_1, \tilde{b}_2, ..., \tilde{b}_l) (A,B)=(A,b1,b2,...,bi)r(A~,b~1,b~2,...,b~l)
从而 ( A , b i ) r ∼ ( A ~ , b ~ i ) , ( i = 1 , 2 , . . . , l ) (A,b_i)_r^{\sim}(\tilde{A}, \tilde{b}_i), (i=1,2,...,l) (A,bi)r(A~,b~i),(i=1,2,...,l)
A X = B AX=B AX=B有解
⇔ \Leftrightarrow A x i = b i Ax_i=b_i Axi=bi有解, ( i = 1 , 2 , . . . , l ) (i=1,2,...,l) (i=1,2,...,l)
⇔ \Leftrightarrow R ( A ) = R ( A , b i ) , ( i = 1 , 2 , . . . , l ) R(A)=R(A,b_i), (i=1,2,...,l) R(A)=R(A,bi),(i=1,2,...,l)
⇔ \Leftrightarrow ( A , b i ) (A,b_i) (A,bi)化为行最简形 ( A ~ , b ~ i ) (\tilde{A}, \tilde{b}_i) (A~,b~i),此时 b ~ i \tilde{b}_i b~i的后m-r行全为零, ( i = 1 , 2 , . . . , l ) (i=1,2,...,l) (i=1,2,...,l).
⇔ \Leftrightarrow ( A ~ , b ~ 1 , b ~ 2 , . . . , b ~ l ) (\tilde{A}, \tilde{b}_1, \tilde{b}_2, ..., \tilde{b}_l) (A~,b~1,b~2,...,b~l)的后m-r行全为零,
⇔ \Leftrightarrow R ( A ) = R ( A , B ) R(A)=R(A,B) R(A)=R(A,B).

推论

A B = C AB=C AB=C,则 R ( C ) ≤ m i n { R ( A ) , R ( B ) } R(C)\leq min \{R(A), R(B) \} R(C)min{R(A),R(B)}
证明:
∵ A B = C , ∴ A X = B \because AB=C, \therefore AX=B AB=C,AX=B有解 ⇒ R ( A ) = R ( A , C ) ≥ R ( C ) \Rightarrow R(A)=R(A, C) \geq R(C) R(A)=R(A,C)R(C)
B T A T = C T ∴ B T X = C T B^TA^T=C^T \therefore B^TX=C^T BTAT=CTBTX=CT有解 ⇒ R ( B ) = R ( B T ) = R ( B T , c T ) ≥ R ( C T ) = R ( C ) \Rightarrow R(B)=R(B^T)=R(B^T, c^T) \geq R(C^T)=R(C) R(B)=R(BT)=R(BT,cT)R(CT)=R(C)
∴ R ( C ) ≤ m i n { R ( A ) , R ( B ) } \therefore R(C) \leq min\{R(A), R(B)\} R(C)min{R(A),R(B)}.

相关文章:

第三章,矩阵,09-线性方程组解的判断与求法、矩阵方程

第三章&#xff0c;矩阵&#xff0c;09-线性方程组解的判断与求法、矩阵方程 定理推论1推论2推论3推论4 矩阵方程AXB解法解的存在性推论 玩转线性代数(21)线性方程组解的判断与求法的笔记&#xff0c;相关证明以及例子见原文 定理 对n元线性方程组 A x b Axb Axb&#xff0c;…...

Vue-4.编译器VsCode

准备 Vue-1.零基础学习Vue Vue-2.nodejs的介绍和安装 Vue-3.vue简介 为什么用VsCode VsCode 是Vue官网首推的编译器它是完全免费的 下载安装VsCode 下载地址 安装的时候不停地下一步直到完成即可 安装插件 安装汉化插件 要将 Visual Studio Code&#xff08;VSCode&am…...

Neo4j之Aggregation基础

在 Neo4j 中&#xff0c;聚合&#xff08;Aggregation&#xff09;是对数据进行计算、汇总和统计的过程。以下是一些使用聚合函数的常见例子&#xff0c;以及它们的解释&#xff1a; 计算节点数量&#xff1a; MATCH (p:Person) RETURN count(p) AS totalPersons;这个查询会计…...

Python 函数

Built-in Functions — Python 3.11.4 documentation...

Spring(三):Spring中Bean的生命周期和作用域

前言 在 Spring 中&#xff0c;那些组成应用程序的主体及由 Spring IOC 容器所管理的对象&#xff0c;被称之为 bean。简单地讲&#xff0c;bean 就是由 IOC 容器初始化、装配及管理的对象&#xff0c;除此之外&#xff0c;bean 就与应用程序中的其他对象没有什么区别了。而 b…...

【AutoLayout案例03-设置底部按钮之间相同间距 Objective-C语言】

一、好,咱们继续啊 1.咱们继续把autoLayout介绍一下 咱们的自动布局 给大家介绍一下 那么,自动布局呢 继续咱们给大家做的案例 做几个例子 把这几个例子做完以后 我们再给它 我们再给大家说一下,如何通过代码,来实现自动布局 虽然说,通过代码来实现自动布局,并不推荐 但…...

代码随想录算法训练营20期|第七天|哈希表part02|454.四数相加II ● 383. 赎金信 ● 15. 三数之和 ● 18. 四数之和 ● 总结

454.四数相加II 比较巧思的解法&#xff0c;先把nums1 和nums2的数两两相加&#xff0c;并存储sum和次数 再在nums3和nums4里找对应和sum和为0的数值i,j Time: N^2 Space:N^2, 最坏情况下A和B的值各不相同&#xff0c;相加产生的数字个数为 n^2 class Solution {public int fo…...

NavMeshPlus 2D寻路插件

插件地址:h8man/NavMeshPlus&#xff1a; Unity NavMesh 2D Pathfinding (github.com) 我对Unity官方是深恶痛觉,一个2D寻路至今都没想解决,这破引擎早点倒闭算了. 这插件是githun的开源项目,我本身是有写jps寻路的,但是无法解决多个单位互相阻挡的问题(可以解决但是有性能问…...

【03】基础知识:typescript中的函数

一、typescript 中定义函数的方法 函数声明法 function test1(): string {return 返回类型为string }function test2(): void {console.log(没有返回值的方法) }函数表达式/匿名函数 const test3 function(): number {return 1 }二、typescript 中 函数参数写法 1、typesc…...

ssm社区文化宣传网站源码和论文

ssm社区文化宣传网站源码和论文019 开发工具&#xff1a;idea 数据库mysql5.7 数据库链接工具&#xff1a;navcat,小海豚等 技术&#xff1a;ssm 研究或设计的目的和意义&#xff1a; (一)研究目的&#xff1a; 通过本次课题能够将所学的Java编程知识以及Mysql数据库知…...

Go语言工程实践之测试与Gin项目实践

Go 语言并发编程 及 进阶与依赖管理_软工菜鸡的博客-CSDN博客 03 测试 回归测试一般是QA(质量保证)同学手动通过终端回归一些固定的主流程场景 集成测试是对系统功能维度做测试验证,通过服务暴露的某个接口,进行自动化测试 而单元测试开发阶段&#xff0c;开发者对单独的函数…...

排查docker无法启动问题

查看Linux系统操作日志(最后200行就可以排查)&#xff1a; tail -200f /var/log/messages...

[C++ 网络协议] 套接字和地址族、数据序列

目录 1. 套接字 1.1 在Linux平台下构建套接字 1.1.1 用于接听的套接字(服务器端套接字) 1.1.2 用于发送请求的套接字(客户端套接字) 1.2 在Windows平台下构建套接字 1.2.1 Winsock的初始化 1.2.2 用于接听的套接字(服务器端套接字) 1.2.3 用于发送请求的套接字(客户端套…...

AI 绘画Stable Diffusion 研究(八)sd采样方法详解

大家好&#xff0c;我是风雨无阻。 本文适合人群&#xff1a; 希望了解stable Diffusion WebUI中提供的Sampler究竟有什么不同&#xff0c;想知道如何选用合适采样器以进一步提高出图质量的朋友。 想要进一步了解AI绘图基本原理的朋友。 对stable diffusion AI绘图感兴趣的朋…...

线程池满了如何处理

某天搬砖时遇到一个问题&#xff0c;我创建了一个线程池执行任务&#xff0c;刚开始的时候还是一切&#xff0c;结果第二天发现有些任务没有正常执行。一看日志才发现是高峰期时线程池给我占用慢了&#xff0c;任务被丢掉了。 ​ 举个例子&#xff0c;我创建了一个线程池&#…...

Java多线程编程中的线程间通信

Java多线程编程中的线程间通信 基本概念&#xff1a; ​ 线程间通信是多线程编程中的一个重要概念&#xff0c;指的是不同线程之间如何协调和交换信息&#xff0c;以达到共同完成任务的目的。 线程间通信的目的 ​ 是确保多个线程能够按照一定的顺序和规则进行协作&#xff…...

write javaBean error, fastjson version 1.2.76

fastjson JSON.toJSONString 报错&#xff1a; > [0] JavaBeanSerializer.java->541: com.alibaba.fastjson.serializer.JavaBeanSerializer->write()> [1] JavaBeanSerializer.java->154: com.alibaba.fastjson.serializer.JavaBeanSerializer->write()>…...

Tomcat的部署及优化(多实例和动静分离)

目录 绪论 1、tomact 1.1 核心组件 1.2 什么是 servlet 1.3 什么是 JSP? 1.4 Tomcat 功能组件结构 1.5 Tomcat 请求过程 2、Tomcat 服务部署 2.1 tomcat自身优化&#xff1a; 2.2 内核优化 2.3 jvm 2.3.1 jvm配置 2.3.2 Tomcat配置JVM参数 2.3.3 jvm优化 3、tom…...

品牌推广革新之道:海外网红与内容营销的融合

随着数字时代的来临&#xff0c;品牌推广的方式正在经历着革命性的变化。传统的广告手段逐渐失去了吸引力&#xff0c;而内容营销正成为品牌推广的新宠儿。尤其是海外网红的崛起&#xff0c;不仅改变了推广方式&#xff0c;更重新定义了品牌与消费者之间的互动关系。本文Nox聚星…...

【 BERTopic应用 02/3】 分析卡塔尔世界杯推特数据

摄影&#xff1a;Fauzan Saari on Unsplash 一、说明 这是我们对世界杯推特数据分析的第3部分&#xff0c;我们放弃了。我们将对我们的数据进行情绪分析&#xff0c;以了解人们对卡塔尔世界杯的感受。我将在这里介绍的一个功能强大的工具包是Hugging Face&#xff0c;您可以在…...

Docker 离线安装指南

参考文章 1、确认操作系统类型及内核版本 Docker依赖于Linux内核的一些特性&#xff0c;不同版本的Docker对内核版本有不同要求。例如&#xff0c;Docker 17.06及之后的版本通常需要Linux内核3.10及以上版本&#xff0c;Docker17.09及更高版本对应Linux内核4.9.x及更高版本。…...

Qt/C++开发监控GB28181系统/取流协议/同时支持udp/tcp被动/tcp主动

一、前言说明 在2011版本的gb28181协议中&#xff0c;拉取视频流只要求udp方式&#xff0c;从2016开始要求新增支持tcp被动和tcp主动两种方式&#xff0c;udp理论上会丢包的&#xff0c;所以实际使用过程可能会出现画面花屏的情况&#xff0c;而tcp肯定不丢包&#xff0c;起码…...

shell脚本--常见案例

1、自动备份文件或目录 2、批量重命名文件 3、查找并删除指定名称的文件&#xff1a; 4、批量删除文件 5、查找并替换文件内容 6、批量创建文件 7、创建文件夹并移动文件 8、在文件夹中查找文件...

FFmpeg 低延迟同屏方案

引言 在实时互动需求激增的当下&#xff0c;无论是在线教育中的师生同屏演示、远程办公的屏幕共享协作&#xff0c;还是游戏直播的画面实时传输&#xff0c;低延迟同屏已成为保障用户体验的核心指标。FFmpeg 作为一款功能强大的多媒体框架&#xff0c;凭借其灵活的编解码、数据…...

USB Over IP专用硬件的5个特点

USB over IP技术通过将USB协议数据封装在标准TCP/IP网络数据包中&#xff0c;从根本上改变了USB连接。这允许客户端通过局域网或广域网远程访问和控制物理连接到服务器的USB设备&#xff08;如专用硬件设备&#xff09;&#xff0c;从而消除了直接物理连接的需要。USB over IP的…...

深入浅出深度学习基础:从感知机到全连接神经网络的核心原理与应用

文章目录 前言一、感知机 (Perceptron)1.1 基础介绍1.1.1 感知机是什么&#xff1f;1.1.2 感知机的工作原理 1.2 感知机的简单应用&#xff1a;基本逻辑门1.2.1 逻辑与 (Logic AND)1.2.2 逻辑或 (Logic OR)1.2.3 逻辑与非 (Logic NAND) 1.3 感知机的实现1.3.1 简单实现 (基于阈…...

腾讯云V3签名

想要接入腾讯云的Api&#xff0c;必然先按其文档计算出所要求的签名。 之前也调用过腾讯云的接口&#xff0c;但总是卡在签名这一步&#xff0c;最后放弃选择SDK&#xff0c;这次终于自己代码实现。 可能腾讯云翻新了接口文档&#xff0c;现在阅读起来&#xff0c;清晰了很多&…...

从 GreenPlum 到镜舟数据库:杭银消费金融湖仓一体转型实践

作者&#xff1a;吴岐诗&#xff0c;杭银消费金融大数据应用开发工程师 本文整理自杭银消费金融大数据应用开发工程师在StarRocks Summit Asia 2024的分享 引言&#xff1a;融合数据湖与数仓的创新之路 在数字金融时代&#xff0c;数据已成为金融机构的核心竞争力。杭银消费金…...

MySQL 索引底层结构揭秘:B-Tree 与 B+Tree 的区别与应用

文章目录 一、背景知识&#xff1a;什么是 B-Tree 和 BTree&#xff1f; B-Tree&#xff08;平衡多路查找树&#xff09; BTree&#xff08;B-Tree 的变种&#xff09; 二、结构对比&#xff1a;一张图看懂 三、为什么 MySQL InnoDB 选择 BTree&#xff1f; 1. 范围查询更快 2…...

从“安全密码”到测试体系:Gitee Test 赋能关键领域软件质量保障

关键领域软件测试的"安全密码"&#xff1a;Gitee Test如何破解行业痛点 在数字化浪潮席卷全球的今天&#xff0c;软件系统已成为国家关键领域的"神经中枢"。从国防军工到能源电力&#xff0c;从金融交易到交通管控&#xff0c;这些关乎国计民生的关键领域…...