行列式に対するライプニッツの明示公式
表示
数学の線型代数学における行列式の明示公式 (英: explicit formula)あるいはライプニッツの公式 (英: Leibniz formula) とは、正方行列の行列式をその行列の成分と置換を用いて陽に表したものである。ゴットフリート・ライプニッツに敬意を表してこの名がある。
明示公式
n次正方行列 Aに対して、その (i, j)成分を ai,j で表すと、その行列式 det(A) は次の式で表せる‥
ここに sgn は置換群 Snに属する置換に対する符号を与える函数である。
物理学などではレヴィ゠チヴィタ記号 ε とアインシュタインの和の規約に則り
のように表すこともよくある。
ライプニッツの公式によって行列式を定義する場合、式に従って行列式を直接計算しようとすれば、その計算量は一般に Ω(n!⋅n)—つまり計算回数は nの階乗に漸近的に比例—となる︵長さ nの置換の総数は n!であったことを思い出そう︶。これは nが大きければそのような計算は実用的でないことを意味している。それでも、︵典型的にはガウス消去法などを通じて︶LU分解 A= LUが得られているならば、計算量は O(n3) まで抑えられる—なぜならば、det(A) = det(L)det(U) であり、また L, U は三角行列であるからそれらの行列式は単に対角成分を全て掛けるだけで求められる︵ただし、数値線形代数での実用的な応用で明示公式を用いることは稀である︶。例えば Trefethen & Bau (1997) などを見よ。
特徴付け[編集]
行列式は以下の定理によって特徴付けることができる。- 定理
- 体 𝕂 上の行列環上で定義された函数 で、列ベクトルに関して多重線型かつ交代的で、F(I) = 1 を満たすものはただ一つ存在する。ただし Iは n-次単位行列。 上記の明示式で定義された函数 det は実際にこれら条件を満たすから、このような函数は存在する。逆にこれら条件から上記の明示式が出ることを見れば一意性が示せる。これにより、定理の条件を満たす函数 Fが明示公式で与えられる行列式函数にほかならないことがわかるから、行列式
を明示公式によって定義することも、定理の条件を満たす唯一の函数として定義することもできる。
証明一意性F を定理の条件を満たす函数とし、任意の n × n 行列 A ≔ (a j
i )j=1,…,n
i=1,…,n に対して、A の第 j-列ベクトルを aj ≔ (a j
i )i=1,…,n と書くことにする—すなわち A = (a1, …, an) である。同様に単位行列 I もその第 k-列を ek として I = (e1, …, en) と書く。すると A の各列ベクトルは aj = ∑n
k=1 a j
k ek と書けるから、F の多重線型性によりを得る。F の交代性により添字が重複する項が全て零となるから、上記の和は添字に重複のない並びすなわち添字の置換となっている項だけが残り、と整理できる。さらに Fの交代性により、列ベクトル eσ(k) たちの並びを、単位行列になるまで入れ替えるとき、そのような入れ替えで必要な数だけ符号を反転したものが置換の符号 sgn(σ) にほかならないから、結局であることが分かる(最後の等号は、F(I) が仮定により 1 に等しいことによる)。したがって、定理の条件を満たす函数 F はライプニッツの公式で定義される函数をおいてよりほかはない。存在性函数 F はライプニッツの公式によって定義された函数とし、以下この F が定理の条件をすべて満たすことを見る。
最後に F(I) = 1 となることは、I = (δ j
i )j=1,…,n
i=1,…,n (δ j
i はクロネッカーのデルタ)および、σ が恒等置換でないかぎり ∏ n
i=1 δ i
σ(i) = 0 となることに注意すればと計算できる。関連項目[編集]
参考文献[編集]
- Hazewinkel, Michiel, ed. (2001), “Determinant (id=12692)”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
- Trefethen, Lloyd N.; Bau, David (June 1, 1997). Numerical Linear Algebra. SIAM. ISBN 978-0898713619
脚注[編集]
外部リンク[編集]
- Weisstein, Eric W. "Determinant". mathworld.wolfram.com (英語).
- determinant in nLab
- determinant - PlanetMath.(英語)
- Definition:Determinant at ProofWiki
- Suprunenko, D.A. (2001), “Determinant”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4