を互いに重複しないように、
にうつす操作をn次の置換という。
置換
によってiがうつされる行き先を
と表す。
置換
は、次のように、上にもとの元を、下の行き先を並べて表現される。
![{\displaystyle \sigma ={\begin{pmatrix}1&2&\cdots &n\\\sigma (1)&\sigma (2)&\cdots &\sigma (n)\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b608bbf48c4051c73e56ed5f46b5255960501038)
これは、行列と同じ表現だが、行列ではないことに注意する。
例えば、
1を2に、2を3に、3を1にうつす置換
は、3次の置換であり、
となり、この置換は、
と表せる。
のように、すべての整数が変化しない置換のことを単位置換という。
ある置換
に対し、
を逆置換という。
n次の置換全体の集合を
と表す。
例えば、
である。
n次の置換全体の集合の個数が
であることは自明であろう。
置換
に対し、置換の合成を
と定める。
これは、
に対し、
と表記することもできる。
こうすると、記述量が少なくなり、便利だろう。
置換について、以下の性質が成り立つ。
![{\displaystyle (\sigma \tau )\rho =\sigma (\tau \rho )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e833eb4bda6befafc08992b932f6cfb8bc403b6b)
![{\displaystyle \sigma e=e\sigma =\sigma }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2659e995729a3c92bbe4bd4e5ba03ecc97d7cfd)
![{\displaystyle \sigma \sigma ^{-1}=\sigma ^{-1}\sigma =e}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f592b28f96a7e8a8f49a8697a60f9ad41ad4dd8d)
- 証明
に対し、
![{\displaystyle ((\sigma \tau )\rho )(i)=(\sigma \tau )(\rho (i))=\sigma (\tau (\rho (i)))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a213a8429650e5bae623a79f3d0a41f9b347fc7)
![{\displaystyle (\sigma (\tau \rho ))(i)=(\sigma )(\tau \rho (i))=\sigma (\tau (\rho (i)))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f06ae02d4aa3ca6ea56af23e5e9f8e5f76fac1c4)
よって、
である。
に対し、
![{\displaystyle (\sigma e)(i)=(\sigma (e(i)))=\sigma (i)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2c3f57d27b14dd3ebbe3f1e229b786888165a55)
![{\displaystyle e\sigma =(e(\sigma (i)))=\sigma (i)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/750a0f69852bdebb2d1582e9d875e286650d66d3)
よって
である。
に対し、
![{\displaystyle (\sigma \sigma ^{-1})(i)=(\sigma (\sigma ^{-1}(i)))=i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cfeea38d0767d74afe31db3b867fc92f188ad880)
![{\displaystyle (\sigma ^{-1}\sigma )(i)=(\sigma ^{-1}(\sigma (i)))=i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/151f5948acf450d4399aaef3a3449e5f4456a7c6)
よって
である。
のように、iとjだけを交換する置換を互換という。
任意の置換は互換の積で表すことができ、互換の個数の偶奇は互換のとり方によらず、同じであるという性質がある。
置換を互換の積で表したとき、互換の個数が偶数個の置換を偶置換、奇数個の置換を奇置換という。
- 証明
を
の符号という。
行列
に対して、
をAの行列式という。
※
とは、
に
の元をすべて代入して足し合わせろという意味である。
たとえば、
のとき、
と
は同じ意味である。
2次正方行列
の行列式を求めてみよう。
行列式の定義に当てはめると、
である。
![{\displaystyle S_{2}=\left\{{\begin{pmatrix}1&2\\1&2\end{pmatrix}},{\begin{pmatrix}1&2\\2&1\end{pmatrix}}\right\},\ \operatorname {sgn} {\begin{pmatrix}1&2\\1&2\end{pmatrix}}=1,\ \operatorname {sgn} {\begin{pmatrix}1&2\\2&1\end{pmatrix}}=-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0252c529aa6868c60eff183bb5ee8cdeba9cf8e2)
であるから行列式は
である。
3次の行列式では、
となる。
サラスの方法: 左三列の行列式は、赤線で結んだ斜め三項の積の和から青線で結んだ逆斜め三項の積の和を引いたものになる。
これは、「Sarrus(サラス)の展開」または「Sarrusの方法」、「たすきがけの法」と呼ぶもので、右図のように斜めに数を乗じたものの和と考えることができる。
例えば、第1項
は、1行1列の
から、3行3列の
までを右下に向かって順に乗じたものに等しい。また、次の
は、1行2列の
から始めて、右下に向かって順に乗じたものに等しい。2行3列の
の次は端を突き抜けて、3行1列の
に至る。第3項も同様である。
4から6番目の項は、右下に向かってではなく左下(右図では右上)に向かって乗じて、符号を反転したものである。
以降の行列ではこのような簡単な計算法は得られない。
項の数は
行列で
個であるため、大きな行列について計算機を使わずに行列式を計算するのは困難である。
行列式について成り立つ性質のうち、以下の4つは基本的である。
![{\displaystyle {\begin{vmatrix}a_{1,1}&\cdots &a_{1,i}+a_{1,i}'&\cdots &a_{1,n}\\\vdots &\ddots &\vdots &\ddots &\vdots \\a_{n,1}&\cdots &a_{n,i}+a_{n,i}'&\cdots &a_{n,n}\\\end{vmatrix}}={\begin{vmatrix}a_{1,1}&\cdots &a_{1,i}&\cdots &a_{1,n}\\\vdots &\ddots &\vdots &\ddots &\vdots \\a_{n,1}&\cdots &a_{n,i}&\cdots &a_{n,n}\\\end{vmatrix}}+{\begin{vmatrix}a_{1,1}&\cdots &a_{1,i}'&\cdots &a_{1,n}\\\vdots &\ddots &\vdots &\ddots &\vdots \\a_{n,1}&\cdots &a_{n,i}'&\cdots &a_{n,n}\\\end{vmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3378f04892620572886f5cfb9076af1de0211812)
![{\displaystyle {\begin{vmatrix}a_{1,1}&\cdots &ca_{1,i}&\cdots &a_{1,n}\\\vdots &\ddots &\vdots &\ddots &\vdots \\a_{n,1}&\cdots &ca_{n,i}&\cdots &a_{n,n}\\\end{vmatrix}}=c{\begin{vmatrix}a_{1,1}&\cdots &a_{1,i}&\cdots &a_{1,n}\\\vdots &\ddots &\vdots &\ddots &\vdots \\a_{n,1}&\cdots &a_{n,i}&\cdots &a_{n,n}\\\end{vmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c02088b7e5e24abc9a346910e0eaec15349e03c2)
![{\displaystyle {\begin{vmatrix}a_{1,1}&\cdots &a_{1,i}&\cdots &a_{1,j}&\cdots &a_{1,n}\\\vdots &\ddots &\vdots &\ddots &\vdots &\ddots &\vdots \\a_{n,1}&\cdots &a_{n,i}&\cdots &a_{n,j}&\cdots &a_{n,n}\\\end{vmatrix}}=-{\begin{vmatrix}a_{1,1}&\cdots &a_{1,j}&\cdots &a_{1,i}&\cdots &a_{1,n}\\\vdots &\ddots &\vdots &\ddots &\vdots &\ddots &\vdots \\a_{n,1}&\cdots &a_{n,j}&\cdots &a_{n,i}&\cdots &a_{n,n}\\\end{vmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/605c74c43a8ba8cdd96c332cbd0a0059abf0fbd3)
- 単位行列の行列式は1。
1. と 2. の性質を合わせて「列についての多重線型性」という。3. の性質は「列についての交代性」という。一般に任意の正方行列
について
であるから、これらの性質は行についても成り立つ。
- 証明
![{\displaystyle \sum _{\sigma \in S_{n}}\operatorname {sgn}(\sigma )a_{1,\sigma (1)}\cdots (a_{i,\sigma (i)}+a_{i,\sigma (i)}')\cdots a_{n,\sigma (n)}=\sum _{\sigma \in S_{n}}(\operatorname {sgn}(\sigma )a_{1,\sigma (1)}\cdots a_{i,\sigma (i)}\cdots a_{n,\sigma (n)}+\operatorname {sgn}(\sigma )a_{1,\sigma (1)}\cdots a_{i,\sigma (i)}'\cdots a_{n,\sigma (n)})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/15bc41aa534c1db82692e2cd7ce54ab06a8fe9c2)
よって証明された。
よって証明された。
- n次の置換
に
の互換を合成した置換を
とする。このとき
である。もし
が奇置換であれば
は偶置換、
が偶置換であれば
は奇置換であるから
である。ゆえに
![{\displaystyle \sum _{\sigma \in S_{n}}\operatorname {sgn}(\sigma )a_{1,\sigma (1)}\cdots a_{i,\sigma (i)}\cdots a_{j,\sigma (j)}\cdots a_{n,\sigma (n)}=\sum _{\tau \in S_{n}}(-\operatorname {sgn}(\tau ))a_{1,\tau (1)}\cdots a_{i,\tau (j)}\cdots a_{j,\tau (i)}\cdots a_{n,\tau (n)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee5e48f52a71b63fe49e25ed0238482132532e33)
よって証明された。
- 行列式を計算すると、対角成分の積の項が1、それ以外の項は0になることから直ちに得られる。
- (転置についての不変性) 任意の置換とその逆置換について符号は等しいから、
として以下のように示される。
![{\displaystyle |{}^{t}\!A|=\sum _{\sigma \in S_{n}}\operatorname {sgn}(\sigma )a_{\sigma (1),1}\cdots a_{\sigma (n),n}=\sum _{\sigma \in S_{n}}\operatorname {sgn}(\sigma ^{-1})a_{1,\sigma ^{-1}(1)}\cdots a_{n,\sigma ^{-1}(n)}=\sum _{\tau \in S_{n}}\operatorname {sgn}(\tau )a_{1,\tau (1)}\cdots a_{n,\tau (n)}=|A|.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c050af1232d0cff17deccdab64b6003e2628d17)
任意の正方行列に対してある実数を対応付ける作用のうち、この4つの性質を全て満たすのは行列式だけであり、この性質を定義として行列式を導出できる。