Courses
ある種の行列は、別の行列を掛けることで変換を「元に戻せる」ため、割り算ができる数のように振る舞います。したがって、可逆行列とは、逆行列(その行列の逆)をもつ正方行列のことです。
この性質は、たとえば連立一次方程式を解くときに本質的です。逆行列があれば、その系の未知数を直接計算できます。
以下では、厳密な定義、可逆性の条件、主要な性質、計算方法、そしてもちろん具体的な例を多数紹介します。
可逆行列とは?
n×n の正方行列 A は、n×n の別の行列 B が存在して
![]()
を満たすときに可逆といいます。ここで I は同じサイズ(n×n)の単位行列です。行列 B は A-1(A の -1 乗のように表す)と書き、A の逆行列と呼ばれます。
重要な点として、可逆なのは正方行列に限られ、非正方行列には逆行列が存在しません。これは線形代数における全単射性に由来しますが、本記事では直感的理解を優先し、この単純なルールに留めます。
単位行列とは?
単位行列 I は、行列の世界で乗法における単位元として振る舞う正方行列です。したがって、適合する任意の行列に I を掛けても、行列は変化しません。中立な変換、より厳密には恒等変換と考えることができます。
2x2 の場合は次のとおりです。

3x3 の例は次のとおりです。

定義関係は次のとおりです

これは、A にその逆行列を掛けると、中立な出発点に戻ることを示しています。一般に行列の積は可換ではありませんが、この場合に限って順序は問題になりません。AA−1 = A−1A = I となるのは、A と A⁻¹ が互いに逆として定義されているためです。
行列が可逆であるための条件
正方行列 A が可逆であることは、次の三つの同値な条件を満たすことと同値です。
- 行列式が 0 でない。すなわち det(A)≠0。
- 行や列が一次独立であり、どの列(行)ベクトルも他の列(行)ベクトルと同一直線上にない。
- 階数がその次元 n に等しい(フルランク)。
いずれかが成り立たない場合、逆行列は存在しません。
行列式と可逆性
行列式は直接的な数値テストを与えます。したがって det(A)=0 なら、A の階数は次元数よりも真に小さく、A が表す変換は少なくとも一つの次元で潰れており、その時点で A の逆変換を取り戻すことは不可能です。形式的には、A に逆は存在しないことを意味します。
det(A) が 0 でなければ、逆行列は存在し計算できます。この同値性はすべての正方行列に成り立ち、実務上はこれ以上の導出を必要としません。直感的には、行列式は A が空間の体積をどのようにスケールさせるかを表すスカラーだと考えられます。
したがって、|det(A)| > 1 の大きさは A が空間を拡大すること、行列式が負であることは A が空間の向きを反転させること、|det(A)| < 1 なら A が空間を縮小すること、そして行列式が 0 なら A が表す変換が空間の次元を下げること(たとえば二つの軸を重ねてしまうようなもの)を意味します。
可逆行列と非可逆(特異)行列
逆行列をもつ行列は可逆(または非特異)と呼ばれます。逆行列をもたない行列は特異と呼ばれます。
|
性質 |
可逆行列 |
特異行列 |
|
行列式 |
det(A) ≠ 0 |
det(A)=0 |
|
階数 |
rank(A)=n |
Rank(A)<n |
|
行/列 |
一次独立 |
少なくとも一つの一次従属 |
|
Ax=b の解 |
ただ一つの解 |
解なしまたは無数 |
逆行列の求め方
手計算の代表的な方法が二つ、加えてソフトウェアでの直接計算があります。
2×2 行列の公式
次のとき

det(A)=ad-bc≠0 なら、

行基本変形(ガウス・ジョルダン)
拡大行列 [A| I] を作り、左半分が I になるまで基本的な行操作を適用します。すると右半分に A-1 が現れます。
ソフトウェアの利用(Python など)
Python の NumPy では、det(A) ≠ 0 を確認したうえで numpy.linalg.inv(A) により逆行列を得られます。
可逆行列の例
次の 2x2 行列を考えます。

まず行列式を計算します。
![]()
したがって A は可逆です。2x2 の公式を適用すると、次のようになります。

では、得られた結果を検算しましょう。

同様に A-1A についても成り立ちます。
可逆行列が重要な理由
可逆行列は、線形変換を正確に逆向きに戻す必要がある場面で不可欠です。線形方程式系では一意解の存在を保証します。機械学習では、正規方程式や最小二乗法に現れ、設計行列が列フルランクである場合などに用いられます。
ほかの例としてはコンピュータグラフィックスがあり、回転・拡大縮小・平行移動といった可逆な変換を表し、レンダリングやアニメーションのために元に戻す必要があります。また、物理学では常微分方程式系の解法などに現れ、日常的な多くの用途があります。
可逆行列と線形方程式系
連立一次方程式は Ax=b と簡潔に書けます。ここで A は係数行列、x は未知数ベクトル、b は定数ベクトルです。A が可逆なら、一意解は次式で直接得られます。
![]()
この場合、他のいかなる解もこの方程式を満たしません。
可逆行列でよくある誤り
よく見受けられる誤りは次のとおりです。
- すべての正方行列が可逆だと思い込む。
- 逆行列を求める前に行列式の確認を怠る。
- 逆行列と転置を混同する(両者が一致するのは特定の直交行列に限られる)。
- 特異行列を可逆とみなして、数値計算で無意味または不安定な結果を得てしまう。
可逆行列の主要な性質
本記事の範囲での可逆行列の主な性質は次のとおりです。
A と B を可逆な n×n 行列とします。このとき:
逆行列は一意である。
積 AB は可逆であり、
![]()
逆行列の逆は元の行列である:
![]()
逆行列の行列式は元の行列式の逆数である:
![]()
逆行列の転置は転置の逆行列に等しい:

まとめ
可逆行列とは、A.A-1 = I を満たす一意の逆行列をもつ正方行列です。
決定的な判定は、行列式が 0 でないことと、行または列が一次独立であることです。これらの性質こそが、線形方程式系にただ一つの解が存在し、線形変換を正確に逆向きにできることの指標になります。
可逆行列を習得すれば、連立一次方程式の解法が非常に扱いやすくなります。それだけでなく、データサイエンスで信頼できるモデルを構築したり、線形代数に依存するあらゆる分野で厳密な計算を行うことができるようになります。
可逆行列に関するよくある質問
可逆行列とは何ですか?
可逆行列とは、逆行列と呼ばれる別の行列をもつ正方行列です。元の行列にその逆行列を掛けると、通常の算術での 1 に相当する単位行列が得られます。可逆行列とは、逆行列と呼ばれる別の行列をもつ正方行列です。元の行列にその逆行列を掛けると、通常の算術での 1 に相当する単位行列が得られます。
行列が可逆かどうかはどう判断しますか?
正方行列が可逆であるのは、行列式が 0 でなく、行または列が一次独立である場合に限られます。これら二つのテストは同値であり、その行列がフルランクであることを確認します。
特異行列とは何ですか?
特異行列は、逆行列をもたない正方行列です。行列式が 0 に等しく、少なくとも一つの行または列が他の行や列の一次結合になっているため、掛け算で元に戻すことができません。
可逆行列はなぜ重要ですか?
連立一次方程式を解く際に一意解を保証し、データサイエンスでは線形回帰などのタスク、コンピュータグラフィックスでは可逆変換、そして線形操作の正確な反転が必要なあらゆる分野で不可欠です。
非正方行列は可逆になり得ますか?
逆行列をもてるのは正方行列だけです。非正方行列には、積が単位行列になるために必要な一致した次元がありません。