【线性代数\矩阵论】矩阵逆引理证明、应用

矩阵逆引理证明、应用

矩阵求逆引理要解决的问题是:减少矩阵求逆的计算量。已知一个矩阵 A A A及其逆矩阵 A − 1 A^{-1} A−1,当矩阵产生了变化时,例如增加一个扰动 P P P,能不能根据已知的逆矩阵 A − 1 A^{-1} A−1,求产生变化后的矩阵的逆 A ′ − 1 = ( A + E ) − 1 A'^{-1}=(A+E)^{-1} A′−1=(A+E)−1。这里说的扰动 P P P可以分解为 P = B D − 1 C P=BD^{-1}C P=BD−1C,其中:

  • A A A为 n × n n\times n n×n矩阵
  • B B B为 n × m n\times m n×m矩阵
  • C C C为 m × n m\times n m×n矩阵
  • D D D为 m × m m\times m m×m矩阵

证明

令 X X X为 A ′ − 1 A'^{-1} A′−1相对于 A − 1 A^{-1} A−1的变化量,有如下等式成立:
A − 1 + X = ( A + P ) − 1 = ( A + B D − 1 C ) − 1 A^{-1}+X=(A+P)^{-1}=(A+BD^{-1}C)^{-1} A−1+X=(A+P)−1=(A+BD−1C)−1

应用

以三阶矩阵求逆为例:

三阶矩阵求逆其实没必要用逆引理,矩阵维度变高后,例如1000x1000,利用逆引理可以加快求逆。

对比结果

A A A及 A − 1 A^{-1} A−1

A ′ A' A′及 A ′ − 1 A'^{-1} A′−1

相关推荐
星马梦缘2 小时前
Matlab机器人工具箱使用1 简单的描述类函数
matlab·矩阵·机器人·位姿·欧拉角·rpy角
十子木4 小时前
线性方程求解器的矩阵分裂
线性代数·矩阵
YuTaoShao19 小时前
【LeetCode 每日一题】1277. 统计全为 1 的正方形子矩阵
算法·leetcode·矩阵
打螺丝否1 天前
稠密矩阵和稀疏矩阵的对比
python·机器学习·矩阵
人机与认知实验室1 天前
人机环境系统智能矩阵理论
线性代数·矩阵
fFee-ops3 天前
73. 矩阵置零
线性代数·矩阵
星逝*3 天前
LeetCode刷题-top100( 矩阵置零)
算法·leetcode·矩阵
码界奇点3 天前
豆包新模型矩阵与PromptPilot构建企业级AI开发的体系化解决方案
人工智能·线性代数·ai·语言模型·矩阵·硬件工程
酸奶乳酪3 天前
矩阵和向量的双重视角
线性代数·矩阵
阿维的博客日记3 天前
LeetCode 240: 搜索二维矩阵 II - 算法详解(秒懂系列
算法·leetcode·矩阵