ユークリッドの運動群

提供: testwiki
ナビゲーションに移動 検索に移動

数学におけるユークリッド群（ユークリッド-ぐん、テンプレート:Lang-en-short）あるいは運動群 (motion group) は、ユークリッド空間のテンプレート:仮リンクを言う。その元はユークリッド距離に付随する等長変換であり、合同変換あるいはユークリッドの運動 (motion) と呼ばれる。ユークリッドの運動群の研究は、少なくとも二次元や三次元の場合については極めて古く、群の概念が発するよりもずっと以前から（従ってもちろん群としてでなく、もっと陰伏的な形で）よく調べられている。

テンプレート:Mvar-次元ユークリッド空間の運動群は テンプレート:Math や テンプレート:Math などとも表される。

三次元までの等長変換についての概観
テンプレート:Math は自由度によって以下のように分類できる:
E(1) の対称変換
種類 自由度 向きを保つか
恒等変換 0 yes
平行移動 1 yes
点対称変換 1 no
E(2) の対称変換
種類 自由度 向きを保つか
恒等変換 0 yes
平行移動 2 yes
点の周りの回転 3 yes
線対称変換 2 no
映進変換 3 no

テンプレート:See also

E(3) の対称変換
種類 自由度 向きを保つか
恒等変換 0 yes
平行移動 3 yes
軸の周りの回転 5 yes
テンプレート:仮リンク 6 yes
面対称変換 3 no
テンプレート:仮リンク 5 no
広義の回転 6 no
点に関する反転 3 no

テンプレート:仮リンクは テンプレート:Math の任意の元が螺旋変位であることを主張する。

テンプレート:Seealso

概観

次元性

運動群 テンプレート:Math の持つ自由度は テンプレート:Math である（例えば、テンプレート:Nowrap のとき 3, テンプレート:Nowrap のとき 6 になる）。これら自由度のうち テンプレート:Mvar は平行移動の自由度に割かれており、残りの テンプレート:Math は回転対称性ということになる。

向きを保つ変換と向きを逆にする変換

運動群 テンプレート:Math は向きを保つ等長変換 (direct isometry, déplacement) 全体の成す部分群 テンプレート:Math を持つ。これは テンプレート:Mvar-次元空間における剛体を動かすものという意味で剛体運動 (rigid motions) などとも呼ばれる。この群には平行移動、回転がすべて含まれ、またこれらによってこの群 テンプレート:Math は生成される。テンプレート:Math は特殊ユークリッド群 (special Euclidean group) テンプレート:Math とも呼ばれる。

またこれと対照に、向きを逆にする等長変換 (indirect isometries, opposite isometries) がある。テンプレート:Math は テンプレート:Math の指数 テンプレート:Math の部分群であり、運動群を テンプレート:Math で割った剰余類の自明でない唯一の類は、向きを逆にする変換の全体に一致する。即ち、任意の向きを逆にする等距変換（例えば向きを逆にする鏡映）テンプレート:Mvar が一つ与えられれば、向きを逆にする任意の等長変換は向きを保つ適当な変換 テンプレート:Mvar によって テンプレート:Mvar の形に書ける。

特殊ユークリッド群 テンプレート:Mvar は古典力学における剛体の運動学で用いられる。剛体運動は実質的にこのユークリッド群における曲線と同じものである。物体 テンプレート:Mvar が始点 テンプレート:Math において適当な向きを持つものとし、各時刻における物体の向きはユークリッドの運動 テンプレート:Math に従って始点における向きから決まる（テンプレート:Math において テンプレート:Math は恒等変換である）。 これはこの曲線が常に テンプレート:Math 内にあることを意味する（実は恒等変換 テンプレート:Mvar から始めるとき、このような連続曲線は向きを保つ変換以外に到達することはあり得ないのである）。これは簡単な位相的理由からくるもので、これら変換の行列式が テンプレート:Math から テンプレート:Math に跳ぶことはないということである。

これらユークリッド群の部分群は位相群であるのみならずリー群を成し、その議論の中に解析学の概念を直ちに持ち込むことができる。

アフィン群との関係

運動群 テンプレート:Math は テンプレート:Mvar-次元アフィン群の部分群であり、半直積の構造を以って両群の関係を述べることができる。より明確に、この関係を以下の二つの方法

  1. テンプレート:Math 直交行列 テンプレート:Mvar と列ベクトル テンプレート:Mvar の対 テンプレート:Math として、あるいは
  2. （アフィン群の項で述べる通りの）テンプレート:Math 次正方行列として、

陽に書き表すことができる。前者について次節で詳述する。

クラインのエルランゲン目録の言葉で言えば、ユークリッド幾何学とはその対称変換の成すユークリッド群に関する幾何学として理解することができる。また従ってアフィン幾何学の特別の場合として読み取ることができて、アフィン幾何学における任意の定理を適用することができる。アフィン幾何学の中でユークリッド幾何学に特徴的な要素として距離の概念があり、またそれから角度の概念を導くことができる。

詳細

部分群構造、行列とベクトルによる表現

ユークリッドの運動群はアフィン変換群の部分群である。

ユークリッドの運動群 テンプレート:Math の部分群として、平行移動群 テンプレート:Math と直交群 テンプレート:Math があり、また テンプレート:Math の任意の元は平行移動に続いて直交変換（変換の線型部）したものとして

x↦A(x+b)

（ここで テンプレート:Mvar は直交行列である）あるいは直交変換後に平行移動した

x↦Ax+b

としてそれぞれ一意的に表すことができる。部分群 テンプレート:Math は テンプレート:Math の正規部分群、即ち任意の平行移動 テンプレート:Mvar と任意の等長変換 テンプレート:Mvar に対して

テンプレート:Math

もまた平行移動となる（変位の言葉で言えば、テンプレート:Mvar は テンプレート:Mvar の変位の上に作用する。平行移動は変位に影響を与えないから、この変異は テンプレート:Mvar に変換の線型部を適用した結果と一致する）。

これらの事実を組み合わせれば、運動群 テンプレート:Math は テンプレート:Math を テンプレート:Math で拡大した半直積であることが従う。言葉を替えれば、直交群 テンプレート:Math は（自然な仕方で）テンプレート:Math の テンプレート:Math による剰余群

テンプレート:Math

としても書ける。

さて、特殊直交群 テンプレート:Math は テンプレート:Math の指数 テンプレート:Math の部分群である。それゆえ テンプレート:Math はやはり指数 テンプレート:Mvar の部分群 テンプレート:Math を「向きを保つ」変換の全体として持つ。

テンプレート:Math

これらは線型部分 テンプレート:Mvar の行列式が テンプレート:Math の場合に対応する。

これらはある種の鏡映（二次元あるいは三次元の場合、原点を含む直線あるいは平面に関する鏡像という良く知られた鏡映変換、あるいは三次元の回映）の後に平行移動したものも、回転の後に平行移動したものとして表されることを示している。

運動群の部分群

運動群 テンプレート:Math の部分群の種類は:

有限群
必ず不動点を持つ。三次元の場合、任意の点において全部で二つある向きの何れについても、包含に関して極大となる有限群 テンプレート:Mvar が存在する。このうち群 テンプレート:Mvar は次に挙げる群の中で考えても極大である。
任意に小さい平行移動・回転あるいはそれらの組み合わせを含まない可算無限群
各点においてこの対称変換群の下での像全体の成す集合（最初の点の軌跡）は位相的に離散である。例えば テンプレート:Math として互いに独立な方向への テンプレート:Mvar 種類の平行移動で生成される群や有限な点群がそうであり、また格子群もこれに入る。もう少し一般には離散空間群も例として挙げられる。
任意に小さい平行移動・回転あるいはそれらの組み合わせを含む可算無限群
この場合、そのような変換群による像全体の成す集合が閉じていないような点も存在し得る。例えば、一次元の場合に歩み テンプレート:Math および テンプレート:Math のふたつの平行移動で生成される群や、二次元の場合は原点中心の テンプレート:Math ラジアン回転の生成する群などがこれに当たる。
適当な点が存在して、その各等長変換による像全体の成す集合が閉じていないような非可算群
例えば二次元において、一方向への平行移動全体および別な方向への有理数距離平行移動全体。
任意の点に対して各等長変換による像全体の成す集合が閉じている非可算群
テンプレート:Mvar-次元回転群
原点（より一般には任意の一点）を固定する、向きを保つ対称変換全体の成す群。（三次元の場合回転群 テンプレート:Math と呼ばれる）。
直交群
原点（より一般には任意の一点）を固定する対称変換全体の成す群。
テンプレート:Math
向きを保つ変換全体の成す群。
全ユークリッド変換群 テンプレート:Math
テンプレート:Mvar-次元部分空間において上記の変換群の何れかを考えたものと、残りの テンプレート:Math-次元空間の離散変換群との合成。
テンプレート:Mvar-次元部分空間において上記の変換群の何れかを考えたものと、残りの テンプレート:Math-次元空間において上記の変換群の何れかを考えたものとの合成。

等長変換の交換性

幾つかの等長変換は合成の順番に依らない:

  • ふたつの平行移動
  • 軸が同じ二つの回転または螺旋
  • 平面に関する鏡映とその平面上の平行移動、その平面に直交する軸の周りの回転、その平面に直交する平面に関する鏡映
  • 平面に関する映進とその平面内の平行移動
  • 点に関する反転とその点を不動点に持つ任意の等距変換
  • 軸の周りの テンプレート:Math 回転とその軸を含む平面に関する鏡映
  • 軸の周りの テンプレート:Math 回転とその軸に直交する軸の周りの テンプレート:Math 回転（結果はいずれの軸とも直交する軸の周りの テンプレート:Math 回転になる）
  • 同じ軸の周りの同じ平面に関する二つの回映
  • 同じ平面に関する二つの映進

共軛類

任意の方向への与えられた距離だけの平行移動は共軛類を成し、平行移動群は任意の距離に対するこれら共軛類の非交和になる。

  • 一次元の場合、全ての鏡映が一つの共軛類に入る。
  • 二次元の場合、何れかの向きに属する同じ角度の回転は同じ類に入る。同じ距離だけ平行移動する映進は同じ類に入る。
  • 三次元の場合:
    • 任意の点に関する反転は同じ類に入る。
    • 同じ角だけの回転は同じ類に入る。
    • 一つの軸に関する回転とその軸に沿った平行移動との合成は、角度が等しくかつ移動距離が等しいとき同じ類に入る。
    • 一つの平面内での鏡映は同じ類に入る。
    • 一つの平面内での鏡映とその平面内での同じ距離だけの平行移動との合成は同じ類に入る。
    • 一つの軸に関する平角でない同じ角度の回転に、その軸に垂直な一つの平面に関する鏡映を合成したものは、同じ類に入る。

関連項目

参考文献

  • テンプレート:Cite book
  • William Thurston. Three-dimensional geometry and topology. Vol. 1. Edited by Silvio Levy. Princeton Mathematical Series, 35. Princeton University Press, Princeton, NJ, 1997. x+311 pp. ISBN 0-691-08304-5

外部リンク

「https://ja.wiki.beta.math.wmflabs.org/w/index.php?title=ユークリッドの運動群&oldid=10561」から取得