軌道の概念

群が，集合の上で働くという意味を群が集合の上で働くということで勉強しました．まずはとが異なる集合である場合を考えます．は，何か上の点を動かすための関数の集合のようなものです．その作用によって上の点は動かされます．

例えば，群は正八面体を一つの対角線(下図の例では $A_{1},A_{6}$ を通る対角線)まわりに回転させ，正八面体自身に重ねる変換を表わす群だとします．

図のように頂点に番号を振ると(頂点 $A_{1},A_{6}$ の恒等変換も含めて) が働いているのは $M=\{A_{1},A_{2},A_{3},A_{4},A_{5},A_{6}\}$ という集合です．頂点 $A_{1},A_{6}$ はこの回転によって動きませんが，の元によって $A_{2},A_{3},A_{4},A_{5}$ は下図の青い矢印に従った動きをします．

この青い矢印に沿っている点を，頂点 $A_{2},A_{3},A_{4},A_{5}$ の軌道と呼び，『 $A_{2},A_{3},A_{4},A_{5}$ は同じ軌道に属する』と表現することの意味は分かりやすいと思います．軌道は，集合の部分集合になっています．

軌道のもう少し正確な定義は，次節のように与えられます．抽象的な定義だけから言葉のイメージがピンと来ない場合は，いつでも具体例に戻って考えるようにして下さい．

軌道

集合の元に対し，群 $G=\{g_{1} ,g_{2},...,g_{n} \}$ の元が作用するとき，写像は内で閉じていて，結合則がなりたち( $g_{j}(g_{i}(m))=(g_{j}\circ g_{i})(m)\in M$ )，の単位元はを変えない( e(m)=e )とします．

このとき，あるに対して，全ての群の元 $g_{i}$ をに作用させた写像 $g_{i}(m)$ の集合を G(m) と書き， mによるG-軌道 と呼びます．

[*]	mによるG-軌道がの部分集合になっていることを確認してください．

[†]	数学的にもっとクールに表現すると『群が集合上で働くとき， $G(x)=\{g(x)\|g\in G,\forall x \in M\}$ をの軌道と定義する』と書けます．少しずつ簡潔な表現にも慣れていきましょう．

例１

正四面体群 P(4) の中で，頂点 $A_{1}$ を不動に保つ変化には $\{ e,(2 \ 3 \ 4),(2 \ 4 \ 3)\}$ の三つがありました．

これは三項の巡回群 $Z_{3}=\{ e,g_{1}=(2 \ 3 \ 4),g_{2}=(2 \ 4 \ 3)\}$ になります．正四面体の頂点の集合 $M=\{ A_{1},A_{2},A_{3},A_{4} \}$ に $Z_{3}$ が働く場合を考えます． $A_{2}$ に対して $Z_{3}$ の項を全て作用させると， $g_{1}(A_{2})=A_{3},g_{2}(A_{2})=A_{4}$ となりますから，この軌道は次のようになります．

$Z_{3} (A_{2})=\{A_{2},A_{3},A_{4}\}$

[‡]	頂点 $A_{2}$ が変換によってどう動いていくかをイメージしてください．

例２

正六角形を中心まわりに平面上で回転させて自身に重ねる六個の変換 $\{e,g_{60},g_{120},g_{180},g_{240},g_{300}\}$ (添字は回転角を表わすとします)のうち， $G=\{ e,g_{120},g_{240}\}$ の三つは部分群を作ります．

ここでとして正六角形の六つの頂点の集合 $M=\{ A_{1},A_{2},A_{3},A_{4},A_{5},A_{6} \}$ を考えると，軌道は次のようになります( 120 度，もしくは 240 度回転させた先を想像してください)．

$G(A_{1})=\{A_{1}, A_{3} ,A_{5}\}$ $G(A_{2})=\{A_{2}, A_{4} ,A_{6}\}$ $G(A_{3})=\{A_{3}, A_{5} ,A_{1}\}$ $G(A_{4})=\{A_{4}, A_{6} ,A_{2}\}$ $G(A_{5})=\{A_{5}, A_{1} ,A_{3}\}$ $G(A_{6})=\{A_{6}, A_{2} ,A_{4}\}$

一般的にはの元の数だけ，軌道がありますが，この例では $G(A_{1})=G(A_{3})=G(A_{5})$ , $G(A_{2})=G(A_{4})=G(A_{6})$ となっているので，独立な軌道は二つだけです．

[§]	軌道の意味を納得しやすい例としてとして対称性のある図形を扱いました．最初に軌道の概念が出てきたのも，具体的な図形に群論を利用するところからだと思われます．しかし，として可能なのは，対称性のある図形ばかりではありません．

例３

立方体を，相対する面に垂直な軸を中心として回転させ，立方体自身に移す変換群 $G=\{ e, s_{90},s_{180},s_{270}\}$ を考えます(添字は回転角を表わすとします)．

軌道については，次のようになることが分かります．この変換群では，二つの独立な軌道しか出てこないことが分かります．

$G(A_{1})=G(A_{2})=G(A_{3})=G(A_{4})=\{ A_{1}, A_{2}, A_{3}, A_{4}\}$ $G(A_{5})=G(A_{6})=G(A_{7})=G(A_{8})=\{ A_{5}, A_{6}, A_{7}, A_{8}\}$

また，図より $A_{1},A_{2},A_{3},A_{4}$ の軌道と $A_{5},A_{6},A_{7},A_{8}$ の軌道が交わらないことは明らかでしょう．

独立な軌道

軌道に関して次の定理がなりたちます．

theorem

集合の元 x,y に対し，がの G-軌道 G(x) の元でない限り， G(x) と G(y) は共通元を持たない．

この定理は直観的に諒解できます．二つの軌道がもし交わらないなら共通の点はなく，もし二つの軌道が共通の点を持つなら，それは同じ軌道だということです．例２，例３の結果を使って，この定理を確認してみてください．

[¶]	この定理は非常に重要です．軌道が交わらないということはつまり，各軌道によって集合が類別されるというになります．この記事では例として図形的なものを多く取り上げましたので，軌道のイメージが直観的につかみやすかったと思いますが，一般にはもっと抽象的な集合や群を考えますので，いつも図形的なイメージで軌道を捉えているわけには行きません．抽象的な集合では特に『軌道は群の作用による類別なのだ』とクールに理解しておいた方が良いでしょう．類別を行えることと，同値関係が入っていることは同値な条件でしたが，共役作用に限らず，群の元に作用がある限り，何らかの同値関係がそこに生まれると考えて良いのです．

[home] [代数学] [ページの先頭]