1 回転群の基礎
回転群は、空間や図形を回転させる変換をまとめた群であり、対称性を数理的に扱うための基本枠組みを与える。幾何学では図形の性質を整理し、線形代数では行列による記述と結びつき、物理学では保存量や運動の向きを考える際に用いられる。
1.1 定義
回転群とは、ある空間における回転全体を集め、合成を演算とみなした集合である。通常は距離や向きを保つ変換のうち、原点や一点の周りで向きを変えるものを指す。二次元では平面内の回転、三次元ではある軸のまわりの回転が代表例である。
1.2 群としての性質
回転の集まりが群をなすのは、回転を続けて行った結果もまた回転であり、変換の順序と組み合わせに一定の法則があるためである。これにより、複雑な変換を単純な規則で整理できる。
1.2.1 閉性
二つの回転を続けて施すと、その結果は再び回転になる。したがって、回転の集合は合成に関して閉じている。これは、回転だけを何度重ねても、回転という範囲から外れないことを意味する。
1.2.2 結合性
三つの回転を順に合成する場合、どこで区切って計算しても結果は同じになる。この性質により、複数の変換を扱うときの計算が安定し、理論的にも扱いやすくなる。
1.2.3 単位元と逆元
何も変えない変換は単位元にあたり、回転群では角度ゼロの回転がこれに対応する。また、任意の回転には元に戻すための逆回転が存在する。これにより、変換を行ってから元へ復元する操作が可能になる。
1.3 回転の合成
回転の合成は、角度や軸の情報を連続して適用することに相当する。二次元では角度の加算として表されることが多く、三次元では軸の向きが関係するため、単純な加算では済まない場合がある。合成の順序が結果に影響することもあり、これが回転の重要な特徴の一つである。
1.4 対称性との関係
回転群は、図形や空間がどの回転で元の形に重なるかを記述する。正多角形や正多面体のような対象では、回転による不変性が対称性の中心的な要素となる。こうした観点は、図形の分類や美術的な模様の解析にも応用される。
2 次元ごとの回転群
回転群は次元によって性質が変わる。二次元では比較的単純で、三次元では軸の概念が加わる。さらに高次元では、直交群や特殊直交群の一部として統一的に扱われる。
2.1 二次元回転群
平面内の回転は、最も直感的に理解しやすい例である。ある点を中心にして図形を回す操作は、角度だけでほぼ完全に記述できる。
2.1.1 単位円との対応
二次元回転は、単位円上の点の移動と自然に対応する。回転によって点は円周上を動き、その位置は円のパラメータとして表せる。この対応により、平面回転は幾何学的にも解析的にも扱いやすい。
2.1.2 角度による表現
平面の回転は、通常、角度で表される。0度の回転は変化を与えず、正負の角度は時計回りと反時計回りの違いに対応する。角度の加法が回転の合成に一致するため、構造が明快である。
2.2 三次元回転群
三次元空間では、回転は一つの軸のまわりで生じる。軸の向きと回転角を組み合わせることで、姿勢や向きを表すことができる。
2.2.1 回転軸と回転角
三次元回転は、固定された軸とその周りの回転角によって記述されることが多い。軸は方向を示し、角度は回転の大きさを表す。これにより、立体の向きを直感的に理解できる。
2.2.2 オイラー角
オイラー角は、複数の回転を順に組み合わせて姿勢を表す方法である。三つの角度を用いるため記述が簡潔だが、特定の配置では自由度が失われることがある。そのため、工学や計算機分野では便利さと注意点の両方が知られている。
2.2.3 回転行列
三次元回転は、3×3の直交行列として表現できる。回転行列を用いると、座標変換や図形の移動を線形代数の枠組みで計算できる。各成分は回転後の基底ベクトルの向きを反映している。
2.3 高次元回転群
高次元空間では、回転はより抽象的になるが、基本的な考え方は同じである。距離と向きを保ちながら、原点のまわりで空間を変換する操作が対象となる。
2.3.1 一般直交群との関係
高次元の回転は、一般直交群の要素として表される。直交群は長さや角度を保つ変換の全体であり、回転はその中でも向きを反転しない部分に属する。したがって、回転群は直交群の重要な部分集合である。
2.3.2 特殊直交群との関係
特殊直交群は、向きを保ち、かつ行列式が1となる直交変換の集まりである。実数空間では、回転群はこの特殊直交群と一致する形で現れる。これにより、回転の研究は群論と線形代数をつなぐ中心的題材となる。
3 回転群の代数的構造
回転群は単なる変換の集合ではなく、連続性や微分可能性をもつ構造としても重要である。これにより、解析学や表現論と深く結びつく。
3.1 リー群としての回転群
回転群は、群であると同時に滑らかな多様体の構造をもつリー群の代表例である。回転を少しずつ変化させると、その動きは連続的に追跡できる。
3.1.1 連続変換としての性質
回転は角度を連続的に変えることで、途切れなく別の回転へ移ることができる。これは、離散的な対称性と対照的であり、滑らかな変化を扱う物理や幾何で有用である。
3.1.2 接空間とリー代数
回転群の接空間は、原点近くでの微小な回転を記述する。これに対応するリー代数は、群全体の局所的構造を線形的に表す道具である。微分方程式や量子力学では、この局所情報が大きな役割を果たす。
3.2 表現論
表現論では、抽象的な回転群を行列作用として具体化し、その構造を調べる。これにより、群の性質を線形空間上の作用として理解できる。
3.2.1 不変量
回転しても変わらない量は不変量と呼ばれる。長さ、角度、体積などが典型例である。不変量を調べることで、回転の下で保存される本質的な性質を見分けられる。
3.2.2 既約表現
既約表現は、これ以上分解できない基本的な表現である。回転群の表現を既約成分に分けると、構造が整理され、調和解析や量子論の計算が見通しよくなる。
3.3 被覆群
回転群には、より単純な空間でその構造を表す被覆群が存在する。これにより、見かけ上複雑な回転が、別の群の上で扱いやすくなることがある。
3.3.1 二重被覆
二重被覆では、一つの回転に対して被覆側の要素が二つ対応する。三次元回転群では、この性質が特に重要で、計算や理論の両面で用いられる。回転の表現を別の座標系で捉える際の基礎となる。
3.3.2 スピノルとの関係
スピノルは、回転群の被覆群に結びついた特別な表現である。通常のベクトルとは異なる振る舞いを示し、量子力学や粒子の記述に現れる。回転に対する変換特性が、古典的な量とは異なる点が特徴である。
4 回転群の応用
回転群は抽象理論にとどまらず、実際の計算や現象の記述に広く使われる。図形処理、運動学、物理法則の整理など、多方面で基盤となる。
4.1 幾何学
幾何学では、回転群は図形の配置や対称性を分類するための道具になる。回転で一致する図形は、同じ構造を持つものとして比較できる。
4.1.1 図形の分類
回転対称性を調べると、図形をいくつかの型に分けられる。正多角形や正多面体はその代表であり、どの回転で元に戻るかが分類の基準となる。これにより、形の共通点と差異が明瞭になる。
4.1.2 対称操作
対称操作としての回転は、図形を変えずに見え方だけを変える。模様や結晶の理想化モデルでは、どの操作が対称性を保つかを調べることが重要である。回転群はその操作体系を整理する。
4.2 物理学
物理学では、回転群は空間の向きに関する法則を表現する。運動の保存則や量子状態の変換を考える際に、中心的な役割を持つ。
4.2.1 角運動量
角運動量は回転に対応する物理量であり、回転群の対称性と密接に関係する。系が回転対称であるとき、角運動量の保存が現れることが多い。これは古典力学から量子力学まで共通する重要な原理である。
4.2.2 剛体の運動
剛体の運動では、物体全体の向きの変化を回転として表す。回転群を用いると、姿勢の追跡や角速度の表現が体系化される。宇宙機や機械部品の運動解析でも基本概念となる。
4.3 工学と計算機科学
工学と計算機科学では、回転群は対象の向きの管理や画像の変換に使われる。数値計算で安定に扱うための表現法も多数考案されている。
4.3.1 姿勢制御
姿勢制御では、機体やロボットの向きを目標値に合わせるために回転の記述が必要になる。回転群を使うことで、複数の回転操作を一貫した方法で扱える。ドローンや衛星の制御にも応用される。
4.3.2 画像処理
画像処理では、画像の回転、位置合わせ、物体認識に回転変換が用いられる。回転群の考え方は、角度が変わっても特徴を保つアルゴリズムの設計に役立つ。これにより、撮影条件の違いを吸収しやすくなる。
4.3.3 三次元モデリング
三次元モデリングでは、物体の向きや視点を調整するために回転を頻繁に使う。モデルの配置、アニメーション、カメラ操作などで回転群の表現が活躍する。行列やクォータニオンを併用することで、滑らかな制御が実現される。