「正則行列、逆行列って？」「逆行列と転置、積との関係」【線型代数学の基礎シリーズ】行列編その3

本記事の内容
正則行列
逆行列
1. 逆行列はいつ使うのかネ？
逆行列と転置、行列の積との関係
結

本記事の内容

本記事は、「正則行列、逆行列」および「行列の積の逆行列はそれぞれの行列の逆行列の順番を入れ替えた積と等しい。」を解説する記事です。

本記事を読むにあたり、行列の演算、特に積について知っている必要があるため、以下の記事も合わせてご覧ください。

正則行列

正方行列、すなわち $m\in\mathbb{N}$ に対して $(m,m)$ 型の行列に正則行列と呼ばれる行列があります。
つまり、正則行列と言われたらば、これすなわち正方行列です。

実は、行列とベクトルの積は行列を線形写像と捉えることで幾何的(というと大げさかな。ビジュアル的と言った方がいいかもしれないね)にイメージを掴むことができますが、このアプローチは線型写像と線型変換の記事で解説することにします。

正則行列を一言で

正則行列というのは、一言で述べれば、

行列の積をとることで、積の順番に関係なく単位行列と等しくなるような行列が存在する行列のこと。

です。
たったこれだけです。

で？正則行列を数学的に言うと？

上記のことを数学的に表現すると次です。

正則、正則行列

$n\in\mathbb{N}$ とする。

$n$ 次正方行列、すなわち

$(n,n)$ 型の行列Aに対して、

$AB=BA=I_n$ を満たすような

$n$ 次正方行列

$B$ が存在するとき $A$ は正則である、または $A$ は正則行列であるという。ただし、

$I_n$ は

$n$ 次単位行列である。

チャラい単位行列の復習(読み飛ばしてOK)

ここで、 $n$ 次単位行列とは何だったか、というと

単位行列 $n\in\mathbb{N}$ とし、 $A=(a_{ij})$ を $n$ 次対角行列とする。このとき、 $\delta_{ij}= \begin{cases} 1&(i=j)\\ 0&(i\neq j) \end{cases}$ としたとき(この $\delta_{ij}$ をクロネッカー(Kronecker)の $\delta$ という)、 $a_{ij}=\delta_{ij}$ を満たすとき、 $A$ は( $n$ 次)単位行列といい、 $I_m$ や $E_m$ で表す。すなわち、 $I_m=E_m= \begin{pmatrix} 1&&&&\\ &1&&\huge{0}& \\ &&\ddots&&\\ &\huge{0}&&\ddots&\\ &&&&1\\ \end{pmatrix}$ を( $m$ 次)単位行列という。

でした。
要するに、対角成分がすべて $1$ で、それ以外の成分がすべて $0$ であるような正方行列でした。

前回の記事で述べたとおり、任意の $(m,n)$ 型行列 $A$ に対して、
$AI_n=I_mA=A$
が成り立ちます。
証明は【線型代数学の基礎シリーズ】行列編その2を御覧ください。

従って、単位行列というのは、実数の掛け算において $1$ に対応します。
ちなみに、単位行列を写像(特に線型写像)と捉えると恒等写像ですので「identity mapping」の頭文字 $I$ を使って表現することが多いです。

本当にそんな $B$ は存在するのかネ？

存在します。
勿論、与えられた行列に依存しますし、存在しない場合もあります。
例を挙げましょう。

例1.
$A= \begin{pmatrix} 1&2 \\ 3&4\\ \end{pmatrix}$
とします。
このとき、 $AB=BA=I_2$ となるような $2$ 次の正方行列が存在します。

$a,b,c,d\in\mathbb{R}$ として、 $\displaystyle B=\begin{pmatrix}a& b\\ c &d\\ \end{pmatrix}$ とします。
このとき、 $AB=I_2$ であるような $a,b,c,d\in\mathbb{R}$ が存在して、かつ $BA=I_2$ であればOKです。
計算してみます。

$AB=I_2\Leftrightarrow \begin{pmatrix} 1&2 \\ 3&4\\ \end{pmatrix} \begin{pmatrix} a& b\\ c &d\\ \end{pmatrix} = \begin{pmatrix} a+2c&b+2d \\ 3a+4c&3b+4d\\ \end{pmatrix}= \begin{pmatrix} 1&0 \\ 0&1\\ \end{pmatrix}$
すなわち、
$\begin{cases} a+2c=1&\\ b+2d=0&\\ 3a+4c=0&\\ 3b+4d=1&\\ \end{cases}$
を満たす $a,b,c,d\in\mathbb{R}$ が存在すればOKです。
これを解くと(省略します)、 $\displaystyle(a,b,c,d)=\left( -2,1,\frac{3}{2},-\frac{1}{2}\right)$ となるので、 $AB=I_2$ という $2$ 次正方行列
$B= \begin{pmatrix} \displaystyle-2&1 \\ \displaystyle\frac{3}{2}&\displaystyle-\frac{1}{2}\\ \end{pmatrix}$
が存在します。
この $B$ が $BA=I_2$ を満たせば、 $A$ は正則行列です。
$BA= \begin{pmatrix} \displaystyle-2&1 \\ \displaystyle\frac{3}{2}&\displaystyle-\frac{1}{2}\\ \end{pmatrix} \begin{pmatrix} 1&2 \\ 3&4\\ \end{pmatrix}= \begin{pmatrix} -2+3&1-1 \\ \displaystyle\frac{3}{2}-\frac{3}{2}&3-2\\ \end{pmatrix} =\begin{pmatrix} 1&0 \\ 0&1\\ \end{pmatrix}=I_2$
となって、 $A$ は正則行列です。

例2.
$A= \begin{pmatrix} 5&6 \\ 0&0\\ \end{pmatrix}$
とします。
このとき、 $AB=BA=I_2$ となるような $2$ 次正方行列は存在しないため、 $A$ は正則ではありません。
実際、 $a,b,c,d\in\mathbb{R}$ として、 $\displaystyle B=\begin{pmatrix}a& b\\ c &d\\ \end{pmatrix}$ としたとき、 $AB=I_2$ であるような $a,b,c,d\in\mathbb{R}$ が存在して、かつ $BA=I_2$ であれば $A$ は正則ですが、
$AB=I_2\Leftrightarrow \begin{pmatrix} 5&6 \\ 0&0\\ \end{pmatrix} \begin{pmatrix} a& b\\ c &d\\ \end{pmatrix} = \begin{pmatrix} 5a+6c&5b+6d \\ 0&0\\ \end{pmatrix}= \begin{pmatrix} 1&0 \\ 0&1\\ \end{pmatrix}$
となって、仮に $AB=I_2$ という $2$ 次正方行列が存在したとすれば、 $1=0$ となってしまい、矛盾です。
従って $A$ は正則ではありません。

どういうときの存在するのかネ？

これは少々先取りの話になってしまいますが、「行列式」や「ランク」というものが関係してきます。
詳しくは後の記事で解説しますが、高校数学では $(2,2)$ 型の行列に対して以下のように学習したと思います。

高校数学での行列式

$\displaystyle A=\begin{pmatrix}a&b \\ c&d \\ \end{pmatrix}$ に対して、

$ad-bc$ を行列式といい、

$|A|$ で表す。また、

$|A|\neq 0$ のときに、

$AB=BA=I_n$ という行列

$B$ が存在する。

(高校の教科書ではもっとやんわりと書かれていたかもしれませんが(笑))

勿論、これは正しいです。
ただ、これはあくまで $2$ 次元の話なので、のちの記事で一般の次元に対して行列式という実数を定めてそれについて説明します。

$A$ に対して $AB=BA=I_n$ という $B$ は何個も存在するのかネ？

しません。
1個だけです。
つまり、以下が成り立ちます。

定理3.

$n\in\mathbb{N}$ とする。

$n$ 次正方行列

$A$ に対して、

$AB=BA=I_n$ となるような

$n$ 次正方行列

$B$ が存在するならば、

$B$ は一意的である。

数学では「ただ1つだけ存在する」ということを「一意的に存在する」と表現します。

くどいようですが、この定理は「 $n$ 次正方行列 $A$ に対して、必ず $AB=BA=I_n$ となるような $B$ がただ１つ存在する」と言っているわけではありません。
「もし存在するのであれば、ただ１つだけ存在する。」という主張です。

この証明は簡単です。

定理3.の証明

$n\in\mathbb{N}$ として、 $A$ を $n$ 次正方行列、 $I_n$ を $n$ 次単位行列とします。
また、このとき
$AB=BA=I_n$
を満たすような $n$ 次正方行列 $B$ が存在したとします。

また、
$AC=I_n$
を満たすような $n$ 次正方行列 $C$ が存在したとしましょう。
このとき $B=C$ であれば、一意的であるということが証明されたことになります。
要するに、「もう一個のモノをとってきたけど、結局最初に撮ってきたのと同じだったね」ということで一意性を証明します。

このとき、行列の積の性質を使います。

定理4.(積の性質)

$m,n,r,s\in\mathbb{N}$ とする。

$(m,n)$ 型行列

$A$ 、

$(n,r)$ 型行列

$B$ 、

$(r,s)$ 型行列

$C$ に対して、以下が成り立つ。

$(AB)C=A(BC)\quad$ (積の結合則)
$AI_n=I_mA=A\quad$ ( $I_n$ および $I_m$ はそれぞれ $n$ 次、 $m$ 次単位行列)
$AO_n=O_mA=O_{mn}\quad$

$O_n$

$n$

$O_m$

$m$

$O_{mn}$

$(m,n)$

この定理の証明は【線型代数学の基礎シリーズ】行列編その2を御覧ください。

この定理4.の1.および2.を使うと、
$C=I_nC=(BA)C=B(AC)=BI_n=B$
となって、 $C=B$ が成り立ちます。
ここで、行列の積の結合則が重要な役割を果たしている、ということに注意です。

同様に、 $CA=I_n$ を満たすような $n$ 次正方行列が存在したとして、
$C=CI_n=C(AB)=(CA)B=I_nB=B$
となって、やはり $C=B$ です。
従って、 $AB=BA=I_n$ を満たす $B$ が存在すれば、 $B$ は一意的に存在します。

定理3.の証明終わり

逆行列

一瞬です。
今まで説明してきた $B$ が逆行列です。
つまり、以下です。

逆行列

$n\in\mathbb{N}$ 、

$A$ を

$n$ 次正方行列とする。このとき、

$AB=BA=I_n$ を満たすような

$B$ が存在するとき、

$B$ を

$A$ の逆行列という。またこのとき、

$B=A^{-1}$ と書く。

つまり、定理3.は以下のように言い換えることができます。

定理3.の言い換え

$n\in\mathbb{N}$ とする。

$n$ 次正方行列

$A$ に対して、

$A$ の逆行列が存在するならば、一意的である。

ということです。
例2.で見たとおり、 $A$ の逆行列は必ずしも存在しません。
どういうときに存在するのか、というのは後の記事で解説します。

逆行列はいつ使うのかネ？

「逆行列はいつ使うのかネ？」と思うかもしれませんが、連立一次方程式を行列的視点で解くときに誠に有用です。

【線型代数学の基礎シリーズ】行列編その1で紹介した例を使います。

$\begin{cases} 5x-4y+6z=8\\ 7x-6y+10x=14\\ 4x+9y+7z=74 \end{cases}$
を行列を使って表現すると、
$\begin{pmatrix} 5&-4&6 \\ 7&-6&10\\ 4&9&7\\ \end{pmatrix}\left(\begin{array}{c} x\\ y\\ z \end{array}\right) =\left(\begin{array}{c} 8\\ 14\\ 74 \end{array}\right)$
となります。
このとき、
$A= \begin{pmatrix} 5&-4&6 \\ 7&-6&10\\ 4&9&7\\ \end{pmatrix},\quad \boldsymbol{x}=\left(\begin{array}{c} x\\ y\\ z \end{array}\right)$
と書いたとします。
このとき、 $A$ は正則行列で、
$A^{-1}= \begin{pmatrix} \displaystyle\frac{22}{17}&-\displaystyle\frac{41}{51}&\displaystyle\frac{2}{51} \\ \displaystyle\frac{3}{34}&-\displaystyle\frac{11}{102}&\displaystyle\frac{4}{51}\\ -\displaystyle\frac{29}{34}&\displaystyle\frac{61}{102}&\displaystyle\frac{1}{51}\\ \end{pmatrix}$
です(※求め方は後の記事で説明します)。
今、この連立一次方程式は
$A\boldsymbol{x}= \left(\begin{array}{c} 8\\ 14\\ 74 \end{array}\right)$
と書けます。
この等式の両辺に左から $A^{-1}$ をかけます。
※「左から」と表現したのは必ずしも $AB$ と $BA$ は一致しないからです。
すると、
$A^{-1}A\boldsymbol{x}=A^{-1}\left(\begin{array}{c} 8\\ 14\\ 74 \end{array}\right)\Leftrightarrow I_3\boldsymbol{x}=A^{-1}\left(\begin{array}{c} 8\\ 14\\ 74 \end{array}\right)$
です。
ここで、 $I_3\boldsymbol{x}=\boldsymbol{x}$ ですので、
$\left(\begin{array}{c} x\\ y\\ z \end{array}\right) = \begin{pmatrix} \displaystyle\frac{22}{17}&-\displaystyle\frac{41}{51}&\displaystyle\frac{2}{51} \\ \displaystyle\frac{3}{34}&-\displaystyle\frac{11}{102}&\displaystyle\frac{4}{51}\\ -\displaystyle\frac{29}{34}&\displaystyle\frac{61}{102}&\displaystyle\frac{1}{51}\\ \end{pmatrix} \left(\begin{array}{c} 8\\ 14\\ 74 \end{array}\right) = \left(\begin{array}{c} 2\\ 5\\ 3 \end{array}\right)$
となって、右辺を計算すると
$\left(\begin{array}{c} x\\ y\\ z \end{array}\right) = \left(\begin{array}{c} 2\\ 5\\ 3 \end{array}\right)$
という解が求まります。

そういう意味で逆行列は有用なのです。

「あ？どうやって $A^{-1}$ を求めんだよ？」と思うかもしれませんが、行列式と余因子行列というモノを使って求めます。

逆行列と転置、行列の積との関係

3つほど基本的な事実を説明、紹介します。

$(AB)^{-1}$ の逆行列は $B^{-1}A^{-1}$

定理5.

$n\in\mathbb{N}$ 、

$A$ および

$B$ は

$n$ 次正則行列とする。このとき、積

$AB$ も正則かつ

$(AB)^{-1}=B^{-1}A^{-1}$ が成り立つ。

定理5.の証明

$n\in\mathbb{N}$ 、 $A$ および $B$ は $n$ 次正則行列とします。
$A$ および $B$ は正則行列なので、 $A^{-1}$ および $B^{-1}$ が存在します。
また、 $A^{-1}$ および $B^{-1}$ は $n$ 次正方行列ですので、 $B^{-1}A^{-1}$ が定まります(計算できます)。

さらに、 $B^{-1}A^{-1}$ も $n$ 次正方行列ですので、 $B^{-1}A^{-1}$ と $AB$ の積も定まります。
ここで、定理4.(積の性質)の1.(結合則)を使えば、
$(AB)(B^{-1}A^{-1})=A(BB^{-1})A^{-1}=AI_nA^{-1}=AA^{-1}=I_n,\\ (B^{-1}A^{-1})(AB)=B^{-1}(A^{-1}A)B=B^{-1}I_nB=B^{-1}B=I_n$
が成り立ちます。
従って、 $AB$ は正則行列で、かつその逆行列は $B^{-1}A^{-1}$ です。

定理5.の証明終わり

逆行列の逆行列も元の行列と等しい

定理6.

$n\in\mathbb{N}$ 、

$A$ を

$n$ 次正則行列とする。このとき、

$A^{-1}$ も

$n$ 次正則行列であって、その逆行列は

$A$ である。すなわち、

$A$ が

$n$ 次正則行列ならば

$\left(A^{-1}\right)^{-1}=A$ が成り立つ。

定理6.の証明

$n\in\mathbb{N}$ 、 $A$ を $n$ 次正則行列とします。
$A$ は正則行列ですので、 $A^{-1}$ が存在します。
このとき、
$A^{-1}A=AA^{-1}=I_n$
が成り立っています。
これはまさに $A^{-1}$ が正則であること、および $A^{-1}$ の逆行列 $\displaystyle \left(A^{-1}\right)^{-1}$ であることを示しています。

定理6.の証明終わり

正則行列の転置行列の逆行列

定理7.

$n\in\mathbb{N}$ 、

$A$ を

$n$ 次正方行列とする。このとき、

$A^\top$ も

$n$ 次正則行列であって、その逆行列は

$\displaystyle \left(A^{-1} \right)^\top$ である。すなわち、

$A$ が

$n$ 次正則行列であれば、

$\left( A^\top\right)^{-1}=\left(A^{-1} \right)^\top$

定理7.の証明

$n\in\mathbb{N}$ 、 $A$ を $n$ 次正則行列とします。
$A$ は正則行列ですので、 $A^{-1}$ が存在して、
$AA^{-1}=A^{-1}A=I_n$
が成り立っています。
このとき、この式の3つの行列の転置行列を考えてみます。

転置行列とは何だったか、というと

転置行列 $(m,n)$ 行列 $A=(a_{ij})$ に対して、行と列を入れ替えた行列を $A$ の転置行列といい、 $A^\top$ や $^t\!A$ で表す。すなわち、 $A=(a_{ij})$ を $A= \begin{pmatrix}a_{11}&a_{12}&\cdots &a_{1n}\\a_{21}&a_{22}&\cdots &a_{2n}\\\vdots&\vdots& \ddots&\vdots\\a_{m1}&a_{m2}&\cdots &a_{mn}\\\end{pmatrix}$ と書いたとき、 $^t\!A=(a_{ji})$ を、つまり $^t\!A=A^\top= \begin{pmatrix} a_{11}&a_{12}&\cdots &a_{1m}\\ a_{21}&a_{22}&\cdots &a_{2m}\\ \vdots&\vdots& \ddots&\vdots\\ a_{n1}&a_{m2}&\cdots &a_{nm}\\ \end{pmatrix}$ を $A$ の転置行列という。

でした。
要するに、行列の行と列を交換した行列のことを転置行列と呼ぶのでした。

さて、このとき
$\left( AA^{-1}\right)^\top=\left( A^{-1}A\right)=I_n^\top$
が成り立っています。
ここで、 $I_n^\top=I$ です。
実際、単位行列は対角成分のすべてが $1$ で、かつそれ以外の成分がすべて $0$ であり、行列の行と列を入れ替えたとしても対角成分は変わらないので、 $I_n^\top=I$ です。
従って、
$\left( AA^{-1}\right)^\top=\left( A^{-1}A\right)=I_n$
が成り立ちます。
これはまさに $A$ が正則行列であれば、 $A^\top$ も正則で、かつ $\left( A^\top\right)^{-1}=\left( A^\top\right)^{-1}$ であることを指しています。

定理7.の証明終わり

結

今回は正則行列、逆行列、逆行列と転置、逆行列と行列の積との関係について解説しました。

平たく言えば、逆行列とは $AB=BA=I_n$ を満たすような行列 $B$ を $A$ の逆行列といい、このとき $A$ は正則行列といいます。

この記事を通して、行列の積の結合則は非常に有用なのだ、ということが垣間見えたと思います。

次回は成分が複素数であるような行列(複素行列)の中で特に有名な行列について解説します。

乞うご期待！質問、コメントなどお待ちしております！

コメントをする

Warning: Undefined variable $req in /home/nori9901/for-spring.com/public_html/wp-content/themes/cocoon-child-master/functions.php on line 32

Warning: Undefined variable $commenter in /home/nori9901/for-spring.com/public_html/wp-content/themes/cocoon-child-master/functions.php on line 34

Warning: Trying to access array offset on value of type null in /home/nori9901/for-spring.com/public_html/wp-content/themes/cocoon-child-master/functions.php on line 34

Warning: Undefined variable $aria_req in /home/nori9901/for-spring.com/public_html/wp-content/themes/cocoon-child-master/functions.php on line 34

本記事の内容

正則行列

正則行列を一言で

で？正則行列を数学的に言うと？

チャラい単位行列の復習(読み飛ばしてOK)

本当にそんなBBは存在するのかネ？

どういうときの存在するのかネ？

AAに対してAB=BA=InAB=BA=I_nというBBは何個も存在するのかネ？

定理3.の証明

定理3.の証明終わり

逆行列

逆行列はいつ使うのかネ？

逆行列と転置、行列の積との関係

(AB)−1(AB)^{-1}の逆行列はB−1A−1B^{-1}A^{-1}

定理5.の証明

定理5.の証明終わり

逆行列の逆行列も元の行列と等しい

定理6.の証明

定理6.の証明終わり

正則行列の転置行列の逆行列

定理7.の証明

定理7.の証明終わり

結

コメントをする

本当にそんな $B$ は存在するのかネ？

$A$ に対して $AB=BA=I_n$ という $B$ は何個も存在するのかネ？

$(AB)^{-1}$ の逆行列は $B^{-1}A^{-1}$