![曖昧さ回避](//upload.wikimedia.org/wikipedia/commons/thumb/5/5f/Disambig_gray.svg/25px-Disambig_gray.svg.png) | この項目では、行列式の展開について説明しています。ポテンシャルの展開については「ラプラス展開 (ポテンシャル)(英語版)」をご覧ください。 |
数学の線型代数学における余因子展開(よいんしてんかい、英: cofactor expansion)、あるいはピエール・シモン・ラプラスの名に因んでラプラス展開とは、n次正方行列 A の行列式 |A| の、n 個の A の (n − 1)次小行列式の重み付き和としての表示である。余因子展開は行列式を見るいくつかの方法の一つとして理論的に興味深く、行列式の実際の計算においても有用である。
A の (i, j)余因子(英語版)とは、次で定義されるスカラーである:
![{\displaystyle {\widetilde {a}}_{i,j}=(-1)^{i+j}M_{i,j}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f52d94778a026392ae67cdb0b76b6749d3fee2c1)
ここで Mi,j は A の (i, j)小行列式、つまり、A から第i行と第j列を除いて得られる (n − 1)次小正方行列の行列式である。
すると余因子展開は次で与えられる:
定理 ― A = (ai,j) を n次正方行列とし、任意の i, j ∈ {1, 2, …, n} を固定する。
するとその行列式 |A| は次で与えられる:
![{\displaystyle {\begin{aligned}|A|&=a_{i,1}{\widetilde {a}}_{i,1}+a_{i,2}{\widetilde {a}}_{i,2}+\cdots +a_{i,n}{\widetilde {a}}_{i,n}=\textstyle \sum \limits _{j'=1}^{n}a_{i,j'}{\widetilde {a}}_{i,j'}\\&=a_{1,j}{\widetilde {a}}_{1j}+a_{2,j}{\widetilde {a}}_{2,j}+\cdots +a_{n,j}{\widetilde {a}}_{n,j}=\textstyle \sum \limits _{i'=1}^{n}a_{i',j}{\widetilde {a}}_{i',j}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d50aa88dfbcb1109cfbe119d7e8b39976185ec8)
例
次の行列式の余因子展開を考える:
![{\displaystyle |A|={\begin{vmatrix}1&2&3\\4&5&6\\7&8&9\end{vmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c2fff926af4fdac44822c7a17fd5b8d5dd60f29c)
行列式はその1つの行あるいは列に沿って余因子展開し計算することができる。例えば、第1行に沿って展開すると:
![{\displaystyle {\begin{aligned}|A|&=1\cdot {\begin{vmatrix}5&6\\8&9\end{vmatrix}}-2\cdot {\begin{vmatrix}4&6\\7&9\end{vmatrix}}+3\cdot {\begin{vmatrix}4&5\\7&8\end{vmatrix}}\\&=1\cdot (-3)-2\cdot (-6)+3\cdot (-3)=0\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1a903623b8b588b0bda688d94b65f43bd3ea312)
第2列に沿って余因子展開すると次のようになる:
![{\displaystyle {\begin{aligned}|A|&=-2\cdot {\begin{vmatrix}4&6\\7&9\end{vmatrix}}+5\cdot {\begin{vmatrix}1&3\\7&9\end{vmatrix}}-8\cdot {\begin{vmatrix}1&3\\4&6\end{vmatrix}}\\&=-2\cdot (-6)+5\cdot (-12)-8\cdot (-6)=0\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b18531548b709e065ed7de929d61be0fc39e74af)
結果が正しいことを確かめるのは易しい。実際、第1列と第3列を足すと第2列の2倍になるから行列は正則でなく、したがってその行列式は 0 である。
証明
置換による証明
A を n次正方行列とし、i, j ∈ {1, 2, …, n} を固定する。A の (i, j)小行列 Mi,j の成分を簡単のため
と書く。ai,j を因子に持つ |A| の展開項を考えると、それは σ(i) = j を満たす適当な置換 σ ∈ Sn により
![{\displaystyle (\operatorname {sgn} \sigma )\,a_{1,\sigma (1)}\cdots a_{i,j}\cdots a_{n,\sigma (n)}=(\operatorname {sgn} \sigma )\,a_{i,j}\,b_{1,\tau (1)}\cdots b_{n-1,\tau (n-1)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d2b6e256732e23c2e079ce0802641ddeef2e6016)
と表すことができる。ここで τ ∈ Sn−1 は行列式の展開項が等しくなるように σ から導かれるものであり、対応 τ ↔ σ は Sn−1 と {σ ∈ Sn | σ(i) = j} の間の全単射である。τ は σ で次のように表せる:
![{\displaystyle \tau ={\begin{bmatrix}1&\cdots &i-1&i&\cdots &n-1\\(\leftarrow )_{j}\sigma (1)&\cdots &(\leftarrow )_{j}\sigma (i-1)&(\leftarrow )_{j}\sigma (i+1)&\cdots &(\leftarrow )_{j}\sigma (n)\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e838490addfb4f682f2133d46698c7e9058260b5)
ただし、(←)j はこの場だけの省略記法で、巡回置換 (n, n − 1, …, j + 1, j) を表すものとする。つまり、j より大きい番号は 1 ずつ減らし、j は n に写す置換(したがって、τ の像がきちんと集合 {1, 2, …, n − 1} になる)を意味するものとする。
τ からもとの σ を以下のようにして導出することができる:τ ∈ Sn−1 を τ′ ∈ Sn に拡張すると(このとき τ′(n) = n にならざるを得ない)、
![{\displaystyle \tau '={\begin{bmatrix}1&\cdots &i-1&i&\cdots &n-1&n\\(\leftarrow )_{j}\sigma (1)&\cdots &(\leftarrow )_{j}\sigma (i-1)&(\leftarrow )_{j}\sigma (i+1)&\cdots &(\leftarrow )_{j}\sigma (n)&n\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da3732b674e66875e9548567eb76ee8e16686383)
と表せる。このとき、先に (←)i(これは巡回置換 (n, n − 1, …, i + 1, i) のことである)を施してから τ′ を施す置換 τ′(←)i も、σ を施してから (←)j を施す置換 (←)jσ も、どちらも次の置換になる:
![{\displaystyle {\begin{bmatrix}1&\cdots &i-1&i&i+1&\cdots &n\\(\leftarrow )_{j}\sigma (1)&\cdots &(\leftarrow )_{j}\sigma (i-1)&n&(\leftarrow )_{j}\sigma (i+1)&\cdots &(\leftarrow )_{j}\sigma (n)\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3129ed8c9e14754428f46843e2bccbe39b45ff86)
したがって (←)jσ = τ′(←)i, 故に σ = (→)jτ′(←)i を得る(ただし、(→)j は (←)j の逆置換である (j, j + 1, …, n) を表すとする)。故に
![{\displaystyle \sigma =(j,j+1,\cdots ,n)\tau '(n,n-1,\cdots ,i)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dda49fa7b9aad232100f0facc70a0b4008e8412c)
ここに現れる2つの巡回置換はそれぞれ n − i個と n − j個の互換の積で表せるから
![{\displaystyle \operatorname {sgn} \sigma =(-1)^{2n-(i+j)}\operatorname {sgn} \tau '=(-1)^{i+j}\operatorname {sgn} \tau }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8e61797adb0ccb965e826a198979483e5a7a8a0)
であり、また写像 τ ↔ σ が全単射であったから、
![{\displaystyle {\begin{aligned}\textstyle \sum \limits _{\scriptstyle \sigma \in S_{n} \atop \scriptstyle \sigma (i)=j}(\operatorname {sgn} \sigma )\,a_{1,\sigma (1)}\cdots a_{n,\sigma (n)}&=\textstyle \sum \limits _{\tau \in S_{n-1}}(-1)^{i+j}(\operatorname {sgn} \tau )\,a_{i,j}\,b_{1,\tau (1)}\cdots b_{n-1,\tau (n-1)}\\&=a_{i,j}(-1)^{i+j}\left|M_{i,j}\right|\\&=a_{i,j}\,{\widetilde {a}}_{i,j}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8681bd3fb840634946a2360890bc8bbb5007806c)
となり、ここから所期の結果が得られる。(証明終)
多重線形交代性による証明
n次正方行列 A = (ai,j) の行列式を、第j列に沿って展開することを考える。
![{\displaystyle {\begin{aligned}\det A&={\begin{vmatrix}a_{1,1}&\cdots &a_{1,j}&\cdots &a_{1,n}\\\vdots &&\vdots &&\vdots \\a_{i,1}&\cdots &a_{i,j}&\cdots &a_{i,n}\\\vdots &&\vdots &&\vdots \\a_{n,1}&\cdots &a_{n,j}&\cdots &a_{n,n}\\\end{vmatrix}}\\&\\&=\textstyle \sum \limits _{i=1}^{n}\,a_{i,j}\,{\begin{vmatrix}a_{1,1}&\cdots &0&\cdots &a_{1,n}\\\vdots &&\vdots &&\vdots \\a_{i,1}&\cdots &1&\cdots &a_{i,n}\\\vdots &&\vdots &&\vdots \\a_{n,1}&\cdots &0&\cdots &a_{n,n}\\\end{vmatrix}}\\&\\&=\textstyle \sum \limits _{i=1}^{n}\,a_{i,j}\,\cdot (-1)^{(i-1)+(j-1)}\,{\begin{vmatrix}\;1&0&\cdots &{\breve {0}}&\cdots &0\\\;0&a_{1,1}&\cdots &{\breve {a}}_{1,j}&\cdots &a_{1,n}\\\;\vdots &\vdots &&\vdots &&\vdots \\\;{\breve {0}}&{\breve {a}}_{i,1}&\cdots &{\breve {a}}_{i,j}&\cdots &{\breve {a}}_{i,n}\\\;\vdots &\vdots &&\vdots &&\vdots \\\;0&a_{n,1}&\cdots &{\breve {a}}_{n,j}&\cdots &a_{n,n}\\\end{vmatrix}}\\&\\&=\textstyle \sum \limits _{i=1}^{n}\,a_{i,j}\,\cdot (-1)^{i+j}\,{\begin{vmatrix}a_{1,1}&\cdots &{\breve {a}}_{1,j}&\cdots &a_{1,n}\\\vdots &&\vdots &&\vdots \\{\breve {a}}_{i,1}&\cdots &{\breve {a}}_{i,j}&\cdots &{\breve {a}}_{i,n}\\\vdots &&\vdots &&\vdots \\a_{n,1}&\cdots &{\breve {a}}_{n,j}&\cdots &a_{n,n}\\\end{vmatrix}}\\&=\textstyle \sum \limits _{i=1}^{n}a_{i,j}\,{\widetilde {a}}_{i,j}\quad \blacksquare \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83b83142e1bf5024641feaa869dd645b8ef37c86)
第i行に沿う展開も同様である。(証明終)
補小行列式展開
余因子展開は次のように一般化できる。
例
正方行列
![{\displaystyle A={\begin{bmatrix}1&2&3&4\\5&6&7&8\\9&10&11&12\\13&14&15&16\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4162b93b5baf7a708f2042419553ef7e231ad2bf)
を考える。この行列の行列式は最初の2行に沿った余因子展開を用いて次のように計算できる。まず {1, 2, 3, 4} には2つの相異なる数の集合が6つあることに注意。すなわち
![{\displaystyle S=\left\{\{1,2\},\{1,3\},\{1,4\},\{2,3\},\{2,4\},\{3,4\}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a141ac1755ca7072d4ea4d000ee45b3e18046aa7)
をそれらの集合とする。
補余因子を
![{\displaystyle b_{\{j,k\}}={\begin{vmatrix}a_{1j}&a_{1k}\\a_{2j}&a_{2k}\end{vmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/02f7f244388de4e0143448a09dec6a92c194afcf)
![{\displaystyle c_{\{j,k\}}={\begin{vmatrix}a_{3j}&a_{3k}\\a_{4j}&a_{4k}\end{vmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/965566cfae088c21be323cf09858b465b3b5782a)
と定義し、それらの置換の符号を
![{\displaystyle \varepsilon ^{\{i,j\},\{p,q\}}=\operatorname {sgn} {\begin{bmatrix}1&2&3&4\\i&j&p&q\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c948d41f4b2304e702244311992db3222d69205)
と定義することで、A の行列式は
![{\displaystyle |A|=\sum _{H\in S}\varepsilon ^{H,H'}b_{H}c_{H'}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/57e4149df1061bebf5b1e3ceb2a5e96f9eb1f04a)
と書き下せる。ただし H′ は H の補集合である。
我々の明示的な例でこれを計算すると次のようになる。
![{\displaystyle {\begin{aligned}|A|&=b_{\{1,2\}}c_{\{3,4\}}-b_{\{1,3\}}c_{\{2,4\}}+b_{\{1,4\}}c_{\{2,3\}}+b_{\{2,3\}}c_{\{1,4\}}-b_{\{2,4\}}c_{\{1,3\}}+b_{\{3,4\}}c_{\{1,2\}}\\&={\begin{vmatrix}1&2\\5&6\end{vmatrix}}\cdot {\begin{vmatrix}11&12\\15&16\end{vmatrix}}-{\begin{vmatrix}1&3\\5&7\end{vmatrix}}\cdot {\begin{vmatrix}10&12\\14&16\end{vmatrix}}+{\begin{vmatrix}1&4\\5&8\end{vmatrix}}\cdot {\begin{vmatrix}10&11\\14&15\end{vmatrix}}\\&\quad +{\begin{vmatrix}2&3\\6&7\end{vmatrix}}\cdot {\begin{vmatrix}9&12\\13&16\end{vmatrix}}-{\begin{vmatrix}2&4\\6&8\end{vmatrix}}\cdot {\begin{vmatrix}9&11\\13&15\end{vmatrix}}+{\begin{vmatrix}3&4\\7&8\end{vmatrix}}\cdot {\begin{vmatrix}9&10\\13&14\end{vmatrix}}\\&=-4\cdot (-4)-(-8)\cdot (-8)+(-12)\cdot (-4)+(-4)\cdot (-12)-(-8)\cdot (-8)+(-4)\cdot (-4)\\&=16-64+48+48-64+16=0\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8491d0da1fc19f6c65d7d8e378f63895cf04a381)
上と同様、結果が正しいことを確かめるのは容易である。実際、第1列と第3列を足すと第2列の2倍になるから行列は正則でなく、したがって行列式は 0 である。
一般の主張
B = (bij) を n次正方行列とし、S を {1, 2, …, n} の k 元部分集合全体の集合とし、H をその元とする。すると B の行列式は H によって指定される k 個の行に沿って次のように展開できる:
![{\displaystyle |B|=\textstyle \sum \limits _{L\in S}\varepsilon ^{H,L}b_{H,L}c_{H,L}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba3b493aa6ea9525bf9ba9b325a0bc7c16636bf7)
ただし εH,L は H と L によって決定される置換の符号で
![{\displaystyle (-1)^{\sum \limits _{h\in H}h+\sum \limits _{\ell \in L}\ell }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e5f6ff8de3b8166ade083edd6c78dadc3c5326bb)
に等しく、bH,L は B から添え字がそれぞれ H と L に属している行と列を除いて得られる B の正方部分行列で、cH,L(bH,L の補行列と呼ばれる)は bH′,L′ と定義される。ここで H' と L' はそれぞれ H と L の補集合である。
これは k = 1 のとき冒頭の定理と一致する。同じことは任意の固定された k 個の列に対しても成り立つ。
計算量
余因子展開は高次行列に対しては計算的に非効率的である。なぜならば N次正方行列に対して計算のオーダーは N! だからである。したがって、余因子展開は大きい N に対して適切ではない。LU分解にあるように三角行列への分解を用いて、行列式を N3/3 のオーダーで決定できる[1]。
関連項目
脚注
- ^ Stoer Bulirsch: Introduction to Numerical Mathematics
参考文献
- David Poole: Linear Algebra. A Modern Introduction. Cengage Learning 2005, ISBN 0-534-99845-3, p. 265-267 (restricted online copy, p. 265, - Google ブックス)
- Harvey E. Rose: Linear Algebra. A Pure Mathematical Approach. Springer 2002, ISBN 3-7643-6905-1, p. 57-60 (restricted online copy, p. 57, - Google ブックス)
外部リンク
- cofactor expansion - PlanetMath.(英語)
- Weisstein, Eric W. "Determinant Expansion by Minors". mathworld.wolfram.com (英語).