0
応用数学解説
文献あり

鏡映:ベクトルから八元数まで

361
0

鏡映は、幾何学の基本的かつ重要な概念です。本記事は、この鏡映を様々な数学的構造の中で考察します。

  1. ベクトル(任意次元)
  2. 複素数(2次元)
  3. 四元数(3次元および4次元)
  4. 八元数(7次元および8次元)
  5. クリフォード代数(任意次元)

各代数に対して、鏡映の数学的表現を導出します。特に注目すべきは、次元が上がるにつれて背後の代数的構造が変化する点です。

鏡映

鏡映は、ある対象をある平面(鏡面)に関して反転させる幾何学的操作です。日常生活では鏡に映る像として経験されますが、数学的には非常に重要で基本的な変換の一つです。

n次元ユークリッド空間Vにおいて、ベクトルvを単位法線ベクトルn (n=1)で定義される超平面に関して鏡映したベクトルvは以下の式で与えられます:

法線による鏡映

v=v2(vn)n=(I2nnT)v

ここではベクトルの内積で、(vn)nvn上への射影を表します。法線nは鏡映面方向とは逆向きのベクトルです。vから射影の逆向きに動かしたv(vn)nは鏡映面との交点で、そこから更に同じだけ動かすことで鏡像を得ます。

右辺は、ベクトルvに対する作用としての表現です。nnTは射影行列です。

中辺から右辺

v2(vn)n=v2n(nv)=v2n(nTv)=(I2nnT)v

鏡映面は、n次元ではn1次元の超平面となります。具体的には、2次元では1次元直線、3次元では2次元平面、4次元では3次元立体となります。

鏡映面

集合{v(vn)nvV}により構成されるn1次元の超平面が鏡映面となります。なお、3次元においては、ベクトル三重積の公式により(n×v)×n=v(vn)nとなります。

鏡映の主な特徴:

  1. 等長変換:距離と角度を保存する。
  2. 向きを変える:左手系を右手系に、またはその逆に変換する。
  3. 二回適用すると元に戻る:M2=IMは鏡映、Iは恒等変換)

内積

鏡映の導出に必要となる内積について説明します。

ベクトルa=(a1,a2,,an)b=(b1,b2,,bn)の内積は以下のように定義されます。

ベクトルの内積

ab=a1b1+a2b2++anbn

内積の主な性質:

  1. 対称性:ab=ba
  2. 線形性:(a+b)c=ac+bc
  3. スカラー倍:(ka)b=k(ab)
  4. ノルムとの関係:aa=a2

内積は、ベクトル間の角度θを計算する際にも使用されます:

内積と角度の関係

ab=abcosθcosθ=abab

射影

ベクトルの内積を視覚的に表すと、2本のベクトルの向きを揃えて長さを掛けた値となります。向きを揃えるには垂線を引いて交点を求めます。これを射影と呼びます。どちらのベクトルを射影しても結果は同じです。7shi-ip

!FORMULA[33][36647][0]を!FORMULA[34][36678][0]に射影 ABに射影
AB=AB=23=6
AB=ABcosθ

特別な場合として、単位ベクトルとの内積が頻出で、鏡映でも使用されます。

  • ベクトルvと単位ベクトルnの内積は、射影されたベクトルvpの長さになります:vn=vp
  • 内積に更にnを掛ければ、射影されたベクトルvpが得られます:(vn)n=vpn=vp
  • 射影の作用を取り出せば射影行列(射影作用素)が得られますproj(n)n=n(n)=nnT
冪等行列

nTn=Iより、射影行列は冪等行列です:(nnT)2=nnTnnT=nnT

代数系と幾何学の関係

鏡映は、様々な代数系の中で表現することができます。これらの代数系と幾何学の関係を理解することは、高次元空間や複雑な幾何学的操作を扱う上で非常に重要です。

主な代数系と対応する幾何学的空間:

  1. 実数ベクトル空間Rn:n次元ユークリッド空間
  2. 複素数C(可換、結合的):2次元ユークリッド空間
  3. 四元数H(非可換、結合的):3次元ユークリッド空間、4次元ユークリッド空間
  4. 八元数O(非可換、非結合的):7次元ユークリッド空間、8次元ユークリッド空間
  5. クリフォード代数Cln,0(R)(非可換、結合的):n次元ユークリッド空間

これらの代数系を用いることで、鏡映をより一般的かつ抽象的に表現することができます。特にクリフォード代数は、次元に依存せずに鏡映を表現できるため、高次元空間や複雑な幾何学的構造での操作の理解を深めるのに役立ちます。

次章からは、各代数系における鏡映の具体的な表現と性質について詳しく見ていきます。クリフォード代数については、他の代数系を扱った後に、それらを統合する形で導入し、その統一的な性質を強調します。

複素数

複素数z=a+bi (a,bR)に対して:

  • 基底の2乗:i2=1
  • 共役:z=abi
  • 絶対値:|z|=zz=a2+b2
  • 実部:Re(z)=(z+z)/2=a
  • 虚部:Im(z)=i(zz)/2=b(基底を含まない)
  • 複素数の積:(a+bi)(c+di)=(acbd)+(ad+bc)i

複素数z1,z2,z3について、以下の性質が成り立ちます。

  • 可換性:z1z2=z2z1
  • 結合性:(z1z2)z3=z1(z2z3)

複素数の実軸をx軸、虚軸をy軸と同一視します。

2次元ベクトルと複素数の同一視(複素数平面)

(a,b)a+bi

内積

複素数の内積は、共役との積の実部から得られます:

複素数の内積

ab=Re(ab)=12(ab+ba)

ab=(a0a1i)(b0+b1i)=(a0b0+a1b1)+(a0b1a1b0)i
Re(ab)=a0b0+a1b1

鏡映

2次元空間において、複素数zを単位複素数n (|n|=1)で定義される直線に関して鏡映で移した複素数zは以下の式で与えられます:

複素数による鏡映

z=zn2

z=z2(zn)n=z(zn+nz)n=zzn2|n|2z=zn2

四元数

四元数q=a+bi+cj+dk (a,b,c,dR)に対して:

  • 基底の2乗:i2=j2=k2=ijk=1
  • 基底の積:ij=k, jk=i, ki=j
  • 反交換性:ij=ji, jk=kj, ki=ik
  • 共役:q=abicjdk
  • ノルム:|q|=qq=a2+b2+c2+d2
  • 逆元:q1=q/|q|2 (q0)
  • 実部:Re(q)=(q+q)/2=a
  • 虚部:Im(q)=(qq)/2=bi+cj+dk(基底を含む)

四元数q1,q2,q3について、以下の性質が成り立ちます。

  • 非可換性:一般にq1q2q2q1(特定の条件下で可換)
  • 結合性:(q1q2)q3=q1(q2q3)

四元数(3次元)

四元数は3次元と4次元が扱えますが、使い勝手がかなり異なります。まず扱いが簡単な3次元について見ていきます。

3次元ベクトルと純虚四元数の同一視

(x,y,z)xi+yj+zk

内積

純虚四元数の内積は、積の実部の符号反転から得られます:

純虚四元数の内積(3次元)

vw=Re(vw)=12(vw+wv)

vw=(vxi+vyj+vzk)(wxi+wyj+wzk)=(vxwx+vywy+vzwz)+(vywzvzwy)i+(vzwxvxwz)j+(vywzvzwy)k
Re(vw)=vxwx+vywy+vzwz=vw

外積

vwの虚部は外積です。外積の反交換性により、Im(vw)=Im(wv)となり、反交換子vw+wvによって実部だけが残ります。

複素数との比較

四元数の反交換性により、複素数のような共役が不要となります。

鏡映

3次元空間において、純虚四元数vを単位純虚四元数n (n2=1)で定義される平面に関して鏡映で移した純虚四元数vは以下の式で与えられます:

純虚四元数による鏡映(3次元)

v=nvn=nvn

v=v2(vn)n=v+(vn+nv)n=v+vn2+nvn=nvn

vが純虚四元数であることから、v=vよりnvnとも表現できます。複素数の表現zn2と比べると、複素数では積が可換であることから、2つのnがまとまってn2になっていると解釈できます。

八元数

八元数o=a0+a1e1+a2e2++a7e7 (aiR)に対して:

  • 基底の2乗:ei2=1 (i=1,,7)
  • 基底の積:eiej=eki,j,kが特定の巡回順序を満たす場合)
  • 反交換性:eiej=ejei (ij)
  • 共役:o=a0a1e1a2e2a7e7
  • ノルム:|o|=oo=a02+a12+a22++a72
  • 逆元:o1=o/|o|2 (o0)
  • 実部:Re(o)=(o+o)/2=a0
  • 虚部:Im(o)=(oo)/2=a1e1+a2e2++a7e7(基底を含む)

八元数o1,o2,o3について、以下の性質が成り立ちます。

  • 非可換性:一般にo1o2o2o1(特定の条件下で可換)
  • 非結合性:一般に(o1o2)o3o1(o2o3)(特定の条件下で結合的)

特定の巡回順序は480種類あります。どれを採用しても代数的な性質は同じなため、本記事では古典的な定義を採用します。7shi-480

グレイブスとケイリーによる三つ組

e1e2=e3, e1e4=e5, e2e4=e6, e3e4=e7, e2e5=e7, e3e6=e5, e1e7=e6

これら7種類の積の組み合わせのそれぞれを三つ組 (triad) と呼びます。実部と1つの三つ組に閉じた部分代数は四元数と同型で、結合性を満たします。

部分代数

e1e2=e2e1=e3, e2e3=e3e2=e1, e3e1=e1e3=e2

八元数(7次元)

八元数は7次元と8次元が扱えますが、使い勝手がかなり異なります。まず扱いが簡単な7次元について見ていきます。

7次元ベクトルと純虚八元数の同一視

(x1,x2,,x7)x1e1+x2e2++x7e7

結合性に注意すれば、基本的には3次元の四元数の延長線上で扱えます。

内積

純虚八元数の内積は、純虚四元数と同じ形をしています:

純虚八元数の内積(7次元)

vw=Re(vw)=12(vw+wv)

導出過程は、項が多いだけで四元数と同様のため省略します。計算過程に2項の積しか現れないため、非結合性による影響を受けません。

外積

純虚八元数の積の虚部は、特殊な空間構成により外積となります。7shi-ort

鏡映

7次元空間において、純虚八元数vを単位純虚八元数n (n2=1)で定義される平面に関して鏡映で移した純虚八元数vは以下の式で与えられます:

純虚八元数による鏡映(7次元)

v=nvn=nvn

純虚四元数と同じ形をしています。導出も同様です。

v=v2(vn)n=v+(vn+nv)n=v+vn2+nvn=nvn

八元数の非結合性により、一般的には(o1o2)o3o1(o2o3)です。ただし八元数には交代性という弱い形での結合性があり、同一の八元数を2つ含む積においては(vn)n=v(nn),(nv)n=n(vn)が成り立ちます。そのためnvnでは括弧を省略しています。wiki-altnakajima

ただし、鏡映の合成では結合性が問題となるため、括弧を外すことはできません。例:m(nvn)m

非結合性の影響:

  1. 連続的な鏡映の合成(回転など)が複雑になる
  2. 代数的な性質の証明がより難しくなる
  3. 鏡映の基本的な性質(等長性、冪等性)は保たれる

四元数(4次元)

四元数は名前の通り4成分あるため、4次元を扱うことが可能です。ただし実部と虚部では性質が異なることから、その扱いはやや複雑となります。

4次元ベクトルと四元数の同一視

(w,x,y,z)w+xi+yj+zk

空間軸

四元数が表すのは4次元ユークリッド空間です。4番目の次元は空間軸であり、相対性理論のような時間軸ではありません。時間軸を含むミンコフスキー空間を扱うには、双曲四元数やクリフォード代数など別の代数系が必要となります。7shi-hc

内積

実部を含む四元数の内積を示します:

四元数の内積(4次元)

vw=12(vwwv+vw+vw)=12Re(vw+vw)

2行目の方が式の形としては対称性がありきれいですが、鏡映の計算ではステップ数が増えるため、本記事では1行目を使用します。

四元数v,wを実部と虚部に分けます:

vr=Re(v), vi=Im(v), wr=Re(w), wi=Im(w)

これを用いて内積を表現します:

vw=vrwr12(viwi+wivi)

この形が得られる積の組み合わせを探します。

交換子と反交換子を確認します:

vwwv=(vr+vi)(wr+wi)(wr+wi)(vr+vi)=viwiwivivw+wv=(vr+vi)(wr+wi)+(wr+wi)(vr+vi)=2vrwr+2vrwi+2wrvi

反交換子を参考に、不要な項が含まれないように、共役の付け方を工夫します:

vw+vw=(vrvi)(wr+wi)+(vr+vi)(wrwi)=2(vrwrviwi)

これを交換子と足し合わせれば、内積の2倍が得られます。

vwwv+vw+vw=viwiwivi+2(vrwrviwi)=2vrwr(viwi+wivi)=2(vw)

なお、vw+vwの実部を取れば、別の表式が得られます。

Re(vw+vw)=2{vrwrRe(viwi)}=2(vw)

鏡映

4次元空間において、四元数qを単位四元数n (|n|=1)で定義される超平面に関して鏡映で移した四元数qは以下の式で与えられます:

四元数による鏡映(4次元)

q=nqn

q=q2(qn)n=q(qnnq+qn+qn)n=q(qnnq+qn)nq|n|2=(qnnq+qn)n

qnの交換子から、交換後の形を確認します。

qnnq=(qrqi)(nr+ni)(nr+ni)(qrqi)=qini+niqi=nqqnqn=nq+nqqn

これを使って計算を続行します。

q=(qnnq+qn)n=(qnnq+nq+nqqn)n=nqn

3次元鏡映との関係

3次元鏡映(純虚四元数):v=nvn=nvn
4次元鏡映(一般の四元数):q=nqn

q=vとすれば一致するため、4次元鏡映は3次元鏡映を特殊ケースとして含みます。

7次元鏡映との関係

4次元鏡映(一般の四元数):q=nqn
7次元鏡映(純虚八元数):v=nvn=nvn

四元数の実部を八元数のe4、虚部i,j,ke1,e2,e3に対応させます。

w+xi+yj+zkwe4+xe1+ye2+ze3

この対応によって、7次元鏡映は4次元鏡映を特殊ケースとして含みます。

鏡映は内積に依存しているため、内積の等価性から示せます。以下ではe4がどのように振舞うかの確認を兼ねて、実部と虚部に分けて成分計算します。

v=vr+vxi+vyj+vzkvivre4+vxe1+vye2+vze3vin=nr+nxi+nyj+nzkninre4+nxe1+nye2+nze3ni

三つ組

本記事ではe1e2=e3の定義を採用しているため、i,j,ke1,e2,e3は代数として同型で、vi,niの振る舞いは変換後も同一です。

q=(nr+ni)q(nr+ni)=nr2qnrqniniqnrniqni=nr2(qrqi)nr(qrqi)nini(qrqi)nrni(qrqi)ni=nr2qr+nr2qinrqrni+nrqininiqrnr+niqinrniqrni+niqini=(nr2+ni2)qr+nr(qini+niqi)nr(2qrninrqi)+niqini
八元数ではn=nre4+ni, v=qre4+qiとして同様に計算します。e4niqiと反交換です。
v=(nre4+ni)v(nre4+ni)=nr2e4ve4+nre4vni+nivnre4+nivni=nr2e4(qre4+qi)e4+nre4(qre4+qi)ni+ni(qre4+qi)nre4+ni(qre4+qi)ni=nr2qre4+nr2qinrqrni+nrqinie4niqrnr+niqinre4niqrnie4+niqini={(nr2+ni2)qr+nr(qini+niqi)}e4nr(2qrninrqi)+niqini
e4の係数は実数になります。逆変換でe41とすれば、四元数の計算結果と一致します。

八元数(8次元)

八元数は名前の通り8成分あるため、8次元を扱うことが可能です。実部と虚部では性質が異なりますが、四元数での4次元と同様に扱います。

8次元ベクトルと八元数の同一視

(x0,x1,x2,,x7)x0+x1e1+x2e2++x7e7

空間軸

八元数が表すのは8次元ユークリッド空間です。すべての次元は空間軸であり、相対性理論のような時間軸は含みません。時間軸を含むミンコフスキー空間を扱うには、分解型八元数やクリフォード代数など別の代数系が必要となります。

内積

八元数の内積は、四元数(4次元)と同じ形をしています:

八元数の内積(8次元)

vw=12(vwwv+vw+vw)=12Re(vw+vw)

導出過程は、四元数と同様のため省略します。計算過程に2項の積しか現れないため、非結合性による影響は受けません。

鏡映

8次元空間において、八元数oを単位八元数n (|n|=1)で定義される超平面に関して鏡映で移した八元数oは以下の式で与えられます:

八元数による鏡映(8次元)

o=non

四元数(4次元)と同じ形をしています。非結合性の影響を受けないことにより、導出過程は四元数と同様のため省略します。

7次元鏡映との関係

7次元鏡映(純虚八元数):v=nvn=nvn
8次元鏡映(一般の八元数):o=non

o=vとすれば一致するため、8次元鏡映は7次元鏡映を特殊ケースとして含みます。

クリフォード代数

これまでの章で現れた様々な次元での鏡映を統一的に理解する枠組みとして、クリフォード代数を導入します。

クリフォード代数Clp,q(K)は、体K上のベクトル空間Vに対して定義される代数系です。ベクトル空間の次元はp+qで、計量1の基底がp個、計量1の基底がq個あります。基底の2乗は計量となります。

基底の2乗と計量

ei2={1(1ip)1(p+1ip+q)

添え字

Clp,q(K)は英語版Wikipediaの表記法です。wiki-clifこの表記法は統一されておらず、異なる流儀があります。具体的にはpが計量-1、qが計量1の基底の個数を表す場合があります。テキストによって異なるため、どのような流儀を採用しているか必ずご確認ください。

基底は反交換性eiej=ejei (ij)を持ちます。基底の積はそのまま2次の基底として扱い、別の基底に変化することはありません。これはクリフォード代数が八元数とは異なる代数であることを意味しますが、複素数や四元数はクリフォード代数に含まれます。

代数の同型

Cl0,1(R)C,Cl0,2(R)H

四元数との対応

e1i,e2jとすればe1e2ij=kとなります。e1e2は2乗が1となり、e1e2と反交換性を持つため、四元数と同じ振る舞いをします。

k2(e1e2)2=e1e2e1e2=e1e1e2e2=e12e22=(1)(1)=1
ike1ie1e2k=e1e2ke1iki, jke2je1e2k=e1e2ke2jkj

クリフォード代数a,b,cについて、以下の性質が成り立ちます。

  • 非可換性:一般にabba(特定の条件下で可換)
  • 結合性:(ab)c=a(bc)

n次元ユークリッド空間はCln,0(R)で扱います。

n次元ベクトルのクリフォード代数の表現

(a1,a2,,an)a1e1+a2e2++anen

実用上、クリフォード代数は、3次元における四元数の振る舞いに基づいて、任意次元に拡張したものとなります。例えば8次元を扱う場合でも、八元数のような非結合性に煩わされる心配がありません。

3次元

3次元はCl3,0(R)となり、四元数と同型のCl0,2(R)とは異なる代数です。そのため細かい部分の符号などが四元数とは異なります。ただし、四元数のように3次元と4次元で計算方法が変わるようなことはなく、次元が変わっても使い勝手は基本的に同じです。

内積

クリフォード代数の内積は、純虚四元数と似た形をしていますが、符号が異なります:

クリフォード代数の内積

vw=12(vw+wv)

vw=(v1e1+v2e2++vnen)(w1e1+w2e2++wnen)=v1w1+v2w2++vnwn+(v1w2v2w1)e1e2+(v2w3v3w2)e2e3++(vn1wnvnwn1)en1enwv=(w1e1+w2e2++wnen)(v1e1+v2e2++vnen)=w1v1+w2v2++wnvn+(w1v2w2v1)e1e2+(w2v3w3v2)e2e3++(wn1vnwnvn1)en1en
vw+wv=2(v1w1+v2w2++vnwn)=2(vw)

クリフォード代数では基底が付かない実部に相当する部分をスカラーと呼びます。

ウェッジ積

vwのスカラー以外の部分は、基底についての2次式となります。これは任意次元に拡張した外積で、ウェッジ積と呼ばれる演算に相当します。

鏡映

任意次元のクリフォード代数において、ベクトルvを単位ベクトルn (n2=1)で定義される超平面に関して鏡映で移したベクトルvは以下の式で与えられます:

クリフォード代数による鏡映

v=nvn

クリフォード代数の式、任意の次元で統一的に成り立ちます。純虚四元数と似た形をしていますが、符号が異なります。

v=v2(vn)n=v(vn+nv)n=vvn2nvn=nvn

四元数との比較

四元数における3次元鏡映v=nvnと比較すれば符号が異なります。4次元鏡映q=nqnと比較すれば共役がありません。

まとめ

次元が上がるにつれて鏡映の式は以下のように変化しました:

  • ベクトル:v=v2(vn)n=(I2nnT)v
  • 複素数 (2D):z=nzn=zn2
  • 四元数 (3D):v=nvn=nvn
  • 八元数 (7D):v=nvn=nvn
  • 四元数 (4D):q=nqn
  • 八元数 (8D):o=non
  • クリフォード代数:v=nvn

別記事にまとめる予定ですが、2回の鏡映の合成は回転になります:

  • 複素数 (2D):m(nzn)m=z(nm)2(鏡映を経由しなくても、積自体が回転)
  • 四元数 (3D):m(nvn)m=mnvnm
  • 八元数 (7D):m(nvn)m=m(nvn)m(非結合性により括弧は外せない)
  • 四元数 (4D):m(nqn)m=mnqnm
  • 八元数 (8D):m(non)m=m(non)m(非結合性により括弧は外せない)
  • クリフォード代数:m(nvn)m=mnvnm

クリフォード代数は、これらの代数系での鏡映表現を統一的に扱う枠組みを提供します。これにより、任意の次元での鏡映や回転を一貫した方法で記述することが可能になります。

この性質は、以下の分野で重要な役割を果たします:

  1. 群論:鏡映の合成が回転群を生成
  2. 量子力学:スピンの概念との関連
  3. コンピュータグラフィックス:3D回転の効率的な実装
  4. ロボット工学:関節動作の表現

線対称な鏡映

通常の鏡映とは符号を反転した式は、nが表す直線に対して線対称な鏡映となります。

線対称な鏡映

ある対象をある直線に関して反転させる幾何学的操作

ベクトルvを単位ベクトルnで定義される線対称な鏡映で移したベクトルvは以下の式で与えられます:

線対称な鏡映

v=v+2{(vn)nv}=2(vn)nv=v

線対称な鏡映 線対称な鏡映

この公式の幾何学的解釈:

  1. (vn)nvn方向への射影
  2. (vn)nvvから射影までのベクトル
  3. これを2倍してvに加えることで、線対称な点vに到達

クリフォード代数での線対称な鏡映は、ベクトルnで挟むことによる作用を直接表します:

クリフォード代数による線対称な鏡映

v=v=nvn

線対称な鏡映の合成で回転を解釈すれば、マイナス符号を入れずに直接解釈できます:m(nvn)m

参考文献

投稿日:2024715
更新日:2024725
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

7shi
7shi
27
6538

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 鏡映
  2. 内積
  3. 射影
  4. 代数系と幾何学の関係
  5. 複素数
  6. 内積
  7. 鏡映
  8. 四元数
  9. 四元数(3次元)
  10. 内積
  11. 鏡映
  12. 八元数
  13. 八元数(7次元)
  14. 内積
  15. 鏡映
  16. 四元数(4次元)
  17. 内積
  18. 鏡映
  19. 3次元鏡映との関係
  20. 7次元鏡映との関係
  21. 八元数(8次元)
  22. 内積
  23. 鏡映
  24. 7次元鏡映との関係
  25. クリフォード代数
  26. 内積
  27. 鏡映
  28. まとめ
  29. 線対称な鏡映
  30. 参考文献