記事ソース/軌道の概念
メニュー現在 11 名がオンラインです。 最新の25件2023-12-12
2023-11-11
2023-11-06
2023-07-15
2022-09-14
2022-07-01
2022-06-12
2022-04-13
2021-12-03
2021-10-07
2021-08-12
2021-07-26
2021-06-30
2021-06-06
2021-05-02
2021-04-17
2021-03-20
2021-03-19
2021-03-11
|
記事ソース/軌道の概念†これはrst2hooktailの記事ソース保存・変換用です（詳細）． コンバート公開・更新メニュー ▼▲記事ソースの内容================================
軌道の概念
================================
群 $G$ が、集合 $M$ の上で働くという意味を 群が集合の上で働くということ_ で勉強しました。まずは $G$ と $M$ が異なる集合である場合を考えます。 $G$ は、何か $M$ 上の点を動かすための関数の集合のようなものです。その作用によって $M$ 上の点は動かされます。
例えば、群 $G$ は正八面体を一つの対角線(下図の例では $A_{1},A_{6}$ を通る対角線)まわりに回転させ、正八面体自身に重ねる変換を表わす群だとします。
.. image:: Joh-Orbit1.gif
:align: center
図のように頂点に番号を振ると(頂点 $A_{1},A_{6}$ の恒等変換も含めて) $G$ が働いているのは $M=\{A_{1},A_{2},A_{3},A_{4},A_{5},A_{6}\} $ という集合です。頂点 $A_{1},A_{6}$ はこの回転によって動きませんが、 $G$ の元によって $A_{2},A_{3},A_{4},A_{5}$ は下図の青い矢印に従った動きをします。
.. image:: Joh-Orbit2.gif
:align: center
この青い矢印に沿っている点を、頂点 $A_{2},A_{3},A_{4},A_{5}$ の軌道と呼び、『 $A_{2},A_{3},A_{4},A_{5}$ は同じ軌道に属する』と表現することの意味は分かりやすいと思います。軌道は、集合 $M$ の部分集合になっています。
軌道のもう少し正確な定義は、次節のように与えられます。抽象的な定義だけから言葉のイメージがピンと来ない場合は、いつでも具体例に戻って考えるようにして下さい。
軌道
---------------------------------------------
集合 $M$ の元 $m$ に対し、群 $G=\{g_{1} ,g_{2},...,g_{n} \}$ の元が作用するとき、写像は $M$ 内で閉じていて、結合則がなりたち( $g_{j}(g_{i}(m))=(g_{j}\circ g_{i})(m)\in M$ )、 $G$ の単位元は $m$ を変えない( $e(m)=e$ )とします。
このとき、ある $m$ に対して、全ての群 $G$ の元 $g_{i}$ を $m$ に作用させた写像 $g_{i}(m)$ の集合を $G(m)$ と書き、 *mによるG-軌道* と呼びます。
.. [*] mによるG-軌道が $M$ の部分集合になっていることを確認してください。
.. [*] 数学的にもっとクールに表現すると『群 $G$ が集合 $M$ 上で働くとき、 $G(x)=\{g(x)|g\in G,\forall x \in M\}$ を $G$ の軌道と定義する』と書けます。少しずつ簡潔な表現にも慣れていきましょう。
例１
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
正四面体群 $P(4)$ の中で、頂点 $A_{1}$ を不動に保つ変化には $\{ e,(2 \ 3 \ 4),(2 \ 4 \ 3)\} $ の三つがありました。
.. image:: Joh-TetraOrbit.gif
:align: center
これは三項の巡回群 $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}$ となりますから、この軌道は次のようになります。
<tex>
Z_{3} (A_{2})=\{A_{2},A_{3},A_{4}\}
</tex>
.. [*] 頂点 $A_{2}$ が変換によってどう動いていくかをイメージしてください。
例２
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
正六角形を中心まわりに平面上で回転させて自身に重ねる六個の変換 $\{e,g_{60},g_{120},g_{180},g_{240},g_{300}\}$ (添字は回転角を表わすとします)のうち、 $G=\{ e,g_{120},g_{240}\}$ の三つは部分群を作ります。
.. image:: Joh-HexOrbit.gif
:align: center
ここで $M$ として正六角形の六つの頂点の集合 $M=\{ A_{1},A_{2},A_{3},A_{4},A_{5},A_{6} \}$ を考えると、軌道は次のようになります( $120$ 度、もしくは $240$ 度回転させた先を想像してください)。
<tex>
G(A_{1})=\{A_{1}, A_{3} ,A_{5}\}
</tex>
<tex>
G(A_{2})=\{A_{2}, A_{4} ,A_{6}\}
</tex>
<tex>
G(A_{3})=\{A_{3}, A_{5} ,A_{1}\}
</tex>
<tex>
G(A_{4})=\{A_{4}, A_{6} ,A_{2}\}
</tex>
<tex>
G(A_{5})=\{A_{5}, A_{1} ,A_{3}\}
</tex>
<tex>
G(A_{6})=\{A_{6}, A_{2} ,A_{4}\}
</tex>
一般的には $M$ の元の数だけ、軌道がありますが、この例では $G(A_{1})=G(A_{3})=G(A_{5})$ , $G(A_{2})=G(A_{4})=G(A_{6})$ となっているので、独立な軌道は二つだけです。
.. [*] 軌道の意味を納得しやすい例として $M$ として対称性のある図形を扱いました。最初に軌道の概念が出てきたのも、具体的な図形に群論を利用するところからだと思われます。しかし、 $M$ として可能なのは、対称性のある図形ばかりではありません。
例３
--------------------------------------------
立方体を、相対する面に垂直な軸を中心として回転させ、立方体自身に移す変換群 $G=\{ e, s_{90},s_{180},s_{270}\}$ を考えます(添字は回転角を表わすとします)。
.. image:: Joh-CubeOrbit.gif
:align: center
軌道については、次のようになることが分かります。この変換群では、二つの独立な軌道しか出てこないことが分かります。
<tex>
G(A_{1})=G(A_{2})=G(A_{3})=G(A_{4})=\{ A_{1}, A_{2}, A_{3}, A_{4}\}
</tex>
<tex>
G(A_{5})=G(A_{6})=G(A_{7})=G(A_{8})=\{ A_{5}, A_{6}, A_{7}, A_{8}\}
</tex>
また、図より $A_{1},A_{2},A_{3},A_{4}$ の軌道と $A_{5},A_{6},A_{7},A_{8}$ の軌道が交わらないことは明らかでしょう。
独立な軌道
-----------------------------------------------
軌道に関して次の定理がなりたちます。
.. admonition:: theorem
集合 $M$ の元 $x,y$ に対し、 $y$ が $x$ の G-軌道 $G(x)$ の元でない限り、 $G(x)$ と $G(y)$ は共通元を持たない。
この定理は直観的に諒解できます。二つの軌道がもし交わらないなら共通の点はなく、もし二つの軌道が共通の点を持つなら、それは同じ軌道だということです。例２、例３の結果を使って、この定理を確認してみてください。
.. [*] この定理は非常に重要です。軌道が交わらないということはつまり、各軌道によって集合が類別されるというになります。この記事では例として図形的なものを多く取り上げましたので、軌道のイメージが直観的につかみやすかったと思いますが、一般にはもっと抽象的な集合や群を考えますので、いつも図形的なイメージで軌道を捉えているわけには行きません。抽象的な集合では特に『軌道は群の作用による類別なのだ』とクールに理解しておいた方が良いでしょう。類別を行えることと、同値関係が入っていることは同値な条件でしたが、共役作用に限らず、群の元に作用がある限り、何らかの同値関係がそこに生まれると考えて良いのです。
.. _群が集合の上で働くということ: http://www12.plala.or.jp/ksp/algebra/GroupAction/
@@author:Joh@@
@@accept: 2006-04-23@@
@@category: 代数学@@
@@id: GroupOrbit@@
|
