正則行列とは？誰でも理解できるようにわかりやすく解説

正則行列（「非特異行列」または「可逆行列」ともいう）とは、逆行列をもつ正方行列のことです。当ページでは、この正則行列について、誰でも直感的に、かつ確実に理解できるようにアニメーションを用いながら、わかりやすく解説していきます。

正則行列とは何かということが必ずわかるようになりますので、ぜひご覧ください。

1. 正則行列とは

冒頭でお伝えした通り、正則行列とは逆行列を持つ行列のことです。

それでは逆行列とは何だったでしょうか。正則行列について理解するために、この点について軽くおさらいしましょう。ある行列 \(A\)と、その逆行列 \(A^{-1}\) は以下の関係にあります。

これは幾何学的には、以下のアニメーションで示している通り、\(A\) で線形変換した後に、\(A^{-1}\) で線形変換をすると空間が元に戻ることを意味します。

もちろん３次元になっても同じです。

このように、行列 \(A\) で線形変換した空間を元に戻す行列が逆行列 \(A^{-1}\) です。

しかしすべての正方行列が逆行列を持っているわけではありません。そのため、逆行列を持つ行列を「正則行列（「非特異行列」または「可逆行列」）」、持たない行列を「非正則行列（または「特異行列」）」というように呼び分けられています。

2. 正則行列の条件

上で解説したように正則行列とは、線形変換した空間を元に戻す逆行列を持つ行列のことです。

それでは、正則行列と非正則行列は何が違うのでしょうか。

簡単に言うと、逆行列を持つ正則行列は、元に戻せるような形の線形変換をします。一方で、逆行列を持たない非正則行列とは、元に戻せないような形の線形変換をします。つまり、正則行列の条件とは、「元に戻せるような線形変換をする行列である」ということです。

この点について理解するには、反対に「元に戻せないような形の線形変換をする行列とはどのようなものなのか？」を考えるとわかりやすいです。これは簡単です。

まず２次元空間の場合では、空間を１次元に変換してしまうと、元の次元に戻すことはできません。これを示しているのが以下のアニメーションです。

そして３次元空間の場合は、空間を２次元や１次元に変換してしまうと、元の次元には戻せなくなってしまいます。以下のアニメーションでご確認ください。

このように、空間の次元数を下げてしまうような行列は、逆行列を持つことができません。つまり、逆行列を持つことができる行列とは、「空間の次元数を下げるような線形変換をしない行列」なのです。

これが正則行列の条件です。

3. 正則行列の判定

それでは、ある行列が、上で解説した条件を満たすかどうかを判定する簡単な方法はあるのでしょうか。もちろんあります。行列式を使えば良いのです。『行列式とは？意味と定義と求め方~行列式とは何か驚くほどよくわかる解説~』で解説している通り、行列式とは線形変換による空間の拡大倍率を示す値です。

もう一度、非正則・・・行列の条件を思い出してみてください。これは空間の次元数を下げてしまうような行列でした。そして、空間の次元数を下げるということは、その行列の行列式の値がゼロになるということと同義なのです。

念のため、このことを視覚的に確認しておきましょう。

まず２次元では、行列式の値は、２つの基底ベクトルが作る平行四辺形の面積です。そして非正則行列で線形変換したときは、２つの基底ベクトルが平行になるので、その平行四辺形の面積はゼロになります。以下のアニメーションでご確認ください。

次に３次元空間では、行列式の値は、３つの基底ベクトルが作る立方体（平行六面体）の体積です。そして非正則行列で線形変換したときは、２つ以上の基底ベクトルが平行になるので、その立方体の体積はゼロになります。

以下のアニメーションでご確認ください。

このように、ある行列が正則行列かどうかは、その行列の行列式の値がゼロかどうかで判定することができます。具体的には、行列式の値がゼロ以外のときは、その行列は正則行列であり、行列式の値がゼロのときは、その行列は非正則行列であるということです。

4. 正則行列のまとめ

以上が正則行列です。あらためてまとめておきましょう。

まず、正則行列とは逆行列をもつ行列のことです。対照的に、逆行列をもたない行列は非正則行列と言います。

幾何学的には、正則行列とは、元に戻せるような形の線形変換をする行列のことで、非正則行列とは、元に戻せないような形の線形変換をする行列のことです。このことから、ある行列の正則性の判定は、その行列の行列式の値がゼロかそうでないかを計算することで行うことができます。

当ページが、線形代数の理解の助けになったとしたら嬉しく思います。