線形代数11|行列式は線形代数の要!置換を用いて定義する

線形代数学の基本
線形代数学の基本

前々回の記事では正方行列$A=[\m{a}_1,\dots,\m{a}_n]$の行列式$|A|$の直感的なイメージを説明し

  • $A$が正則行列であること
  • $|A|\neq0$をみたすこと

が同値となりそうなことをみました(のちの記事で証明します).

さて,行列式を定義するには前回の記事で説明した置換を用います.

この記事では

  • 置換の符号
  • 行列式の定義

を順に説明します.

なお,この記事では特に断らない限り実行列・実ベクトルを扱うことにしますが,複素行列など一般のを成分とする行列・ベクトルに対しても同様です.

また,この記事では$n$を$2$以上の整数とし,$\{1,\dots,n\}$の置換全部の集合を$S_n$とします.

線形代数学の参考文献

以下は線形代数学に関するオススメの教科書です.

大学教養 線形代数(加藤文元 著)

数学科など理論系の学生向けの線形代数の入門書です.平易な具体例から丁寧に説明されているので,初学者にも読み進めやすい教科書です.

手を動かしてまなぶ 線形代数(藤岡敦 著)

理論と演習のバランスをとりながら勉強したい人にオススメの入門書です.

置換の符号

まずは置換の符号を説明します.

置換の符号の定義

まずは前回の記事で示した次の定理を思い出しましょう.

$S_{n}$の任意の置換は$S_{n}$の互換の積で表せる.

さて,実は置換を互換の積でどのように表しても,互換の個数の偶奇には一意性があります.

すなわち,次の定理が成り立ちます.

置換を互換の積で表すとき,かけ合わされている互換の個数の偶奇は置換によらない.

異なる$x_{1},\dots,x_{n}\in\R$に対して,写像$f:S_{n}\to\R$を$f(\sigma):=\prod_{i<j}(x_{\sigma(i)}-x_{\sigma(j)})$で定める.すなわち,

   \begin{align*}f(\sigma) =(x_{\sigma(1)}-x_{\sigma(2)})(x_{\sigma(1)}-x_{\sigma(3)}) \times\dots\times(x_{\sigma(1)}-x_{\sigma(n)})& \\\times(x_{\sigma(2)}-x_{\sigma(3)})\times\dots\times(x_{\sigma(2)}-x_{\sigma(n)})& \\\vdots\qquad& \\\times(x_{\sigma(n-1)}-x_{\sigma(n)})&\end{align*}

である.ここで,偶数$k$個の互換の積と奇数$\ell$個の互換の積で表せる置換$\sigma$が存在すれば,

   \begin{align*}\sigma=\tau_{1}\dots\tau_{k}=\iota_{1}\dots\iota_{\ell}\end{align*}

と表せる.ただし,$\tau_{i},\iota_{j}\in S_{n}$ ($i=1,\dots,k$, $j=1,\dots,\ell$)は互換である.

任意の互換$\eta:=(i,j)\in S_{n}$と置換$\kappa\in S_{n}$に対して,$f(\kappa\eta)$は$f(\kappa)$の因数のうち奇数個の符号が逆になったものなので$f(\kappa\eta)=-f(\kappa)$である.

$k+\ell$が奇数であることに注意すると,

   \begin{align*}f(\epsilon)=&-f(\tau_{1})=(-1)^{2}f(\tau_{1}\tau_{2}) \\=&\dots=(-1)^{k}f(\tau_{1}\dots\tau_{k})=(-1)^{k}f(\iota_{1}\dots\iota_{\ell}) \\=&(-1)^{k+1}f(\iota_{2}\dots\iota_{\ell})=\dots=(-1)^{k+\ell-1}f(\iota_{\ell}) \\=&(-1)^{k+\ell}f(\epsilon)=-f(\epsilon)\end{align*}

となって,$f(\epsilon)=0$を得る.しかし,$x_{1},\dots,x_{n}$は全て異なるとしたから,$f(\epsilon)\neq0$なのでこれは矛盾である.

よって,$\sigma$を互換の積で表すとき,互換の個数の偶奇は固有である.

この証明の写像$f$は差積 (difference product)ヴァンデルモンド多項式 (Vandermonde polynomial)などとよばれます.

いま定理から偶置換奇置換を次のように定義できますね.

$\sigma$が$m$個の互換の積として表されるとき,

$\sgn(\sigma)=\begin{cases}1&(\text{$m$が偶数のとき})\\-1&(\text{$m$が奇数のとき})\end{cases}$

で定まる$\sgn(\sigma)$を$\sigma$の符号 (signature)といい,$\sgn(\sigma)=1$なる$\sigma$を偶置換 (even permutation),$\sgn(\sigma)=-1$なる$\sigma$を奇置換 (odd permutation)という.

同じものに複数の表し方がある場合,どの表し方でも同じ定義になることをwell-definedと言いますね.ひとつの置換を互換の積で表す方法は複数あり得ますが,その時の互換の個数の偶奇は上の定理よりどの表し方でも変わらないので,この定義はwell-definedと言えますね.

例えば,$S_3$の元を全て挙げると

   \begin{align*}S_3=\left\{\sigma_{1}:=\pmat{1&2&3\\1&2&3},\sigma_{2}:=\pmat{1&2&3\\1&3&2},\sigma_{3}:=\pmat{1&2&3\\2&1&3},\right.& \\\left.\sigma_{4}:=\pmat{1&2&3\\3&1&2},\sigma_{5}:=\pmat{1&2&3\\2&3&1},\sigma_{6}:=\pmat{1&2&3\\3&2&1}\right\}\end{align*}

で,これらは

   \begin{align*}\sigma_{1}=(1,2)(2,1),\quad\sigma_{2}=(2,3),\quad\sigma_{3}=(1,2),\quad \sigma_{4}=(2,3)(1,2),\quad\sigma_{5}=(1,3)(1,2),\quad\sigma_{6}=(1,3)\end{align*}

と互換の積で表せるので

   \begin{align*}\sgn(\sigma_{1})=\sgn(\sigma_{4})=\sgn(\sigma_{5})=1,\quad \sgn(\sigma_{2})=\sgn(\sigma_{3})=\sgn(\sigma_{6})=-1\end{align*}

となりますね.

置換の符号の性質

ここで,次の記事で行列式の性質を示す際に必要になる置換の符号の性質を説明しておきましょう.

任意の$\sigma,\tau\in S_{n}$に対して,以下が成り立つ.

   \begin{align*}\sgn{(\sigma)}\sgn{(\tau)}=\sgn{(\sigma\tau)}=\sgn{(\tau\sigma)}\end{align*}

$\sigma$, $\tau$が互換の積で$\sigma=\iota_{1}\dots\iota_{k}$, $\tau=\iota_{1}’\dots\iota_{\ell}’$で表されるとすると,

   \begin{align*}\sigma\tau=\iota_{1}\dots\iota_{k}\iota_{1}'\dots\iota_{\ell}',\quad \tau\sigma=\iota_{1}'\dots\iota_{\ell}'\iota_{1}\dots\iota_{k}\end{align*}

だから,$\sigma\tau$, $\tau\sigma$はいずれも$k+\ell$個の互換の積で表せる.

よって,$\sgn{(\sigma)}=\sgn{(\tau)}$のときは,$k$と$\ell$の偶奇が一致するから$k+\ell$は偶数なので$\sgn{(\sigma\tau)}=\sgn{(\tau\sigma)}=1$である.

また,$\sgn{(\sigma)}\sgn{(\tau)}=(\pm1)^{2}=1$だから等式が従う.

一方,$\sgn{(\sigma)}\neq\sgn{(\tau)}$のときは,$k$と$\ell$の偶奇が異なるから$k+\ell$は奇数なので$\sgn{(\sigma\tau)}=\sgn{(\tau\sigma)}=-1$である.

また,$\sgn{(\sigma)}\sgn{(\tau)}=1\cdot(-1)=-1$だから等式が従う.

この命題により,次の系も得られますね.

任意の$\sigma\in S_{n}$に対して,以下が成り立つ.

   \begin{align*}\sgn(\sigma)=\sgn(\sigma^{-1})\end{align*}

上の命題で$\tau=\sigma^{-1}$とすると,$\sigma\tau$は恒等置換なので$\sgn{\sigma}\sgn{\sigma^{-1}}=1$となるから,$(\sgn{\sigma},\sgn{\sigma^{-1}})=(\pm1,\pm1)$(複号同順)である.

よって,$\sgn{\sigma}=\sgn{\sigma^{-1}}$が従う.

行列式の定義

それでは本題の行列式を定義しましょう.

$n$次正方行列$A$に対して

   \begin{align*}\sum_{\sigma\in S_n}\sgn(\sigma)a_{1\sigma(1)}a_{2\sigma(2)}\dots a_{n\sigma(n)}\end{align*}

を$A$の行列式 (determinant)といい,$|A|$や$\det{A}$と表す.

$\{1,2,\dots,n\}$の置換は全部で$n!$個あるので,この和は$n!$個の項の和となっています.

すぐには捉えづらいと思うので,具体的に$n=2,3$の場合を考えてみましょう.

例1

2次正方行列$A=\bmat{a_{11}&a_{12}\\a_{21}&a_{22}}$の行列式$|A|$を考えます.

$S_2$は$\{1,2\}$の置換全体の集合だから

   \begin{align*}S_2=\brb{\sigma_{1}:=\pmat{1&2\\1&2},\sigma_{2}:=\pmat{1&2\\2&1}}\end{align*}

です.$\sgn(\sigma_{1})=1$, $\sgn(\sigma_{2})=-1$より

   \begin{align*}|A|=&\sgn(\sigma_{1})a_{1\sigma_{1}(1)}a_{2\sigma_{1}(2)}+\sgn(\sigma_{2})a_{1\sigma_{2}(1)}a_{2\sigma_{2}(2)} \\=&a_{11}a_{22}-a_{12}a_{21}\end{align*}

となります.これは前々回の記事で説明した2次正方行列の行列式に一致しますね.

例2

3次正方行列$A=\bmat{a_{11}&a_{12}&a_{13}\\a_{21}&a_{22}&a_{23}\\a_{31}&a_{32}&a_{33}}$の行列式$|A|$を考えます.

3次の置換の集合$S_3$は

   \begin{align*}S_3=\left\{\sigma_{1}:=\pmat{1&2&3\\1&2&3},\sigma_{2}:=\pmat{1&2&3\\1&3&2},\sigma_{3}:=\pmat{1&2&3\\2&1&3},\right.& \\\left.\sigma_{4}:=\pmat{1&2&3\\2&3&1},\sigma_{5}:=\pmat{1&2&3\\3&1&2},\sigma_{6}:=\pmat{1&2&3\\3&2&1}\right\}&\end{align*}

で,$\sgn(\sigma_{1})=1$, $\sgn(\sigma_{2})=-1$, $\sgn(\sigma_{3})=-1$, $\sgn(\sigma_{4})=1$, $\sgn(\sigma_{5})=1$, $\sgn(\sigma_{6})=-1$より

   \begin{align*}|A|=&\sgn{(\sigma_{1})}a_{1\sigma_{1}(1)}a_{2\sigma_{1}(2)}a_{3\sigma_{1}(3)}+\sgn{(\sigma_{2})}a_{1\sigma_{2}(1)}a_{2\sigma_{2}(2)}a_{3\sigma_{2}(3)} \\&+\sgn{(\sigma_{3})}a_{1\sigma_{3}(1)}a_{2\sigma_{3}(2)}a_{3\sigma_{3}(3)}+\sgn{(\sigma_{4})}a_{1\sigma_{4}(1)}a_{2\sigma_{4}(2)}a_{3\sigma_{4}(3)} \\&+\sgn{(\sigma_{5})}a_{1\sigma_{5}(1)}a_{2\sigma_{5}(2)}a_{3\sigma_{5}(3)}+\sgn{(\sigma_{6})}a_{1\sigma_{6}(1)}a_{2\sigma_{6}(2)}a_{3\sigma_{6}(3)} \\=&a_{11}a_{22}a_{33}+a_{12}a_{23}a_{31}+a_{13}a_{21}a_{32} \\&-a_{11}a_{23}a_{32}-a_{13}a_{22}a_{31}-a_{12}a_{21}a_{33}\end{align*}

となります.

コメント

タイトルとURLをコピーしました