MIT18.06线性代数课程笔记3b：矩阵的逆元

课程简介

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

课程笔记

这节课主要介绍矩阵的逆元，给出了逆元的定义、判断是否有逆元的几种方法 以及 逆元的计算方法。

1. 逆元的定义

逆元的定义很简单，从乘法定义可以直接导出。因为矩阵乘法不满足交换律，所以可以定义左逆元和右逆元。其中左逆元为$A^{-1}A=I$，而右逆元则为$AA^{-1}=I$。

然后Strang给出了结论：对于方阵$A$（即$A$的行数和列数相等）有$A^{-1}A=I=AA^{-1}$，即方阵的左右逆元相等。这个结论并没有给出推导，笔者猜测应该是会用到后面介绍的概念。

2. 判断是否有逆元的方法

1. 最简单的方法就是穷举所有可能矩阵，发现不存在矩阵与之相乘为单位阵。这个方法明显不可取。
2. 利用左乘一个矩阵实际等于对$A$的行向量做线性组合，所以只有 A