【SPONSORED LINK】

well-definedとは何か?|剰余群の定義を理解しよう

代数学で群論を学ぶと,そのうち剰余群を学ぶことになりますが,剰余群の定義で戸惑ってしまう人は多いように思います.

この戸惑う根底にあるのは,“well-defined性”の概念でしょう.

剰余群の定義においてだけではなく,数学において“well-defined性”は非常に重要ですが,高校ではともかく大学でもその意味を教えてもらったことがない人も多いように思います.

少なくとも私は教わった記憶がありません.

剰余群を定義する際に,この“well-defined性”を理解していないと「どうしてこんな議論が必要なのか」と思ってしまうことが多いようです.

本記事では,剰余群の定義を通して“well-defined性”を理解することを目標とします.

【SPONSORED LINK】

well-definedとは

ある定義が“well-defined”であるとは,次の2つが成り立つことをいいます.

  1. その定義が機能する場合が存在する
  2. その定義が矛盾しない

また,“well-defined”でないことを“ill-defined”といいます.

例えば,

「1つの内角が180^\circの三角形を超鈍角三角形という」

という定義をしても,三角形の内角の和は180^\circなので,このような三角形は存在しません.

したがって,この定義はそもそも機能することがないので,ill-definedということになります.

well-definedの簡単な例

三角比の定義を例に,well-defineの考え方をみていきましょう.

三角比\sin{\theta}\cos{\theta}\tan{\theta}は直角三角形を用いて以下のように定義します.

\ang{B}=90^{\circ}の直角三角形\tri{ABC}に対して,\theta=\ang{A}とする.

Rendered by QuickLaTeX.com

このとき,実数\cos{\theta}, \sin{\theta}, \tan{\theta}

    \begin{align*} \cos{\theta}=\dfrac{\mrm{AB}}{\mrm{AC}},\quad \sin{\theta}=\dfrac{\mrm{BC}}{\mrm{AC}},\quad \tan{\theta}=\dfrac{\mrm{CB}}{\mrm{AB}} \end{align*}

と定める.

この定義では,「\ang{B}=90^{\circ}\theta=\ang{A}の直角三角形ABC」としか言っていません.

したがって,\ang{B}=90^{\circ}\theta=\ang{A}を満たす

  • 大きい直角三角形ABCにおける\cos{\theta}\sin{\theta}\tan{\theta}
  • 小さい直角三角形ABCにおける\cos{\theta}\sin{\theta}\tan{\theta}

で値が変わってきては困ります.

すなわち,大きい直角三角形でも小さい直角三角形でも,三角比\cos{\theta}\sin{\theta}\tan{\theta}の値は同じでなければ,この定義は矛盾してしまうことになります.

しかし,ご安心ください.そんな心配はいりません.

なぜなら,2つの直角三角形\tri{ABC} (\ang{B}=90^\circ)と\tri{A'B'C'} (\ang{B'}=90^\circ)について,\ang{A}=\ang{A'}であれば,この2つの直角三角形は二角相等(2つの角がそれぞれ等しい)により相似であることが分かります.

Rendered by QuickLaTeX.com

よって,

    \begin{align*} \dfrac{\mrm{AB}}{\mrm{AC}}=\dfrac{\mrm{A'B'}}{\mrm{A'C'}},\quad \dfrac{\mrm{BC}}{\mrm{AC}}=\dfrac{\mrm{B'C'}}{\mrm{A'C'}},\quad \dfrac{\mrm{CB}}{\mrm{AB}}=\dfrac{\mrm{C'B'}}{\mrm{A'B'}} \end{align*}

が成り立つので,直角三角形の大きさによらず\thetaのみによって\cos{\theta}\sin{\theta}\tan{\theta}の値が決まることになり,三角比がwell-definedであることが分かりました.

可換群の剰余群

それでは,剰余群の定義の説明に移ります.

群は必ずしも可換ではありませんが,まずは比較的理解がしやすい可換群から説明します.

可換群の剰余類

+の演算が備わった集合G=\Zは可換群となります.

また,Gの部分群NN:=3\Zとします.

このとき,剰余群G/N=\Z/3\Z

    \begin{align*} G/N=\{N,1+N,2+N\} \end{align*}

となりますね.ただし,N1+N2+Nはそれぞれ

    \begin{align*} &N=\{\dots,-3,0,3,\dots\}, \\&1+N=\{\dots,-2,1,4,\dots\}, \\&2+N=\{\dots,-1,2,5,\dots\} \end{align*}

です.

N1+N2+Nはいずれも集合なので,剰余群G/N=\{N,1+N,2+N\}は集合の集合であるという点に注意してください.

さて,ここでのポイントは,Nの集合の元全てに3を足そうが,-3を足そうが,12を足そうが,元がズレるだけで集合としては変わらないということです.つまり,

    \begin{align*} N=3+N=-3+N=12+N \end{align*}

ということになります.同様に,

    \begin{align*} &1+N=4+N=-2+N, \\&2+N=11+N=-4+N \end{align*}

です.したがって,剰余群G/N

    \begin{align*} G/N=\{3+N,-4+N,11+N\} \end{align*}

などと表してもなんら問題ありません.

大切なことは,G/Nに属する集合には複数の表し方がありうるという点です.

可換群の剰余群の定義

次に,可換群について,剰余群の定義を確認しましょう.

[剰余群(可換群)] 演算+を備えた可換群Gとその部分群Nを考える.任意のg_1,g_2\in Gに対して,g_1+N,g_2+N\in G/Nの和\dot{+}

    \begin{align*} (g_1+N)\dot{+}(g_2+N)=(g_1+g_2)+N \end{align*}

で定めると,G/Nは(可換)群となる.

一般に,可換群の部分群は必ず正規部分群になること大切ですが,詳しくは一般の剰余群の項で述べます.

再びG=\ZN:=3\Zとして考えましょう.

この剰余群の定義は,例えば

    \begin{align*} &(1+N)\dot{+}(1+N)=2+N, \\&(2+N)\dot{+}(3+N)=5+N, \\&(-2+N)\dot{+}(5+N)=3+N \end{align*}

のように,G/Nの元の和を考えようということを述べています.

ここで,well-defined性が問題になります.

先ほど見たように,例えば1+N=-2+N3+N=9+Nが成り立つことから,(1+N)+(3+N)(-2+N)+(9+N)は同じものの和なので,同じ結果になっているべきです.

実際に和を計算すると,

    \begin{align*} &(1+N)\dot{+}(3+N)=4+N, \\&(-2+N)\dot{+}(9+N)=7+N \end{align*}

なので,これらは等しいですね.

このように,同じものについて複数の表し方ができてしまうので,異なる表し方でも結果が同じになっていることを確かめなければなりません.

この意味で,well-defined性が問題になっているわけです.

well-defined性の確認

それでは,可換群の剰余群の定義について,well-defined性を確認しましょう.

G/Nの任意の2元g_{1}+Ng_{2}+Nを考えます.また,g_{1}+Ng_{2}+Nはそれぞれh_{1}+Nh_{2}+Nとも書けるとしましょう.

このとき,(g_1+N)\dot{+}(g_2+N)=(g_1+g_2)+N(h_1+N)\dot{+}(h_2+N)=(h_1+h_2)+Nが同じ結果になることを示すことができれば,上の可換群の剰余群の定義がwell-definedであることが分かります.

g_1+N=h_1+Nであることからg_1-h_1\in Nが成り立ち,同様にg_2-h_2\in Nが成り立ちます.

よって,Nが群であることより,(g_1-h_1)+(g_2-h_2)\in Nが成り立つので,(g_1+g_2)-(h_1+h_2)\in Nが成り立ちます.

これにより(g_1+g_2)+N=(h_1+h_2)+Nとなり,確かに両者が等しいことが分かりました.

以上で,well-defined性が得られました.

一般の剰余群

最後に可換でない群に関して,剰余群を考えます.

正規部分群

可換でない剰余群を定義する際には,正規部分群の概念が不可欠です.

[正規部分群] 群Gの部分群NGの部分群であるとは,任意のg\in Gn\in Nに対して

    \begin{align*} gng^{-1}\in N \end{align*}

が成り立つことをいう.

なお,Gが可換なら,

    \begin{align*} gng^{-1}=gg^{-1}n=n\in N \end{align*}

となるので,Gの任意の部分群Nは正規部分群となります.

剰余群の定義

一般の群Gとその部分群Nに対して,Nが正規部分群なら剰余類G/Hは群となります.

[剰余群] 群Gとその正規部分群Nを考える.任意のg_1,g_2\in Gに対して,g_1N,g_2N\in G/Nの積を

    \begin{align*} (g_1N)(g_2N)=(g_1g_2)N \end{align*}

で定めると,G/Nは群となる.

なお,可換群の剰余群を考えるときには単に「部分群」としていたのは,上述したようにGが可換群であれば部分群Nは必ず正規部分群になるからです.

可換とは限らない一般の群Gの剰余群G/Nを考える際には,必ずNは正規でなければなりません.

それでは,この一般の剰余群の定義について,well-defined性を証明して終わりにしましょう.

[well-difined性の証明]

任意のG/Nの2元g_1N=h_1Ng_2N=h_2Nを考える.

    \begin{align*} g_1{h_1}^{-1},g_2{h_2}^{-1}\in N \end{align*}

なので,n_1,n_2\in Nが存在して,n_1=g_1{h_1}^{-1}n_2=g_2{h_2}^{-1}が成り立つ.よって,

    \begin{align*} &g_1g_2(h_1h_2)^{-1} \\=&g_1g_2{h_2}^{-1}{h_1}^{-1} \\=&(n_1h_1)(n_2h_2){h_2}^{-1}{h_1}^{-1} \\=&n_1(h_1n_2{h_1}^{-1}) \end{align*}

が成り立つ.いま,n_1\in Nであり,NGの正規部分群だからh_1n_2{h_1}^{-1}\in Nである.

よって,n_1(h_1n_2{h_1}^{-1})\in Nだからg_1g_2(h_1h_2)^{-1}\in Nが得られ,(g_1g_2)N=(h_1h_2)Nが成り立つ.

以上より,(g_1N)(g_2N)=(h_1N)(h_2N)となって,well-defined性が従う.

[証明終]

関連記事

【良いと思ったらシェアを!】

SNSでもご購読できます。

コメントを残す

*

このサイトはスパムを低減するために Akismet を使っています。コメントデータの処理方法の詳細はこちらをご覧ください