说实话,标题打上“矩阵论”三个字,着实有些丢人,这个问题只是线代的一些小知识,我在可逆矩阵的QR分解中,用到了这个小结论,想证明一下,有些无从下手,从网上参考了一些资料,才知道,最正确的方法还是用定义证明,最直观的方法还是用分块矩阵

1. 分块矩阵

(可逆)上三角矩阵可以写作:
[ A C O B ] \begin{bmatrix} \bf{A} & \bf{C} \\ \bf{O} & \bf{B} \end{bmatrix} [AOCB]
其逆可以写作:
[ A − 1 − A − 1 C B − 1 O B − 1 ] \begin{bmatrix} \bf{A}^{-1} & -\bf{A}^{-1} \bf{C} \bf{B}^{-1} \\ \bf{O} & \bf{B}^{-1} \end{bmatrix} [A1OA1CB1B1]

顺便写一个,(可逆)三角矩阵可以写作:
[ A O C B ] \begin{bmatrix} \bf{A} & \bf{O} \\ \bf{C} & \bf{B} \end{bmatrix} [ACOB]
其逆可以写作:
[ A − 1 O − B − 1 C A − 1 B − 1 ] \begin{bmatrix} \bf{A}^{-1} & \bf{O} \\ -\bf{B}^{-1} \bf{C} \bf{A}^{-1} & \bf{B}^{-1} \end{bmatrix} [A1B1CA1OB1]

2. 定义证明

对于上三角矩阵
A = [ a 11 ∗ ∗ a 1 n 0 a 22 . . . a 2 n . . . . . . . . . . . . 0 0 . . . a n n ] \bf{A} = \begin{bmatrix} a_{11} & * & * & a_{1n} \\ 0 & a_{22} & ... & a_{2n} \\ ... & ... & ... & ... \\ 0 & 0 & ... & a_{nn} \end{bmatrix} A=a110...0a22...0.........a1na2n...ann
A \bf{A} A 可逆,则
A − 1 = A ∗ ∣ A ∣ = 1 ∣ A ∣ [ A 11 A 21 . . . A n 1 A 12 A 22 . . . A n 2 . . . . . . . . . . . . A 1 n A 2 n . . . A n n ] \bf{A}^{-1} = \frac{A^*}{|A|} = \frac{1}{|A|} \begin{bmatrix} A_{11} & A_{21} & ... & A_{n1} \\ A_{12} & A_{22} & ... & A_{n2} \\ ... & ... & ... & ... \\ A_{1n} & A_{2n} & ... & A_{nn} \end{bmatrix} A1=AA=A1A11A12...A1nA21A22...A2n............An1An2...Ann

由于 A \bf{A} A是一个上三角矩阵,则 A i j = 0 ( i < j ) \bf{A}_{ij}=0(i<j) Aij=0(i<j), 也就是左下角的部分为0,这里可以手动画图感受一下

证毕

参考:

1. 下三角矩阵的逆矩阵_上三角或下三角矩阵的逆矩阵能否简便方法求出??只有主副对角线不为0的矩阵能否直接写出逆矩阵。…

2. 怎么证明可逆的上三角矩阵的逆矩阵仍是上三角矩阵书上提示说证明

3. 补充一句,上三角矩阵的乘积也是上三角矩阵

Logo

开放原子开发者工作坊旨在鼓励更多人参与开源活动,与志同道合的开发者们相互交流开发经验、分享开发心得、获取前沿技术趋势。工作坊有多种形式的开发者活动,如meetup、训练营等,主打技术交流,干货满满,真诚地邀请各位开发者共同参与!

更多推荐