回覆 4# liusolong 的帖子
補充一下反方陣的靈感來源,不然直接蹦出那麼複雜的方陣,不是很直觀。下面用英文寫:
Since \( I_m -AB \) is invertible, there exists an \(m \times m \) matrix \( C\) such that \( ( I_m-AB) C=C( I_m-AB) =I_m\),
hence, \(ABC=CAB\).
So,\( I_n -BA=I_n - B(I_m -AB)CA = I_n - BCA + B(ABC)A = I_n - BCA + B(CAB)A=I_n - (BCA- BCABA) = I_n - BCA(I_n- BA) \),
therefore, \( I_n -BA=I_n - BCA(I_n- BA) \).
This implies \( (I_n -BA)+ BCA(I_n- BA)=I_n \), so we get \( (I_n + BCA)(I_n -BA)=I_n \).
Finally, check \( (I_n -BA)(I_n + BCA)=I_n \) to get the conslusion.
Furthermore, substitute \( C \) with \( \displaystyle (I_m-AB)^{-1} \), we get \(\displaystyle (I_n -BA)^{-1} = (I_n + B(I_m-AB)^{-1}A) \)
[ 本帖最後由 swallow7103 於 2024-7-1 23:19 編輯 ]