GAの計算
前回の復習
を半順序集合、をの有限部分集合全体とする。を単位的可換環としてを写像とする。に対して
と定めると、任意のに対して
が成り立つ。ここで
と定めると、自由-加群
上に、-双線型かつ結合的な積を
で定めることができる。このような代数を総じて幾何代数(Geometric Algebra, GA)と呼ぶ。
さて
が成り立つことから、GAの基底に対する積の交換は
で計算することができる。特にが比較可能ならとなり、比較不可能ならとなる。またである。更に2種類の対称性involutionとreversionをそれぞれ
で定める。すると任意のについて
が成り立つ。これらの合成
をconjugationという。
記号に関連性が無くて分かり難いのでなどとするべきか否か。一応下のノートに合わせてある。
Douglas Lundholm, Lars Svensson. Clifford Algebra, Geometric Algebra, and Applications.
積の分解
論理式に対して、が真のとき、偽のときと表す。
定義
- をウェッジ積(wedge/outer product)と呼ぶ。
- を左内積(left interior/inner product)と呼ぶ。
- を右内積と呼ぶ。
- をスカラー積(scalar product)と呼ぶ。
これらの演算は線型にGA上へ拡張しておく。
involutionに対する各々の振る舞いは可換となる。具体的には
が成り立つ。一方でreversionに対しては反転し、また左内積と右内積は「逆」になる。具体的には
が成り立つ。
命題 とする。このとき
が成り立つ。特に
である。
(証明)全て基底について示すことが出来ればよい。例えば一つ目の左辺は
であり、右辺は
である。ここで両者が一致することは、それぞれの論理式が同値であることから直ちに従う。他も同様である。
は各について、なるで生成される部分空間の直和で表せる。すなわちは次数付き環となる。そこでに対し、その次成分への射影をで表す。ゼロ次の元をスカラー(scalar)、1次の元をベクトル(vector)、2次の元をバイベクトル(bivector)、一般に-次の元を-ベクトルと呼ぶ。
伝統的にスカラー(の元)はギリシャ文字、ベクトルはアルファベットの小文字、の任意の元をアルファベットの大文字で表記することが多い。
involutionやreversionに対して
が成り立つことは良いだろう。
次はGAの基本等式と呼ばれている。
命題 とする。このとき
が成り立つ。
(証明)各基底について示せば良い。実際について
が成り立つ。
同じ議論で
が成り立つことも分かる。あるいはreversionを取っても良い。実際
についてreversionを取ると
を得る。ここでを代入すれば
が従う。
GAの公式
あとはもうどんな式であっても、定義に沿って計算をすることができる。とはいえそれなりに複雑で大変なので、便利な「公式」を作っておくと良い。以下は全順序とする。つまり
が成り立つ。またを仮定する。
補題 とする。このとき次が成り立つ。
- のときが成り立つ。
- のときが成り立つ。
(証明)交換の関係式
を計算すればよい。対称差についてのときはより
である。一方のときはより
である。だから、指数部はそれぞれ
となる。
命題 とする。このとき次が成り立つ。
- が成り立つ。
- が成り立つ。
(証明) 補題より
が分かる。ここで
が成り立つから、辺々足したり引いたりすれば残りの式を得る。
系 とする。このとき次が成り立つ。
- が成り立つ。
- が成り立つ。
(証明) 最初の式は
より従う。もう一方も
より従う。
命題 とする。このとき
が成り立つ。
(証明)双線型性より
が成り立つことを示せば良い。左辺と、右辺の第2項の論理式をそれぞれと置き、これらの真偽で場合分けを行う。ベン図を書くと分かり易い。
が真で、が真の場合。とは共通部分を持たないため、が真であることから、またはである。いずれの場合もより右辺の第1項はゼロとなり、両辺は一致する。
が真で、が偽の場合。であることが分かる。このときなので
となり、故に両辺は一致する。
が偽で、が真の場合。このときでなければならない。従っては真であり、も真である。一方でもあるから
となり、右辺はとなる。故に両辺は一致する。
が偽で、も偽の場合。このときには以外の元が含まれる。故にとなり、右辺の第1項はゼロとなり、両辺は一致する。
系 とする。このとき
が成り立つ。
(証明)命題より
を得る。
系 とする。このとき
が成り立つ。ただしは除外を意味する。
(証明)ベクトルについてに注意すれば、に関する帰納法より従う。
以上で2つの式
を示した。これらはベクトルによる左内積が、GAの積及びwedge積に対して反微分として振舞うことを表している。この意味で作用をと書くことがある。
命題 に対して
が成り立つ。
(証明)のとき
が成り立つ。従って
となる。故になるについて和を取れば良い。
ちなみに、内積として
を定義することもあるようだ。
所感
今回はGAの演算について考察を深めてみた。論理演算と相性が良いため、様々な公式を得ることが出来る。記号が多いので大変だが、これほど豊かな代数系はそうないだろう。