行列式

数学における行列式（ぎょうれつしき、テンプレート:Lang-en-short）とは、正方行列に対して定義される量で、歴史的には行列が表す一次方程式の可解性を判定する指標として導入された。幾何的には線型空間またはより一般の有限生成自由加群上の自己準同型に対して定義され、線型変換に対して線形空間の拡大率ということができる。行列の可逆性を判定する指標として線型代数学における最も重要な指標の一つと見なされている。

概要

テンプレート:Mvar を実2次正方行列

$X=\left[\begin{array}{cc}a& b\\ c& d\end{array}\right]$

とするとき、これは

$\left[\begin{array}{c}x\\ y\end{array}\right]\mapsto \left[\begin{array}{c}ax+by\\ cx+dy\end{array}\right]$

という平面上の線型変換を定めている。一方で、2つの平面ベクトル テンプレート:Math, テンプレート:Math に対して、これらが張る平行四辺形の「向きも込めた」面積は

$A(u,v)=u_0{v}_1-u_1{v}_0$

により指定されると考えることができる。このとき テンプレート:Math が成り立っているが、これは テンプレート:Mvar の定める線型変換によって平面内の図形の面積が テンプレート:Math 倍される、と解釈できる。

したがって、実2次正方行列 テンプレート:Mvar に対して（上の記号の下で）テンプレート:Math を対応させると、テンプレート:Math であることや、テンプレート:Math であるとき テンプレート:Mvar の定める変換は図形の向きを保ち、反対に テンプレート:Math であるとき図形の向きは反転させられることが分かる。テンプレート:Math の乗法性から テンプレート:Mvar が可逆ならば テンプレート:Math は逆数を持つ数であることが従うが、反対に テンプレート:Mvar が退化した行列（つまり テンプレート:Mvar の定める変換の像が一次元の部分空間）になる場合にはすべての図形の変換後の面積が テンプレート:Math になることから テンプレート:Math となることがいえる。こうして、正方行列 テンプレート:Mvar が正則であることと テンプレート:Mvar の行列式が可逆であることは同値であることが分かる。

この平行六面体の体積はベクトル テンプレート:Math の成す テンプレート:Math 次正方行列の行列式の絶対値に一致する。

同様にして一般の次数のN次正方行列 テンプレート:Mvar に対し、テンプレート:Mvar の定める線型変換が超立体（N次図形）の超体積を何倍にしているかという符号付き拡大率を テンプレート:Mvar の行列式として定義することができる。これは行列の成分を変数とする多項式の形で書け、二次の場合と同様にこれは正則性など正方行列の重要な性質に対する指標を与えている。一次方程式系が与えられるとき、方程式の係数行列に対してその行列式の値を調べることにより、方程式系の根の状態をある程度知ることができる。特にクラメルの公式により、根が一組である線型方程式系の根の公式が行列式を用いて表示される。

定義

抽象的な定義

テンプレート:Mvar を可換環とし、テンプレート:Mvar をテンプレート:Mvar 上の階数 テンプレート:Mvar の自由加群とする。テンプレート:Mvar の基底 $\{e_1,\dots ,e_n\}$ を固定するとき、テンプレート:Mvar の[[外積代数|テンプレート:Mvar-次外冪]] ${\bigwedge }^{n}E$ は生成元 $e_1\wedge \cdots \wedge e_n$ によって張られるテンプレート:Mvar 上の階数1の自由加群である。

テンプレート:Mvar 上のテンプレート:Mvar線型写像 $\varphi :E\to E$ に対し、外冪の普遍性により${\bigwedge }^n\varphi :{\bigwedge }^{n}E\to {\bigwedge }^{n}E$ が一意に誘導され、この写像は生成元に対して${\bigwedge }^n\varphi (e_1\wedge \cdots \wedge e_n)=\varphi (e_1)\wedge \cdots \wedge \varphi (e_n)$と作用する。

${\bigwedge }^{n}E$ が階数1の自由加群であることから、${\bigwedge }^n\varphi$ はテンプレート:Mvar の元によるスカラー倍写像と一致する。すなわち、ある $a\in A$ が一意に存在して$${\bigwedge }^n\varphi (e_1\wedge \cdots \wedge e_n)=a\cdot (e_1\wedge \cdots \wedge e_n)$$を満たす。この $a$ を $\varphi$ の行列式と呼び、$\det \varphi$ と表記する。

明示的な定義

テンプレート:Main テンプレート:Mvar 次正方行列 テンプレート:Mvar の テンプレート:Mvar 行 テンプレート:Mvar 列成分を テンプレート:Mvar で表すと、テンプレート:Mvar の行列式は、次の式で定義される：

$\det A=\sum _{\sigma \in \mathrm{Aut}(n)}\{(\mathrm{sgn}\sigma )\prod _{i=1}^n{a}_{i,\sigma (i)}\}$

ここで、

テンプレート:Math は テンプレート:Mvar 次対称群（テンプレート:Math の自己同型群）

テンプレート:Math は置換の符号

を表す。

テンプレート:Mvar 次正方行列の行列式は テンプレート:Mvar 次の斉次多項式で、項を テンプレート:Math 個持つ（ライプニッツの公式）。

正方行列 テンプレート:Mvar の行列式は、テンプレート:Math あるいは テンプレート:Math と表記される。行列の成分を明示する場合は

$$\left|\left[\begin{array}{cc}a& b\\ c& d\end{array}\right]\right|$$

を単に

$$\left|\begin{array}{cc}a& b\\ c& d\end{array}\right|$$

と書く。

二つの定義の同値性

テンプレート:Mvar の標準基底を テンプレート:Math とする。正方行列 テンプレート:Mvar を表す列ベクトルを テンプレート:Math とすると、テンプレート:Math である。

$({\bigwedge }^{n}X)(e_1\wedge \cdots \wedge e_n)=v_1\wedge \cdots \wedge v_n$

であるが、ここで

$v_1\wedge \cdots \wedge v_n=(\sum _{\sigma \in {𝔖}_n}\mathrm{sgn}(\sigma )v_{\sigma (1)}^1{v}_{\sigma (2)}^2\cdots v_{\sigma (n)}^n)e_1\wedge \cdots \wedge e_n$

である。ただし、テンプレート:Mvar の第 テンプレート:Mvar 成分を テンプレート:Mvar と表した）。これは テンプレート:Mvar 上 テンプレート:Math が (テンプレート:Math)-倍写像として作用していることを示している。

テンプレート:Mvar-次外積の普遍性により、行列式とは、行列の各列のベクトルに関する テンプレート:Mvar-重交代線型写像で単位行列には テンプレート:Math を与えるものとして特徴づけられることが分かる。

複線型交代形式

テンプレート:Main テンプレート:See also テンプレート:Mvar次行列に関する行列式は列に関して テンプレート:Mvar重交代線型性をもつテンプレート:Sfn。つまり、行列を テンプレート:Math のように列ベクトルの組の形に書くことにすれば

$\begin{array}{cc}|\dots ,({𝒂}_i+𝒂{\text{'}}_i),\dots |& =|\dots ,{𝒂}_i,\dots |+|\dots ,𝒂{\text{'}}_i,\dots |,\\ |\dots ,\lambda {𝒂}_i,\dots |& =\lambda \cdot |\dots ,{𝒂}_i,\dots |,\\ |\dots ,{𝒂}_i,\dots ,{𝒂}_j,\dots |& =-|\dots ,{𝒂}_j,\dots ,{𝒂}_i,\dots |\end{array}$

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

$\left|\begin{array}{ccc}\lambda a_{11}+\mu a_{1^{\prime }1}& a_{12}& a_{13}\\ \lambda a_{21}+\mu a_{2^{\prime }1}& a_{22}& a_{23}\\ \lambda a_{31}+\mu a_{3^{\prime }1}& a_{32}& a_{33}\end{array}\right|=\lambda \left|\begin{array}{ccc}{a}_{11}& a_{12}& a_{13}\\ a_{21}& a_{22}& a_{23}\\ a_{31}& a_{32}& a_{33}\end{array}\right|+\mu \left|\begin{array}{ccc}{a}_{1^{\prime }1}& a_{12}& a_{13}\\ a_{2^{\prime }1}& a_{22}& a_{23}\\ a_{3^{\prime }1}& a_{32}& a_{33}\end{array}\right|$

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

$\left|\begin{array}{ccc}{a}_{11}& a_{12}& a_{13}\\ a_{21}& a_{22}& a_{23}\\ a_{31}& a_{32}& a_{33}\end{array}\right|=-\left|\begin{array}{ccc}{a}_{12}& a_{11}& a_{13}\\ a_{22}& a_{21}& a_{23}\\ a_{32}& a_{31}& a_{33}\end{array}\right|$

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

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

二つの行列の積の行列式は、それぞれの行列式の積に等しい：テンプレート:Math を テンプレート:Mvar次正方行列とするとき、テンプレート:Math である。これより特に行列式が基底の取り替えによって不変であることが従う。

歴史

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

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

楊輝（中国、1238年? - 1298年）は『詳解九章算術』で数字係数の二元連立一次方程式の解をクラメルの公式の形で、行列式的なものを含んだ形で与えている。また1545年にジェロラモ・カルダノは、著書 テンプレート:Lang の中で同じくテンプレート:Mathの場合のクラメルの公式を与えている。この公式は テンプレート:Lang（ラテン語で「様態に関するの規則」の意味）と呼ばれている。彼らは「行列式」を定義したわけではないが、その概念の萌芽を見てとることができる。

高階の行列に関する行列式

ベルヌーイ数や二項係数について書かれた関孝和による「括要算法」（1712年）

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

関孝和ら和算家による発見

関孝和は『解伏題之法』で行列式について述べている。本手稿のテーマは多変数の高次方程式から変数を消去して一変数の方程式に帰着することで、変数消去の一般的方法、つまり終結式の理論を提示している。本手稿では3次と4次に関しては行列式の正しい表示を与えているが、より高次の5次の場合はつねに0になってしまい、あきらかに間違っている。これが単純な誤記の類であるか否かは不明である。また、次節で述べるように、関西で活躍していた田中由真や井関知辰らの研究も同様の問題を考えており、類似の結果にたどり着いている。

これらの研究では、いずれも行列式は終結式を表すための手段にすぎず、行列式そのものを意味のある対象として捉えていたかについては異論がある。実際、それをあらわす用語すら提案されていない。また、日本が鎖国によって外界から遮断されていたこともあり、西洋数学に影響を与えることはなかった。

ライプニッツによる行列式の発見

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

一般的な行列式

関孝和は、最初の手稿からやや後の『大成算経』（建部賢明、建部賢弘と共著、執筆は1683年〈天和3年〉 - 1710年〈宝永7年〉頃）で、第一列についての余因子展開を一般の場合について正しく与えている。また、田中由真は『算学紛解』（1690年（元禄3年）ごろ）で 5次までの行列式を、井関知辰は『算法発揮』（1690年（元禄3年）刊）で第一行についての余因子展開を一般の場合で与えている。ちなみに関や田中の著作は写本のみであるが、井関の著作は出版がなされている。

ヨーロッパにおいても、行列式の理論は日本の場合と同じく（一次ではなく）高次の代数方程式の変数消去の研究のために発展した。1748年にマクローリンの（死後に刊行された）代数学の著作において4つの未知数に関する4つの方程式の系の解が正しい形で述べられ、行列式の研究が再開されることになった。1750年にクラメルは（証明抜きで）テンプレート:Mvar 個の変数に関する テンプレート:Mvar 個の方程式からなる方程式の解を求める規則を定式化した。この行列式の計算方法は順列の符号に基づく繊細なものだった。

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

今日の テンプレート:Lang（決定するもの）に当たる言葉が初めて現れたのはガウスによる1801年の テンプレート:Lang である。そこで彼は二次形式の判別式（今日的な意味での行列式の特別な例と見なせる）を用いている。彼はさらに行列式と積の関係についても後少しのところまでいっている。

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

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

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

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

いくつかの行列式

2次対称群 ${𝔖}_2$ は恒等置換 テンプレート:Math と互換 テンプレート:Math の 2 つの置換からなるので

$\left|\begin{array}{cc}{a}_{11}& a_{12}\\ a_{21}& a_{22}\end{array}\right|=a_{11}{a}_{22}-a_{21}{a}_{12}$

$\left|\begin{array}{ccc}{a}_{11}& a_{12}& a_{13}\\ a_{21}& a_{22}& a_{23}\\ a_{31}& a_{32}& a_{33}\end{array}\right|=a_{11}{a}_{22}{a}_{33}+a_{12}{a}_{23}{a}_{31}+a_{13}{a}_{21}{a}_{32}-a_{13}{a}_{22}{a}_{31}-a_{11}{a}_{23}{a}_{32}-a_{12}{a}_{21}{a}_{33}$

となる（第 1 項が テンプレート:Math, 第 2 項が テンプレート:Math に対応する項である）。

サラスの方法

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

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

発展的な話題

小行列式

テンプレート:Main 正方行列とは限らない一般の行列 テンプレート:Math に対して、その行と列からそれぞれ テンプレート:Mvar 個選び、それらに属する成分からなる正方行列の行列式を考えることができる：

$\left|\begin{array}{cccc}{a}_{i_1{j}_1}& a_{i_1{j}_2}& \cdots & a_{i_1{j}_k}\\ a_{i_2{j}_1}& a_{i_2{j}_2}& \cdots & a_{i_2{j}_k}\\ ⋮& ⋮& \ddots & ⋮\\ a_{i_k{j}_1}& a_{i_k{j}_2}& \cdots & a_{i_k{j}_k}\end{array}\right|$

これを テンプレート:Mvar から作られる小行列式（しょうぎょうれつしき、テンプレート:Lang）という。行列に対して、テンプレート:Math でない小行列式の最大次数は行列の階数に一致する。特に、同じ番号の行と列を選んで

$\left|\begin{array}{cccc}{a}_{i_1{i}_1}& a_{i_1{i}_2}& \cdots & a_{i_1{i}_k}\\ a_{i_2{i}_1}& a_{i_2{i}_2}& \cdots & a_{i_2{i}_k}\\ ⋮& ⋮& \ddots & ⋮\\ a_{i_k{i}_1}& a_{i_k{i}_2}& \cdots & a_{i_k{i}_k}\end{array}\right|$

の形に書かれる（対角線上にある）小行列式を主小行列式（しゅしょうぎょうれつしき、テンプレート:Lang）と呼ぶ。

余因子展開

テンプレート:Main テンプレート:Mvar次正方行列 テンプレート:Math に対して、テンプレート:Mvar 行または テンプレート:Mvar 列を除いてできる小行列式に テンプレート:Math を乗じた

${\mathrm{\Delta }}_{ij}=(-1{)}^{i+j}\left|\begin{array}{cccccc}{a}_{11}& \cdots & a_{1,j-1}& a_{1,j+1}& \cdots & a_{1n}\\ ⋮& \ddots & ⋮& ⋮& \ddots & ⋮\\ a_{i-1,1}& \cdots & a_{i-1,j-1}& a_{i-1,j+1}& \cdots & a_{i-1,n}\\ a_{i+1,1}& \cdots & a_{i+1,j-1}& a_{i+1,j+1}& \cdots & a_{i+1,n}\\ ⋮& \ddots & ⋮& ⋮& \ddots & ⋮\\ a_{n1}& \cdots & a_{n,j-1}& a_{n,j+1}& \cdots & a_{nn}\end{array}\right|$

を テンプレート:Math余因子（よいんし、テンプレート:Lang-en-short）という。（係数 テンプレート:Math を含まない形で定義する場合もある。）

列（あるいは行）に関する線型性から、正方行列の行列式は、ある列（あるいはある行）の変数に関して斉 1 次である。テンプレート:Mvar の行列式は テンプレート:Mvar 列に関して

$\det (A)={\mathrm{\Delta }}_{1j}{a}_{1j}+{\mathrm{\Delta }}_{2j}{a}_{2j}+\cdots +{\mathrm{\Delta }}_{nj}{a}_{nj}$

と展開される。また同様に テンプレート:Mvar 行に関して

$\det (A)={\mathrm{\Delta }}_{i1}{a}_{i1}+{\mathrm{\Delta }}_{i2}{a}_{i2}+\cdots +{\mathrm{\Delta }}_{in}{a}_{in}$

と展開される。（余因子の定め方によっては展開の符号が変わる。）

余因子は次数が 1 少ない行列式であるから、展開を繰り返すことで元の行列の行列式を小さなサイズの行列式の計算に帰着させることができる。基本変形に対する行列式の性質をうまく組み合わせると展開の効率を高めることができる。

余因子行列と逆行列

テンプレート:Mvar次正方行列 テンプレート:Math に対し、テンプレート:Math余因子を テンプレート:Math成分に持つ行列

$\tilde{A}:=\left[\begin{array}{cccc}{\mathrm{\Delta }}_{11}& {\mathrm{\Delta }}_{21}& \cdots & {\mathrm{\Delta }}_{n1}\\ {\mathrm{\Delta }}_{12}& {\mathrm{\Delta }}_{22}& \cdots & {\mathrm{\Delta }}_{n2}\\ ⋮& ⋮& \ddots & ⋮\\ {\mathrm{\Delta }}_{1n}& {\mathrm{\Delta }}_{2n}& \cdots & {\mathrm{\Delta }}_{nn}\end{array}\right]$

を テンプレート:Mvar の余因子行列という。余因子行列については、余因子展開を逆に用いると

$\tilde{A}A=A\tilde{A}=\det (A)E_n$

となることが確かめられる。ただし、テンプレート:Mvar は テンプレート:Mvar次単位行列である。またここから、テンプレート:Mvar の行列式 テンプレート:Math が テンプレート:Math でない場合には

$\frac{1}{\det (A)}\tilde{A}=\left[\begin{array}{cccc}\frac{{\mathrm{\Delta }}_{11}}{\det (A)}& \frac{{\mathrm{\Delta }}_{21}}{\det (A)}& \cdots & \frac{{\mathrm{\Delta }}_{n1}}{\det (A)}\\ \frac{{\mathrm{\Delta }}_{12}}{\det (A)}& \frac{{\mathrm{\Delta }}_{22}}{\det (A)}& \cdots & \frac{{\mathrm{\Delta }}_{n2}}{\det (A)}\\ ⋮& ⋮& \ddots & ⋮\\ \frac{{\mathrm{\Delta }}_{1n}}{\det (A)}& \frac{{\mathrm{\Delta }}_{2n}}{\det (A)}& \cdots & \frac{{\mathrm{\Delta }}_{nn}}{\det (A)}\end{array}\right]$

は テンプレート:Mvar の逆行列 テンプレート:Math に一致する（クラメルの公式)。

なお、余因子行列としてここでの余因子行列の転置行列、すなわち テンプレート:Math余因子を テンプレート:Math成分に持つ行列 を採用する流儀もあるので、単に「余因子行列」といったときにはどちらの流儀であるか注意が必要である。

行列式の性質

行列式の基本的な性質として以下が成り立つ。

$\det (E)=1$テンプレート:Sfn

$\det (AB)=\det (A)\det (B)$テンプレート:Sfn

$\det (A^{-1})=\det (A{)}^{-1}$テンプレート:Sfn

$\det (A^T)=\det (A)$テンプレート:Sfn

$\det (\bar{A})=\overline{\det (A)}$

転置の性質

ある行列の転置行列の行列式の値はもとの行列式の値と変わらない。

行列式の行または列の入れ替えの性質

行列式の2つの行(または列)を入れ替えると、行列式の値は符号だけ変わる。

定数倍の性質

行列式の1つの行(または列)の各要素に一定の数cをかけた行列式の値は、もとの行列式の値のc倍になる。

同じ行があるときの性質

行列式の2つの行(または列)が行列式の一致する行列式なら、その行列式の値は0になる。

行列式の和の性質

行列式の1つの行(または列)の各要素が2つの数の和であるならば、その行(または列)を一方の数のみで置き換えた行列と、他方のみで置き換えた行列式との和になる。

行列式の計算則

行列式の1つの行(または列)の各要素に一定の数cをかけて他の行(または列)に加えても、行列式の値は変わらない。

行列の積の行列式

n次の正方行列A,Bに関して|AB|=|A||B|が成り立つ。

固有値との関係

行列 テンプレート:Mvar の固有値を テンプレート:Mvar テンプレート:Math と置くと、

$\det (A)=\prod _{k=1}^n{\lambda }_k$

となる。このことは、テンプレート:Mvar を三角化すると、対角成分に固有値が並ぶこと、すなわち

$P^{-1}AP=\left[\begin{array}{ccccc}{\lambda }_1& & & & *\\ & {\lambda }_2& & & \\ & & \ddots & & \\ & & & {\lambda }_{n-1}& \\ & & & & {\lambda }_n\end{array}\right]$

の両辺の テンプレート:Math を取ることで得られる。

特異値との関係

正方行列 テンプレート:Mvar の特異値を テンプレート:Math (テンプレート:Math) と置くと、

$|\det (A)|=\prod _{k=1}^n{\sigma }_k(A)$

となる。このことは、特異値分解を用いて示される。 テンプレート:Math proof

正方行列 テンプレート:Mvar に関して行列式と固有値および特異値の間には次の関係が成り立つ。

$|\det (A_n)|=\prod _{k=1}^n|{\lambda }_k(A_n)|=\prod _{k=1}^n{\sigma }_k(A_n)$

跡との関係

正方行列の跡 テンプレート:Lang とは、対角成分の総和である。それは固有値の総和に一致する。そのため、固有値の積である行列式とは指数関数 テンプレート:Lang を介してつながっている。 行列に対する指数関数は

$\exp (A)=\sum _{k=0}^{\mathrm{\infty }}\frac{A^k}{k!}$

と書けるが、テンプレート:Mvar の固有値 テンプレート:Mvar とそれに属する固有ベクトル テンプレート:Mvar に対して、

$\begin{array}{cc}{𝒙}_i\exp (A)& ={𝒙}_i\sum _{k=0}^{\mathrm{\infty }}\frac{A^k}{k!}\\ & ={𝒙}_i\sum _{k=0}^{\mathrm{\infty }}\frac{{\lambda }_i^k}{k!}\\ & ={𝒙}_i\exp ({\lambda }_i)\end{array}$

となることより、テンプレート:Math は固有値 テンプレート:Math とその固有ベクトル テンプレート:Mvar を持つことが分かる。よって、関係式

$\det \exp (A)=\exp \mathrm{tr}(A)$

が成り立つ。

微分

行列式は多項式であり、微分が可能である。余因子展開の式から、テンプレート:Mvar の行列式 テンプレート:Math の微分として次の関係が成り立つ。

$\frac{\partial \det (A)}{\partial a_{ij}}={\mathrm{\Delta }}_{ij}$

$\begin{array}{cc}\mathrm{d}\det (A)& =\sum _{i,j=1}^n{\mathrm{\Delta }}_{ij}\mathrm{d}{a}_{ij}\\ & =\mathrm{tr}(\tilde{A}\mathrm{d}A)\\ & =\det (A)\mathrm{tr}(A^{-1}\mathrm{d}A)\end{array}$

関連項目

• 線型代数学
• ケイリー・ハミルトンの定理
• ヤコビアン
• シルベスター行列、終結式
• 固有多項式
• ファンデルモンド行列#ファンデルモンドの行列式
• コーシー・ビネの公式
• パフィアン
• パーマネント

参考文献

• テンプレート:Cite book
• 行列と行列式の歴史に関する解説（英語）
• テンプレート:Cite journal
• Vein, R., & Dale, P. (2006). Determinants and their applications in mathematical physics (Vol. 134). Springer Science & Business Media.
• テンプレート:Cite book
• 数式処理のコンピューター(1)計算の完全機械化(未来技術)『日経産業新聞』1982年7月20日
• 和算の大家、関孝和没後300年庶民も愛した数学再興目指し記念の催し『東京朝刊』2007年11月11日
• 三宅敏恒『線形代数学-初歩からジョルダン標準形へ』培風館、2008年
• 中神祥臣、柳井晴夫：「矩形行列の行列式」、丸善出版、ISBN 978-4-621-06508-2（2012年12月）。※　正方ではない行列に対して行列式を一般化する理論のひとつについての解説。

外部リンク

• テンプレート:高校数学の美しい物語
• 行列式の性質、KIT金沢工業大学、2013年7月14日
• 行列と行列式、大東文化大学、2014年12月12日
• テンプレート:Kotobank
• テンプレート:MathWorld
• テンプレート:Nlab
• テンプレート:PlanetMath
• テンプレート:ProofWiki
• テンプレート:SpringerEOM