Scisys-Math
La

正則行列（2）

前項で定義したとおり、正則行列とは逆行列を持つ行列のことです。

ここでは、正則行列について成り立つ演算法則を示します。

正則行列の演算

定理 2.5（正則行列）

正則行列に関して、次の演算法則が成り立つ。

  (i)(AB)−1=B−1A−1 (ii)((A)−1)−1=A(iii)(tA)−1=t(A−1)(2.3.2) \begin{equation} \begin{alignat*} {2} & \; (\text{i}) & (AB)^{-1} &= B^{-1} A^{-1} \\ & \, (\text{ii}) & \quad ((A)^{-1})^{-1} &= A \\ & (\text{iii}) & ({}^t A)^{-1} &= {}^t (A^{-1}) \\ \end{alignat*} \end{equation} \tag{2.3.2}

解説

正則行列について成り立つ演算法則

任意の正則行列 A,B∈GLn(K)A, B \in GL_{n} (K) について、上記の（i\text{i}）∼\sim（iii\text{iii}）が成り立ちます。これらの演算法則は、正則行列の定義や転置行列に関する演算法則から直ちに導かれます。このことは、以下の証明からも明らかといえます。

ここで、GLn(K)GL_{n} (K) は nn 次の正則行列全体の集合を意味しています。（記号の用法は正則行列の定義の項を参照してください。）

（i\text{i}）行列の積の逆行列はそれぞれの逆行列の積に等しい

行列 A,BA, B が正則であれば、行列の積 ABAB も正則であり、ABAB の逆行列は B−1A−1B^{-1} A^{-1} に等しくなります。端的には、行列の積の逆行列はそれぞれの逆行列の積に等しい、といえます。

右辺と左辺で、積の順序が入替ることに注意が必要です。

（ii\text{ii}）逆行列の逆行列は元の行列に等しい

行列 AA が正則であればその逆行列 A−1A^{-1} も正則であり、A−1A^{-1} の逆行列は AA に等しくなります。すなわち、逆行列の逆行列は元の行列に等しいということです。

（iii\text{iii}）転置行列の逆行列は逆行列の転置行列

行列 AA が正則であればその転置行列 tA{}^t A も正則であり、tA{}^t A の逆行列は A−1A^{-1} の転置行列に等しくなります。すなわち、転置行列の逆行列は逆行列の転置行列であるということです。


証明

（i\text{i}）A,BA, B を正則行列とすると AA−1=A−1A=E,  BB−1=B−1B=EAA^{-1} = A^{-1} A = E, \; BB^{-1} = B^{-1} B = E となる A−1,B−1A^{-1}, B^{-1} が存在する。このとき、行列の積 ABAB と B−1A−1B^{-1}A^{-1} について、以下が成り立つ。

(AB)(B−1A−1)=A(BB−1)A−1=AA−1=E(B−1A−1)(AB)=B(AA−1)B−1=BB−1=E \begin{split} (AB) (B^{-1}A^{-1}) &= A (BB^{-1}) A^{-1} \\ &= AA^{-1} \\ &= E \\ (B^{-1}A^{-1}) (AB) &= B (AA^{-1}) B^{-1} \\ &= BB^{-1} \\ &= E \\ \end{split}

よって、ABAB は正則であり (AB)−1=B−1A−1(AB)^{-1} = B^{-1} A^{-1} となる。

（ii\text{ii}）AA を正則行列とすると AA−1=A−1A=EAA^{-1} = A^{-1} A = E となる A−1A^{-1} が存在する。すなわち、行列 A−1A^{-1} は正則であり (A−1)−1=A(A^{-1})^{-1} = A となる。

（iii\text{iii}）AA を正則行列とすると AA−1=A−1A=EAA^{-1} = A^{-1} A = E となる A−1A^{-1} が存在する。このとき、行列の積 AA−1AA^{-1} と A−1AA^{-1}A について、以下が成り立つ。

t(AA−1)=t(A−1) tA=Et(A−1A)=tA t(A−1)=E \begin{split} {}^t (AA^{-1}) &= {}^t (A^{-1}) \, {}^t A \\ &= E \\ {}^t (A^{-1}A) &= {}^t A \, {}^t (A^{-1}) \\ &= E \\ \end{split}

よって、行列 tA{}^t A は正則であり (tA)−1=t(A−1)({}^t A)^{-1} = {}^t (A^{-1}) となる。□\quad \square


証明の考え方

（i\text{i}）の証明

  • A,BA, B が正則行列であるという仮定から A−1,B−1A^{-1}, B^{-1} の存在を示し、その積 B−1A−1B^{-1}A^{-1} が ABAB の逆行列であることを定義に従って示します。

  • 計算により、B−1A−1B^{-1}A^{-1} と ABAB について、次が成り立つことが確かめられます。

    (AB)(B−1A−1)=(1)A(BB−1)A−1=(2)AA−1=(2)E(B−1A−1)(AB)=(1)B(AA−1)B−1=(2)BB−1=(2)E \begin{split} (AB) (B^{-1}A^{-1}) &\overset{(1)} {=} A (BB^{-1}) A^{-1} \\ &\overset{(2)} {=} AA^{-1} \\ &\overset{(2)} {=} E \\ (B^{-1}A^{-1}) (AB) &\overset{(1)} {=} B (AA^{-1}) B^{-1} \\ &\overset{(2)} {=} BB^{-1} \\ &\overset{(2)} {=} E \\ \end{split}

  • (AB)(B−1A−1)=(B−1A−1)(AB)=E(AB) (B^{-1}A^{-1}) = (B^{-1}A^{-1}) (AB) = E が成り立つので、ABAB は正則であり、その逆行列は B−1A−1B^{-1}A^{-1} であるということが示されました。

（ii\text{ii}）の証明

  • AA が正則であるという仮定から直ちに示せます。
    • AA が正則であるという仮定を A−1A^{-1} を主語として読み替えると、「行列 A−1A^{-1} に対して AA−1=A−1A=EAA^{-1} = A^{-1} A = E となる AA が存在する」となります。
    • これは、「行列 A−1A^{-1} に対して、その逆行列 AA が存在する」ということに他なりません。
    • したがって、正則行列の定義より、A−1A^{-1} は正則であるといえます。

（iii\text{iii}）の証明

  • AA が正則行列であるという仮定から A−1A^{-1} の存在を示し、行列の積 AA−1AA^{-1} と A−1AA^{-1}A の転置行列を考えます。

  • 計算により、tA{}^t A と t(A−1){}^t (A^{-1}) について、次が成り立つことが確かめられます。

    t(AA−1)=(1)t(A−1) tA=(2)Et(A−1A)=(1)tA t(A−1)=(2)E \begin{split} {}^t (AA^{-1}) &\overset{(1)} {=} {}^t (A^{-1}) \, {}^t A \\ &\overset{(2)} {=} E \\ {}^t (A^{-1}A) &\overset{(1)} {=} {}^t A \, {}^t (A^{-1}) \\ &\overset{(2)} {=} E \\ \end{split}

    • （11）転置行列に関する演算法則によります（定理 2.3（転置行列））。すなわち、行列の積の転置に関して t(AB)=tB tA{}^t (AB) = {}^t B \, {}^t A が成り立ちます。
    • （22）単位行列の性質によります。すなわち、定義より、単位行列に関して tE=E{}^t E = E が成り立ちます。

  • 以上から、tA t(A−1)=t(A−1) tA=E{}^t A \, {}^t (A^{-1}) = {}^t (A^{-1}) \, {}^t A = E が成り立つので、tA{}^t A は正則であり、その逆行列は t(A−1){}^t (A^{-1}) であるということが示されました。


まとめ

  • A,BA, B が正則であれば ABAB も正則であり、(AB)−1=B−1A−1(AB)^{-1} = B^{-1} A^{-1} 。（積の順序に要注意）
  • AA が正則であればその逆行列 A−1A^{-1} も正則であり、((A)−1)−1=A((A)^{-1})^{-1} = A 。
  • AA が正則であればその転置行列 tA{}^t A も正則であり、(tA)−1=t(A−1)({}^t A)^{-1} = {}^t (A^{-1}) 。

参考文献

[1] 齋藤正彦. 線型代数入門. 東京大学出版会. 1966.
[2] 永田雅宣 他. 理系のための線型代数の基礎. 紀伊國屋書店. 1986.
[3] 川久保勝夫. 線形代数学 [新装版]. 日本評論社. 2010.
[4] 松坂和夫. 線型代数入門 [新装版]. 岩波書店. 2018.
[5] 三宅敏恒. 線形代数学 初歩からジョルダン標準形へ. 培風館. 2008.
[6] S. Lang. Linear Algebra Third Edition. Springer. 1987.
[7] T. Miyake. Linear Algebra From the Beginnings to the Jordan Normal. Springer. 2022.
[8] 雪江明彦. 代数学 11 群論入門. 日本評論社. 2010.
[9] 雪江明彦. 代数学 22 環と体とガロア理論. 日本評論社. 2010.
[10] 桂利行. 代数学 I\text{I} 群と環. 東京大学出版会. 2004.
[11] 松坂和夫. 代数系入門. 岩波書店. 1976.
[12] 高木貞治. 代数学講義 [改訂新版]. 共立出版. 1965.
[13] S. Lang. Algebra Revised Third Edition. Springer. 2002.
[14] M. Artin. Algebra Second Edition. Pearson Education Limited. 2014.
[15] 青本和彦 他. 数学入門辞典. 岩波書店. 2005.


初版：2023-01-09   |   改訂：2024-10-28
Prev
正則行列（1）
Next
行列の区分けの定義