多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 •...
TRANSCRIPT
![Page 1: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/1.jpg)
多面体の対称性と群
![Page 2: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/2.jpg)
対称性 (シンメトリー)とは
線対称 点対称
![Page 3: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/3.jpg)
対称性 (シンメトリー)とは
線対称 点対称• 対称性 (シンメトリー)とは,変換 (あるいは運動)
を施しても,もとの状態とぴったり重なること.
![Page 4: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/4.jpg)
正 6面体の対称性
• 空間の回転変換は, 回転軸をもつ.
• 360◦回転は 0◦回転と同じで自明 (恒等変換).
![Page 5: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/5.jpg)
正 6面体の対称変換の数
![Page 6: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/6.jpg)
軸が頂点を通る場合
V1
![Page 7: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/7.jpg)
軸が頂点を通る場合
V12
![Page 8: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/8.jpg)
軸が頂点を通る場合
V1, V12
V2, V22
V3, V32
V4, V42
V1
V2
V3
V4
![Page 9: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/9.jpg)
正 6面体の対称変換の数
• 頂点を通る軸による回転: 8種
V1, V12, V2, V2
2 , V3, V32, V4, V4
2
![Page 10: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/10.jpg)
軸が辺の中点を通る場合
E1
![Page 11: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/11.jpg)
軸が辺の中点を通る場合
E1, E2, E3,
E4, E5, E6E1
E2
E3
E4E5
E6
![Page 12: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/12.jpg)
正 6面体の対称変換の数
• 頂点を通る軸による回転: 8種
V1, V12, V2, V2
2 , V3, V32, V4, V4
2
• 辺の中点を通る軸による回転: 6種
E1, E2, E3, E4, E5, E6
![Page 13: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/13.jpg)
軸が面の重心を通る場合
F1
![Page 14: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/14.jpg)
軸が面の重心を通る場合
F12
![Page 15: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/15.jpg)
軸が面の重心を通る場合
F13 = F1
−1
![Page 16: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/16.jpg)
軸が面の重心を通る場合
F1, F12, F1
3
F2, F22, F2
3
F3, F32, F3
3
F1
F2F3
![Page 17: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/17.jpg)
正 6面体の対称変換の数
• 頂点を通る軸による回転: 8種
V1, V12, V2, V2
2 , V3, V32, V4, V4
2
• 辺の中点を通る軸による回転: 6種
E1, E2, E3, E4, E5, E6
• 面の重心を通る軸による回転: 9種
F1, F12, F1
3, F2, F22, F2
3, F3, F32, F3
3
![Page 18: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/18.jpg)
正 6面体の対称変換の数
• 頂点を通る軸による回転: 8種
V1, V12, V2, V2
2 , V3, V32, V4, V4
2
• 辺の中点を通る軸による回転: 6種
E1, E2, E3, E4, E5, E6
• 面の重心を通る軸による回転: 9種
F1, F12, F1
3, F2, F22, F2
3, F3, F32, F3
3
• 恒等変換 Iをあわせて, 8 + 6 + 9 + 1 = 24種
![Page 19: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/19.jpg)
正 4面体の対称性
• 軸が頂点を通るとき, かならず対面の重心も通る.
![Page 20: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/20.jpg)
正 4面体の対称変換の数
![Page 21: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/21.jpg)
軸が頂点を通る場合
V1
![Page 22: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/22.jpg)
軸が頂点を通る場合
V12
![Page 23: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/23.jpg)
軸が頂点を通る場合
V1, V12
V2, V22
V3, V32
V4, V42
V1
V2
V3
V4
![Page 24: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/24.jpg)
正 4面体の対称変換の数
• 頂点と面の重心を通る軸による回転: 8種
V1, V12, V2, V2
2 , V3, V32, V4, V4
2
![Page 25: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/25.jpg)
軸が辺の頂点を通る場合
E1
![Page 26: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/26.jpg)
軸が辺の頂点を通る場合
E1, E2, E3E1
E2
E3
![Page 27: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/27.jpg)
正 4面体の対称変換の数
• 頂点と面の重心を通る軸による回転: 8種
V1, V12, V2, V2
2 , V3, V32, V4, V4
2
• 辺の中点を通る軸による回転: 3種
E1, E2, E3
![Page 28: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/28.jpg)
正 4面体の対称変換の数
• 頂点と面の重心を通る軸による回転: 8種
V1, V12, V2, V2
2 , V3, V32, V4, V4
2
• 辺の中点を通る軸による回転: 3種
E1, E2, E3
• 恒等変換 Iをあわせて, 8 + 3 + 1 = 12種
![Page 29: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/29.jpg)
対称性をはかるには・・・
• 正 4面体の対称変換は 24種
• 正 4面体の対称変換は 12種
![Page 30: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/30.jpg)
対称性をはかるには・・・
• 正 4面体の対称変換は 24種
• 正 4面体の対称変換は 12種
• 対称性を, 対称変換の個数だけで語れるか?
• たとえば, 正 12角錐の対称変換も 12種だが・・・
![Page 31: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/31.jpg)
軸が頂点を通る回転
P, P 2, P 3, . . . , P 12 = I
![Page 32: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/32.jpg)
群の定義
集合Gが演算 ∗について群であるとは:
1. Gの元 a, bに対し, a ∗ bというGの元が対応する
2. (a ∗ b) ∗ c = a ∗ (b ∗ c) (結合法則)
3. すべての a ∈ Gに対し, a ∗ e = e ∗ a = aを満たす
e (単位元)が存在
4. すべての a ∈ Gに対し, a ∗ a−1 = a−1 ∗ a = eを満
たす a−1(逆元)が存在
![Page 33: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/33.jpg)
群の例
1. 整数の集合Zは+に関して群になる.
![Page 34: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/34.jpg)
群の例
1. 整数の集合Zは+に関して群になる.
• 単位元は 0, nの逆元は−n
![Page 35: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/35.jpg)
群の例
1. 整数の集合Zは+に関して群になる.
• 単位元は 0, nの逆元は−n
2. 0以外の実数の集合R∗ = R − {0}は×に関して群になる.
![Page 36: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/36.jpg)
群の例
1. 整数の集合Zは+に関して群になる.
• 単位元は 0, nの逆元は−n
2. 0以外の実数の集合R∗ = R − {0}は×に関して群になる.
• 単位元は 1, aの逆元は 1a
![Page 37: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/37.jpg)
正 6面体群
• 正 6面体の 24個の回転対称変換全体は群になる
![Page 38: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/38.jpg)
正 6面体群
• 正 6面体の 24個の回転対称変換全体は群になる
• 演算は回転の合成 ⇒ 回転の合成は回転
![Page 39: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/39.jpg)
回転の合成
S T = U
![Page 40: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/40.jpg)
正 6面体群
• 正 6面体の 24個の回転対称変換全体は群になる
• 演算は回転の合成 ⇒ 回転の合成は回転
• 単位元は恒等変換 I
![Page 41: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/41.jpg)
正 6面体群
• 正 6面体の 24個の回転対称変換全体は群になる
• 演算は回転の合成 ⇒ 回転の合成は回転
• 単位元は恒等変換 I
• 逆元は逆回転
![Page 42: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/42.jpg)
逆元の存在
S S−1
![Page 43: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/43.jpg)
正 6面体群
• 正 6面体の 24個の回転対称変換全体は群になる
• 演算は回転の合成 ⇒ 回転の合成は回転
• 単位元は恒等変換 I
• 逆元は逆回転
• 一般にST ̸= TS. すなわち非可換群になる.
![Page 44: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/44.jpg)
回転の非可換性
S T ̸= T S
![Page 45: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/45.jpg)
正 6面体群
• 正 6面体の 24個の回転対称変換全体は群になる
• 演算は回転の合成 ⇒ 回転の合成は回転
• 単位元は恒等変換 I
• 逆元は逆回転
• 一般にST ̸= TS. すなわち非可換群になる.
• この群を正6面体群とよび, P (6)で表す.
![Page 46: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/46.jpg)
対称群
• 1, 2, . . . , nのならびかえを置換という.
例: σ =
(1 2 3 4 5
3 5 4 1 2
)(n = 5)
![Page 47: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/47.jpg)
対称群
• 1, 2, . . . , nのならびかえを置換という.
例: σ =
(1 2 3 4 5
3 5 4 1 2
)(n = 5)
• n次の置換はn!個あり, 合成に関して群になる.
![Page 48: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/48.jpg)
対称群
• 1, 2, . . . , nのならびかえを置換という.
例: σ =
(1 2 3 4 5
3 5 4 1 2
)(n = 5)
• n次の置換はn!個あり, 合成に関して群になる.
• これをSnで表し, n次対称群とよぶ.
![Page 49: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/49.jpg)
S4 と生成元
• S4のすべての元は,
(1 2) =
(1 2 3 4
2 1 3 4
), (2 3) =
(1 2 3 4
1 3 2 4
),
(3 4) =
(1 2 3 4
1 2 4 3
)の合成によって表すことができる.
(あみだくじの原理)
![Page 50: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/50.jpg)
対称群と正 6面体群
• S4の元の数は 4! = 24. P (6)の元の数も 24.
![Page 51: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/51.jpg)
対称群と正 6面体群
• S4の元の数は 4! = 24. P (6)の元の数も 24.
• 両者は集合として 1対 1対応するだけでなく, 演
算も対応することが分かる.
![Page 52: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/52.jpg)
回転変換は S4 の元に対応
1 2 3 4
![Page 53: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/53.jpg)
(1 2)に対応する回転
1 2 3 4↓
2 1 3 4
![Page 54: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/54.jpg)
(2 3)に対応する回転
1 2 3 4↓
1 3 2 4
![Page 55: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/55.jpg)
(3 4)に対応する回転
1 2 3 4↓
1 2 4 3
![Page 56: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/56.jpg)
対称群と正 6面体群
• S4の元の数は 4! = 24. P (6)の元の数も 24.
• 両者は集合として 1対 1対応するだけでなく, 演
算も対応することが分かる.
• これを, S4とP (6)は同型であるといい, S4∼= P (6)
で表す.
![Page 57: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/57.jpg)
対称群と交代群
• Snの元を (1 2), (2, 3), . . . , (n−1 n)で表すとき,
偶数個で表されるものを偶置換, 奇数個で表され
るものを奇置換とよぶ.
![Page 58: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/58.jpg)
対称群と交代群
• Snの元を (1 2), (2, 3), . . . , (n−1 n)で表すとき,
偶数個で表されるものを偶置換, 奇数個で表され
るものを奇置換とよぶ.
• 偶置換どうしを合成するとやはり偶置換になる.
⇒ すべての偶置換の集合は群になる.
![Page 59: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/59.jpg)
対称群と交代群
• Snの元を (1 2), (2, 3), . . . , (n−1 n)で表すとき,
偶数個で表されるものを偶置換, 奇数個で表され
るものを奇置換とよぶ.
• 偶置換どうしを合成するとやはり偶置換になる.
⇒ すべての偶置換の集合は群になる.
• n次偶置換の集合をAnで表し, n次交代群とよぶ.
• 部分集合で群になるものを部分群という.
![Page 60: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/60.jpg)
正 4面体群と 4次交代群
• 正 4面体は正 6面体にぴったり入る.
⇒ 正4面体群P (4)はP (6)の部分群
![Page 61: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/61.jpg)
正六面体の中の正四面体
![Page 62: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/62.jpg)
正六面体の回転と正四面体
![Page 63: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/63.jpg)
正 4面体群と 4次交代群
• 正 4面体は正 6面体にぴったり入る.
⇒ 正4面体群P (4)はP (6)の部分群
• P (6)の元で, P (4)の元になるものは S4の偶置換
に対応.
![Page 64: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/64.jpg)
(1 2)による回転と正四面体
![Page 65: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/65.jpg)
(2 3)による回転と正四面体
![Page 66: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/66.jpg)
(3 4)による回転と正四面体
![Page 67: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/67.jpg)
正 4面体群と 4次交代群
• 正 4面体は正 6面体にぴったり入る.
⇒ 正4面体群P (4)はP (6)の部分群
• P (6)の元で, P (4)の元になるものは S4の偶置換
に対応.
• 以上より, P (4) ∼= A4が分かった.
![Page 68: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/68.jpg)
5つの正多面体
![Page 69: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/69.jpg)
正 4面体群と正 6面体群
正 4面体群 P (4) ∼= A4
正 6面体群 P (6) ∼= S4
![Page 70: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/70.jpg)
正 8面体群
正 6面体の回転対称性と一致
![Page 71: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/71.jpg)
正 8面体群
正 6面体の回転対称性と一致
⇒ P (8) ∼= P (6) ∼= S4
![Page 72: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/72.jpg)
正 12面体群と正 20面体群
正 12面体と正 20面体は回転対称性が一致
⇒ P (12) ∼= P (20)
![Page 73: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/73.jpg)
正 12面体群
実は, P (12) ∼= A5 になる.
![Page 74: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/74.jpg)
正 12面体群
実は, P (12) ∼= A5 になる.
正 12面体の中に 5通りの立方体
このA5による入れ替えに一致
![Page 75: 多面体の対称性と群...対称性 (シンメトリー) とは 線対称 点対称 • 対称性(シンメトリー) とは,変換(あるいは運動) を施しても,もとの状態とぴったり重なること.](https://reader030.vdocuments.net/reader030/viewer/2022040400/5e6c373815211b5f3c7f04f6/html5/thumbnails/75.jpg)
生成元とケイリー・グラフ
• 群のいくつかの元を合成すれば他のすべての元を表すことができるとき, それらの元を生成元とい
う.
• 群の元を頂点とし, 生成元を合成して得られる頂
点どうしを辺で結んでできたグラフをケイリー・
グラフとよぶ.