(1) $1-ab \neq 0$ のとき、2次正方行列 $\begin{bmatrix} 1 & a \\ b & 1 \end{bmatrix}$ が正則であることを示す。 (2) $n$次正方行列 $A, B$ に対して、$I - AB$ が正則行列であるとき、$2n$次正方行列 $\begin{bmatrix} I & A \\ B & I \end{bmatrix}$ が正則であることを示す。

代数学行列正則行列行列式線形代数
2025/5/8

1. 問題の内容

(1) 1ab01-ab \neq 0 のとき、2次正方行列 [1ab1]\begin{bmatrix} 1 & a \\ b & 1 \end{bmatrix} が正則であることを示す。
(2) nn次正方行列 A,BA, B に対して、IABI - AB が正則行列であるとき、2n2n次正方行列 [IABI]\begin{bmatrix} I & A \\ B & I \end{bmatrix} が正則であることを示す。

2. 解き方の手順

(1) 行列 [1ab1]\begin{bmatrix} 1 & a \\ b & 1 \end{bmatrix} の行列式を計算します。行列式が0でないことを示せば、この行列は正則であると言えます。行列式は、1×1a×b=1ab1 \times 1 - a \times b = 1 - ab となります。条件より、1ab01 - ab \neq 0 なので、行列式は0ではありません。したがって、この行列は正則です。
(2) 行列 [IABI]\begin{bmatrix} I & A \\ B & I \end{bmatrix} の正則性を示すために、ある行列 XX が存在して、
[IABI]X=I\begin{bmatrix} I & A \\ B & I \end{bmatrix} X = I (ここでII2n2n次の単位行列)となることを示します。
XX[X1X2X3X4]\begin{bmatrix} X_1 & X_2 \\ X_3 & X_4 \end{bmatrix}X1,X2,X3,X4X_1, X_2, X_3, X_4nn次の正方行列)とおきます。
[IABI][X1X2X3X4]=[I00I]\begin{bmatrix} I & A \\ B & I \end{bmatrix} \begin{bmatrix} X_1 & X_2 \\ X_3 & X_4 \end{bmatrix} = \begin{bmatrix} I & 0 \\ 0 & I \end{bmatrix}
これを計算すると、以下の連立方程式を得ます。
X1+AX3=IX_1 + AX_3 = I
X2+AX4=0X_2 + AX_4 = 0
BX1+X3=0BX_1 + X_3 = 0
BX2+X4=IBX_2 + X_4 = I
3番目の式から、X3=BX1X_3 = -BX_1を得ます。
これを1番目の式に代入すると、X1ABX1=IX_1 - ABX_1 = I となり、(IAB)X1=I(I - AB)X_1 = I が得られます。
条件より、IABI-AB は正則なので、X1=(IAB)1X_1 = (I - AB)^{-1} となります。
したがって、X3=B(IAB)1X_3 = -B(I - AB)^{-1} となります。
次に、4番目の式から、X4=IBX2X_4 = I - BX_2を得ます。
これを2番目の式に代入すると、X2+A(IBX2)=0X_2 + A(I - BX_2) = 0 となり、X2+AABX2=0X_2 + A - ABX_2 = 0 が得られます。
したがって、(IAB)X2=A(I - AB)X_2 = -A となり、X2=(IAB)1AX_2 = -(I - AB)^{-1}A となります。
最後に、X4=IB((IAB)1A)=I+B(IAB)1AX_4 = I - B(-(I-AB)^{-1}A) = I + B(I-AB)^{-1}A となります。
よって、
X=[(IAB)1(IAB)1AB(IAB)1I+B(IAB)1A]X = \begin{bmatrix} (I-AB)^{-1} & -(I-AB)^{-1}A \\ -B(I-AB)^{-1} & I + B(I-AB)^{-1}A \end{bmatrix}
とすることで、
[IABI]\begin{bmatrix} I & A \\ B & I \end{bmatrix}は正則であることが示されました。

3. 最終的な答え

(1) 1ab01-ab \neq 0 ならば、2次正方行列 [1ab1]\begin{bmatrix} 1 & a \\ b & 1 \end{bmatrix} は正則である。
(2) nn次正方行列 A,BA, B に対して、IABI - AB が正則行列ならば、2n2n次正方行列 [IABI]\begin{bmatrix} I & A \\ B & I \end{bmatrix} は正則である。