※横に長い数式をスマホ画面で見る際に,途中で切れているものがあることがあります.このときは,画面を横向きにして(ページを更新し直す)か,数式を横にスクロールさせることで,全貌を見ることができます.
連立方程式については一通り解説が終わり,ここから話題が切り替わり,行列式についての話になります.今回はそのための準備で,行列に関係ない話をします.突然行列と全く関係ない話になるのでびっくりすると思いますが,この話は後々必要になるのでしているわけです.
1 & 2 & 3 & … & n\\
a_1 & a_2 & a_3 & … & a_n
\end{array}\right)\]とかく.また,置換の一部分が\[i\mapsto j\mapsto k\mapsto … \mapsto l\mapsto i\]とうつりあっているとき,その部分を\[(i\;j\;k\;…\; l)\]
という表記をする.この表示の仕方をサイクル表示と呼ぶこととする.
写像$f:X\longrightarrow Y$が全射であるとは,$\forall\;y\in Y,\; \exists\;x\in X\; y=f(x)$が成り立つことです.
写像$f:X\longrightarrow Y$が単射であるとは,$\forall x_1,x_2\in X,\;f(x_1)=f(x_2)\Longrightarrow x_1=x_2$が成り立つことです.
全単射であることは「一対一対応」といいました.つまり,今回の場合,置換というのは,$\{1,2,…,n\}$の元から$\{1,2,…,n\}$の元への
1 & 2 & 3 & 4 & 5 & 6\\
2 & 1 & 5 & 3 & 4 & 6
\end{array}\right)\]と書けます.$(1,2,3,4,5,6)$を$(2,1,5,3,4,6)$に並べ替えているわけですね.
あるいはサイクル表示をすると\[(1\; 2)(3\; 5 \; 4)\]と書けます.1は2に行き2は1に行きます.3は5に,5は4に,4は3に行くのでそこでループを描いているわけですね.それを表現しているのが上のような書き方です.6は動かないので,6は書かなくていいです.

◆
1 & 2 & 3 & … & n\\
1 & 2 & 3 & … & n
\end{array}\right)\]を
(2) \[\sigma=\left(\begin{array}{ccccc}
1 & 2 & 3 & … & n\\
a_1 & a_2 & a_3 & … & a_n
\end{array}\right)\]
に対して,真逆に変換する置換(つまり逆写像):\[\left(\begin{array}{ccccc}
a_1 & a_2 & a_3 & … & a_n\\
1 & 2 & 3 & … & n
\end{array}\right)\]を
(3) 2つの置換$\sigma,\tau\in\mathfrak{S}_n$に対して,合成(積ともいう)$\sigma\circ\tau\in\mathfrak{S}_n$も置換である.これを$\sigma\tau$と書く.◆
これは大事な注意ですが,$\sigma\tau$と書いたら,まず$\tau$の変換をしてから$\sigma$の変換をするのであって,$\sigma$の変換をしてから$\tau$の変換をするのではないです.写像の合成$\sigma\circ\tau$と同じルールです.
1 & 2 & 3 & 4\\
2 & 4 & 3 & 1
\end{array}\right),\;\;\;\tau=\left(\begin{array}{ccccc}
1 & 2 & 3 & 4\\
4 & 3 & 2 & 1
\end{array}\right)\]で定義される.$\sigma\tau$を考えてみよう.
$1$は$\tau$によって$4$に行き,$4$は$\sigma$によって$1$に行く.従って,$1$は$\sigma\tau$によって$1$に行く.これを$2,3,4$についても考えると\[\sigma\tau=\left(\begin{array}{ccccc}
1 & 2 & 3 & 4\\
1 & 3& 4 & 2
\end{array}\right)=(2\;3\;4)\]
◆
(1) $(\sigma\tau)\rho=\sigma(\tau\rho)$
(2) ${\rm id}\:\sigma=\sigma\:{\rm id}=\sigma$
(3) $\sigma\sigma^{-1}=\sigma^{-1}\sigma={\rm id}$
(4) $(\sigma\tau)^{-1}=\tau^{-1}\sigma^{-1}$
置換が全単射写像であることを考えれば,証明はどれも明らかです.
$n-1$文字のとき主張が成り立つとして$n$文字のとき正しいことを示そう.\[\sigma=\left(\begin{array}{ccccc}
1 & 2 & 3 & … & n\\
a_1 & a_2 & a_3 & … & a_n
\end{array}\right)\]について,$a_{\bullet}$のうちどれか一つのみが$1$である.ここでは$a_i=1$であるとする.
\[\tau:=\sigma(i-1\; i)(2\; 3)…(1\; 2)\]は1を1に留めさせるような置換である.つまり$\tau$は,$2$から$n$までの$n-1$文字を$2$から$n$に並び替える,$n-1$文字の置換だと思えるから,これは帰納法の仮定により互換の積で書ける.両辺右から$\{(i-1\; i)(2\; 3)…(1\; 2)\}^{-1}$を掛けることで
\[\begin{align}\sigma &=\tau\{(i-1\; i)(2\; 3)…(1\; 2)\}^{-1}\\ &=\tau(1\; 2)…(2\; 3)(i-1\; i)\end{align}\]
よって$\sigma$は互換の積でかけた.
1 & 2 & 3 & 4 & 5 & 6 & 7\\
2 & 3 & 5 & 6 & 1& 4 & 7
\end{array}\right)\]を考えよう.これは$(1\;2\;3\;5)(4\;6)$と表されている.$(1\;2\;3\;5)$の方をさらに互換の積で書きたい.\[\left(\begin{array}{ccccc}
1 & 2 & 3 & 5 \\
2 & 3 & 5 & 1
\end{array}\right)\]$(1,2,3,5)$を$(2,3,5,1)$に2つの数字の交換のみで並べ替えたいので\[
(1,2,3,5)\overset{(1\; 2)}{\longmapsto}(2,1,3,5)\overset{(1\; 3)}{\longmapsto}(2,3,1,5)\overset{(1\; 5)}{\longmapsto}(2,3,5,1)\]とできます.矢印の上に書いた$(1\; 2)$などは互換を表します.つまり$(1\; 2)$と書いてあるところは$1,2$を入れ替える操作をした,ということです.よって\[(2\;3\;5\;1)=(1\;5)(1\;3)(1\; 2)\]以上から\[\sigma=(1\;5)(1\;3)(1\; 2)(4\;6)\]と書けます.${\rm sgn}\:\sigma=(-1)^4=1$です.
つまり偶数個の互換の積で表される置換は符号を$+1$,気数個の互換の積で表される置換は符号を$-1$とするんですね.ここで大事なことが一つあります.それは「置換を互換の積で表したときに,偶数個の互換の積と奇数個の互換の積の2通りで表せてしまうことがあるのではないか?」ということです.そのような場合,その置換は符号をうまく定められません.
しかし,実際にはそのようなことは起きないことが知られています.
この定理の証明は省略します.
例えば,$(1\;2\;3)$は$(1\;3)(1\;2)$と表されるわけですが,これを$(1\;3)(1\;2)(2\;3)(2\;3)$と表すこともできます.$(2\;3)(2\;3)={\rm id}$ですから,$(1\;3)(1\;2)$と等しいわけです.このときに用いている互換の個数はどちらも偶数で変わってないですよね.これは簡単な例ですが,そういうことが起きているわけです.
この置換の符号,という概念は行列式を定義するうえでとても大事なものです.
\[(1)\;\left(\begin{array}{ccccc}
1 & 2 & 3 & 4 & 5 \\
3 & 1 & 5 &2 & 4
\end{array}\right)\left(\begin{array}{ccccc}
1 & 2 & 3 & 4 & 5 \\
1 & 4 & 2 &5 & 3
\end{array}\right)\]\[(2)\;\left(\begin{array}{ccccc}
1 & 2 & 3 & 4 & 5 \\
5 & 3 & 2 & 1 & 4
\end{array}\right)\left(\begin{array}{ccccc}
1 & 2 & 3 & 4 & 5 \\
4 & 3 & 2 &5 & 1
\end{array}\right)\left(\begin{array}{ccccc}
1 & 2 & 3 & 4 & 5 \\
1 & 4 & 2 & 5 & 3
\end{array}\right)\]\[(3)\; (1\; 3)(2\; 3)(5\; 4)(6\; 2)\in\mathfrak{S}_6\]
(2) $g:\mathfrak{S}_n \longrightarrow \mathfrak{S}_n$を$g(\sigma)=\tau\sigma$で定義する.このとき,$g$が全単射であることを示せ.
この結果は後々使います.
いつも動画を見させてもらっています。ノートの最後に載っている演習問題の答えはどこにあるのでしょうか?初歩的な質問で申し訳ありませんが、よろしくお願いします。
ありません.もし必要ならtwitterやお問い合わせ欄などに送っていただければ拝見します.