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

矩阵逆引理证明、应用

矩阵求逆引理要解决的问题是:减少矩阵求逆的计算量。已知一个矩阵 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

相关推荐
jndingxin14 小时前
OpenCV 图形API(5)API参考:数学运算用于执行图像或矩阵加法操作的函数add()
opencv·webpack·矩阵
y5236482 天前
PowerBI 矩阵,列标题自定义排序
线性代数·矩阵·powerbi
梭七y2 天前
【力扣hot100题】(017)矩阵置零
算法·leetcode·矩阵
进击的jerk2 天前
力扣.旋转矩阵Ⅱ
算法·leetcode·矩阵
幻风_huanfeng3 天前
人工智能之数学基础:矩阵的相似变换的本质是什么?
人工智能·深度学习·线性代数·机器学习·矩阵·相似变换
jllws13 天前
数据类设计_图片类设计_矩阵图类型和像素图类型设计的补充
前端·c++·矩阵·数据类设计
Source.Liu3 天前
【学Rust写CAD】18 定点数2D仿射变换矩阵结构体(MatrixFixedPoint结构别名)
矩阵·rust·cad
进击的jerk3 天前
力扣.旋转矩阵
算法·leetcode·矩阵
Yang-Never3 天前
Open GL ES ->模型矩阵、视图矩阵、投影矩阵等变换矩阵数学推导以及方法接口说明
android·矩阵·kotlin·android studio
passxgx3 天前
7.3 主成分分析(PCA)
线性代数