11: 2016-08-29 (月) 01:26:02 osinko |
12: 2016-08-29 (月) 03:17:34 osinko |
| | | |
| この6皿に対し料理の種類が2種であれば順列的に「二次の対称群S」、\(2×2×2×2×2×2={ 2 }^{ 6 }=64\)通りの対称性を持った置換が作られる | | この6皿に対し料理の種類が2種であれば順列的に「二次の対称群S」、\(2×2×2×2×2×2={ 2 }^{ 6 }=64\)通りの対称性を持った置換が作られる |
- | (確率などでよく使う順列にちょっと近づいてきた・・・) | + | 3種なら\(3×3×3×3×3×3={ 3 }^{ 6 }=729\)通りの対称性を持った置換(確率などでよく使う順列にちょっと近づいてきた・・・。つまり順列は対称群?) |
| | | |
- | 集合の観点で見ると、「 置換群R\(\subseteq\) 対称群S 」となっている。RはSの部分集合 | + | 集合の観点で見ると、「 置換群R\(\subseteq\) 対称群S 」となっている。RはSの部分集合の関係にある |
| | | |
| **P51~P57の理解 [#mf1699c6] | | **P51~P57の理解 [#mf1699c6] |
| }} | | }} |
| | | |
- | 二通りの料理の配置 | + | <P56の二通りの料理の配置に関して> |
| | | |
| \(f:X\rightarrow Y\) と \(g:X\rightarrow Y\) があるとする。例えば以下のようなものを考える | | \(f:X\rightarrow Y\) と \(g:X\rightarrow Y\) があるとする。例えば以下のようなものを考える |
| \(f=\begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 \\ A & A & B & B & C & C \end{pmatrix}\quad でg=f\cdot { \sigma }^{ j }としてj=2とした時、g=\begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 \\ C & C & A & A & B & B \end{pmatrix}\quad となる\) | | \(f=\begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 \\ A & A & B & B & C & C \end{pmatrix}\quad でg=f\cdot { \sigma }^{ j }としてj=2とした時、g=\begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 \\ C & C & A & A & B & B \end{pmatrix}\quad となる\) |
| | | |
- | このfとgとの二項との間に回転によって同値となる事を表現する「\({ \sim }_{ R }\)」という数学記号を作り、適用すると「\(f{ \sim }_{ R }g\)」と表現できるようになる | + | このfとgとの二項との間にテーブルの回転をモデル化した置換群Rによって同値となる事を表現する「\({ \sim }_{ R }\)」(チルダアールと読む)という数学記号を作り、適用すると「\(f{ \sim }_{ R }g\)」と表現できるようになる |
| | | |
| \(f=g\)と書いたらfとgは同値。\(f\equiv g\quad (mod\quad m)\)と書いたらfとgはmを法として同値。\(f{ \sim }_{ R }g\)と書いたらfとgはRの置換群により同値と言えることになる | | \(f=g\)と書いたらfとgは同値。\(f\equiv g\quad (mod\quad m)\)と書いたらfとgはmを法として同値。\(f{ \sim }_{ R }g\)と書いたらfとgはRの置換群により同値と言えることになる |
| | | |
| **漸化式の性質 [#u0856f4b] | | **漸化式の性質 [#u0856f4b] |
- | (間違っている可能性が高い記事です) | + | (自分が勝手に考えた間違っている可能性が高い記事です) |
| | | |
| \(\sqrt { C } \)の漸化式は\({ x }_{ n+1 }=\frac { 1 }{ 2 } \left( { x }_{ n }+\frac { C }{ { x }_{ n } } \right) \)となる | | \(\sqrt { C } \)の漸化式は\({ x }_{ n+1 }=\frac { 1 }{ 2 } \left( { x }_{ n }+\frac { C }{ { x }_{ n } } \right) \)となる |