当前位置: 首页 > 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)}.

http://www.lryc.cn/news/124593.html

相关文章:

  • Vue-4.编译器VsCode
  • Neo4j之Aggregation基础
  • Python 函数
  • Spring(三):Spring中Bean的生命周期和作用域
  • 【AutoLayout案例03-设置底部按钮之间相同间距 Objective-C语言】
  • 代码随想录算法训练营20期|第七天|哈希表part02|454.四数相加II ● 383. 赎金信 ● 15. 三数之和 ● 18. 四数之和 ● 总结
  • NavMeshPlus 2D寻路插件
  • 【03】基础知识:typescript中的函数
  • ssm社区文化宣传网站源码和论文
  • Go语言工程实践之测试与Gin项目实践
  • 排查docker无法启动问题
  • [C++ 网络协议] 套接字和地址族、数据序列
  • AI 绘画Stable Diffusion 研究(八)sd采样方法详解
  • 线程池满了如何处理
  • Java多线程编程中的线程间通信
  • write javaBean error, fastjson version 1.2.76
  • Tomcat的部署及优化(多实例和动静分离)
  • 品牌推广革新之道:海外网红与内容营销的融合
  • 【 BERTopic应用 02/3】 分析卡塔尔世界杯推特数据
  • TypeScript教程(三)变量声明
  • 【数据结构】堆的实现,堆排序以及TOP-K问题
  • 释放马氏距离的力量:用 Python 探索多元数据分析
  • 【不限于联想Y9000P电脑关盖再打开时黑屏的解决办法】
  • 策略模式实战应用
  • JAVA集合-Map
  • 利用Simulink Test进行模型单元测试 - 1
  • 深入探讨代理技术:保障网络安全与高效爬虫
  • HDMI接口的PCB布局布线要求
  • Linux tar包安装 Prometheus 和 Grafana(知识点:systemd Unit/重定向)
  • 【Vue框架】用户和请求