数学の線型代数学における行列式の明示公式 ()あるいはライプニッツの公式 () とは、正方行列の行列式をその行列の成分と置換を用いて陽に表したものである。ゴットフリート・ライプニッツに敬意を表してこの名がある。
次正方行列 に対して、その 成分を で表すと、その行列式 は次の式で表せる：
ここで、 は n次対称群(n次置換群)を表し、 の元 に対して は符号数と呼ばれる関数であり、 がn次交代群(遇置換群)に属していれば 1、そうでなければ -1 という値を取る。
物理学などではレヴィ゠チヴィタ記号 とアインシュタインの和の規約に則り のように表すこともよくある。
ライプニッツの公式によって行列式を定義する場合、式に従って行列式を直接計算しようとすれば、その計算量は一般に —つまり計算回数は の階乗に漸近的に比例—となる（長さ の置換の総数は であったことを思い出そう）。これは が大きければそのような計算は実用的でないことを意味している。それでも、（典型的にはガウス消去法などを通じて）LU分解 が得られているならば、計算量は まで抑えられる—なぜならば、 であり、また は三角行列であるからそれらの行列式は単に対角成分を全て掛けるだけで求められる（ただし、数値線形代数での実用的な応用で明示公式を用いることは稀である）。例えば などを見よ。
特徴付け 行列式は以下の定理によって特徴付けることができる。 定理 体 上の行列環上で定義された函数 で、列ベクトルに関して多重線型かつ交代的で、 を満たすものはただ一つ存在する。ただし は -次単位行列。 上記の明示式で定義された函数 は実際にこれら条件を満たすから、このような函数は存在する。逆にこれら条件から上記の明示式が出ることを見れば一意性が示せる。これにより、定理の条件を満たす函数 が明示公式で与えられる行列式函数にほかならないことがわかるから、行列式 を明示公式によって定義することも、定理の条件を満たす唯一の函数として定義することもできる。
関連項目 行列 余因子展開 クラメルの公式 ライプニッツの公式: 円周率に対するライプニッツの公式
参考文献
脚注
外部リンク