arXiv探訪

興味の赴くままに数学するだけ

GAの線型理論その1

数学 Geometric Algebra

環{ R }が体のとき、GAはベクトル空間としての構造を持つ。逆にベクトル空間はあるGAへの埋め込みを持ち、GAの一部としてみなすことができる。この同一視により、GAはベクトル空間としての幾何学的視点を得ることになる。すなわち、GA上に定義された様々な作用、例えばウェッジ積のような演算を、幾何学的に解釈することが可能となる。またベクトル空間において基底を取らなければ代数的に計算できなかった概念も、基底に依らない表示をGA上で求めることで、それを可能とすることができる。

前々回（積の分解）あたりの補足

{ e_{x}\wedge e_{x}=0 }であり、特に{ X }が全順序のときは異なる{ x, y\in X }について{ e_{x}\wedge e_{y}=-e_{y}\wedge e_{x} }が成り立つ。従って{ v\wedge v=0 }であり、また{ v\wedge w=-w\wedge v }も成り立つ。

次にGAの次数付き代数としての性質を注意として述べておく。

{ v\in\mathcal{G}^{1}, A\in\mathcal{G}^{k} }とする。このとき

{ \begin{align*} &v\sqsubset A\in\mathcal{G}^{k-1}, & &v\wedge A\in\mathcal{G}^{k+1} \end{align*} }

が成り立つ。実際これは左内積とウェッジ積の定義より明らかで、添え字が一つづつ減るか、増えるか、あるいはゼロとなるためである。

ここで基本等式を眺めると、

{ vA=v\sqsubset A+v\wedge A }

であるから、これはちょうど一つ下の次数と一つ上の次数に分解していると言える。

一次独立性

ここから線型代数をGAで記述することを始めるのだが、まずは基本となる一次独立の概念から始めよう。

定義 { \lbrace A_{1}, \dotsc, A_{m} \rbrace\subset\mathcal{G} }が一次独立（linear independent）であるとは

{ \lambda_{1}A_{1}+\dotsm+\lambda_{m}A_{m}=0 }

としたとき、{ \lambda_{1}=\dotsm=\lambda_{m}=0 }が成り立つことを言う。一次独立でないとき、一次従属であるという。

式の左辺のような形を一次結合（linear combination）とも呼ぶ。

注意すべきは、今はまだ{ R }は環であるということだ。つまり例えば{ R=\mathbb{Z}/2\mathbb{Z} }のときのように、任意の元{ A }について{ \lbrace A \rbrace }は一次従属になる場合がある。

補題 { R }の元を成分とする{ n\times m }行列

{ A=\left( \begin{matrix} a_{11} & \dotsm & a_{1m} \\ \vdots & & \vdots \\ a_{n1} & \dotsm & a_{nm} \end{matrix} \right) }

について、{ A }のランクは{ k }であり、首座小行列の行列式がゼロでないとする。即ち

{ \begin{align*} d&:=\mathrm{det}A_{1, \dotsc, k}^{1, \dotsc, k} \\ &=\mathrm{det}\left( \begin{matrix} a_{11} & \dotsm & a_{1k} \\ \vdots & & \vdots \\ a_{k1} & \dotsm & a_{kk} \end{matrix} \right) \neq 0 \end{align*} }

とする。このとき

{ a_{j}=\left( \begin{matrix} a_{1j} \\ \vdots \\ a_{nj} \end{matrix} \right) }

について、{ da_{j} }は{ a_{1}, \dotsc, a_{k} }の一次結合で書ける。

（証明）{ 1\le i\le n, 1\le j\le m }に対し、{ ( k+1 )\times( k+1 ) }行列{ B_{ij} }を

{ B_{ij}:=\left( \begin{matrix} a_{11} & \dotsm & a_{1k} & a_{1j} \\ \vdots & & \vdots & \vdots \\ a_{k1} & \dotsm & a_{kk} & a_{kj} \\ a_{i1} & \dotsm & a_{ik} & a_{ij} \end{matrix} \right) }

で定めると、{ ( k+1 ) }行目から{ i }行目を引き、{ ( k+1 ) }列目から{ j }列目を引くことで{ \mathrm{det}B_{ij}=0 }が分かる。この式を{ ( k+1 ) }行目で展開すると

{ c_{1}a_{i1}+\dotsm+c_{k}a_{ik}+da_{ij}=0 }

となる。これらの{ c_{1}, \dotsc, c_{k} }は{ i }の取り方に依らない（{ j }の取り方には依る）ので、上の式は任意の{ i }で成り立つ。故に

{ c_{1}a_{1}+\dotsm+c_{k}a_{k}+da_{j}=0 }

を得る。即ち{ da_{j} }（{ 1\le j \le m }）は{ a_{1}, \dotsc, a_{k} }の一次結合で書ける。{ \square }

{ X }が全順序のときは、次の形のスカラー積をdeterminantで計算できる。

補題 { X }は全順序であるとする。このとき{ u_{1}, \dotsc, u_{k}, v_{1}, \dotsc, v_{k}\in\mathcal{G}^{1} }に対し、

{ ( u_{1}\wedge\dotsm\wedge u_{k} )\ast( v_{k}\wedge\dotsm\wedge v_{1} )=\mathrm{det}\left( \begin{matrix} u_{1}\ast v_{1} & \dotsm & u_{1}\ast v_{k} \\ \vdots & & \vdots \\ u_{k}\ast v_{1} & \dotsm & u_{k}\ast v_{k} \end{matrix} \right) }

が成り立つ。

（証明）双線型性より

{ ( e_{i_{1}}\wedge\dotsm\wedge e_{i_{k}} )\ast( e_{j_{k}}\wedge\dotsm\wedge e_{j_{1}} )=\mathrm{det}( e_{i_{p}}\ast e_{j_{q}} )_{p, q} }

を示せば良い。また{ \lbrace i_{1}, \dotsc, i_{k} \rbrace\neq\lbrace j_{1}, \dotsc, j_{k} \rbrace }なら両辺はゼロであるため、これらは等しいとしてよい。更に{ i_{p} }に同じものがあっても両辺はゼロであるため{ i_{1}, \dotsc, i_{p} }は互いに異なるとしてよい。加えて交代性より{ i_{1}\lt\dotsm\lt i_{k} }としてよい。結局

{ ( e_{i_{1}}\wedge\dotsm\wedge e_{i_{k}} )\ast( e_{i_{k}}\wedge\dotsm\wedge e_{i_{1}} )=\mathrm{det}( e_{i_{p}}\ast e_{j_{q}} )_{p, q} }

を示せば良い。しかし左辺は

{ \begin{align*} ( e_{i_{1}}\wedge\dotsm\wedge e_{i_{k}} )\ast( e_{i_{k}}\wedge\dotsm\wedge e_{i_{1}} ) &= ( e_{i_{1}}\dotsm e_{i_{k}} )\ast( e_{i_{k}}\dotsm e_{i_{1}} ) \\ &= ( -1 )^{\frac{1}{2}k( k-1 )}e_{\lbrace i_{1}, \dotsc, i_{k} \rbrace}e_{\lbrace i_{1}, \dotsc, i_{k} \rbrace} \\ &= e_{i_{1}}\dotsm e_{i_{k}}e_{i_{k}}\dotsm e_{i_{1}} \\ &= r( i_{1} )\dotsm r( i_{k} ) \end{align*} }

である。一方で右辺は

{ \mathrm{det}( e_{i_{p}}\ast e_{j_{q}} )_{p, q}=\mathrm{det}( \mathrm{diag}( r( i_{1} ), \dotsc, r( i_{k} ) ) )=r( i_{1} )\dotsm r( i_{k} ) }

となり、左辺と一致する。{ \square }

定理 { X }は全順序として、{ \mathcal{G} }は非退化であるとする。ベクトル{ u_{1}, \dotsc, u_{k}\in\mathcal{G}^{1} }に対し、以下は同値である。

  • { \lbrace u_{1}, \dotsc, u_{k} \rbrace }は一次独立である。
  • { \lbrace u_{1}\wedge\dotsm\wedge u_{k} \rbrace }は一次独立である。

（証明）下から上は非退化性は必要ない。実際{ \lbrace u_{1}, \dotsc, u_{k} \rbrace }が一次従属とすると、全てがゼロではない係数を用いて

{ r_{1}u_{1}+\dotsm+r_{k}u_{k}=0 }

と表せる。並び替えて、特に{ r_{1}\neq 0 }を仮定してもよい。このとき{ u_{i}\wedge u_{i}=0 }より

{ \begin{align*} r_{1}( u_{1}\wedge\dotsm\wedge u_{k} )&=( r_{1}u_{1} )\wedge\dotsm\wedge u_{k} \\ &=( r_{1}u_{1}+\dotsm+r_{k}u_{k} )\wedge\dotsm\wedge u_{k} \\ &= 0 \end{align*} }

が成り立つ。故に{ \lbrace u_{1}\wedge\dotsm\wedge u_{k} \rbrace }は一次従属である。

上から下を示そう。{ U:=u_{1}\wedge\dotsm\wedge u_{k} }と置く。{ \alpha\neq 0 }により{ \alpha U=0 }であるとする。各{ j }について{ u_{j} }を表す基底は高々有限個なので適当な{ N\ge k }を取り、{ u_{j}=\sum_{i=1}^{N}\xi_{ij}e_{i} }と表せる。まず{ \alpha U\in\mathcal{G}^{k} }であるから、この各基底{ e_{I} }（{ \sharp I=k }）の係数を求める。

{ \displaystyle \alpha U=\sum_{\sharp J=k}\lambda_{J}e_{J} }

の両辺に右から{ e_{I}^{\dagger} }のスカラー積を取ると、

{ \displaystyle e_{J}\ast e_{I}^{\dagger}=( -1 )^{\frac{1}{2}k( k-1 )}e_{J}\ast e_{I} }

より、{ J\neq I }のときはゼロ、{ e_{I}\ast e_{I}=\prod_{i\in I}r( i )=:r( I ) }である。従って

{ \alpha U\ast e_{I}^{\dagger}=\lambda_{I}r( I ) }

である。ここで非退化なので{ r( I ) }は可逆であるから、

{ \displaystyle \alpha U=\sum_{\sharp I=k}\frac{1}{r( I )}( \alpha U\ast e_{I}^{\dagger} )e_{I} }

と表せる。

ここで{ N\times k }行列

{ A:=\left(\begin{matrix} \alpha\xi_{11} & \xi_{12} & \dotsm & \xi_{1k} \\ \vdots & \vdots & & \vdots \\ \alpha\xi_{N1} & \xi_{N2} & \dotsm & \xi_{Nk} \end{matrix}\right) }

を定めておく。この{ I\times\lbrace 1, \dotsc, k \rbrace }小行列を{ A^{I}_{\lbrace 1, \dotsc, k \rbrace} }と表すと、

{ \alpha U\ast e_{I}^{\dagger}=\mathrm{det}A^{I}_{\lbrace 1, \dotsc, k \rbrace} }

が成り立つ。実際、{ I }の元を小さい順に並べたものを{ i_{1}\lt \dotsm\lt i_{k} }とすれば、補題より

{ \begin{align*} \alpha U\ast e_{I}^{\dagger} &= \alpha( -1 )^{\frac{1}{2}k( k-1 )}( u_{1}\wedge u_{2}\wedge\dotsm\wedge u_{k} )\ast( e_{i_{1}}\wedge\dotsm\wedge e_{i_{k}} ) \\ &= \alpha( u_{1}\wedge u_{2}\wedge\dotsm\wedge u_{k} )\ast( e_{i_{k}}\wedge\dotsm\wedge e_{i_{1}} ) \\ &=\alpha\cdot\mathrm{det}\left(\begin{matrix} u_{1}\ast e_{i_{1}} & \dotsm & u_{1}\ast e_{i_{k}} \\ \vdots & & \vdots \\ u_{k}\ast e_{i_{1}} & \dotsm & u_{k}\ast e_{i_{k}} \end{matrix}\right) \end{align*} }

となる。ここで{ u_{p}\ast e_{i_{q}}=\xi_{pi_{q}} }であるから、

{ \begin{align*} \alpha U\ast e_{I}^{\dagger}&=\mathrm{det}\left(\begin{matrix} \alpha\xi_{1i_{1}} & \xi_{1i_{2}} &\dotsm & \xi_{1i_{k}} \\ \vdots & \vdots & & \vdots \\ \alpha\xi_{ki_{1}} & \xi_{ki_{2}} & \dotsm & \xi_{ki_{k}} \end{matrix}\right) \\ &=\mathrm{det}A^{I}_{\lbrace 1, \dotsc, k \rbrace} \end{align*} }

を得る。

さて、{ \alpha U=0 }だから、行列{ A }の全ての{ k\times k }小行列の行列式がゼロであることが分かる。これは即ち{ A }のランクが{ k }未満であることを意味している。{ \mathrm{rank}A=0 }の場合は、

{ \alpha\xi_{1i_{1}}=\dotsm=\alpha\xi_{ki_{1}}=0 }

及び

{ \xi_{pi_{2}}=\dotsm=\xi_{pi_{k}}=0 }

が全ての{ p }について言えるので、{ \lbrace u_{1}, \dotsc, u_{k} \rbrace }は一次従属である。{ t:=\mathrm{rank}A\gt 0 }の場合は、

{ d:=\mathrm{det}\left(\begin{matrix} \alpha\xi_{1i_{1}} & \dotsm & \xi_{1i_{t}} \\ \vdots & & \vdots \\ \alpha\xi_{ti_{1}} & \dotsm & \xi_{ti_{t}} \end{matrix}\right)\neq 0 }

としても一般性を失わない。（他の場合も同様。）このとき補題より、特に

{ c_{1}\alpha u_{1}+c_{2}u_{2}+\dotsm+c_{t}u_{t}+du_{k}=0 }

が成り立つ。これは{ \lbrace u_{1}, \dotsc, u_{k} \rbrace }が一次従属であることを意味する。{ \square }

クリフォード代数

体{ R }は{ \frac{1}{2} }を含むとする。つまり標数は{ 2 }でない（{ \mathrm{char}R\neq 2 }）とする。また{ X }は全順序であるとする。{ \mathcal{G}:=GA( X, R, r ) }と置く。

ベクトル{ v=\sum_{i}\alpha_{i}e_{i}\in\mathcal{G}^{1} }について、

{ \displaystyle q( v ):=\sum_{i}\alpha_{i}^{2}r( i ) }

と定める。

命題 { v, w\in\mathcal{G}^{1}, \lambda\in R }について以下が成り立つ。

  • { q( \lambda v )=\lambda^{2}q( v ) }が成り立つ。
  • { \beta_{q}( v, w ):=q( v+w )-q( v )-q( w ) }は双線型である。

（証明）上は定義から明らかだろう。下は{ v=\sum_{i}\alpha_{i}e_{i}, w=\sum_{i}\beta_{i}e_{i} }として

{ \displaystyle \begin{align*} \beta_{q}( v, w ) &= \sum_{i}( \alpha_{i}+\beta_{i} )^{2}r( i )-\sum_{i}\alpha_{i}^{2}r( i )-\sum_{i}\beta_{i}^{2}r( i ) \\ &=2\sum_{i}\alpha_{i}\beta_{i}r( i ) \end{align*} }

より、双線型性も明白だろう。{ \square }

この{ \beta_{q} }により、一般的に知られているクリフォード代数とGAは同等であることが分かる。（例えばクリフォード代数の普遍性などにより同型を示せる。）

興味深いのは非退化性が同値となることだ。

命題 以下は同値である。

  • { r }は非退化である。即ち任意の{ x\in X }について{ r( x ) }は可逆である。つまり{ r( x )\neq 0 }である。
  • { \beta_{q} }は非退化である。即ち任意の{ w\in\mathcal{G}^{1} }について{ \beta_{q}( v, w )=0 }なら{ v=0 }である。

（証明）下から上を示そう。{ r( k ) }が可逆でないとする。つまり{ r( k )=0 }とする。このとき{ v=e_{k} }と置けば、{ w=\sum_{i}\beta_{i}e_{i} }について

{ \beta_{q}( e_{k}, w )=2\beta_{k}r( k )=0 }

である。つまり{ \beta_{q} }は非退化でない。

上から下を示そう。任意の{ w }について{ \beta_{q}( v, w )=0 }とする。特に{ e_{k} }について

{ \beta_{q}( v, e_{k} )=2\alpha_{k}r( k )=0 }

である。今{ R }の標数は{ 2 }でないから、{ \alpha_{k}r( k )=0 }を得る。{ r }が非退化なら{ \alpha_{k}=0 }であり、故に{ v=0 }が従う。{ \square }

そこでベクトルの成す部分空間の非退化性を次のようにして定める。

定義 部分空間{ W\subset\mathcal{G}^{1} }について、{ \beta_{q} }が{ W }上で非退化であるとき、{ W }は非退化であると呼ぶ。

{ r }が非退化であることと、{ V=\mathcal{G}^{1} }が非退化であることは同値である。

所感

長くなったのでGAの線型構造についてはまた次回に続く。

GA上でやりたいことは山ほどあるけど追う体力が無い。現状それぞれに対して抱いている印象を以下に挙げる。

  • 「ユークリッド幾何・射影幾何・双曲幾何」道具は揃っているので難しくはないはず。
  • 「幾何計算（GC）」{ R }を函数環にして微分やら積分を行う。微積分学の基本定理、コーシーの積分定理、グリーンの定理など。ニュートン力学、電磁気学、特殊相対論はここに含まれるのではないか。マクスウェル方程式をGA上で一纏めにできたりする。発展として、函数解析が出来るのかどうか。デルタ函数などの超函数はGAではどう解釈されるのか。
  • 「微分幾何」フレネ標構や曲率といった曲線・曲面論はGA上で書き直したらすっきりしそう。多様体論は埋め込み定理があるので、GA上で全て実行ができる。
  • 「共形GA」射影幾何の発展。無限遠ベクトルを加えたGAを考えることで円や球を扱えるようになるらしい。コンピューターグラフィクスとの関連もある。金谷健一氏の本が参考になるかもしれない。というか邦書でGAに関する唯一の本。
  • 「一般クリフォード代数（GCA）」クリフォード代数の素朴な拡張らしい。combinatorialに定義する方法を見つけられたら嬉しい。

非退化GAの双対構造

数学 Geometric Algebra

小ネタというか、七誌さん（七誌の開発日記）とマストドンで交わした内容について。

擬スカラー

{ X }が有限集合であって、{ r\colon X\rightarrow R }について{ r( x ) }が常に可逆となるとき、GAは非退化（non-degenerate）であると言う。以下{ \mathcal{G}:=GA( X, R, r ) }は非退化であるとする。

定義 { P:=e_{X} }を擬スカラー（pseudo-scalar）と呼ぶ。

擬スカラーは可逆である。実際

{ \displaystyle P^{2}=e_{X}e_{X}=\left( \prod_{x\in X} r( x ) \right)( -1 )^{\tau( X, X )} }

なので、右逆元と左逆元は一致して{ P^{-1}=\alpha P }の形をしている。

補題 任意の{ A\in\mathcal{G} }について{ AP=A\sqsubset P }が成り立つ。

（証明）{ e_{I}e_{X}=( I\subset X )e_{I}e_{X} }より明らか。{ \square }

従って{ AP^{-1}=A\sqsubset P^{-1} }でもある。

定義 { A\in\mathcal{G} }について、その双対（dual）を

{ A^{d}:=AP^{-1} }

により定める。このときvel積（ラテン語の"or"に相当、{ \TeX }だとvee）を

{ ( A\vee B )^{d}:=A^{d}\wedge B^{d} }

が成り立つように定める。つまり

{ A\vee B:=( AP^{-1}\wedge B^{-1} )P }

で定める。

命題 { A, B\in\mathcal{G} }について以下が成り立つ。

  • { A\sqsubset B^{d}=( A\wedge B )^{d} }が成り立つ。
  • { A\wedge B^{d}=( A\sqsubset B )^{d} }が成り立つ。

（証明）上については

{ \begin{align*} A\sqsubset( BP^{-1} ) &= A\sqsubset( B\sqsubset P^{-1} ) \\ &= ( A\wedge B )\sqsubset P^{-1} \\ &=( A\wedge B )P^{-1} \end{align*} }

より従う。これを用いれば、{ P^{2} }がスカラーであることから

{ \begin{align*} A\wedge( BP^{-1} ) &= ( A\wedge ( BP^{-1} ) )P^{-1}P \\ &= ( A\sqsubset( BP^{-1}P^{-1} ) )P \\ &= ( A\sqsubset B )P^{-2}P \\ &= ( A\sqsubset B )P^{-1} \end{align*} }

より下も従う。{ \square }

3次元GAのクロス積

以下{ R=\mathbb{R} }として{ X=\lbrace 0, 1, 2 \rbrace }には通常の順序が定まっているとする。要するに{ GA( 3, 0 ) }を考える。これは非退化であり、{ X }は全順序であり、{ \frac{1}{2}\in\mathbb{R} }でもある。

一般的に用いられる「外積」はGAにおいてどのような演算だろうか。まず

{ \begin{align*} a&=\alpha_{0}e_{0}+\alpha_{1}e_{1}+\alpha_{2}e_{2}, \\ b&=\beta_{0}e_{0}+\beta_{1}e_{1}+\beta_{2}e_{2} \end{align*} }

について「外積」{ a\times b }を計算すると

{ ( \alpha_{1}\beta_{2}-\alpha_{2}\beta_{1} )e_{0} - ( \alpha_{0}\beta_{2}-\alpha_{2}\beta_{0} )e_{1} + ( \alpha_{0}\beta_{1}-\alpha_{1}\beta_{0} )e_{2} }

となる。ここでwedge積{ a\wedge b }は

{ \begin{align*} &\alpha_{0}\beta_{1}e_{0}\wedge e_{1}+\alpha_{0}\beta_{2}e_{0}\wedge e_{2} \\ +&\alpha_{1}\beta_{0}e_{1}\wedge e_{0}+\alpha_{1}\beta_{2}e_{1}\wedge e_{2} \\ +&\alpha_{2}\beta_{0}e_{2}\wedge e_{0}+\alpha_{2}\beta_{1}e_{2}\wedge e_{1} \end{align*} }

である。これを整理すると

{ ( \alpha_{0}\beta_{1}-\alpha_{1}\beta_{0} )e_{01}+( \alpha_{0}\beta_{2}-\alpha_{2}\beta_{0} )e_{02}+( \alpha_{1}\beta_{2}-\alpha_{2}\beta_{1} )e_{12} }

となる。ここで3次元GAでは{ P=e_{012}=e_{0}e_{1}e_{2} }について{ P^{2}=-1 }である。故に上の式のdualを取れば

{ e_{01}^{d}=e_{2}, e_{02}^{d}=-e_{1}, e_{12}^{d}=e_{0} }

が成り立つ。従って

{ a\times b = ( a\wedge b )^{d} }

が分かる。

このことから、前回示した命題

{ v( A\wedge B )=( vA )\wedge B+A^{\star}\wedge( v\sqsubset B ) }

あるいは系

{ v\sqsubset( A\wedge B )=( v\sqsubset A )\wedge B+A^{\star}\wedge( v\sqsubset B ) }

は、ベクトル三重積と呼ばれる恒等式の一般化であることが分かる。実際{ v, A, B }に{ a, b, c }を代入すると

{ a\sqsubset( b\wedge c )=( a\sqsubset b )\wedge c+b^{\star}\wedge( a\sqsubset c ) }

を得るが、左辺は{ -a\times( b\times c ) }であり、右辺は{ ( a\cdot b )c-( a\cdot c )b }である。

所感

クロス積は3次元GAという非常に限られた環境でのみ定義される概念である。外積からではベクトル三重積の意味は分かり難いが、論理式の同値性から従う公式の特別な場合と見れば、その恒等性は明白になるだろう。従ってGAでは外積を用いない。現在の数学教育ではスカラー、ベクトル、行列は全て別々に扱われ、また内積や外積といった演算を個別に扱う。GAはこれらを包括的に纏め上げた概念であり、先の意味でもGAは教育的に優れている。つまり何が言いたいかと言うと中学校でGAを学ぶ未来は近い。

GAの計算

数学 Geometric Algebra

前回の復習

{ ( X, \le ) }を半順序集合、{ \mathbb{F} }を{ X }の有限部分集合全体とする。{ R }を単位的可換環として{ r\colon X\rightarrow R }を写像とする。{ I, J\in\mathbb{F} }に対して

{ \tau( I, J ):= \sharp\lbrace ( i, j ) : i \gt j, i\in I, j\in J \rbrace }

と定めると、任意の{ I, J, K\in\mathbb{F} }に対して

{ \tau( I, J )+\tau( I\triangle J, K )\equiv\tau( I, J\triangle K )+\tau( J, K ) \pmod{2} }

が成り立つ。ここで

{ \displaystyle \sigma( I, J ):=\left( \prod_{x\in I\cap J}r( x ) \right)( -1 )^{\tau( I, J )} }

と定めると、自由{ R }-加群

{ \displaystyle \mathcal{G}=GA( X, R, r ) := \bigoplus_{I\in\mathbb{F}}Re_{I} }

上に、{ R }-双線型かつ結合的な積を

{ e_{I}e_{J}:=\sigma( I, J )e_{I\triangle J} }

で定めることができる。このような代数を総じて幾何代数（Geometric Algebra, GA）と呼ぶ。

さて

{ \tau( J, I )\equiv\tau( I, I )+\tau( J, J )+\tau( I\triangle J, I\triangle J )+\tau( I, J ) }

が成り立つことから、GAの基底に対する積の交換は

{ e_{J}e_{I}=(-1)^{\tau( I, I )+\tau( J, J )+\tau( I\triangle J, I\triangle J )}e_{I}e_{J} }

で計算することができる。特に{ x, y }が比較可能なら{ e_{y}e_{x}=-e_{x}e_{y} }となり、比較不可能なら{ e_{y}e_{x}=e_{x}e_{y} }となる。また{ e_{x}^{2}=r( x ) }である。更に2種類の対称性involutionとreversionをそれぞれ

{ \begin{align*} e_{I}^{\star}&:=( -1 )^{\sharp I}e_{I}, & e_{I}^{\dagger}&:=( -1 )^{\tau( I, I )}e_{I} \end{align*} }

で定める。すると任意の{ A, B\in\mathcal{G} }について

{ \begin{align*} ( AB )^{\star}&=A^{\star}B^{\star}, & ( AB )^{\dagger}&=B^{\dagger}A^{\dagger} \end{align*} }

が成り立つ。これらの合成

{ e_{I}^{\Box}:=( e_{I}^{\star} )^{\dagger}=( e_{I}^{\dagger} )^{\star} }

をconjugationという。

記号に関連性が無くて分かり難いので{ e_{I}^{i}, e_{I}^{r}, e_{I}^{c} }などとするべきか否か。一応下のノートに合わせてある。

Douglas Lundholm, Lars Svensson. Clifford Algebra, Geometric Algebra, and Applications.

積の分解

論理式{ P }に対して、{ P }が真のとき{ ( P ):=1 }、偽のとき{ ( P ):= 0 }と表す。

定義

  • { e_{I}\wedge e_{J}:=( I\cap J=\emptyset )e_{I}e_{J} }をウェッジ積（wedge/outer product）と呼ぶ。
  • { e_{I}\sqsubset e_{J}:=( I\subset J )e_{I}e_{J} }を左内積（left interior/inner product）と呼ぶ。
  • { e_{I}\sqsupset e_{J}:=( I\supset J )e_{I}e_{J} }を右内積と呼ぶ。
  • { e_{I}\ast e_{J}:=( I=J )e_{I}e_{J} }をスカラー積（scalar product）と呼ぶ。

これらの演算は線型にGA上へ拡張しておく。

involutionに対する各々の振る舞いは可換となる。具体的には

{ \begin{align*} ( A\wedge B )^{\star}&=A^{\star}\wedge B^{\star}, \\ ( A\sqsubset B )^{\star}&=A^{\star}\sqsubset B^{\star}, \\ ( A\sqsupset B )^{\star}&=A^{\star}\sqsupset B^{\star}, \\ ( A\ast B )^{\star}&=A^{\star}\ast B^{\star} \end{align*} }

が成り立つ。一方でreversionに対しては反転し、また左内積と右内積は「逆」になる。具体的には

{ \begin{align*} ( A\wedge B )^{\dagger}&=B^{\dagger}\wedge A^{\dagger}, \\ ( A\sqsubset B )^{\dagger}&=B^{\dagger}\sqsupset A^{\dagger}, \\ ( A\sqsupset B )^{\dagger}&=B^{\dagger}\sqsubset A^{\dagger}, \\ ( A\ast B )^{\dagger}&=B^{\dagger}\ast A^{\dagger} \end{align*} }

が成り立つ。

命題 { A, B, C\in\mathcal{G} }とする。このとき

{ \begin{align*} A\wedge( B\wedge C ) &= ( A\wedge B )\wedge C, \\ A\sqsubset ( B\sqsupset C ) &= ( A\sqsubset B )\sqsupset C, \\ A\sqsubset( B\sqsubset C ) &= ( A\wedge B )\sqsubset C, \\ A\ast( B\sqsubset C ) &= ( A\wedge B )\ast C \end{align*} }

が成り立つ。特に

{ 1\wedge A = A\wedge 1 = 1\sqsubset A = A\sqsupset 1 = A }

である。

（証明）全て基底について示すことが出来ればよい。例えば一つ目の左辺は

{ e_{I}\wedge ( e_{J}\wedge e_{K} )=( J\cap K=\emptyset )( I\cap( J\triangle K )=\emptyset )e_{I}e_{J}e_{K} }

であり、右辺は

{ ( e_{I}\wedge e_{J} )\wedge e_{K}=( I\cap J=\emptyset )( ( I\triangle J )\cap K=\emptyset )e_{I}e_{J}e_{K} }

である。ここで両者が一致することは、それぞれの論理式が同値であることから直ちに従う。他も同様である。{ \square }

{ \mathcal{G} }は各{ k }について、{ \sharp I=k }なる{ e_{I} }で生成される部分空間{ \mathcal{G}^{k} }の直和で表せる。すなわち{ \mathcal{G} }は次数付き環となる。そこで{ A\in GA }に対し、その{ k }次成分への射影を{ \langle A \rangle_{k} }で表す。ゼロ次の元をスカラー（scalar）、1次の元をベクトル（vector）、2次の元をバイベクトル（bivector）、一般に{ k }-次の元を{ k }-ベクトルと呼ぶ。

伝統的にスカラー（{ R }の元）はギリシャ文字{ \alpha, \beta, \gamma, \dotsc }、ベクトルはアルファベットの小文字{ u, v, w, \dotsc }、{ \mathcal{G} }の任意の元をアルファベットの大文字{ A, B, C, \dotsc }で表記することが多い。

involutionやreversionに対して

{ \begin{align*} \langle A \rangle_{k}^{\star}&=\langle A^{\star} \rangle_{k}, & \langle A \rangle_{k}^{\dagger}&=\langle A^{\dagger} \rangle_{k} \end{align*} }

が成り立つことは良いだろう。

次はGAの基本等式と呼ばれている。

命題 { v\in\mathcal{G}^{1}, A\in\mathcal{G} }とする。このとき

{ vA = v\sqsubset A+v\wedge A }

が成り立つ。

（証明）各基底について示せば良い。実際{ x\in X, I\in\mathbb{F} }について

{ e_{x}e_{I}=( \lbrace x \rbrace\subset I )e_{x}e_{I}+( \lbrace x \rbrace\cap I=\emptyset )e_{x}e_{I}=e_{x}\sqsubset e_{I}+e_{x}\wedge e_{I} }

が成り立つ。{ \square }

同じ議論で

{ Av = A\sqsupset v+A\wedge v }

が成り立つことも分かる。あるいはreversionを取っても良い。実際

{ e_{x}e_{I} = e_{x}\sqsubset e_{I}+e_{x}\wedge e_{I} }

についてreversionを取ると

{ e_{I}^{\dagger}e_{x}^{\dagger} = e_{I}^{\dagger}\sqsupset e_{x}^{\dagger}+e_{I}^{\dagger}\wedge e_{x}^{\dagger} }

を得る。ここで{ e_{x}^{\dagger}=e_{x}, e_{I}^{\dagger}=( -1 )^{\tau( I, I )}e_{I} }を代入すれば

{ e_{I}e_{x} = e_{I}\sqsupset e_{x}+e_{I}\wedge e_{x} }

が従う。

GAの公式

あとはもうどんな式であっても、定義に沿って計算をすることができる。とはいえそれなりに複雑で大変なので、便利な「公式」を作っておくと良い。以下{ ( X, \le ) }は全順序とする。つまり

{ \displaystyle \tau( I, I )=\frac{1}{2}\sharp I( \sharp I-1 ) }

が成り立つ。また{ \frac{1}{2}\in R }を仮定する。

補題 { x\in X, I\in\mathbb{F} }とする。このとき次が成り立つ。

  • { x\in I }のとき{ e_{I}e_{x}=( -1 )^{\sharp I-1}e_{x}e_{I} }が成り立つ。
  • { x\notin I }のとき{ e_{I}e_{x}=( -1 )^{\sharp I}e_{x}e_{I} }が成り立つ。

（証明）交換の関係式

{ e_{x}e_{I}=(-1)^{\tau( I, I )+\tau( \lbrace x \rbrace, \lbrace x \rbrace )+\tau( I\triangle\lbrace x \rbrace, I\triangle\lbrace x \rbrace )}e_{I}e_{x} }

を計算すればよい。対称差について{ x\in I }のときは{ \sharp( I\triangle\lbrace x \rbrace )=\sharp I-1 }より

{ \displaystyle \tau( I\triangle\lbrace x \rbrace, I\triangle\lbrace x \rbrace )=\frac{1}{2}( \sharp I-1 )( \sharp I-2 ) }

である。一方{ x\notin I }のときは{ \sharp( I\triangle\lbrace x \rbrace )=\sharp I+1 }より

{ \displaystyle \tau( I\triangle\lbrace x \rbrace, I\triangle\lbrace x \rbrace )=\frac{1}{2}( \sharp I+1 )\sharp I }

である。{ \tau( \lbrace x \rbrace, \lbrace x \rbrace )=0 }だから、指数部はそれぞれ

{ \displaystyle \begin{align*} \frac{1}{2}\sharp I( \sharp I-1 )+\frac{1}{2}( \sharp I-1 )( \sharp I-2 )&=( \sharp I-1 )^{2}\equiv\sharp I-1, \\ \frac{1}{2}\sharp I( \sharp I-1 )+\frac{1}{2}( \sharp I+1 )\sharp I &= \sharp I^{2}\equiv\sharp I \end{align*} }

となる。{ \square }

命題 { v\in\mathcal{G}^{1}, A\in\mathcal{G} }とする。このとき次が成り立つ。

  • { v\wedge A = A^{\star}\wedge v = \frac{1}{2}( vA+A^{\star}v ) }が成り立つ。
  • { v\sqsubset A = -A^{\star}\sqsupset v =\frac{1}{2}( vA-A^{\star}v ) }が成り立つ。

（証明） 補題より

{ \begin{align*} e_{I}^{\star}\wedge e_{x} &= ( -1 )^{\sharp I}( I\cap \lbrace x \rbrace=\emptyset )e_{I}e_{x} \\ &= ( -1 )^{\sharp I}( I\cap \lbrace x \rbrace=\emptyset )( -1 )^{\sharp I}e_{x}e_{I} \\ &= e_{x}\wedge e_{I}, \\ e_{I}^{\star}\sqsupset e_{x} &= ( -1 )^{\sharp I}( I\supset\lbrace x \rbrace )e_{I}e_{x} \\ &= ( -1 )^{\sharp I}(\lbrace x \rbrace\subset I )( -1 )^{\sharp I-1 }e_{x}e_{I} \\ &= -e_{x}\sqsubset e_{I} \end{align*} }

が分かる。ここで

{ \begin{align*} e_{x}e_{I}&=e_{x}\sqsubset e_{I}+e_{x}\wedge e_{I}, \\ e_{I}^{\star}e_{x}&=( -1 )^{\sharp I}e_{I}e_{x}=( -1 )( e_{I}\sqsupset e_{x}+e_{I}\wedge e_{x} )=e_{I}^{\star}\sqsupset e_{x}+e_{I}^{\star}\wedge e_{x} \end{align*} }

が成り立つから、辺々足したり引いたりすれば残りの式を得る。{ \square }

系 { v\in\mathcal{G}^{1}, A, B\in\mathcal{G} }とする。このとき次が成り立つ。

  • { v\sqsubset( AB ) = ( v\sqsubset A )B+A^{\star}( v\sqsubset B ) }が成り立つ。
  • { v\wedge( AB ) = (v\sqsubset A )B+A^{\star}( v\wedge B ) }が成り立つ。

（証明） 最初の式は

{ \displaystyle \begin{align*} v\sqsubset( AB ) &= \frac{1}{2}( vAB-( AB )^{\star}v ) \\ &=\frac{1}{2}( vAB-A^{\star}vB+A^{\star}vB-A^{\star}B^{\star}v ) \\ &= \frac{1}{2}( vA-A^{\star}v )B+A^{\ast}\frac{1}{2}( vB-B^{\star}v ) \\ &=( v\sqsubset A )B+A^{\star}( v\sqsubset B ) \end{align*} }

より従う。もう一方も

{ \displaystyle \begin{align*} v\wedge( AB ) &= \frac{1}{2}( vAB+( AB )^{\star}v ) \\ &=\frac{1}{2}( vAB-A^{\star}vB+A^{\star}vB+A^{\star}B^{\star}v ) \\ &= \frac{1}{2}( vA-A^{\star}v )B+A^{\star}\frac{1}{2}( vB+B^{\star}v ) \\ &=( v\sqsubset A )B+A^{\star}( v\wedge B ) \end{align*} }

より従う。{ \square }

命題 { v\in\mathcal{G}^{1}, A, B\in\mathcal{G} }とする。このとき

{ v( A\wedge B )=A^{\star}\wedge( v\sqsubset B )+( vA )\wedge B }

が成り立つ。

（証明）双線型性より

{ ( I\cap J=\emptyset )e_{x}e_{I}e_{J} = ( -1 )^{\sharp I}( I\cap (\lbrace x \rbrace\triangle J )=\emptyset )( x\in J )e_{I}e_{x}e_{J}+( ( \lbrace x \rbrace\triangle I )\cap J=\emptyset )e_{x}e_{I}e_{J} }

が成り立つことを示せば良い。左辺と、右辺の第2項の論理式をそれぞれ{ P, Q }と置き、これらの真偽で場合分けを行う。ベン図を書くと分かり易い。

{ P }が真で、{ Q }が真の場合。{ I }と{ J }は共通部分を持たないため、{ Q }が真であることから、{ x\in I }または{ x\notin ( I\cup J ) }である。いずれの場合も{ x\notin J }より右辺の第1項はゼロとなり、両辺は一致する。

{ P }が真で、{ Q }が偽の場合。{ x\in J }であることが分かる。このとき{ x\notin I }なので

{ e_{I}e_{x}e_{J}=( -1 )^{\sharp I}e_{x}e_{I}e_{J} }

となり、故に両辺は一致する。

{ P }が偽で、{ Q }が真の場合。このとき{ I\cap J=\lbrace x \rbrace }でなければならない。従って{ I\cap ( \lbrace x \rbrace\triangle J )=\emptyset }は真であり、{ x\in J }も真である。一方{ x\in I }でもあるから

{ e_{I}e_{x}e_{J}=( -1 )^{\sharp I-1}e_{x}e_{I}e_{J} }

となり、右辺は{ ( -1 )+1=0 }となる。故に両辺は一致する。

{ P }が偽で、{ Q }も偽の場合。このとき{ I\cap J }には{ x }以外の元{ y }が含まれる。故に{ I\cap ( \lbrace x \rbrace\triangle J )\ni y }となり、右辺の第1項はゼロとなり、両辺は一致する。{ \square }

系 { v\in\mathcal{G}^{1}, A, B\in\mathcal{G} }とする。このとき

{ v\sqsubset( A\wedge B ) = ( v\sqsubset A )\wedge B+A^{\star}\wedge ( v\sqsubset B ) }

が成り立つ。

（証明）命題より

{ \begin{align*} ( v\sqsubset A )\wedge B &= ( vA -v\wedge A )\wedge B \\ &= ( vA )\wedge B-v\wedge( A\wedge B ) \\ &= ( vA )\wedge B-v( A\wedge B )+v\sqsubset( A\wedge B ) \\ &= -A^{\star}\wedge( v\sqsubset B )+v\sqsubset( A\wedge B ) \end{align*} }

を得る。{ \square }

系 { v, a_{1}, \dotsc, a_{n}\in\mathcal{G}^{1} }とする。このとき

{ \displaystyle v\sqsubset( a_{1}\wedge a_{2}\wedge\dotsb\wedge a_{n} ) = \sum_{k=1}^{n}( -1 )^{k-1}( v\ast a_{k} )( a_{1}\wedge\dotsb\wedge\langle a_{k} \rangle\wedge\dotsb\wedge a_{n} ) }

が成り立つ。ただし{ \langle \cdot \rangle }は除外を意味する。

（証明）ベクトル{ u, v\in\mathcal{G}^{1} }について{ u\sqsubset v=u\ast v }に注意すれば、{ n }に関する帰納法より従う。{ \square }

以上で2つの式

{ \begin{align*} v\sqsubset( AB ) &= ( v\sqsubset A )B+A^{\star}( v\sqsubset B ), \\ v\sqsubset( A\wedge B ) &= ( v\sqsubset A )\wedge B+A^{\star}\wedge ( v\sqsubset B ) \end{align*} }

を示した。これらはベクトル{ v }による左内積が、GAの積及びwedge積に対して反微分として振舞うことを表している。この意味で作用{ A\mapsto v\sqsubset A }を{ \partial_{v} }と書くことがある。

命題 { A_{s}\in\mathcal{G}^{s}, B_{t}\in\mathcal{G}^{t} }に対して

{ B_{t}\wedge A_{s}=( -1 )^{st}A_{s}\wedge B_{t} }

が成り立つ。

（証明）{ I\cap J=\emptyset }のとき

{ \displaystyle \tau( I\triangle J, I\triangle J ) = \frac{1}{2}( \sharp I+\sharp J )( \sharp I+\sharp J-1 ) = \tau( I, I )+\tau( J, J )+\sharp I\cdot\sharp J }

が成り立つ。従って

{ \begin{align*} e_{J}\wedge e_{I} &= ( J\cap I=\emptyset ) e_{J}e_{I} \\ &= ( I\cap J=\emptyset )( -1 )^{\tau( I, I )+\tau( J, J )+\tau( I\triangle J, I\triangle J )}e_{I}e_{J} \\ &= ( -1 )^{\sharp I\cdot\sharp J}e_{I}\wedge e_{J} \end{align*} }

となる。故に{ \sharp I=s, \sharp J=t }なる{ I, J }について和を取れば良い。{ \square }

ちなみに、内積として

{ e_{I}\cdot e_{J}:= ( I\subset J \vee I\supset J )e_{I}e_{J} = e_{I}\sqsubset e_{J}+e_{I}\sqsupset e_{J}-e_{I}\ast e_{J} }

を定義することもあるようだ。

所感

今回はGAの演算について考察を深めてみた。論理演算と相性が良いため、様々な公式を得ることが出来る。記号が多いので大変だが、これほど豊かな代数系はそうないだろう。