「小行列式」の版間の差分
63行目: | 63行目: | ||
特に、{{math|det(''A'') ≠ 0}}, つまり {{mvar|A}} が正則のとき、{{mvar|A}} の逆行列は余因子行列に {{mvar|A}} の行列式の逆数を掛けたものである: |
特に、{{math|det(''A'') ≠ 0}}, つまり {{mvar|A}} が正則のとき、{{mvar|A}} の逆行列は余因子行列に {{mvar|A}} の行列式の逆数を掛けたものである: |
||
:<math>A^{-1} = \frac{1}{\det(A)} \widetilde{A}</math> |
:<math>A^{-1} = \frac{1}{\det(A)} \widetilde{A}</math> |
||
上の公式は次のように一般化できる: |
|||
上の公式は次のように一般化できる.<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'' × ''n''}} 行列である).このとき |
|||
{{mvar|n}}次正方行列に対して、{{math2|''k'' (≤ ''n'')}} 個ずつの添え字集合(小さい順とする)を |
|||
:<math>[\mathbf A^{-1}]_{I,J} = \pm\frac{[\mathbf A]_{J',I'}}{\det \mathbf A}</math> |
|||
:{{math2|1=''I'' = {{mset|''i''{{sub|1}}, ''i''{{sub|2}}, …, ''i{{sub|k}}''}}}} ただし {{math2|1 ≤ ''i''{{sub|1}} < ''i''{{sub|2}} < … < ''i{{sub|k}}'' ≤ ''n''}} |
|||
:{{math2|1=''J'' = {{mset|''j''{{sub|1}}, ''j''{{sub|2}}, …, ''j{{sub|k}}''}}}} ただし {{math2|1 ≤ ''j''{{sub|1}} < ''j''{{sub|2}} < … < ''j{{sub|k}}'' ≤ ''n''}} |
|||
とすると |
|||
:<math>[A^{-1}]_{I,J} = \frac{(-1)^{\sum\limits_{s=1}^k i_s - \sum\limits_{s=1}^k j_s}}{\det A} [A]_{J',I'}</math> |
|||
ここで、{{math2|''I''′, ''J''′}} はそれぞれ {{math2|''I'', ''J''}} の全体集合 {{math2|{{mset|1, 2, …, ''n''}}}} における補集合を表す。 |
|||
また、<math>[A]_{I,J}</math> は、{{mvar|A}} の小行列で行の添え字が {{mvar|I}} で列の添え字が {{mvar|J}} であるものの行列式を表す。つまり、<math>[A]_{I,J} = \det(A_{i_p,j_q})_{p,q=1,\cdots,k}</math> である。 |
|||
単純な証明は[[ウェッジ積]]を用いて与えることができる。実際、 |
|||
⚫ | |||
= \pm( |
:<math>[A^{-1}]_{I,J} (e_1\wedge\ldots \wedge e_n) = \pm ( A^{-1}e_{j_1}) \wedge \cdots \wedge (A^{-1}e_{j_k}) \wedge e_{i'_1} \wedge \cdots \wedge e_{i'_{n-k}}</math> |
||
\wedge e_{i'_1}\wedge\ldots \wedge e_{i'_{n-k}} </math> |
|||
である |
である。ただし <math>e_1,\cdots,e_n</math> は基底ベクトルである。{{mvar|A}} を両辺に作用させると |
||
:<math>\begin{align} |
|||
{}[ A^{-1} ]_{I,J} \det A (e_1 \wedge \cdots \wedge e_n) &= \pm (e_{j_1}) \wedge \cdots \wedge (e_{j_k}) \wedge (A e_{i'_1}) \wedge \cdots \wedge (A e_{i'_{n-k}}) \\ |
|||
⚫ | |||
⚫ | |||
\end{align}</math> |
|||
⚫ | |||
=== 他の応用 === |
=== 他の応用 === |
2020年12月24日 (木) 05:36時点における版
数学の線型代数学において、行列 A の小行列式(しょうぎょうれつしき、英: minor, minor determinant)とは、A から1列以上の行または列を除いて得られる小さい正方行列の行列式のことである。
正方行列から行と列をただ1つずつ取り除いて得られる小行列式(first minors; 第一小行列式)は行列の余因子 (cofactor) を計算するのに必要で、これは正方行列の行列式や逆行列の計算に有用である。
定義と説明
(i, j) 小行列式
正方行列 A の (i, j) 小行列式 (minor, first minor[1]) とは、第 i 行と第 j 列を除いて得られる小行列の行列式のことである。この数はしばしば Mi,j と書かれる。(i, j)余因子 (cofactor) とは、(i, j)小行列式に (−1)i+j を掛けて得られる値のことである。
例えば、次の 3次正方行列を考える:
小行列式 M2,3 と余因子 2,3 を計算するため,上の行列から第2行と第3列を除いた小行列の行列式を求める。
したがって (2, 3) 余因子は
一般の定義
m × n 行列 A に対して、正の整数 k が k ≤ m, n を満たすとき、k次小行列式 (minor determinant of order k)[注釈 1]とは、A の m個の行から選んだ k個の行に属し、n個の列から選んだ k個の列にも属する成分からなる k次小正方行列の行列式のことである。このことは、A から m − k個の行と n − k 個の列を除いて得られる k次小正方行列の行列式ということもできる。
m × n行列の小行列(式)の作られ方は、全部で 個ある。
零次の小行列式 (Minor of order zero) はしばしば 1 と定義される(空積も参照のこと)。
対照的に、正方行列に対する第零小行列式 (zeroth minor) とは、単にその行列の行列式のことを言う[2][3]。
元々の A の行・列を具体的に指定して表記するには、1 ≤ i1 < i2 < … < ik ≤ m, 1 ≤ j1 < j2 < … < jk ≤ n に対して、それらをそれぞれ I, J と呼ぶことにすると、これらの添え字から得られる小行列式 は
- detI,JA, [A]I,J, MI,J, Mi1, i2, …, ik, j1, j2, …, jk, M(i),(j)
などと書かれる((i) は添え字の列 I を表す)。注意しないといけないのは、文献・著者によって全く逆の2種類の意味を指すことがあることである。著者[4]によっては、I, J のどちらにも属している成分から作られる行列の行列式を意味し、著者[5]によっては、I, J に対応する行・列を除いて得られる行列の行列式を意味する。この記事では前者(I の行と J の列から元を選ぶ)の方の定義を用いる。例外的な場合は (i, j)小行列式の場合である;この場合、取り除く方の表記 がどの文献でも標準的であり、この記事においても用いる。
補小行列式
正方行列 A の小行列式 Mijk…;pqr… の補小行列式 Bijk…;pqr… とは、A から第i, j, k, …行と第p, q, r, …列を除いて得られる小行列の行列式のことである。例えば、(i, j)小行列式の補小行列式は単に (i, j) 成分である[6]。
小行列式と余因子の応用
行列式の余因子展開
余因子は行列式の展開のラプラスの公式において顕著に主役を演じる。これは次数が大きい行列式を次数が小さい行列式で計算する手法である。任意の n次正方行列 A = (aij) の行列式 det(A) は、行列の任意の行か列の余因子にそこの成分を掛けたものの総和に等しくなる。言い換えると,第 j 列に沿った余因子展開は
であり、第 i 行に沿った余因子展開は
である。
余因子行列と逆行列
余因子により、正則行列の逆行列の成分を書き下すことができる。正方行列 A の全ての余因子を成分とする正方行列の転置行列は余因子行列 (adjungate matrix) あるいは古典随伴行列 (classic adjoint matrix) と呼ばれ、 や adj A で表す:
A の余因子展開より、次の式が成り立つ:
特に、det(A) ≠ 0, つまり A が正則のとき、A の逆行列は余因子行列に A の行列式の逆数を掛けたものである:
上の公式は次のように一般化できる:
n次正方行列に対して、k (≤ n) 個ずつの添え字集合(小さい順とする)を
- I = {i1, i2, …, ik} ただし 1 ≤ i1 < i2 < … < ik ≤ n
- J = {j1, j2, …, jk} ただし 1 ≤ j1 < j2 < … < jk ≤ n
とすると
ここで、I′, J′ はそれぞれ I, J の全体集合 {1, 2, …, n} における補集合を表す。
また、 は、A の小行列で行の添え字が I で列の添え字が J であるものの行列式を表す。つまり、 である。
単純な証明はウェッジ積を用いて与えることができる。実際、
である。ただし は基底ベクトルである。A を両辺に作用させると
符号は であることが計算できる。(証明終)
他の応用
体(例えば、実数体、複素数体)の元を成分とする m × n行列に対して、0 でない小行列式の最大次数は行列の階数 r に等しい(つまり、0 でない r次小行列式が少なくとも1つ存在し、それより大きい次数の小行列式は全て 0 である)。
記号 [A]I,J は上の通りとする.
- I = J のとき,[A]I,J は主小行列式 (principal minor) と呼ばれる.
- 主小行列式に対応する行列がもとの行列の左上の正方形の部分である(すなわち行と列が 1, …, k)とき、主小行列式は首座小行列式 (leading principal minor (of order k), corner (principal) minor (of order k)) と呼ばれる[7]。n次正方行列に対しては、n + 1 個の首座小行列式が存在する。
- 行列の基本小行列式とは、0 でない小行列式で次数が最大のもののことである[8]。
- エルミート行列に対して、首座小行列式は正定値性の判定に使うことができ、主小行列式は半正定値性の判定に使うことができる。詳細はシルヴェスターの判定法を参照。
通常の行列の乗法の公式と2つの行列の積の行列式のコーシー・ビネの公式はともに,2つの行列の積の小行列式についての次の一般的な主張の特別な場合である.
A を m × n 行列,B を n × p 行列とし,I を k 個の元からなる {1, …, m} の部分集合とし,J を k 個の元からなる {1, …, p} の部分集合とする.このとき
が成り立つ,ただし和は k 個の元を持つ {1, …, n} の部分集合 K 全体を走る.この公式はコーシー・ビネの公式の直截的拡張である.
多重線型代数アプローチ
よりシステマティックには,小行列式の概念の代数学的な扱いはウェッジ積を用いて多重線型代数において与えられる:行列の k 次小行列式は k 次外冪写像の成分である.
行列の列が一度に k 回一緒にウェッジされると,k × k 小行列式は得られる k 次元ベクトルの成分として現れる.例えば,行列
の 2 × 2 小行列式は −13(最初の2行から),−7(最初と最後の行から),5(最後の2行から)である.さてウェッジ積
を考えよう,ただし2つの式は我々の行列の2つの行に対応する.ウェッジ積の性質を用いて,すなわち双線型性と
と
を用いて,この数式は
- となる,ここで係数は先に計算した小行列式と一致する.
異なる表記についての注意
文献や著者によっては[9]、余因子行列 (adjugate matrix) の代わりに "cofactor matrix" が使われている。この表記では、逆行列は次のように書かれる:
注釈
- ^ 英語では "minor deternimant" の "determinant" はよく省略され、単に "minor" といった場合は普通(小行列ではなく)小行列式の意味である。
小行列は英語では、普通は "(square) submatrix" と呼んでいる。
参照
- ^ Burnside, William Snow & Panton, Arthur William (1886) Theory of Equations: with an Introduction to the Theory of Binary Algebraic Form.
- ^ Elementary Matrix Algebra (Third edition), Franz E. Hohn, The Macmillan Company, 1973, ISBN 978-0-02-355950-1
- ^ Minor. Encyclopedia of Mathematics. http://www.encyclopediaofmath.org/index.php?title=Minor&oldid=30176
- ^ Linear Algebra and Geometry, Igor R. Shafarevich, Alexey O. Remizov, Springer-Verlag Berlin Heidelberg, 2013, ISBN 978-3-642-30993-9
- ^ Elementary Matrix Algebra (Third edition), Franz E. Hohn, The Macmillan Company, 1973, ISBN 978-0-02-355950-1
- ^ Bertha Jeffreys, Methods of Mathematical Physics, p. 135, Cambridge University Press, 1999 ISBN 0-521-66402-0.
- ^ Minor. Encyclopedia of Mathematics. http://www.encyclopediaofmath.org/index.php?title=Minor&oldid=30176
- ^ Minor. Encyclopedia of Mathematics. http://www.encyclopediaofmath.org/index.php?title=Minor&oldid=30176
- ^ Felix Gantmacher, Theory of matrices (1st ed., original language is Russian), Moscow: State Publishing House of technical and theoretical literature, 1953, p.491,
関連項目
外部リンク
- MIT Linear Algebra Lecture on Cofactors at Google Video, from MIT OpenCourseWare
- PlanetMath entry of Cofactors
- Springer Encyclopedia of Mathematics entry for Minor