MIT18.06线性代数课程笔记8：求解Ax=b、矩阵的秩以及矩阵的逆_已知xa=b,求矩阵x的秩-程序员宅基地

技术标签：麻省理工矩阵线性代数 mit18-06 MIT18.06线性代数课程笔记

课程简介

18.06是Gilbert Strang教授在MIT开的线性代数公开课，课程视频以及相关资料请见https://ocw.mit.edu/courses/mathematics/18-06-linear-algebra-spring-2010/index.htm。

课程笔记

1. 求解Ax=b

这里涉及两个问题：1. 是否有解 2. 如何求解

1.1. 是否有解

有两种方法：1. $b\in C(A)\Leftrightarrow \exists x\in R^n, Ax=b$ , where $A_{m\times n}$ 2. 对增广矩阵消元， $b$ 所在列不是pivot column。

对于第一种方法，如MIT18.06线性代数课程笔记6：vector space，subspace，column space，null space所述， $Ax$ 是 $A$ 的列向量的线性组合，所以 $Ax\in C(A)$ ，而且 $\forall v\in C(A), \exists x, Ax=c$ 。由此可证明第一个方法。但是这只是理论上的结论，实际应用中不如消元法方便。

如MIT18.06线性代数课程笔记7：使用消元法求解Null space中所述，对矩阵 $A$ 消元， $A=LU$ ，可以得到pivot column和free column，且有任意free column都可以表示为所有pivot column的线性组合（更严格的结论是任意free column都可以表示为之前列的线性组合）。证明也很容易，因为if $c=Ax\Leftrightarrow Ec=EAx$ ，since $E$ is invertible。所以对增广矩阵 $[A|b]$ 做消元，即 $E[A|b]=[U|b']$ ，若 $u'_i=0$ ，即 $U$ 的第 $i$ 行为0， $b'_i\neq 0$ ，则 $Ax=b$ 无解，因为 $b'$ 是 $[U|b']$ 的pivot column。所以 $b'\notin C(U)$ 。

1.2. 如何求解

如果有解的情况下如何求解的问题在MIT18.06线性代数课程笔记6：vector space，subspace，column space，null space有所阐述。具体地，就是先求解一个特解 $x_p$ ， $x_p$ 的获取比较随意，常用方法是对增广矩阵做消元之后令free column取0，这样就可以得到唯一解。然后因为 $\forall x\in R^n, Ax=b\Rightarrow A(x-x_p)=0\Rightarrow x-x_p\in N(A)$ ，固所有解集为 $\{x:x=x_p+x_n,\forall x_n\in N(A)\}$ 。至于 $N(A)$ 的求解方法详见MIT18.06线性代数课程笔记7：使用消元法求解Null space，简单的说就是令free column取值为 $n-r$ 个线性无关的基向量，然后求解 $Ax=0$ ，得到 $n-r$ 个 $N(A)$ 的基向量。

2. 矩阵的秩

矩阵的秩现在的定义是消元后主元的个数，也是pivot column的个数，使用 $r$ 表示。

设 $A_{m\times n}$ ，容易证明 $r\le m$ , $r\le n$ 。

并且通过 $r$ 与 $n,m$ 的关系，可以判断矩阵是否有解，以及解集的维数。

2.1. $r==m\Rightarrow$ 必定有解

笔者想到两种证明方法，一是 $U$ 中不存在零行，所以任意 $b'$ 都可以；二是有 $m$ 个pivot column，即有 $m$ 个线性无关基向量，其线性组合遍布整个 $R^m$ 。

2.2. $r==n\Rightarrow$ 有解必然唯一解

行满秩的情况下，没有free column，所以 $N(A)=\{\vec 0\}$ ，解集为 $\{x_p\}$ 。

但是不一定有解，因为 $n$ 个 $m$ 维向量构成的子空间维度为 $n$ ，不遍布 $R^m$ 。对于大多数的 $b$ 都无解。

2.3. $r==m==n\Rightarrow$ 有解且唯一解

行列均满秩的情况下，由上诉两个结论可知有解且唯一解。

2.4. 秩与可逆的关系

目前只讨论左逆元，即 $A^{-1}A=I$ ，则有只有 $r==n$ 时有逆元。即列满秩是 $A$ 存在左逆元的充要条件。

列满秩 $\Rightarrow$ $A$ 有左逆元

如上所述，因为列满秩，所以 $\exists E,EA=\begin{bmatrix}I\\0\end{bmatrix}$ 。即 $\exists E_1,E_2, \begin{bmatrix}E_1\\E_2\end{bmatrix}A=\begin{bmatrix}I\\0\end{bmatrix}\Rightarrow\exists E_1,E_1A=I$ 。 $E_1$ 即为 $A^{-1}$ ，所以 $A$ 存在左逆元。
$A$ 有左逆元 $\Rightarrow$ 列满秩

因为 $r(A^{-1}A)=n\le r(A)\le n\Rightarrow r(A)=n$ 。

本文链接：https://blog.csdn.net/silent56_th/article/details/78265936

原作者删帖不实内容删帖广告或垃圾文章投诉

智能推荐

什么是内部类？成员内部类、静态内部类、局部内部类和匿名内部类的区别及作用？_成员内部类和局部内部类的区别-程序员宅基地

文章浏览阅读3.4k次，点赞8次，收藏42次。一、什么是内部类？or 内部类的概念内部类是定义在另一个类中的类；下面类TestB是类TestA的内部类。即内部类对象引用了实例化该内部对象的外围类对象。public class TestA{ class TestB {}}二、为什么需要内部类？or 内部类有什么作用？1、内部类方法可以访问该类定义所在的作用域中的数据，包括私有数据。2、内部类可以对同一个包中的其他类隐藏起来。3、当想要定义一个回调函数且不想编写大量代码时，使用匿名内部类比较便捷。三、内部类的分类成员内部_成员内部类和局部内部类的区别

分布式系统_分布式系统运维工具-程序员宅基地

文章浏览阅读118次。分布式系统要求拆分分布式思想的实质搭配要求分布式系统要求按照某些特定的规则将项目进行拆分。如果将一个项目的所有模板功能都写到一起，当某个模块出现问题时将直接导致整个服务器出现问题。拆分按照业务拆分为不同的服务器，有效的降低系统架构的耦合性在业务拆分的基础上可按照代码层级进行拆分(view、controller、service、pojo)分布式思想的实质分布式思想的实质是为了系统的..._分布式系统运维工具

用Exce分析l数据极简入门_exce l趋势分析数据量-程序员宅基地

文章浏览阅读174次。1.数据源准备2.数据处理step1：数据表处理应用函数：①VLOOKUP函数; ② CONCATENATE函数终表：step2：数据透视表统计分析（1）透视表汇总不同渠道用户数, 金额（2）透视表汇总不同日期购买用户数，金额（3）透视表汇总不同用户购买订单数，金额step3：讲第二步结果可视化, 比如, 柱形图（1）不同渠道用户数, 金额（2）不同日期..._exce l趋势分析数据量

宁盾堡垒机双因素认证方案_horizon宁盾双因素配置-程序员宅基地

文章浏览阅读3.3k次。堡垒机可以为企业实现服务器、网络设备、数据库、安全设备等的集中管控和安全可靠运行，帮助IT运维人员提高工作效率。通俗来说，就是用来控制哪些人可以登录哪些资产（事先防范和事中控制），以及录像记录登录资产后做了什么事情（事后溯源）。由于堡垒机内部保存着企业所有的设备资产和权限关系，是企业内部信息安全的重要一环。但目前出现的以下问题产生了很大安全隐患：密码设置过于简单，容易被暴力破解；为方便记忆，设置统一的密码，一旦单点被破，极易引发全面危机。在单一的静态密码验证机制下，登录密码是堡垒机安全的唯一_horizon宁盾双因素配置

谷歌浏览器安装（Win、Linux、离线安装）_chrome linux debian离线安装依赖-程序员宅基地

文章浏览阅读7.7k次，点赞4次，收藏16次。Chrome作为一款挺不错的浏览器，其有着诸多的优良特性，并且支持跨平台。其支持（Windows、Linux、Mac OS X、BSD、Android），在绝大多数情况下，其的安装都很简单，但有时会由于网络原因，无法安装，所以在这里总结下Chrome的安装。Windows下的安装：在线安装：离线安装：Linux下的安装：在线安装：离线安装：..._chrome linux debian离线安装依赖

烤仔TVの尚书房 | 逃离北上广？不如押宝越南“北上广”-程序员宅基地

文章浏览阅读153次。中国发达城市榜单每天都在刷新，但无非是北上广轮流坐庄。北京拥有最顶尖的文化资源，上海是“摩登”的国际化大都市，广州是活力四射的千年商都。GDP和发展潜力是衡量城市的数字指...

随便推点

java spark的使用和配置_使用java调用spark注册进去的程序-程序员宅基地

文章浏览阅读3.3k次。前言spark在java使用比较少，多是scala的用法，我这里介绍一下我在项目中使用的代码配置详细算法的使用请点击我主页列表查看版本jar版本说明spark3.0.1scala2.12这个版本注意和spark版本对应，只是为了引jar包springboot版本2.3.2.RELEASEmaven <dependency> <gro_使用java调用spark注册进去的程序

汽车零部件开发工具巨头V公司全套bootloader中UDS协议栈源代码，自己完成底层外设驱动开发后，集成即可使用_uds协议栈源代码-程序员宅基地

文章浏览阅读4.8k次。汽车零部件开发工具巨头V公司全套bootloader中UDS协议栈源代码，自己完成底层外设驱动开发后，集成即可使用，代码精简高效，大厂出品有量产保证。:139800617636213023darcy169_uds协议栈源代码

AUTOSAR基础篇之OS(下)_autosar 定义了 5 种多核支持类型-程序员宅基地

文章浏览阅读4.6k次，点赞20次，收藏148次。AUTOSAR基础篇之OS(下)前言首先，请问大家几个小小的问题，你清楚：你知道多核OS在什么场景下使用吗？多核系统OS又是如何协同启动或者关闭的呢？AUTOSAR OS存在哪些功能安全等方面的要求呢？多核OS之间的启动关闭与单核相比又存在哪些异同呢？。。。。。。今天，我们来一起探索并回答这些问题。为了便于大家理解，以下是本文的主题大纲：[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-JCXrdI0k-1636287756923)(https://gite_autosar 定义了 5 种多核支持类型

VS报错无法打开自己写的头文件_vs2013打不开自己定义的头文件-程序员宅基地

文章浏览阅读2.2k次，点赞6次，收藏14次。原因：自己写的头文件没有被加入到方案的包含目录中去，无法被检索到，也就无法打开。将自己写的头文件都放入header files。然后在VS界面上，右键方案名，点击属性。将自己头文件夹的目录添加进去。_vs2013打不开自己定义的头文件

【Redis】Redis基础命令集详解_redis命令-程序员宅基地

文章浏览阅读3.3w次，点赞80次，收藏342次。此时，可以将系统中所有用户的 Session 数据全部保存到 Redis 中，用户在提交新的请求后，系统先从Redis 中查找相应的Session 数据，如果存在，则再进行相关操作，否则跳转到登录页面。此时，可以将系统中所有用户的 Session 数据全部保存到 Redis 中，用户在提交新的请求后，系统先从Redis 中查找相应的Session 数据，如果存在，则再进行相关操作，否则跳转到登录页面。当数据量很大时，count 的数量的指定可能会不起作用，Redis 会自动调整每次的遍历数目。_redis命令

URP渲染管线简介-程序员宅基地

文章浏览阅读449次，点赞3次，收藏3次。URP的设计目标是在保持高性能的同时，提供更多的渲染功能和自定义选项。与普通项目相比，会多出Presets文件夹，里面包含着一些设置，包括本色，声音，法线，贴图等设置。全局只有主光源和附加光源，主光源只支持平行光，附加光源数量有限制，主光源和附加光源在一次Pass中可以一起着色。URP：全局只有主光源和附加光源，主光源只支持平行光，附加光源数量有限制，一次Pass可以计算多个光源。可编程渲染管线：渲染策略是可以供程序员定制的，可以定制的有：光照计算和光源，深度测试，摄像机光照烘焙，后期处理策略等等。_urp渲染管线