行列式

数学における行列式（ぎょうれつしき、）とは、正方行列に対して定義される量で、歴史的には行列が表す一次方程式の可解性を判定する指標として導入された。幾何的には線型空間またはより一般の有限生成自由加群上の自己準同型に対して定義され、線型変換に対して線形空間の拡大率ということができる。行列の可逆性を判定する指標として線型代数学における最も重要な指標の一つと見なされている。
概要.
 を実2次正方行列
とするとき、これは
という平面上の線型変換を定めている。一方で、2つの平面ベクトル に対して、これらが張る平行四辺形の「向きも込めた」面積は
により指定されると考えることができる。このとき が成り立っているが、これは の定める線型変換によって平面内の図形の面積が -倍される、と解釈できる。
したがって、実2次正方行列 に対して（上の記号の下で） を対応させると、 であることや、 であるとき の定める変換は図形の向きを保ち、反対に であるとき図形の向きは反転させられることが分かる。 の乗法性から が可逆ならば は逆数を持つ数であることが従うが、反対に が退化した行列（つまり の定める変換の像が一次元の部分空間）になる場合にはすべての図形の変換後の面積が になることから となることがいえる。こうして、正方行列 が正則であることと の行列式が可逆であることは同値であることが分かる。
同様にして一般の次数のN次正方行列 に対し、 の定める線型変換が超立体(N次図形)の超体積を何倍にしているかという符号付き拡大率を の行列式として定義することができる。これは行列の成分を変数とする多項式の形でかけ、二次の場合と同様にこれは正則性など正方行列の重要な性質に対する指標を与えている。一次方程式系が与えられるとき、方程式の係数行列に対してその行列式の値を調べることにより、方程式系の根の状態をある程度知ることができる。特にクラメルの公式により、根が一組である線型方程式系の根の公式が行列式を用いて表示される。
定義.
抽象的な定義.
 を可換環とし、 を階数 の 上の自由加群とする。 の -次外冪 は 上階数1の自由加群である。 上の -線型写像 について、 上に引き起こされる -準同型 
は一意的に定まるある に関する定数倍写像と一致する。この は の行列式 と呼ばれる。
明示的な定義.
 次正方行列 の 行 列成分を で表すと、 の行列式は、次の式で定義される：
ここで、
を表す。
 次正方行列の行列式は 次の斉次多項式で、項を 個持つ（ライプニッツの公式）。
正方行列 の行列式は、 あるいは と表記される。行列の成分を明示する場合は 
を単に 
と書く。
二つの定義の同値性.
 の標準基底を とする。正方行列 を表す列ベクトルを とすると、 である。
であるが、ここで
である。ただし、 の第 成分を と表した）。これは 上 が ()-倍写像として作用していることを示している。
-次外積の普遍性により、行列式とは、行列の各列のベクトルに関する -重交代線型写像で単位行列には を与えるものとして特徴づけられることが分かる。
複線型交代形式.
次行列に関する行列式は列に関して 重交代線型性をもつ。つまり、行列を のように列ベクトルの組の形に書くことにすれば
が成り立っている。例えば、線型性によって
が成立しており、さらに交代性によって
も成り立っている。特に、どれか二つの列が全く同一の成分を持つような行列の行列式は 0 である。
 の行列式と、 の転置行列の行列式は等しい。これによって、行列式が列に関してある性質を持てば、行に関しても同様の性質を持つことが分かる。つまり、上記の性質は全て行に対するものにも書き直せる。
二つの行列の積の行列式は、それぞれの行列式の積に等しい： を 次正方行列とするとき、 である。これより特に行列式が基底の取り替えによって不変であることが従う。
歴史.
西洋で行列式が考えられるようになったのは16世紀であり、これは19世紀に導入された行列そのものよりも遥かに昔に導入されていたことになる。また、数を表の形に並べたものや、現在ガウス（・ジョルダン）消去法と呼ばれているアルゴリズムは最も古くには中国の数学者たちによって考えられていたことにも注意する必要がある。
行列式に関する最初期の計算.
楊輝（中国、1238年? - 1298年）は『詳解九章算術』で数字係数の二元連立一次方程式の解をクラメルの公式の形で、行列式的なものを含んだ形で与えている。また1545年にジェロラモ・カルダノは、著書 "Ars Magna" の中で同じく2×2の場合のクラメルの公式を与えている。この公式は （ラテン語で「様態に関するの規則」の意味）と呼ばれている。彼らは「行列式」を定義したわけではないが、その概念の萌芽を見てとることができる。
高階の行列に関する行列式.
高階の行列に関する行列式の定義はそれから百年ほどたって日本で和算の関孝和、田中由真、そしてドイツのライプニッツによりほとんど同時にかつ独立に与えられた。
関孝和ら和算家による発見.
関孝和は『解伏題之法』で行列式について述べている。本手稿のテーマは多変数の高次方程式から変数を消去して一変数の方程式に帰着することで、変数消去の一般的方法、つまり終結式の理論を提示している。本手稿では3次と4次に関しては行列式の正しい表示を与えているが、より高次の5次の場合はつねに0になってしまい、あきらかに間違っている。これが単純な誤記の類であるか否かは不明である。また、次節で述べるように、関西で活躍していた田中由真や井関知辰らの研究も同様の問題を考えており、類似の結果にたどり着いている。
これらの研究では、いずれも行列式は終結式を表すための手段にすぎず、行列式そのものを意味のある対象として捉えていたかについては異論がある。実際、それをあらわす用語すら提案されていない。また、日本が鎖国によって外界から遮断されていたこともあり、西洋数学に影響を与えることはなかった。
ライプニッツによる行列式の発見.
同じ時期にライプニッツは数多くの線型方程式系を研究していたが、その頃は行列記法がまだなかったので、彼は未知数の係数を、現在のような のかわりに のように添字の対によって表現していた。1678年に彼は3つの未知数に関する3つの方程式に興味を抱き、列に関する行列式の展開式を与えている。同じ年に彼は4次の行列式についても（符号の間違いを別にすれば）正しい式を与えている。ちなみにライプニッツはこの成果を公表しなかったので、50年後に彼とは独立に再発見されるまでこの成果は人々に認識されていなかった。
一般的な行列式.
関孝和は、最初の手稿からやや後の『大成算成』（建部賢明、建部賢弘と共著、執筆は1683年〈天和3年〉 - 1710年〈宝永7年〉頃）で、第一列についての余因子展開を一般の場合について正しく与えている。また、田中由真は『算学紛解』（1690年（元禄3年）ごろ）で 5次までの行列式を、井関知辰は『算法発揮』（1690年（元禄3年）刊）で第一行についての余因子展開を一般の場合で与えている。ちなみに関や田中の著作は写本のみであるが、井関の著作は出版がなされている。
ヨーロッパにおいても、行列式の理論は日本の場合と同じく（一次ではなく）高次の代数方程式の変数消去の研究のために発展した。1748年にマクローリンの（死後に刊行された）代数学の著作において4つの未知数に関する4つの方程式の系の解が正しい形で述べられ、行列式の研究が再開されることになった。1750年にクラメルは（証明抜きで） 個の変数に関する 個の方程式からなる方程式の解を求める規則を定式化した。この行列式の計算方法は順列の符号に基づく繊細なものだった。
ベズー（1764年）やファンデルモント（1771年、ヴァンデルモンドの行列式の計算）などがそれに続き、1772年にはラプラスによって余因子展開の公式が確立された。さらに翌年にはラグランジュによって行列式と体積との関係が発見されている。
今日の determinant（決定するもの）に当たる言葉が初めて現れたのはガウスによる1801年の "Disquisitiones Arithmeticae" である。そこで彼は二次形式の判別式（今日的な意味での行列式の特別な例と見なせる）を用いている。彼はさらに行列式と積の関係についても後少しのところまでいっている。
現代的な行列式の概念の確立.
現代的な意味での行列式という用語はコーシーによって初めて導入された。彼はそれまでに得られていた知識を統合し、1812年には積と行列式の関係を発表している（同じ年にビネも独立に証明をあたえていた）。コーシーは平行して準同型の簡約化についての基礎付けの研究も行っている。
1841年に「クレレ誌」で発表されたヤコビの3本の著作によって行列式の概念の重要性が確立された。ヤコビによって初めて行列式の計算の系統的なアルゴリズムが与えられ、またヤコビアンの概念によって写像の行列式も同様に考察できるようになった。行列の枠組みはケイリーとシルベスターによって導入された。ちなみにケイリーは逆行列の公式を確立させており、行列式の記号として縦棒を導入したのも彼である。
行列式の理論は様々な対称性を持つような行列についての行列式の研究や、線型微分方程式系のロンスキー行列式など数学の様々な分野に新たに行列式を持ち込むことが追究されている。
いくつかの行列式.
2次対称群 formula_13 は恒等置換 id (id(1) = 1, id(2) = 2) と互換 σ = (1, 2)（σ(1) = 2, σ(2) = 1）の 2 つの置換からなるので
formula_15 
となる（第 1 項が id, 第 2 項が (1,2) に対応する項である）。
2 次あるいは 3 次の正方行列については、左上から右下へ向かう方向に「+」、右上から左下へ向かう方向に「-」の符号を付けて積を取りそれらの和を取ると行列式が求められる。これを「」または「サラス展開」、「たすきがけの法」と言う。 次正方行列に対して、サラスの方法で取り出せる項の数は高々 であり、一般には行列式の総項数 に比べてはるかに少ないため、4次以上の正方行列にはこの方法は使えない。
三角行列の行列式は、主対角成分の総乗をとることで求まる。三角行列の主対角成分には固有値が並ぶから、行列式の値は固有値の総乗である。このことは、基底の取替えによる行列の三角化可能性と行列式の乗法性によって、一般の正方行列に対しても正しい。つまり、与えられた行列の行列式の値は、その行列の固有値の総乗に等しい。
発展的な話題.
小行列式.
正方行列とは限らない一般の行列 に対して、その行と列からそれぞれ 個選び、それらに属する成分からなる正方行列の行列式を考えることができる：
これを から作られる小行列式（しょうぎょうれつしき、"）という。行列に対して、 でない小行列式の最大次数は行列の階数に一致する。特に、同じ番号の行と列を選んで
の形に書かれる（対角線上にある）小行列式を主小行列式（しゅしょうぎょうれつしき、"）と呼ぶ。
余因子展開.
次正方行列 に対して、 行または 列を除いてできる小行列式に を乗じた
を 余因子（よいんし、）という。（係数 を含まない形で定義する場合もある。）
列（あるいは行）に関する線型性から、正方行列の行列式は、ある列（あるいはある行）の変数に関して斉 1 次である。 の行列式は 列に関して
と展開される。また同様に 行に関して
と展開される。（余因子の定め方によっては展開の符号が変わる。）
余因子は次数が 1 少ない行列式であるから、展開を繰り返すことで元の行列の行列式を小さなサイズの行列式の計算に帰着させることができる。基本変形に対する行列式の性質をうまく組み合わせると展開の効率を高めることができる。
余因子行列と逆行列.
次正方行列 に対し、余因子を 成分に持つ行列
を の余因子行列という。余因子行列については、余因子展開を逆に用いると
となることが確かめられる。ただし、 は 次単位行列である。またここから、 の行列式 が でない場合には
は の逆行列 に一致する（クラメルの公式)。
なお、余因子行列としてここでの余因子行列の転置行列、すなわち 余因子を 成分に持つ行列 を採用する流儀もあるので、単に「余因子行列」といったときにはどちらの流儀であるか注意が必要である。
行列式の性質.
行列式の基本的な性質として以下が成り立つ。
固有値との関係.
行列 の固有値を と置くと、
となる。このことは、 を三角化すると、対角成分に固有値が並ぶこと、すなわち
の両辺の を取ることで得られる。
特異値との関係.
正方行列 の特異値を と置くと、
となる。このことは、特異値分解を用いて示される。
正方行列 An に関して行列式と固有値および特異値の間には次の関係が成り立つ。
跡との関係.
正方行列の跡 (trace) とは、対角成分の総和である。それは固有値の総和に一致する。そのため、固有値の積である行列式とは指数関数 (exponential) を介してつながっている。
行列に対する指数関数は
と書けるが、 の固有値 とそれに属する固有ベクトル に対して、
となることより、 は固有値 とその固有ベクトル を持つことが分かる。よって、関係式
が成り立つ。
微分.
行列式は多項式であり、微分が可能である。余因子展開の式から、 の行列式 det("A") の微分として次の関係が成り立つ。