回転を扱う数学や物理では、通常の角度による積分だけでなく、リー群を使って回転そのものを数学的な空間として扱う方法があります。特に回転群SO(3)や特殊ユニタリ群SU(2)のようなリー群上では、群の構造を保った積分を定義できます。この記事では、リー群を使った回転積分とは何か、どのような仕組みで可能になるのかを解説します。
回転をリー群として考えるとは
通常、3次元空間の回転はオイラー角などの3つの角度を使って表現します。しかし、角度による表現では座標の取り方によって特異点が生じたり、回転の合成が複雑になったりします。
そこで、回転全体の集合を数学的な対象として扱います。3次元空間の回転は回転行列で表され、その集合はリー群SO(3)になります。
SO(3)は「連続的に変化する回転の集まり」であり、同時に群構造を持つ3次元多様体です。この性質を利用すると、回転そのものに対して積分を考えることができます。
リー群上の積分とは何か
普通の積分では、実数上の関数f(x)に対してdxという測度を使って積分します。
同じようにリー群G上でも、群の点gに対する関数f(g)を考え、積分することができます。
このとき重要になるのがハール測度（Haar measure）です。ハール測度は、群の変換によって値が変わらない特殊な測度です。
つまり、回転群SO(3)の場合では、ある回転を先にかけても積分結果が変わらないような「自然な体積要素」を使って積分できます。
SO(3)で回転積分を行う例
例えば、回転行列Rに依存する関数F(R)を考えます。このとき、回転全体について平均を取りたい場合、次のような積分を考えます。
∫SO(3) F(R)dR
ここでdRはSO(3)上のハール測度を表します。この積分は「すべての方向の回転について平均を取る」という意味になります。
具体例として、物理では分子の向きの平均、剛体の姿勢平均、量子力学での状態平均などに利用されます。
通常の角度積分との違い
回転を角度で表す場合、例えばオイラー角を使うと、回転は3つのパラメータで表せます。
しかし、単純に3つの角度を0から2πまで積分すればよいわけではありません。オイラー角では同じ回転を複数の組み合わせで表してしまうため、重複や境界の問題が発生します。
リー群上の積分では、このような座標表現による問題を避け、回転群そのものに自然な測度を設定します。そのため、回転の平均や積分を数学的に正しく定義できます。
リー群積分が使われる分野
リー群上の積分は、数学だけでなく物理学や工学でも広く利用されています。
例えば、量子力学ではSU(2)やSU(N)などのリー群を使って対称性を記述します。素粒子物理学のゲージ理論でも、群上の積分が重要な役割を持ちます。
また、画像認識やロボット工学でも、物体の回転や姿勢を扱うためにSO(3)上の平均や最適化問題が利用されています。
リー群を使った回転積分を理解するためのポイント
リー群を使った回転積分の本質は、「回転を数値パラメータではなく、群という幾何学的な空間として扱うこと」にあります。
回転群には自然な体積の概念があり、それを与えるものがハール測度です。この測度によって、回転全体について公平な積分や平均を定義できます。
したがって、リー群を利用すれば回転積分は可能であり、むしろ複雑な回転を扱う場合にはリー群による方法の方が自然な場合があります。
まとめ
リー群を使うことで、回転を数学的な空間として扱い、その上で積分を定義することができます。
特にSO(3)のような回転群では、ハール測度を利用することで、回転全体に対する平均や積分を行うことが可能です。
通常の角度積分では表現の重複や特異点が問題になりますが、リー群上の積分では回転そのものの性質を利用できるため、数学・物理のさまざまな分野で活用されています。
コメント