-光と光学に関連する用語の解説サイト-

行列式の定義

【1】行列式の定義

行列式は、\(\large{n\hspace{1pt}}\)次の正方行列に定義されるスカラー量です。
行列\(\large{A}\) の行列式は \(\large{|A|}\)、\(\large{\mathrm{det\hspace{2pt}A}}\) などと表します。

本章では、行列式の定義に表れる 置換互換 といった用語について解説します。(行列式の定義の計算を理解することが目的であるため、厳密な解説ではなく、概要のみを解説します。)

次の章以降で、\(\large{2\times2\hspace{1pt}}\)行列 と \(\large{3\times3\hspace{1pt}}\)行列 の行列式の具体的な式を求めます。

・行列式の定義

行列式は、以下のように定義されます。

【行列式の定義】
\(\large{n\hspace{1pt}}\)次の正方行列\(\large{A}\) $$\Large{ A = \left(\begin{array}{cccc} a_{11} & a_{12} & \ldots & a_{1n}\\ a_{21} & a_{22} & \ldots & a_{2n}\\ \vdots & \vdots & & \vdots\\ a_{n1} & a_{n2} & \ldots & a_{nn}\\ \end{array} \right)}$$ の行列式は
\begin{eqnarray} \large |A|&\large =&\large \sum_{\sigma \in S_n} \mathrm{sgn} \hspace{1pt} (\sigma) \prod_{\hspace{1pt}i=1}^n a_{i \sigma}(i) \\[0.5em] \large &\large =&\large \sum_{\sigma \in S_n} \mathrm{sgn} \hspace{1pt} (\sigma) \cdot a_{\hspace{1pt}1\sigma(1)}a_{\hspace{1pt}2\sigma(2)}\cdots a_{\hspace{1pt}n\sigma(n)} \\ \end{eqnarray}
と定義されます

・置換

行列式の定義の式中にある \(\large{\sigma}\) とは、置換を表す記号です。
置換とは、\(\large{n\hspace{1pt}}\)個の文字の並び \(\large{\{1\hspace{1pt},\hspace{2pt}2\hspace{1pt},\cdots,\hspace{2pt}n\hspace{1pt}\}}\) を並び変える操作のことをいいます。

例えば、\(\large{3\hspace{1pt}}\)個の文字の置換、すなわち 文字の並び \(\large{\{1\hspace{1pt},\hspace{2pt}2\hspace{1pt},\hspace{2pt}3\hspace{1pt}\}}\) を並び変える操作について考えます。

\(\large{3\hspace{1pt}}\)個の文字 \(\large{\{1\hspace{1pt},\hspace{2pt}2\hspace{1pt},\hspace{2pt}3\hspace{1pt}\}}\) の置換は
(\(\large{1\hspace{1pt},\hspace{2pt}2\hspace{1pt},\hspace{2pt}3\hspace{1pt}}\)), (\(\large{1\hspace{1pt},\hspace{2pt}3\hspace{1pt},\hspace{2pt}2\hspace{1pt}}\)), (\(\large{2\hspace{1pt},\hspace{2pt}1\hspace{1pt},\hspace{2pt}3\hspace{1pt}}\)), (\(\large{2\hspace{1pt},\hspace{2pt}3\hspace{1pt},\hspace{2pt}1\hspace{1pt}}\)), (\(\large{3\hspace{1pt},\hspace{2pt}1\hspace{1pt},\hspace{2pt}2\hspace{1pt}}\)), (\(\large{3\hspace{1pt},\hspace{2pt}2\hspace{1pt},\hspace{2pt}1\hspace{1pt}}\))
の \(\large{6\hspace{1pt}}\)通りが存在します。

ここで、上記の\(\large{3\hspace{1pt}}\)文字の置換は以下のように表記します。 $$\large\left(\begin{array}{cc} 1 & 2 & 3\\ 1 & 2 & 3\\ \end{array} \right) \hspace{1pt},\hspace{3pt} \left(\begin{array}{cccc} 1 & 2 & 3\\ 1 & 3 & 2\\ \end{array} \right) \hspace{1pt},\hspace{3pt} \left(\begin{array}{cccc} 1 & 2 & 3\\ 2 & 1 & 3\\ \end{array} \right) \hspace{1pt},$$ $$\large \left(\begin{array}{cccc} 1 & 2 & 3\\ 2& 3 & 1\\ \end{array} \right) \hspace{1pt},\hspace{3pt} \left(\begin{array}{cccc} 1 & 2 & 3\\ 3 & 1 & 2\\ \end{array} \right) \hspace{1pt},\hspace{3pt} \left(\begin{array}{cccc} 1 & 2 & 3\\ 3 & 2 & 1\\ \end{array} \right)\hspace{2pt}$$

\(\displaystyle\large{\left(\begin{array}{cccc} \color{red}{1} & \color{red}{2} & \color{red}{3}\\ \color{blue}{1} & \color{blue}{3} & \color{blue}{2}\\ \end{array} \right)}\) は、 (\(\large{1\hspace{6pt}2\hspace{6pt}3\hspace{1pt}}\)) を (\(\large{1\hspace{6pt}3\hspace{6pt}2\hspace{1pt}}\)) に並び替えることを意味します。
すなわち、『上段の (\(\large{\color{red}{1}\hspace{6pt}\color{red}{2}\hspace{6pt}\color{red}{3}\hspace{1pt}}\)) は並び変える前』、『下段の (\(\large{\color{blue}{1}\hspace{6pt}\color{blue}{3}\hspace{6pt}\color{blue}{2}\hspace{1pt}}\)) は並び替えた後』の文字の並びを表しています。

また、\(\displaystyle\large{\left(\begin{array}{cccc} 1 & 2 & 3\\ 1 & 2 & 3\\ \end{array} \right)}\) は、 (\(\large{1\hspace{6pt}2\hspace{6pt}3\hspace{1pt}}\)) を (\(\large{1\hspace{6pt}2\hspace{6pt}3\hspace{1pt}}\)) に並び替えることを意味します。
これは文字を並び替えない操作を表しており、恒等置換といいます。

説明のため、上記の置換を以下のようにおきます。

$$\large\hspace{10pt} \sigma_1 = \left(\begin{array}{cc} 1 & 2 & 3\\ 1 & 2 & 3\\ \end{array} \right) \hspace{1pt},\hspace{3pt} \sigma_2 = \left(\begin{array}{cccc} \color{red}{1} & \color{red}{2} & \color{red}{3}\\ \color{blue}{1} & \color{blue}{3} & \color{blue}{2}\\ \end{array} \right) \hspace{1pt},\hspace{3pt} \sigma_3 = \left(\begin{array}{cccc} 1 & 2 & 3\\ 2 & 1 & 3\\ \end{array} \right)\hspace{10pt} $$ $$\large\hspace{10pt}\sigma_4 = \left(\begin{array}{cccc} 1 & 2 & 3\\ 2& 3 & 1\\ \end{array} \right) \hspace{1pt},\hspace{3pt} \sigma_5 = \left(\begin{array}{cccc} 1 & 2 & 3\\ 3 & 1 & 2\\ \end{array} \right) \hspace{1pt},\hspace{3pt} \sigma_6 = \left(\begin{array}{cccc} 1 & 2 & 3\\ 3 & 2 & 1\\ \end{array} \right)\hspace{12pt}$$

このとき、\(\large{\sigma_2(\color{red}{1}\color{black}{})}\) は 置換\(\large{\sigma_2}\) で \(\large{\color{red}{1}\color{black}{}}\) がどの文字に変換されるかを表します。すなわち、 $$\large{\sigma_2(\color{red}{1}\color{black}{}) = \color{blue}{1}}$$ となります。

同様に、 $$\large{\sigma_2(\color{red}{2}\color{black}{}) = \color{blue}{3}\color{black}{}\hspace{1pt},\hspace{2pt}\sigma_2(\color{red}{3}\color{black}{}) = \color{blue}{2}\color{black}{}}$$ となります。

・互換

文字の並び \(\large{\{1\hspace{1pt},\hspace{2pt}2\hspace{1pt},\cdots,\hspace{2pt}n\hspace{1pt}\}}\) を 特定の \(\large{2\hspace{1pt}}\)つの文字だけを交換し、その他の \(\large{(n-2)}\) 文字を交換しないような置換を互換といいます。

例えば、置換 \(\large{ \sigma_2 = \left(\begin{array}{cccc} 1 & 2 &3\\ 1 & 3 & 2\\ \end{array} \right)}\) は、\(\large{2}\) と \(\large{3}\) を交換する置換です。一方、\(\large{1}\) は交換されません。 したがって、置換\(\large{\hspace{2pt}\sigma_2}\) は互換となります。

置換\(\large{\hspace{2pt}\sigma_2}\) は \(\large{2}\) と \(\large{3}\) を交換する互換であり、\(\large{1}\) を省略して \(\large{\sigma_2 = (\hspace{1pt}2\hspace{6pt}3\hspace{1pt})}\) と書くことができます。

また、置換 \(\large{ \sigma_4 = \left(\begin{array}{cccc} 1 & 2 &3\\ 2 & 3 & 1\\ \end{array} \right)}\) は、\(\large{3\hspace{1pt}}\)文字をそれぞれ別の文字に変換するため、互換ではありません。

\(\large{\sigma_4}\) は 『\(\large{1}\) と \(\large{2}\) を交換』・『\(\large{1}\) と \(\large{3}\) を交換』の順で互換の操作をする置換となります。
\(\large{\sigma_4}\) のように、置換が複数の互換からなるとき、以下のように互換をかけあわせた形式で表され、これを互換の積といいます。 $$\large{\sigma_4 = (\hspace{1pt}1\hspace{6pt}3\hspace{1pt})(\hspace{1pt}1\hspace{6pt}2\hspace{1pt})}$$

互換の積は、右側の互換から順に、置換の下段の文字を交換することに対応しています。 互換の説明

・置換の符号

置換は、いくつかの互換の積で表されますが、その表し方は一通りではありません。
しかし、置換を互換の積で表したときに 互換の数が偶数か奇数かは、置換ごとに決まっています

ここで、『互換の数が偶数である置換を 偶置換』、『奇数である置換を 奇置換』といいます。

また、\(\large{\mathrm{sgn} (\sigma)}\) は『置換\(\large{\sigma}\) が偶置換であるときに \(\large{+1\hspace{1pt}}\)』、『奇置換であるときに \(\large{-1\hspace{1pt}}\)』 と定義され、これを置換の符号といいます。

置換の符号を式で表すと、以下のようになります。

【置換の符号】
\begin{eqnarray} \large \mathrm{sgn}(\sigma)= \begin{cases} +1 &\large (\text{置換σが偶置換}) \\[0.7em] -1 &\large (\text{置換σが奇置換} ) \end{cases} \end{eqnarray}

・置換の符号の例(1)

例えば、置換 \(\large{ \sigma_2 = \left(\begin{array}{cccc} 1 & 2 &3\\ 1 & 3 & 2\\ \end{array} \right)}\) を互換の積で表すと \(\large{\sigma_2 = (\hspace{1pt}2\hspace{6pt}3\hspace{1pt})}\) となります。

したがって、互換の数が \(\large{1\hspace{1pt}}\)個であり、置換\(\large{\sigma_2}\) は奇置換となるため $$\large{\mathrm{sgn} (\sigma_2) = -1}$$ となります。

・置換の符号の例(2)

また、置換 \(\large{ \sigma_4 = \left(\begin{array}{cccc} 1 & 2 &3\\ 2 & 3 & 1\\ \end{array} \right)}\) を互換の積で表すと $$\large{\sigma_4 = (\hspace{1pt}1\hspace{6pt}3\hspace{1pt})(\hspace{1pt}1\hspace{6pt}2\hspace{1pt})}$$ となります。

したがって、互換の数が \(\large{2\hspace{1pt}}\)個であり、置換\(\large{\sigma_4}\) は偶置換となるため $$\large{\mathrm{sgn} (\sigma_4) = +1}$$ となります。

・置換の符号の例(3)

また、\(\large{\sigma_1}\) は \(\displaystyle\large{\sigma_1 = \left(\begin{array}{cccc} 1 & 2 & 3\\ 1 & 2 & 3\\ \end{array} \right)}\) であり、互換の数が \(\large{0}\) すなわち、偶置換であるため $$\large{\mathrm{\mathrm{sgn}} (\sigma_1) = +1}$$ となります。

【2】2×2行列の行列式

本章では、行列式の定義から、行列式の具体的な式を導きます。
まず、\(\large{2 \times 2\hspace{2pt}}\)の行列\(\large{A}\) の行列式\(\large{|A|}\) は以下のように表されます。

【2×2行列の行列式】
\(\large{2\hspace{1pt}}\)行\(\large{2\hspace{1pt}}\)列の行列\(\large{A}\) $$\Large{ A = \left(\begin{array}{cccc} a_{11} & a_{12} \\ a_{21} & a_{22} \\ \end{array} \right)}$$ の行列式は $$\Large{ |A| = a_{11} \hspace{1pt} a_{22} - a_{12} \hspace{1pt} a_{21} }$$ となる

行列式の定義から 上記の 2×2行列の行列式\(\large{|A|}\) の具体的な式を求めます。

行列式の定義は $$\large{|A| = \sum_{\sigma \in S_n} \mathrm{sgn} \hspace{1pt} (\sigma) \prod_{\hspace{1pt}i=1}^n a_{i \sigma}(i)}$$ と表されます。

記号 \(\displaystyle\large{\prod_{\hspace{1pt}i=1}^n a_i}\) は \(\large{a_1}\) から \(\large{a_n}\) までをかけ合わせる、すなわち $$\large{\prod_{\hspace{1pt}i=1}^n a_i = a_1\hspace{1pt} a_2\hspace{1pt} \cdots\hspace{1pt}a_n}$$ を意味します。

したがって、 $$\large{|A| = \sum_{\sigma \in S_n} \mathrm{sgn}\hspace{1pt} (\sigma) \cdot a_{\hspace{1pt}1\sigma(1)}a_{\hspace{1pt}2\sigma(2)}\cdots a_{\hspace{1pt}n\sigma(n)}}$$ となります。上式で \(\large{n=2}\) の場合は $$\large{|A| = \sum_{\sigma \in S_2} \mathrm{sgn} \hspace{1pt} (\sigma) \cdot a_{\hspace{1pt}1\sigma(1)}a_{\hspace{1pt}2\sigma(2)}}$$ となります。

ここで、 \(\displaystyle\large{\sum_{\sigma \in S_2}}\) とは \(\large{2\hspace{1pt}}\)個の文字の置換全体の集合を足し合わせることを意味します。

\(\large{2\hspace{1pt}}\)個の文字の置換 は \(\large{\{\hspace{1pt}1\hspace{2pt},\hspace{2pt}2\hspace{1pt}\}}\) を並び替えた \(\large{(1,2)\hspace{2pt},\hspace{2pt}(2,1)}\) の\(\large{2\hspace{1pt}}\)通りが存在します。

すなわち、 $$\large{S_2 = \left\{\left(\begin{array}{cc} 1 & 2 \\ 1 & 2 \\ \end{array} \right) \hspace{1pt},\hspace{3pt} \left(\begin{array}{cccc} 1 & 2 \\ 2 & 1 \\ \end{array} \right)\right\}}$$ となります。

\(\large{2\hspace{1pt}}\)文字の置換を以下のような記号で表すとします。 $$\large{\sigma_1 = \left(\begin{array}{cc} 1 & 2 \\ 1 & 2 \\ \end{array} \right) \hspace{1pt},\hspace{3pt} \sigma_2 = \left(\begin{array}{cccc} 1 & 2 \\ 2 & 1 \\ \end{array} \right)}$$

したがって、行列式の計算を \(\large{\sum\hspace{1pt}}\)記号 を使わずに表すと、

\begin{eqnarray} \large \hspace{10pt}|A|&\large =&\large \sum_{\sigma \in S_2} \mathrm{sgn} \hspace{1pt} (\sigma) \cdot a_{\hspace{1pt}1\sigma(1)}a_{\hspace{1pt}2\sigma(2)\hspace{10pt}}\\[0.5em] \large &\large =&\large \mathrm{sgn}\hspace{1pt}(\sigma_1)\hspace{1pt} a_{1\sigma_1(1)}\hspace{1pt}a_{2\sigma_1(2)} + \mathrm{sgn}\hspace{1pt}(\sigma_2)\hspace{1pt} a_{1\sigma_2(1)}\hspace{1pt}a_{2\sigma_2(2)} \end{eqnarray}

となります。

ここで、先述したように \(\large{\mathrm{\mathrm{sgn} (\sigma) }}\) は置換を互換の積で表したときに、互換の数が偶数か奇数かによって \(\large{+1}\) もしくは \(\large{-1}\) のどちらかの符号をとります。 \begin{eqnarray} \large \mathrm{sgn}(\sigma) = \begin{cases} +1 &\large (\mathrm{偶置換}) \\[0.7em] -1 &\large ( \mathrm{奇置換} ) \end{cases} \end{eqnarray}

\(\large{\sigma_1=\left(\begin{array}{cc} 1 & 2 \\ 1 & 2 \\ \end{array} \right)}\) は 互換の数が\(\large{\hspace{2pt}0\hspace{1pt}}\)個 すなわち、偶置換であるため $$\large{\mathrm{sgn} \hspace{1pt} (\sigma_1) = +1}$$

\(\large{\sigma_2=\left(\begin{array}{cc} 1 & 2 \\ 2 & 1 \\ \end{array} \right)}\) は 互換の積で表すと \(\large{\sigma_2 = (\hspace{1pt}1\hspace{6pt}2\hspace{1pt})}\) となるため、互換の数が\(\large{1}\)個 すなわち、奇置換であるため $$\large{\mathrm{sgn} \hspace{1pt} (\sigma_2) = -1}$$ となります。

また、行列式の式中の \(\large{\sigma_1(1)}\) は 置換\(\large{\sigma_1}\) で \(\large{1}\) がどの文字に変換されるかを表します。
置換\(\large{\sigma_1}\) は \(\displaystyle\large{\sigma_1 = \left(\begin{array}{cc} \color{red}{1} & \color{red}{2}\\ \color{blue}{1} & \color{blue}{2} \\ \end{array} \right)}\) であるため、 $$\large{\sigma_1(\color{red}{1}\color{black}{}) = \color{blue}{1}\color{black}{}\hspace{1pt},\hspace{3pt}\sigma_1(\color{red}{2}\color{black}{}) = \color{blue}{2}\color{black}{}}$$ となります。

また、置換\(\large{\sigma_2}\) に関しては、\(\displaystyle\large{\sigma_2 = \left(\begin{array}{cccc} \color{red}{1} & \color{red}{2}\\ \color{blue}{2} & \color{blue}{1} \\ \end{array} \right)}\) であるため、 $$\large{\sigma_2(\color{red}{1}\color{black}{}) = \color{blue}{2}\color{black}{}\hspace{1pt},\hspace{3pt}\sigma_2(\color{red}{2}\color{black}{}) = \color{blue}{1}\color{black}{}}$$ となります。

したがって、行列式\(\large{|A|}\) は以下のようになります。

\begin{eqnarray} \large \hspace{10pt}|A|&\large =&\large \mathrm{sgn}\hspace{1pt}(\sigma_1)\hspace{1pt} a_{1\sigma_1(1)}\hspace{1pt}a_{2\sigma_1(2)} + \mathrm{sgn}\hspace{1pt}(\sigma_2)\hspace{1pt} a_{1\sigma_2(1)}\hspace{1pt}a_{2\sigma_2(2)\hspace{10pt}}\\[0.7em] \large &\large =&\large (+1)\hspace{1pt} a_{11}\hspace{1pt}a_{22} + (-1)\hspace{1pt} a_{12}\hspace{1pt}a_{21}\\[1em] &\large =&\large a_{11}\hspace{1pt}a_{22} - a_{12}\hspace{1pt}a_{21} \end{eqnarray}

・例題

【例題】
$$\large{A = \left(\begin{array}{cc} 3 & 2 \\ 1 & -4 \\ \end{array} \right)}$$ のとき 行列式\(\large{|A|}\) を求めよ

行列\(\large{A}\) の行列式\(\large{|A|}\) は $$\large{|A| = 3 \times (-4) - 2 \times 1 = -14}$$ と求められます。

【3】3×3行列の行列式

次に、以下の \(\large{3 \times 3\hspace{2pt}}\)の行列\(\large{A}\) の行列式を求めます。

【3×3行列の行列式】
\(\large{3\hspace{1pt}}\)行\(\large{3\hspace{1pt}}\)列の行列\(\large{A}\) $$\Large{ A = \left(\begin{array}{ccc} a_{11} & a_{12} & a_{13}\\ a_{21} & a_{22} & a_{23}\\ a_{31} & a_{32} & a_{33}\\ \end{array} \right)}$$ の行列式は \begin{eqnarray} \large |A|&\large =&\large a_{11}\hspace{1pt}a_{22}\hspace{1pt}a_{33} + a_{12}\hspace{1pt}a_{23}\hspace{1pt}a_{31}+a_{13}\hspace{1pt}a_{21}\hspace{1pt}a_{32}\\[0.5em] \large &\large &\large -a_{11}\hspace{1pt}a_{23}\hspace{1pt}a_{32}-a_{12}\hspace{1pt}a_{21}\hspace{1pt}a_{33} -a_{13}\hspace{1pt}a_{22}\hspace{1pt}a_{31}\\ \end{eqnarray} となる

行列式の定義 $$\large{|A| = \sum_{\sigma \in S_n} \mathrm{sgn} \hspace{1pt} (\sigma) \prod_{\hspace{1pt}i=1}^n a_{i \sigma}(i)}$$ において、\(\large{n=3}\) の場合は $$\large{|A| = \sum_{\sigma \in S_3} \mathrm{sgn} \hspace{1pt} (\sigma) \cdot a_{\hspace{1pt}1\sigma(1)}a_{\hspace{1pt}2\sigma(2)}a_{\hspace{1pt}3\sigma(3)}}$$ となります。

\(\large{3\hspace{1pt}}\)次の置換 \(\large{S_3}\) は \(\large{6\hspace{1pt}}\)個の置換からなり、それぞれの置換に以下のような記号を付けて表すとします。

$$\large\hspace{10pt} \sigma_1 = \left(\begin{array}{cc} 1 & 2 & 3\\ 1 & 2 & 3\\ \end{array} \right) \hspace{1pt},\hspace{3pt} \sigma_2 = \left(\begin{array}{cccc} 1 & 2 & 3\\ 1 & 3 & 2\\ \end{array} \right) \hspace{1pt},\hspace{3pt} \sigma_3 = \left(\begin{array}{cccc} 1 & 2 & 3\\ 2 & 1 & 3\\ \end{array} \right)\hspace{10pt} $$ $$\large\hspace{10pt}\sigma_4 = \left(\begin{array}{cccc} 1 & 2 & 3\\ 2& 3 & 1\\ \end{array} \right) \hspace{1pt},\hspace{3pt} \sigma_5 = \left(\begin{array}{cccc} 1 & 2 & 3\\ 3 & 1 & 2\\ \end{array} \right) \hspace{1pt},\hspace{3pt} \sigma_6 = \left(\begin{array}{cccc} 1 & 2 & 3\\ 3 & 2 & 1\\ \end{array} \right)\hspace{12pt}$$

行列式の式中の \(\displaystyle\large{\sum_{\sigma \in S_3}}\) とは、\(\large{3\hspace{1pt}}\)文字の置換全体の集合を足し合わせることを意味します。

したがって、行列式\(\large{|A|}\) の計算を \(\large{\sum\hspace{1pt}}\)記号 を使わずに表すと以下のようになります。

\begin{eqnarray} \large \hspace{10pt}|A|&\large =&\large \sum_{\sigma \in S_3} \mathrm{sgn} \hspace{1pt} (\sigma) \cdot a_{\hspace{1pt}1\sigma(1)}a_{\hspace{1pt}2\sigma(2)}a_{\hspace{1pt}3\sigma(3)}\\[0.5em] \large &\large =&\large \mathrm{sgn}\hspace{1pt}(\sigma_1)\hspace{1pt} a_{1 \sigma_1(1)}\hspace{1pt}a_{2 \sigma_1(2)}\hspace{1pt}a_{3\sigma_3(1)} + \mathrm{sgn}\hspace{1pt}(\sigma_2)\hspace{1pt} a_{1\sigma_2(1)}\hspace{1pt}a_{2\sigma_2(2)}\hspace{1pt}a_{3\sigma_2(3)} \\[0.7em] &\large &\large+\mathrm{sgn}\hspace{1pt}(\sigma_3)\hspace{1pt} a_{1\sigma_3(1)}\hspace{1pt}a_{2\sigma_3(2)}\hspace{1pt}a_{3\sigma_3(3)} + \mathrm{sgn}\hspace{1pt}(\sigma_4)\hspace{1pt} a_{1\sigma_4(1)}\hspace{1pt}a_{2\sigma_4(2)}\hspace{1pt}a_{3\sigma_4(3)} \\[0.7em] &\large &\large+ \mathrm{sgn}\hspace{1pt} (\sigma_5)\hspace{1pt} a_{1\sigma_5(1)}\hspace{1pt}a_{2\sigma_5(2)}\hspace{1pt}a_{3\sigma_5(3)} + \mathrm{sgn}\hspace{1pt}(\sigma_5)\hspace{1pt} a_{1\sigma_6(1)}\hspace{1pt}a_{2\sigma_6(2)}\hspace{1pt}a_{3\sigma_6(3)\hspace{10pt}}\\[1.5em] \end{eqnarray}

ここで、先述したように \(\large{\mathrm{\mathrm{sgn} (\sigma) }}\) は 置換\(\large{\sigma}\) を互換の積で表したとき、互換の数が偶数か奇数かによって \(\large{+1}\) もしくは \(\large{-1}\) のどちらかの符号をとります。 \begin{eqnarray} \large \mathrm{sgn}(\sigma) = \begin{cases} +1 &\large (\mathrm{偶置換}) \\[0.7em] -1 &\large ( \mathrm{奇置換} ) \end{cases} \end{eqnarray}

置換 \(\large{\sigma_1}\) から \(\large{\sigma_6}\) までの 符号 \(\large{\mathrm{sgn}(\sigma)}\) を求めると以下のようになります。 $$\large{\mathrm{sgn}\hspace{1pt}(\sigma_1)=+1\hspace{1pt},\hspace{2pt}\mathrm{sgn}\hspace{1pt}(\sigma_2)=-1}$$ $$\large{\mathrm{sgn}\hspace{1pt}(\sigma_3)=-1\hspace{1pt},\hspace{2pt}\mathrm{sgn}\hspace{1pt}(\sigma_4)=+1}$$ $$\large{\mathrm{sgn}\hspace{1pt}(\sigma_5)=+1\hspace{1pt},\hspace{2pt}\mathrm{sgn}\hspace{1pt}(\sigma_6)=-1}$$

また、行列式の式中の \(\large{\sigma_2(1)}\) は 置換\(\large{\sigma_2}\) で \(\large{1}\) がどの文字に変換されるかを表します。
置換\(\large{\hspace{1pt}\sigma_2}\) は \(\displaystyle\large{\sigma_2 = \left(\begin{array}{ccc} \color{red}{1} & \color{red}{2} & \color{red}{3} \\ \color{blue}{1} & \color{blue}{3} & \color{blue}{2}\\ \end{array} \right)}\) であるため、 $$\large{\sigma_2(\color{red}{1}\color{black}{}) = \color{blue}{1}\color{black}{}\hspace{1pt},\hspace{3pt}\sigma_2(\color{red}{2}\color{black}{}) = \color{blue}{3}\hspace{1pt}\color{black}{},\hspace{3pt}\sigma_2(\color{red}{3}\color{black}{}) = \color{blue}{2}}$$ などと求められます。

したがって、

\begin{eqnarray} \large\hspace{10pt} |A|&\large =&\large \sum_{\sigma \in S_3} \mathrm{sgn} \hspace{1pt} (\sigma) \cdot a_{\hspace{1pt}1\sigma(1)}a_{\hspace{1pt}2\sigma(2)}a_{\hspace{1pt}3\sigma(3)}\\[0.5em] \large &\large =&\large \mathrm{sgn}\hspace{1pt}(\sigma_1)\hspace{1pt} a_{1 \sigma_1(1)}\hspace{1pt}a_{2 \sigma_1(2)}\hspace{1pt}a_{3\sigma_3(1)} + \mathrm{sgn}\hspace{1pt}(\sigma_2)\hspace{1pt} a_{1\sigma_2(1)}\hspace{1pt}a_{2\sigma_2(2)}\hspace{1pt}a_{3\sigma_2(3)} \\[0.7em] &\large &\large+\mathrm{sgn}\hspace{1pt}(\sigma_3)\hspace{1pt} a_{1\sigma_3(1)}\hspace{1pt}a_{2\sigma_3(2)}\hspace{1pt}a_{3\sigma_3(3)} + \mathrm{sgn}\hspace{1pt}(\sigma_4)\hspace{1pt} a_{1\sigma_4(1)}\hspace{1pt}a_{2\sigma_4(2)}\hspace{1pt}a_{3\sigma_4(3)\hspace{10pt}} \\[0.7em] &\large &\large+ \mathrm{sgn}\hspace{1pt} (\sigma_5)\hspace{1pt} a_{1\sigma_5(1)}\hspace{1pt}a_{2\sigma_5(2)}\hspace{1pt}a_{3\sigma_5(3)} + \mathrm{sgn}\hspace{1pt}(\sigma_6)\hspace{1pt} a_{1\sigma_6(1)}\hspace{1pt}a_{2\sigma_6(2)}\hspace{1pt}a_{3\sigma_6(3)}\\[1.5em] &\large =&\large (+1)\hspace{2pt}a_{11}\hspace{1pt}a_{22}\hspace{1pt}a_{33} +(-1)\hspace{1pt} a_{11}\hspace{2pt}a_{23}\hspace{1pt}a_{32}\\[1em] &\large &\large + (-1)\hspace{2pt}a_{12}\hspace{1pt}a_{21}\hspace{1pt}a_{33}+(+1)\hspace{1pt}a_{12}\hspace{2pt}a_{23}\hspace{1pt}a_{31}\\[1em] &\large &\large +(+1)\hspace{2pt}a_{13}\hspace{1pt}a_{21}\hspace{1pt}a_{32} +(-1)\hspace{1pt}a_{13}\hspace{2pt}a_{22}\hspace{1pt}a_{31}\\[1.5em] &\large =&\large a_{11}\hspace{1pt}a_{22}\hspace{1pt}a_{33} + a_{12}\hspace{1pt}a_{23}\hspace{1pt}a_{31}+a_{13}\hspace{1pt}a_{21}\hspace{1pt}a_{32}\\[0.7em] \large &\large &\large -a_{11}\hspace{1pt}a_{23}\hspace{1pt}a_{32}-a_{12}\hspace{1pt}a_{21}\hspace{1pt}a_{33} -a_{13}\hspace{1pt}a_{22}\hspace{1pt}a_{31}\\ \end{eqnarray}

と \(\large{3\times 3}\) の行列の行列式を求めることができます。

・例題

【例題】
$$\large{A = \left(\begin{array}{cc} 1 & 2 & 0\\ 0 & -4 & -1\\ -2 & 1 & -1\\ \end{array} \right)}$$ のとき 行列式\(\large{|A|}\) を求めよ

行列\(\large{A}\) の行列式\(\large{|A|}\) は \begin{eqnarray} \large |A|&\large =&\large a_{11}\hspace{1pt}a_{22}\hspace{1pt}a_{33} + a_{12}\hspace{1pt}a_{23}\hspace{1pt}a_{31}+a_{13}\hspace{1pt}a_{21}\hspace{1pt}a_{32}\\[0.7em] \large &\large &\large -a_{11}\hspace{1pt}a_{23}\hspace{1pt}a_{32}-a_{12}\hspace{1pt}a_{21}\hspace{1pt}a_{33} -a_{13}\hspace{1pt}a_{22}\hspace{1pt}a_{31}\\ \end{eqnarray} となります。

したがって、行列式\(\large{|A|}\) は

\begin{eqnarray} \large \hspace{10pt}|A|&\large =&\large 1\cdot (-4) \cdot (-1) + 2\cdot (-1) \cdot (-2)+0\cdot 0 \cdot 1 \\[0.7em] &\large &\large -1\cdot (-1) \cdot 1-2\cdot 0 \cdot (-1) -1\cdot 0\cdot (-4) \cdot (-2)\hspace{10pt}\\[0.7em] &\large =&\large 4 + 4+ 0 +1+0 +0\\[0.7em] &\large =&\large 9 \\[0.7em] \end{eqnarray}

【4】問題と解き方

問題.1
次の行列の行列式を求めよ
\(\large{A = \left(\begin{array}{ccc} x_1 & 0 & 0\\ 0 & x_2 & 0\\ 0 & 0 & x_3\\ \end{array} \right) }\)
問題.2
次の行列の行列式を求めよ
\(\large{A = \left(\begin{array}{ccc} 0 & a & b\\ a & 0 & c\\ b & c & 0\\ \end{array} \right) }\)
問題.2
次の行列の行列式を求めよ
\(\large{A = \left(\begin{array}{ccc} 1 & 2 & 4\\ a & b & c\\ a & b & c\\ \end{array} \right) }\)

問題(1) 3×3行列の行列式

問題.1
次の行列の行列式を求めよ
\(\large{A = \left(\begin{array}{ccc} x_1 & 0 & 0\\ 0 & x_2 & 0\\ 0 & 0 & x_3\\ \end{array} \right) }\)

【解答と解説】

行列\(\large{A}\) の行列式\(\large{|A|}\) は \begin{eqnarray} \large |A|&\large =&\large a_{11}\hspace{1pt}a_{22}\hspace{1pt}a_{33} + a_{12}\hspace{1pt}a_{23}\hspace{1pt}a_{31}+a_{13}\hspace{1pt}a_{21}\hspace{1pt}a_{32}\\[0.7em] \large &\large &\large -a_{11}\hspace{1pt}a_{23}\hspace{1pt}a_{32}-a_{12}\hspace{1pt}a_{21}\hspace{1pt}a_{33} -a_{13}\hspace{1pt}a_{22}\hspace{1pt}a_{31}\\ \end{eqnarray} となります。

したがって、行列式\(\large{|A|}\) は \begin{eqnarray} \large |A|&\large =&\large x_1\cdot x_2 \cdot x_3 + 0\cdot 0 \cdot 0+0\cdot 0 \cdot 0\\[0.7em] &\large &\large -x_1 \cdot 0 \cdot 0-0\cdot 0 \cdot x_3 -0\cdot x_2 \cdot 0\\[0.7em] &\large =&\large x_1\hspace{1pt}x_2\hspace{1pt}x_3\\[0.7em] \end{eqnarray}

この問題のように、対角成分のみの行列の行列式は、対角成分をかけあわせた値となります。

問題(2) 3×3行列 の行列式

問題.2
次の行列の行列式を求めよ
\(\large{A = \left(\begin{array}{ccc} 0 & a & b\\ a & 0 & c\\ b & c & 0\\ \end{array} \right) }\)

【解答と解説】

行列\(\large{A}\) の行列式\(\large{|A|}\) は \begin{eqnarray} \large |A|&\large =&\large a_{11}\hspace{1pt}a_{22}\hspace{1pt}a_{33} + a_{12}\hspace{1pt}a_{23}\hspace{1pt}a_{31}+a_{13}\hspace{1pt}a_{21}\hspace{1pt}a_{32}\\[0.7em] \large &\large &\large -a_{11}\hspace{1pt}a_{23}\hspace{1pt}a_{32}-a_{12}\hspace{1pt}a_{21}\hspace{1pt}a_{33} -a_{13}\hspace{1pt}a_{22}\hspace{1pt}a_{31}\\ \end{eqnarray} となります。

したがって、行列式\(\large{|A|}\) は \begin{eqnarray} \large |A|&\large =&\large 0\cdot 0\cdot 0 + a\cdot c \cdot b+b\cdot a \cdot c\\[0.7em] &\large &\large -1 \cdot 0 \cdot c \cdot c-a\cdot a \cdot 0 -b\cdot 0 \cdot b\\[0.7em] &\large =&\large 2\hspace{1pt}a\hspace{1pt}b\hspace{1pt}c\\[0.7em] \end{eqnarray}

問題(3) 3×3行列 の行列式

問題.3
次の行列の行列式を求めよ
\(\large{A = \left(\begin{array}{ccc} 1 & 2 & 4\\ a & b & c\\ a & b & c\\ \end{array} \right) }\)

【解答と解説】

行列\(\large{A}\) の行列式\(\large{|A|}\) は \begin{eqnarray} \large |A|&\large =&\large a_{11}\hspace{1pt}a_{22}\hspace{1pt}a_{33} + a_{12}\hspace{1pt}a_{23}\hspace{1pt}a_{31}+a_{13}\hspace{1pt}a_{21}\hspace{1pt}a_{32}\\[0.7em] \large &\large &\large -a_{11}\hspace{1pt}a_{23}\hspace{1pt}a_{32}-a_{12}\hspace{1pt}a_{21}\hspace{1pt}a_{33} -a_{13}\hspace{1pt}a_{22}\hspace{1pt}a_{31}\\ \end{eqnarray} となります。

したがって、行列式\(\large{|A|}\) は \begin{eqnarray} \large |A|&\large =&\large 1\cdot b\cdot c + 2\cdot c \cdot a+4\cdot a \cdot b\\[0.7em] &\large &\large -1 \cdot c \cdot b -2\cdot a \cdot c -4\cdot b \cdot a\\[0.7em] &\large =&\large 0\\[0.7em] \end{eqnarray}

この問題のように、行列に同じ成分の行がある場合、行列式の値は \(\large{0}\) となります。


Copyright (c) 光学技術の基礎用語 All Rights Reserved.