加载中…
可逆性连接可逆的矩阵作用、每个右端对应的唯一解,以及逆矩阵的代数性质。
方阵可能把不同输入送到同一个输出,也可能无法产生某些输出。逆矩阵要完全撤销原矩阵的作用,就必须保证每个输出都恰好对应一个输入。因此,可逆性与方程组 的解集直接相关。除非另有说明,矩阵元素均取实数。
矩阵乘法必须保持因子次序,每一步合法的初等行变换都可逆。方程组 有唯一解,当且仅当它一致,且化简后每个变量列都有主元。可逆性将保证每个维数适当的右端都满足这个条件。
定义 5.1.1
(左逆与右逆)
设 是一个 矩阵。
对长方形矩阵,左逆或右逆可以单独存在;但若两者都存在,它们必定相同。方阵还具有更强的性质:只要任意一侧的逆存在,另一侧的逆也存在。
定义 5.1.2
(可逆矩阵)
如果 是一个 方阵,并且存在另一个 矩阵 使得
那么 称为可逆。矩阵 称为 的逆矩阵,记作 。
定理 5.1.3
(逆矩阵是唯一的)
设 是 矩阵, 是 矩阵。若 是 的左逆, 是右逆,则 。特别地,可逆方阵恰好有一个逆矩阵。
证明
(为什么逆矩阵唯一)
假设给出 与 。由结合律,
这里没有交换任何因子。可逆方阵的任意两个逆矩阵都满足这些假设,因此必定相同。
逆矩阵的定义要求恢复每个输入向量。对角矩阵尤其容易显示这种作用。
例题 5.1.4
(对角矩阵最容易看出逆矩阵)
设
那么
原因很直接:对角线上的非零元素变成倒数,其余位置的零保持不变。把 和 相乘,就会得到 。
定理 5.1.5
(识别可逆矩阵的等价条件)
设 是实 矩阵。以下条件等价:
等价地, 的列向量线性独立,或它们张成 。这些条件成立时,唯一解为 。
证明
(方阵假设在等价性证明中的作用)
若 是左逆,则 蕴含 。反过来,设齐次系统只有零解。在 的任意最简行阶梯形中,自由变量都会产生一个非零齐次解,因此每列都有主元。由于 是方阵,恰有 个主元行,所得最简行阶梯形必为 。
若行变换乘积 满足 ,反向链说明 可逆,而且 。因此 可逆,并且本身是初等矩阵的乘积。反过来,这类乘积可逆,而逆矩阵尤其是左逆。这就连接了条件 1–4 和 6,并没有假设 RREF 唯一。
现设 。此时 是方阵 的左逆,刚证明的左逆判别使 可逆,从而 可逆。这就证明了右逆判别,没有擅自颠倒乘积。
若每个 都一致,对 的第 列 选择解 ,使 。令 ,便有 ,可用右逆判别。最后,若 可逆,则 证明解存在;任意解 都满足 ,所以解唯一。每个右端都有唯一解,自然蕴含每个右端都有解。
列向量的说法只是翻译:线性独立等价于 只有零系数向量;张成则表示每个 都有表示 。这里没有额外增加列向量的假设。
每个初等行变换矩阵都可逆,逆矩阵编码对应的反向操作,证明见 3.5 初等行变换矩阵。若按时间顺序施加的操作对应 ,合并左乘矩阵就是 。
每一步都须作用于整个增广矩阵,因此
若左块变成 ,则 。由于 可逆,有 ,右块 正是 。若左块化简后缺少主元,方阵便不满足上面的等价条件。这一方法同时判断可逆性和计算逆矩阵;右块再复杂,也不能补救左块缺少主元的问题。
沿着行化简背后的可逆性字典:可逆行变换把 A 化成 I 时,右边区块正好成为 A^{-1}。
可逆行变换
每个初等行变换都是左乘一个可逆矩阵,所以整段化简会记录一个累积乘积。
化到单位矩阵
若 E_k...E_1A=I,那么累积乘积 E_k...E_1 就是 A^{-1}。
增广求逆法
把同一批行变换作用在 [A|I] 上;当左边化成 I,右边就是 A^{-1}。
失败信号
若缺少主元,左边不能化成 I。等价地,Ax=0 有非零解,所以 A 是奇异矩阵。
等价字典
可逆、非奇异、与 I 行等价、零空间只有零向量、每个 b 有唯一解,是同一套条件。
对方阵来说,行化简测试、逆矩阵公式、零空间测试与唯一可解性,说的是同一件事。
跟着看一个用行化简求逆的例子
对整个增广矩阵 逐步做行变换。左边变成 I 时,从右边读出 。
[A | I]
| 1 | 2 | 1 | 1 | 0 | 0 |
| 0 | 1 | 1 | 0 | 1 | 0 |
| 2 | 3 | 4 | 0 | 0 | 1 |
1本步所用的主元0本步改动竖线左边:A;右边:同一组行变换作用于 I
由 A = [[1,2,1],[0,1,1],[2,3,4]] 开始,在右边接上 I。每次行变换都必须作用于该行全部六个元素;右边记录同一组行变换对 I 的作用。
左边还未到行阶梯形
左边第 3 行第 1 列仍是 2,没有在第 2 行主元的右方。A 是否可逆尚未判定。
要留意行变换作用于 [A | I] 的整行,包括右边;否则右边就不再记录对 I 所做的变换。
跟着走完一条行化简路径
每一步做一组初等行变换。留意主元上下的元素怎样逐个变成 0。
先在第 1 列选主元。
| 1 | 2 | 2 | 4 |
| 1 | 3 | 3 | 5 |
| 2 | 6 | 5 | 6 |
1正在处理的主元0本步改动竖线右边:常数
先由增广矩阵开始。第一个主元的工作,是帮我们把它下面的元素清掉。
还未到行阶梯形
第 2 行第 1 列仍是 1,没有在第 1 行主元的右方。
要留意第 1 列的第一行已经有方便的主元 1,所以暂时不用换行。
按已知资料选择判别:主元、单侧逆等式、非零零空间向量,或所有右端的可解性。
例题 5.1.6
(非零零空间向量可以证明不可逆)
设 是方阵,并且
那么 不可能可逆。理由是:若 存在,把 左乘 ,就会得到
左边等于 ,右边等于 ,于是会推出 。这和已知的非零向量矛盾。因此,只要找到一个非零的 解,就已经证明 是奇异矩阵。
例题 5.1.7
(用逆矩阵解方程组)
设
若 ,两边左乘 :
逆矩阵不只是“把 反过来”的符号,它给出了唯一解的明确公式。
定理 5.1.8
(行等价等同于左乘一个可逆矩阵)
设 和 是有 行的矩阵。以下命题等价:
并且一旦 ,就同时有
行变换链给出这样的乘积 。反过来,等价字典把任意可逆的 表成初等矩阵的乘积,所以 可由相应行变换从 得到。左乘 就能恢复 。
例题 5.1.9
(把行等价读成一条矩阵等式)
设
矩阵 正是行变换
对应的行变换矩阵。所以
如果把这个新矩阵记作 ,那么就有 。这一条等式已经完整记录了这次行变换。因为 可逆,所以 和 行等价。
定理 5.1.10
(行变换保留对应列向量之间的线性关系)
设 和 是行等价的 矩阵,并把它们的列写成
如果
那么必然有
特别地,对应列之间的线性相关和线性独立,都会被行等价保留。
左乘 把关系向前传递,左乘 则恢复原关系。因此同一组系数关系在两个方向都成立,也就证明了线性相关与线性独立均被保留。列向量本身通常会改变。完整的 RREF 唯一性证明及其与秩的关系,见 5.2 RREF 的唯一性与秩。
定理 5.1.11
(方阵乘积可逆当且仅当各因子可逆)
设 是实 矩阵。 可逆,当且仅当 都可逆。此时
证明
(先构造逆矩阵,再使用它的名称)
先假设两个因子都可逆,并令 。用结合律核对两侧:
现在才能断言 。反向次序使互逆因子彼此相邻;论证没有使用交换律。
证明反向时,假设 可逆,记 。此时还不能使用 或 ,应先写出
于是 有右逆, 有左逆。两个因子都是同阶方阵,所以前面已证明的单侧逆判别保证它们可逆。这一步调用等价字典,正是反向证明的关键。
由归纳法,同阶方阵的有限乘积可逆,当且仅当每个因子都可逆,而且
定理 5.1.12
(转置、数乘与整数幂)
若 可逆,则 ,且 。对非零实数 ,有 。
每个整数幂 都可逆,且 。这里 ;对正整数 ,定义 。
转置公式来自对两条互逆等式取转置,此时因子次序反转。数乘公式可在左右两个乘积中约去 与 ;正整数幂来自乘积定理,负整数幂则对 使用该定理,零次幂就是单位矩阵。对正整数 , 可逆也能反推 可逆;但 时反推不成立,因为奇异方阵仍满足 。
定理 5.1.13
(方阵情形下,一侧单位等式已经足够)
设 和 是同大小方阵。若
则 和 都可逆,而且
例题 5.1.14
(由 得到循环恒等式)
假设 都是 矩阵,且
先把乘积分组成
由一侧单位等式的定理, 和 互为逆矩阵。因此
再用已经证明的循环等式继续分组,可以得到
所以 、 和 确实必然等于 。但像 或 这些任意重排则没有被迫成立;矩阵乘法仍然不可交换。
例题 5.1.15
(用行化简求逆矩阵)
设
先写出 :
先消去左下角的 3:
再把第二行除以 ,然后清掉第一行第二列:
因此
例题 5.1.16
(由行化简得到参数化逆矩阵)
对实数 ,令
从 开始,同时对左右两半施行 和 ,得到
左半边四个主元已经都是 。按下列顺序消去其余非零项:
第一步后,右半边第三行成为 。右半边第二、四行分别为 、;第一行的三次操作因此给出 。每步只加上另一行的倍数,没有除以任何含参数的表达式,故对每个实数 都合法且可逆。最终增广矩阵为
由于左边对每个实数 都是 ,矩阵 对每个实数 都可逆,而且
请注意这个结论的意思。参数仍然留在逆矩阵中;它不是需要解出的未知数。行化简真正说明的是:没有任何 会让左边失去主元。
常见错误
(不要把每个参数都当成限制条件)
有时参数出现,是因为答案是一族逆矩阵,而不是因为矩阵在某些值下失效。限制来自缺少主元或非法除以零,不是来自符号本身。
例题 5.1.17
(一对互逆矩阵与转置系统)
假设一个行化简表格显示 与 行等价,其中
这个最终形状本身已经说明
对应的系数矩阵为
直接相乘可得 ,验证了这对矩阵互为逆矩阵。现在令
要求解 ,不需要从头再行化简一次。因为 可逆,所以 也可逆,并且
因此
这个计算很短,是因为行化简表格已经完成了主要工作。
例题 5.1.18
(用主元列读四个逆矩阵计算)
以下每个矩阵都用同一个方法处理:先行化简 ,先看左边区块的主元模式;只有当左边区块变成 时,右边区块才可读作逆矩阵。
情况 (a)。 对
其中一个行阶梯阶段的左边区块是
第四列没有主元,所以 不可逆。
情况 (b)。 取前一个互逆矩阵例子中的 。行化简得到 ,四列都有主元,所以 。前面用来解转置系统的同一个矩阵,在这里给出了一个可逆的情形。
情况 (c)。 对
其中一个行阶梯阶段的左边区块是
同样有主元列缺失,所以 不可逆。
情况 (d)。 对
行化简可达到 ,其中
在情况 (b) 与 (d) 中,左边的单位矩阵确认了可逆性。在情况 (a) 与 (c) 中,缺少主元就已排除可逆性,右边区块的数值并不能改变这个结论。
例题 5.1.19
(最后的单位区块控制整条行操作链)
假设一条行操作链把 经过中间矩阵 ,最后化成 。在最后几步之后,所得增广矩阵是
左边区块是 ,所以 ,而
于是可以立即推出 可逆,且
同一条行操作链也可以被读成一次左乘。令 为整条链中所有行操作矩阵的乘积。因为 且 ,所以 。因此,如果同一批行操作把 化成 ,就有
左乘 得到
所以
同一条行操作链对每个矩阵的作用,都是左乘同一个矩阵 。因此,这次数值化简也确定了关于 的方程。
例题 5.1.20
(由向量恒等式证明可逆)
假设 是 矩阵,而且
对每个 都成立。把含有 的项移到左边:
因为 ,这就是
若两个矩阵作用在每个向量上的结果都相同,它们就是同一个矩阵,所以
因此 是 的左逆。由于 是方阵,一侧单位等式已经足够推出: 可逆,而且其逆矩阵是 。
例题 5.1.21
(用反证法证明某个多项式矩阵不可逆)
假设 和 是两个不同的 矩阵,且
我们证明 不可逆。令
先比较 与 :
而
利用已知的 和 ,可得
如果 可逆,左乘 就会得到 ,这与 、 不同矛盾。所以 不可逆。
常见错误
(不要把长方形矩阵的一侧逆当成另一侧逆)
对于非方阵,有左逆并不保证有右逆,有右逆也不保证有左逆;若两侧逆都存在,则必定相同。对于方阵,前面的等价性定理保证:任意一侧逆的存在,都能推出唯一的双侧逆存在。
常见错误
(不要只凭外表判断可逆性)
一个矩阵看起来简单,也不代表它一定可逆。正确方法是行化简,或者使用上面列出的等价条件。
常见错误
(不要在未证明时任意交换因子)
由 可以通过逆矩阵理论推出某些循环恒等式,例如 。但这不代表可以把因子任意改排成 ;除非已知矩阵彼此可交换,否则不能这样做。
快速检查
(如果 可逆, 是什么?)
直接用逆矩阵的定义。
。
快速检查
(如果 可逆,齐次方程组 会不会有非零解?)
用唯一解的结论来想。
不会。因为可逆时, 对每个 都有唯一解;取 时,唯一解就是 。
快速检查
(如果 可逆, 是否可逆?)
使用上面的转置定理。
是。 可逆,而且 。
快速检查
(若 ,而 可逆,同时 的列满足 ,那么 的对应列必须满足什么关系?)
保留同一组系数,并用 。
的对应列必须满足
行等价会改变列向量本身,但不会改变线性关系所使用的系数模式。
快速检查
(假设 都是方阵,且 。哪一个循环等式必然成立: 还是 ?)
把原式分组成 。
必然成立。因为 ,方阵的一侧单位等式定理说明 是 的逆矩阵,所以 。而 是把因子倒序重排,通常不会被原式保证。
快速检查
(在上面的参数化逆矩阵中,当 时, 的 元素是多少?)
把 代入第一行第四列。
元素是 ,所以当 时,它等于 。
快速检查
(若对每个向量 都有 ,哪个矩阵可作为 的逆矩阵?)
把所有项移到同一边,再寻找含有 的因式分解。
逆矩阵是 。向量恒等式给出 ;对方阵而言,这个一侧单位等式足以推出 可逆。
快速检查
(若行操作把 化成 , 是什么?)
只有在确认左边区块是单位矩阵后,才读取右边区块。
。同一批把 化成 的行操作,会把 化成 的逆矩阵。
快速检查
(行变换把 化成 ,其中 是方阵。说明为什么除了 ,还必有 。)
区分行操作乘积直接给出的等式,与方阵单侧逆定理补上的结论。
设初等矩阵的乘积为 ,两个分块直接给出 和 。因此 ,并且 。由于 与 是同阶方阵,左逆也必是右逆,所以 且 。最后这个推论必须使用方阵假设。
快速检查
(假设 可逆,而且 。证明 。)
可以利用逆矩阵唯一性,也可以左乘 。
因为 可逆,所以存在 。把等式 左乘 ,得到
由结合律,
而 ,所以
因此任何可逆方阵的右逆都必定等于它的逆矩阵。
快速检查
(假设 ,其中 和 是方阵。证明 和 可交换。)
先使用方阵的一侧单位等式定理,再展开 。
由 ,方阵的一侧单位等式定理给出
现在计算交换子:
把两部分重新分组:
以及
因此
所以 ,即 和 可交换。
这一页特别依赖 2.3 高斯消元与 RREF、 3.2 矩阵乘法、单位矩阵与线性方程组 和 3.3 转置、对称矩阵与反对称矩阵。
零空间只有零向量与解的唯一性之间的关系,见 4.1 齐次方程组与零空间。