第八章 矩阵的广义逆
核心导读: 普通逆矩阵只适用于可逆方阵,但实际方程常遇到矩形、降秩、无解或多解。本章通过广义逆和唯一的Moore-Penrose伪逆统一这些情形:相容时挑出最小范数解,不相容时给出最小二乘解,并借助满秩分解或SVD稳定计算。
一、为什么需要广义逆
对可逆方阵
有唯一解
- 有无穷多解;
- 完全无解;
- 需要在所有近似解中挑一个最优解。
广义逆就是把“逆”的思想推广到这些情形。
💡 通俗理解
普通逆像一把只配标准锁的钥匙;广义逆和伪逆则像万能转接头。它不保证把所有问题还原成唯一精确解,但会按照明确规则给出合理、最优且可计算的答案。
二、广义逆矩阵
若
则称
若
所以
相容方程的通解
若
其中
验证:
💡 通俗理解
通解由“一个特解+所有齐次解”组成。
⚡ 避坑指南
只有当方程相容时,
三、左逆与右逆
1. 左逆
若
满足
2. 右逆
若
满足
⭐ 核心考点
口诀:
- 列满秩,左边能消掉:
; - 行满秩,右边能消掉:
。
⚡ 避坑指南
复矩阵必须用共轭转置
四、Moore-Penrose伪逆
对任意
这唯一矩阵称为Moore-Penrose伪逆。
💡 通俗理解
一般广义逆有很多把“备用钥匙”;四个Penrose条件加入对称与自洽要求后,只留下唯一一把标准钥匙
两个投影
是到列空间
是到
是到零空间
⭐ 核心考点
记投影时看尺寸与所在空间:
是 ,作用在右端项空间,投到 ; 是 ,作用在未知量空间,投到 。
五、伪逆的求法
1. SVD法:最通用
若
其中正奇异值为
则
更紧凑地写,若
是紧SVD,则
💡 通俗理解
SVD把矩阵分成旋转—拉伸—旋转。伪逆把两个旋转倒过来,并对非零拉伸倍数取倒数;被压成零的方向无法恢复,就继续置零。
2. 满秩分解法
若
3. 满秩特例
若
若
若
⚡ 避坑指南
六、相容性与最小二乘
方程
也等价于
若不相容,则最小二乘问题为
所有最小二乘解满足正规方程
其中唯一的最小范数最小二乘解为
若
💡 通俗理解
当
⭐ 核心考点
- 它使残差
最小; - 在所有最小残差解中,它的
最小。
⚡ 避坑指南
“方程数量多于未知量”不等于“一定无解”。过定系统也可能恰好相容。是否相容必须看秩或看
七、最小范数精确解
若
其中两部分正交,因此
所以唯一最小范数解为
若
⚡ 避坑指南
讲义中最小模解写成
八、原讲义考题集汇
例1:写出一个矩阵的全部广义逆
设
求
解答
可取
直接计算可验
因此
其中
均可任取。
⚡ 避坑指南
原PDF这一页的
例2:计算Moore-Penrose伪逆
设
求
解答
可用四个Penrose方程核验:
例3:原讲义“求通解”题的相容性复核
原PDF给出的系数矩阵和右端项为
原题要求求
解答
重新核算得到
所以按PDF中印出的数据,方程组不相容,没有精确通解。左零空间中可取
满足
这也直接证明不相容。
若按题面改求最小二乘解,则最小范数最小二乘解为
它满足正规方程
⚡ 避坑指南
原PDF后续列出的“通解”代回第四个方程并不成立,这是原讲义题面或答案的排印错误,不是广义逆公式失效。若遇到类似题,必须先检查
九、考前速记清单
- 广义逆满足
,通常不唯一。 - 伪逆
满足四个Penrose方程,且唯一。 - SVD求伪逆:
。 - 列满秩:
。 - 行满秩:
。 投到 , 投到 。- 相容通解:
。 - 最小范数最小二乘解统一为
。
⚡ 避坑指南
最后自测:若
