ＦａｓｃｉｎａｔｉｏｎＮ－Ｄ－Ｆｉｌｅ　行列式

やさしく学べる線形代数

線形代数学

数学における行列式（ぎょうれつしき、determinant）とは、正方行列に対して定義される量で、歴史的には行列が表す一次方程式の可解性を判定する指標として導入された。幾何的には線型空間上の自己準同型に対して定義され、線型変換によって空間の体積要素が何倍に変わるかという概念を抽象化したものと見なすことができる。行列の可逆性を判定する指標として線型代数学に置ける最も重要な指標の一つと見なされている。

概要

X を実数を成分に持つ2次の正方行列

とするとき、これは

によって平面 E² 上の線型変換を定めている。一方で平面における二つのベクトル u = (u₀, u₁), v = (v₀, v₁) について、これらが貼る平行四辺形の「向きも込めた」面積は

A(u, v) = u₀v₁ ? u₁v₀

によって指定される数だと考えることができる。このとき A(X.u, X.v) = (ad ? bc)A(u, v) が成り立っているが、これは X の定める線型変換によって平面内の図形の面積が (ad ? bc) 倍される、と解釈できる。

したがって各2次正方行列 X に対し（上の記号の下で）det X = ad ? bc を対応させると、det(XY) = det X . det Y であることや、det X > 0 であるとき X の定める変換は図形の向きを保ち、反対に det X < 0 であるとき図形の向きは反転させられることがわかる。det の乗法性から X が可逆ならば det X は逆数を持つ数であることが従うが、反対に X が退化した行列であるとき、つまり X の定める変換の像が1次元の部分空間になる場合にはすべての図形の変換後の面積が 0 になることから det X = 0 となることがいえる。こうして行列 X が正則になることと X の行列式が可逆になることが同値であるということがわかる。

同様にして一般の次数の正方行列 X に対し、X の定める線型変換が図形の体積を何倍にしているかという量を X の行列式として定義することができる。これは行列の成分を変数とする多項式の形でかけ、2次の場合と同様にこれは正則性など正方行列の重要な性質に対する指標を与えている。一次方程式系が与えられるとき、方程式の係数行列に対してその行列式の値を調べることにより、方程式系の根の状態をある程度知ることができる。特にクラメルの公式により、根が一意に決まるような線型方程式系の公式が行列式を用いて表示される。

定義

抽象的な定義

A を可換環とし、E を階数 n の A 上の自由加群とする。E のn 次外冪 ∧ⁿ E は A 上の一次元自由加群である。E 上の A-線型写像 φ について、∧ⁿE 上に引き起こされる A-準同型 ∧ⁿ(φ) は一意的に定まるある a ∈ A に関する定数倍写像と一致するが、この a は φ の行列式 det φ と呼ばれる。

明示的な定義

n 次正方行列 X の i 行 j 列成分を x_ij で表せば、X の行列式とは、

で与えられる斉 n 次の多項式（n 次形式）である（ライプニッツの公式）。ただし、は n 次の置換全体で、sgn は置換の符号と呼ばれるものである。したがって、n 次正方行列の行列式は n! 個の項を持つ。

正方行列 A の行列式は、|A| あるいは det(A) と表記される。行列の成分を明示する場合は

を単に

と書く。

二つの定義の同値性

Kⁿ の標準的な基底を (e₁, ..., e_n) とする。行列 X の各列を表す縦ベクトル v₁, ..., v_n とすると、v_jとは Xe_j にほかならない。

であるが、ここで

である。ただし、 v_i の第 j 成分を v_i^j と表した）。これは Kⁿ 上 ∧ⁿX が

倍写像として作用していることを示している。

n 次外積の普遍性により、行列式とは行列の各行の縦ベクトルに関する n 重交代線型写像で単位行列について 1 を与えるようなものとして特徴づけられることがわかる。

複線型交代形式

n 次行列に関する行列式は列に関して n 重交代線型性をもつ。つまり、行列を (x₁, x₂, ..., x_n) のように列ベクトルの組の形に書くことにすれば

が成り立っている。例えば、線型性によって

が成立しており、さらに交代性によって

も成り立っている。特に、どれか二つの列が全く同一の成分を持つような行列の行列式は 0 である。

行列のある列に、その行列の他の列の定数倍を足したり引いたり（行列の基本変形）しても、行列式の値は変わらない。

A の行列式と、A の転置行列の行列式は等しい。これによって、行列式が列に関してある性質を持てば、行に関しても同様の性質を持つことが分かる。つまり、上記の性質は全て行に対するものにも書き直せる。

二つの行列の積の行列式は、それぞれの行列式の積に等しい： A, B を n 次正方行列とするとき、|A| |B| = |AB| である。これより特に行列式が基底の取り替えによって不変であることが従う。

歴史

西洋で行列式が考えられるようになったのは16世紀であり、これは19世紀に導入された行列そのものよりも遥かに昔に導入されていたことになる。また、数を表の形に並べたものや、現在ガウス（・ジョルダン）消去法と呼ばれているアルゴリズムは最も古くには中国の数学者たちによって考えられていたことにも注意する必要がある。

行列式に関する最初期の計算

元々の行列式の意味は一次方程式系の解の一意性を決定する指標であった。2次行列に対する行列式は1545年にジロラモ・カルダノによって Ars Magna の中で2つの未知数に関する2つの方程式が解けるかどうかの規則として導入された。この公式は regula de modo と呼ばれている。

高階の行列に関する行列式の定義はそれから百年ほどたって日本の関孝和とドイツのライプニッツによりほとんど同時に与えられた。

ライプニッツは数多くの線型方程式系を研究していたが、その頃は行列記法がまだなかったので、彼は未知数の係数を、現在のような a_i,j のかわりに ij のように添字の対によって表現していた。1678年に彼は3つの未知数に関する3つの方程式に興味を抱き、列に関する行列式の展開式を与えている。同じ年にかれは4次の行列式についても符号の間違いを別にすればば正しい式を与えている。ライプニッツはこの成果を公表せず、50年後に彼とは独立に再発見されるまでこの成果は人々に認識されていなかった。

同じ時期に関孝和は行列式に関する手敲を発表し、そのなかで「解釈の難しい」一般的な式の発見について述べている。彼は3次と4次に関しては行列式の正しい表示を与えているが、より高階については符号の誤りが見られる。この発見は日本が鎖国によって外界から遮断されていたこともあり、その後は日の目を見ることがなかった。

一般的な行列式

1748年にマクローリンの（死後に刊行された）代数学の著作において4つの未知数に関する4つの方程式の系の解が正しい形で述べられ、行列式の研究が再開されることになった。1750年にクラメルは（証明抜きで）N個の変数に関するN個の方程式からなる方程式の解を求める規則を定式化した。この行列式の計算方法は順列の符号にもとづく繊細なものだった。

ベズー（1764年）やファンデルモント（1771年、ファンデルモント行列の行列式の計算）などがそれに続き、1772年にはラプラスによって余因子展開の公式が確立された。さらに翌年にはラグランジュによって行列式と体積との関係が発見されている。

今日の determinant（決定するもの）にあたる言葉が初めてあらわれたのはガウスによる1801年の Disquisitiones arithmeticae（邦題『ガウス整数論』）である。そこで彼は2次形式の判別式（今日的な意味での行列式の特別な例と見なせる）を用いている。彼はさらに行列式と積の関係についてもあとすこしのところまでいっている。

現代的な行列式の概念の確立

現代的な意味での行列式という用語はコーシーによって初めて導入された。彼はそれまでに得られていた知識を統合し、1812年には積と行列式の関係を発表している。（同じ年にビネも独立に証明をあたえていた。）コーシーは平行して準同型の簡約化についての基礎付けの研究も行っている。

1841年に「クルレ」で発表されたヤコビの3本の著作によって行列式の概念の重要性が確立された。ヤコビによって初めて行列式の計算の系統的なアルゴリズムが与えられ、またヤコビアンの概念によって写像の行列式も同様に考察できるようになった。行列の枠組みはケイリーとシルベスターによって導入された。ケイリーは逆行列の公式を確立させている。行列式の記号として縦棒を導入したのも彼である。

行列式の理論は様々な対称性を持つような行列についての行列式の研究や、線型微分方程式系のロンスキアンなど数学の様々な分野にあらたに行列式を持ち込むことが追求されている。

計算例

は恒等置換 id（id(1) = 1, id(2) = 2）と互換 σ = (1,2)（σ(1) = 2, σ(2) = 1）の 2 つの置換からなるので

となる（第 1 項が id, 第 2 項が (1,2) に対応する項である）。

2 次あるいは 3 次の正方行列については、左上から右下へ向かう方向に「+」、右上から左下へ向かう方向に「-」の符号を付けて積を取りそれらの和を取ると行列式が求められる。これを「サラス(Sarrus)の方法」または「サラス展開」、「たすきがけの法」と言う。n 次正方行列に対して、サラスの方法で取り出せる項の数は高々 2n であり、一般には行列式の総項数 n! に比べてはるかに少ないため、4次以上の正方行列にはこの方法は使えない。

三角行列の行列式は、主対角成分の総乗をとることで求まる。三角行列の主対角成分には固有値が並ぶから、行列式の値は固有値の総乗である。このことは、基底の取替えによる行列の三角化可能性と行列式の乗法性によって、一般の正方行列に対しても正しい。つまり、与えられた行列の行列式の値は、その行列の固有値の相乗に等しい。