「小行列式」の版間の差分

(行列式#小行列式へのリダイレクト)
 
(en:Minor_(linear_algebra)&oldid=738073572)
タグ: サイズの大幅な増減
[[線型代数学]]において,[[行列]] {{mvar|A}} の'''小行列式'''(しょうぎょうれつしき,{{lang-en-short|minor, minor determinant}})とは,{{mvar|A}} から1列以上の行や列を取り除いて得られる小さい[[正方行列]]の[[行列式]]である.正方行列から行と列をただ1つずつ取り除いて得られる小行列式 ('''first minors''') は行列の'''余因子''' (cofactor) を計算するのに必要で,これは正方行列の行列式や[[逆行列]]の計算に有用である.
#redirect[[行列式#小行列式]]
 
==定義と説明==
 
==={{math|(''i'', ''j'')}} 小行列式===
 
{{mvar|A}} が[[正方行列]]のとき,その {{math|(''i'', ''j'')}} '''小行列式''' (minor, first minor<ref>Burnside, William Snow & Panton, Arthur William (1886) ''[http://books.google.com/books?id=BhgPAAAAIAAJ&pg=PA239&lpg=PA239&dq=first+minor+determinant&source=web&ots=BqWTlFMGIB&sig=aeCdnU1sARW9tshE_zhirJZ5dRU&hl=en Theory of Equations: with an Introduction to the Theory of Binary Algebraic Form]''.</ref>) とは,第 {{mvar|i}} 行と第 {{mvar|j}} 列を除去して得られる[[部分行列]]の[[行列式]]である.この数はしばしば {{mvar|M<sub>i,j</sub>}} と書かれる.{{math|(''i'', ''j'')}} '''余因子''' (cofactor) は小行列式に {{math|(−1){{sup|''i'' + ''j''}}}} を掛けることによって得られる.
 
これらの定義を説明するため,次の3×3行列を考える:
 
:<math>\begin{bmatrix}
1 & 4 & 7 \\
3 & 0 & 5 \\
-1 & 9 & 11
\end{bmatrix}.</math>
 
小行列式 {{math|''M''<sub>23</sub>}} と余因子 {{math|''C''<sub>23</sub>}} を計算するため,上の行列から第2行と第3列を除いた行列の行列式を求める.
 
:<math> M_{23} = \det \begin{bmatrix}
\,\,1 & 4 & \Box\, \\
\,\Box & \Box & \Box\, \\
-1 & 9 & \Box\, \\
\end{bmatrix}= \det \begin{bmatrix}
\,\,\,1 & 4\, \\
-1 & 9\, \\
\end{bmatrix} = (9-(-4)) = 13.</math>
 
したがって {{math|(2, 3)}} 余因子は
 
:<math>\ C_{23} = (-1)^{2+3}(M_{23}) = -13.</math>
 
===一般の定義===
 
{{mvar|A}} を {{math|''m'' × ''n''}} 行列とし,{{mvar|k}} を整数で {{math|0 < ''k'' ≤ ''m''}}, {{math|''k'' ≤ ''n''}} とする.{{mvar|A}} の {{math|''k'' × ''k''}} '''小行列式'''<ref>英語: a {{math|''k'' × ''k''}} '''minor''' of {{mvar|A}}, also called '''minor determinant of order''' {{mvar|k}} of {{mvar|A}} or, if {{math|1=''m'' = ''n''}}, {{math|(''n'' − ''k'')}}'''-th minor determinant''' of {{mvar|A}}, with the word "determinant" often omitted and the word "order" sometimes replaced by "degree".</ref>は {{mvar|A}} から {{math|''m'' − ''k''}} 個の行と {{math|''n'' − ''k''}} 個の列を除いて得られる {{math|''k'' × ''k''}} 行列の行列式である<ref>Sometimes the term is used to refer to the ''k'' × ''k'' matrix obtained from ''A'' as above (by deleting ''m'' − ''k'' rows and ''n'' − ''k'' columns), but this matrix should be referred to as a '''(square) submatrix''' of ''A'', leaving the term "minor" to refer to the determinant of this matrix.</ref>.上の行列 {{mvar|A}} に対して,全部で <math>{m \choose k} \cdot {n \choose k}</math> 個のサイズが {{math|''k'' × ''k''}} の小行列式が存在する.'''Minor of order zero''' はしばしば 1 と定義される.正方行列に対して,'''zeroth minor''' は単にその行列の行列式である<ref>Elementary Matrix Algebra (Third edition), Franz E. Hohn, The Macmillan Company, 1973, ISBN 978-0-02-355950-1</ref><ref>Minor. Encyclopedia of Mathematics. http://www.encyclopediaofmath.org/index.php?title=Minor&oldid=30176</ref>.
 
{{math|1 &le; ''i''{{sub|1}} < ''i''{{sub|2}} < ⋯ < ''i{{sub|k}}'' &le; ''m''}}, {{math|1 &le; ''j''{{sub|1}} < ''j''{{sub|2}} < ⋯ < ''j{{sub|k}}'' &le; ''n''}} を添え字の順序列とし(小行列式について話すときには特に断らない限りつねにそうであるように,自然な順序で),それらをそれぞれ {{mvar|''I'', ''J''}} と呼ぶ.添え字のこれらの選択に対応する小行列式 <math> \det \left( (A_{i_p, j_q})_{p,q = 1, \ldots, k} \right) </math> は {{math2|det{{sub|''I'',''J''}}''A'', [''A'']{{sub|''I'',''J''}}, ''M''{{sub|''I'',''J''}}, ''M''{{sub|''i''{[sub|1}}, ''i''{{sub|2}}, ..., ''i{{sub|k}}'', ''j''{{sub|1}}, ''j''{{sub|2}}, ..., ''j{{sub|k}}''}}, ''M''{{sub|(''i''),(''j'')}}}} などと書かれる(ただし {{math|(''i'')}} は添え字の列 {{mvar|I}} を表す,等).また,文献によって2種類の意味がある:添え字 {{mathbf|I}} と {{mathbf|J}} の順序列に伴う小行列式によって,ある著者は<ref>Linear Algebra and Geometry, Igor R. Shafarevich, Alexey O. Remizov, Springer-Verlag Berlin Heidelberg, 2013, ISBN 978-3-642-30993-9</ref>上のようにもとの行列の元を行は添え字が {{mathbf|I}} に入っていて列は添え字が {{mathbf|J}} に入っているものから取って作られる行列の行列式を意味し,他のある著者は {{mathbf|I}} と {{mathbf|J}} に伴う小行列式によってもとの行列から {{mathbf|I}} の行と {{mathbf|J}} の列を除去することで得られる行列の行列式を意味する<ref>Elementary Matrix Algebra (Third edition), Franz E. Hohn, The Macmillan Company, 1973, ISBN 978-0-02-355950-1</ref>.どの表記が使われているかはいつも確認すべきである.この記事では,{{mathbf|I}} の行と {{mathbf|J}} の列から元を選ぶ,含む方の定義を用いる.例外的な場合は {{math|(''i'', ''j'')}} 小行列式の場合である;この場合,取り除く方の表記 <math> M_{i,j} = \det \left( \left( A_{p,q} \right)_{p \neq i, q \neq j} \right) </math> がどの文献でも標準的であり,この記事においても用いる.
 
===補小行列式===
 
正方行列 {{mathbf|A}} の小行列式 {{mvar|M<sub>ijk...,pqr...</sub>}} の補小行列式 {{mvar|B<sub>ijk...,pqr...</sub>}} は,{{mathbf|A}} から {{mvar|M<sub>ijk...,pqr...</sub>}} に伴う行 {{math|(''ijk...'')}} と列 {{math|(''pqr...'')}} をすべて取り除いた行列の行列式である.{{math|(''i'', ''j'')}} 小行列式の補小行列式は単に {{math|(''i'', ''j'')}} 成分である<ref>Bertha Jeffreys, [http://books.google.co.uk/books?id=Qs-xdYBQ_5wC&pg=PA135 ''Methods of Mathematical Physics''], p. 135, Cambridge University Press, 1999 ISBN 0-521-66402-0.</ref>.
 
==小行列式と余因子の応用==
 
===行列式の余因子展開===
{{main|余因子展開}}
余因子は行列式の展開の[[余因子展開|ラプラスの公式]]において顕著に主役を演じる.これは大きい行列の行列式を小さい行列の行列式で計算する手法である.{{math|''n'' &times; ''n''}} 行列 {{math|(''a{{sub|ij}}'')}} が与えられると,{{mvar|A}} の行列式 {{math|det(''A'')}} は行列の任意の行か列の余因子にそこの成分を掛けたものの和として書くことができる.言い換えると,第 {{mvar|j}} 列に沿った余因子展開は
 
:<math>\ \det(\mathbf A) = a_{1j}C_{1j} + a_{2j}C_{2j} + a_{3j}C_{3j} + \dotsb + a_{nj}C_{nj} = \sum_{i=1}^{n} a_{ij} C_{ij} </math>
 
であり,第 {{mvar|i}} 行に沿った余因子展開は
 
:<math>\ \det(\mathbf A) = a_{i1}C_{i1} + a_{i2}C_{i2} + a_{i3}C_{i3} + ... + a_{in}C_{in} = \sum_{j=1}^{n} a_{ij} C_{ij} </math>
 
である.
 
===逆行列===
{{main|可逆行列}}
 
可逆行列の逆行列を[[クラメルの法則]]を用いて,その余因子を計算することで以下のように書き下せる.正方行列 {{mathbf|A}} のすべての余因子からつくられる次の行列は'''余因子行列'''と呼ばれる:
 
:<math>\mathbf C=\begin{bmatrix}
C_{11} & C_{12} & \cdots & C_{1n} \\
C_{21} & C_{22} & \cdots & C_{2n} \\
\vdots & \vdots & \ddots & \vdots \\
C_{n1} & C_{n2} & \cdots & C_{nn}
\end{bmatrix} </math>
 
このとき {{mathbf|A}} の逆行列は余因子行列の転置に {{mathbf|A}} の行列式の逆数を掛けたものである:
 
:<math>\mathbf A^{-1} = \frac{1}{\operatorname{det}(\mathbf A)} \mathbf C^\mathsf{T}.</math>
 
余因子行列の転置は {{mathbf|A}} の'''{{仮リンク|古典随伴行列|label=随伴行列|en|Adjugate matrix}}''' (adjugate matrix) あるいは古典随伴行列と呼ばれる.
 
上の公式は次のように一般化できる.<math> 1 \leq i_1 < i_2 < \ldots < i_k \leq n </math> と <math> 1 \leq j_1 < j_2 < \ldots < j_k \leq n </math> を添え字の(自然な順序での)順序列とする(ここで {{mathbf|A}} は {{math|''n'' &times; ''n''}} 行列である).このとき
 
:<math>[\mathbf A^{-1}]_{I,J} = \pm\frac{[\mathbf A]_{J',I'}}{\det \mathbf A}</math>
 
である,ただし <math>I', J'</math> は添え字 {{math|''I'', ''J''}} の補集合を自然な順序で並べた列である.よってどの添え字 {{math|1, ..., ''n''}} も {{mvar|I}} あるいは {{mvar|I&prime;}} の一方のみにちょうど一回現れる({{mvar|J}} と {{mvar|J&prime;}} についても同様).また <math> [\mathbf A]_{I,J} </math> は {{mathbf|A}} の部分行列であって行の添え字が {{mvar|I}} で列の添え字が {{mvar|J}} であるものの行列式を表す.つまり,<math> [\mathbf A]_{I,J} = \det \left( (A_{i_p, j_q})_{p,q = 1, \ldots, k} \right) </math> である.単純な証明はウェッジ積を用いて与えることができる.実際,
 
:<math>[\mathbf A^{-1}]_{I,J}(e_1\wedge\ldots \wedge e_n)
= \pm(\mathbf A^{-1}e_{j_1})\wedge \ldots \wedge(\mathbf A^{-1}e_{j_k})
\wedge e_{i'_1}\wedge\ldots \wedge e_{i'_{n-k}} </math>
 
である,ただし <math>e_1,\ldots,e_n</math> は基底ベクトルである.{{mathbf|A}} を両辺に作用させて,
 
:<math>[\mathbf A^{-1}]_{I,J}\det \mathbf A (e_1\wedge\ldots \wedge e_n) = \pm (e_{j_1})\wedge \ldots \wedge(e_{j_k})\wedge (\mathbf A e_{i'_1})\wedge\ldots \wedge (\mathbf A e_{i'_{n-k}})=\pm [\mathbf A]_{J',I'}(e_1\wedge\ldots \wedge e_n). </math>
 
符号は <math>(-1)^{ \sum_{s=1}^{k} i_s - \sum_{s=1}^{k} j_s}</math> であることが計算できる.符号は {{math|''I'', ''J''}} の元の和によっても決定される.
 
===他の応用===
[[実数]](あるいは任意の他の[[可換体|体]])を成分とし,[[行列の階数|階数]]が {{mvar|r}} の {{math|''m'' × ''n''}} 行列が与えられると,少なくとも1つの 0 でない {{math|''r'' × ''r''}} 小行列式が存在し,それより大きいサイズの小行列式はすべて 0 である.
 
記号 {{math|['''A''']<sub>''I'',''J''</sub>}} は上の通りとする.
* {{math|1=''I'' = ''J''}} のとき,{{math|['''A''']<sub>''I'',''J''</sub>}} は'''主小行列式'''あるいは'''首座小行列式''' (principal minor) と呼ばれる.
* 主小行列式に対応する行列がもとの行列の左上の正方形の部分である(すなわち行と列が 1 から ''k'')とき,主小行列式は '''leading principal minor (of order k)''' あるいは '''corner (principal) minor (of order k)''' と呼ばれる<ref>Minor. Encyclopedia of Mathematics. http://www.encyclopediaofmath.org/index.php?title=Minor&oldid=30176</ref>.{{math|''n'' × ''n''}} 正方行列に対しては,{{math|''n'' + 1}} 個の leading principal minors が存在する.
*行列の '''basic minor''' とは,行列式が 0 でないようなサイズが最大の正方部分行列の行列式である<ref>Minor. Encyclopedia of Mathematics. http://www.encyclopediaofmath.org/index.php?title=Minor&oldid=30176</ref>.
*[[エルミート行列]]に対して,leading principal minor は[[正定値行列|正定値性]]の判定に使うことができ,主小行列式は半正定値性の判定に使うことができる.詳細は{{仮リンク|シルヴェスターの判定法|en|Sylvester's criterion}}を参照.
 
通常の[[行列の乗法]]の公式と2つの行列の積の行列式の[[コーシー・ビネの公式]]はともに,2つの行列の積の小行列式についての次の一般的な主張の特別な場合である.
 
{{mathbf|A}} を {{math|''m'' × ''n''}} 行列,{{mathbf|B}} を {{math|''n'' × ''p''}} 行列とし,{{mvar|I}} を {{mvar|k}} 個の元からなる {{math|{{mset|1,...,''m''}}}} の[[部分集合]]とし,{{mvar|J}} を {{mvar|k}} 個の元からなる {{math|{{mset|1,...,''p''}}}} の部分集合とする.このとき
:<math>[\mathbf{AB}]_{I,J} = \sum_{K} [\mathbf{A}]_{I,K} [\mathbf{B}]_{K,J}\,</math>
が成り立つ,ただし和は {{mvar|k}} 個の元を持つ {{math|{{mset|1, ..., ''n''}}}} の部分集合 {{mvar|K}} 全体を走る.この公式はコーシー・ビネの公式の直截的拡張である.
 
==多重線型代数アプローチ==
よりシステマティックには,小行列式の概念の代数学的な扱いは[[ウェッジ積]]を用いて[[多重線型代数]]において与えられる:行列の {{mvar|k}} 次小行列式は {{mvar|k}} 次[[外冪]]写像の成分である.
 
行列の列が一度に {{mvar|k}} 回一緒にウェッジされると,{{math|''k'' × ''k''}} 小行列式は得られる {{mvar|k}} 次元ベクトルの成分として現れる.例えば,行列
:<math>\begin{pmatrix}
1 & 4 \\
3 & \!\!-1 \\
2 & 1 \\
\end{pmatrix}</math>
の {{math|2 × 2}} 小行列式は {{math|&minus;13}}(最初の2行から),{{math|&minus;7}}(最初と最後の行から),{{math|5}}(最後の2行から)である.さてウェッジ積
:<math>(\mathbf{e}_1 + 3\mathbf{e}_2 +2\mathbf{e}_3)\wedge(4\mathbf{e}_1-\mathbf{e}_2+\mathbf{e}_3)</math>
を考えよう,ただし2つの式は我々の行列の2つの行に対応する.ウェッジ積の性質を用いて,すなわち[[双線型写像|双線型性]]と
:<math>\mathbf{e}_i\wedge \mathbf{e}_i = 0</math>
:<math>\mathbf{e}_i\wedge \mathbf{e}_j = - \mathbf{e}_j\wedge \mathbf{e}_i</math>
を用いて,この数式は
:<math> -13 \mathbf{e}_1\wedge \mathbf{e}_2 -7 \mathbf{e}_1\wedge \mathbf{e}_3 +5 \mathbf{e}_2\wedge \mathbf{e}_3</math>となる,ここで係数は先に計算した小行列式と一致する.
 
== 異なる表記についての注意 ==
ある本では<ref>[[Felix Gantmacher]], ''Theory of matrices'' (1st ed., original language is Russian), Moscow: State Publishing House of technical and theoretical literature, 1953, p.491,</ref> ''cofactor''(余因子)の代わりに ''adjunct'' が使われている.さらに,それは {{math|'''A'''<sub>''ij''</sub>}} と書かれ,余因子と同じように定義される:
::<math>\mathbf{A}_{ij} = (-1)^{i+j} \mathbf{M}_{ij}.</math>
 
この表記を用いて,逆行列は次のように書かれる:
:<math>\mathbf{A}^{-1} = \frac{1}{\det(A)}\begin{bmatrix}
A_{11} & A_{21} & \cdots & A_{n1} \\
A_{12} & A_{22} & \cdots & A_{n2} \\
\vdots & \vdots & \ddots & \vdots \\
A_{1n} & A_{2n} & \cdots & A_{nn}
\end{bmatrix} </math>
 
''adjunct'' は adjugate や [[随伴行列|adjoint]] ではないことに注意.現代の用語では,行列の "adjoint" は対応する[[随伴作用素]]を指すことが最も多い.
 
== 関連項目 ==
* {{仮リンク|部分行列|en|Submatrix}}
 
== 参考文献 ==
{{reflist}}
 
== 外部リンク ==
* [http://ocw.mit.edu/courses/mathematics/18-06-linear-algebra-spring-2010/video-lectures/lecture-19-determinant-formulas-and-cofactors/ MIT Linear Algebra Lecture on Cofactors] at Google Video, from MIT OpenCourseWare
* [http://planetmath.org/encyclopedia/Cofactor.html PlanetMath entry of ''Cofactors'']
* [http://www.encyclopediaofmath.org/index.php/Minor Springer Encyclopedia of Mathematics entry for ''Minor'']
 
{{linear algebra}}
 
{{DEFAULTSORT:しようきようれつしき}}
[[Category:行列]]
[[Category:行列式]]
[[Category:数学に関する記事]]
17,390

回編集