GA(幾何代数)はいいぞ 2次元編
GA(Geometric Algebra)とは1960年代にヘステネス(Hestenes)が推し進めた分野の一つである。あるいはハミルトンやグラスマン、クリフォード達による一連の研究を再興しようという動きであるとも言える。その内容は現在クリフォード代数と呼ばれている結合的代数の研究であるが、抽象的な定義から続く難解な推論ではなく、幾何的な分かり易さに主眼を置いている(と思う)。もちろんこれは厳密でないことを意味しない。数学的な正確さを持ちながら、物理学や計算科学などへの応用を目指している。コンピュータの発展と計算環境の向上により、今ならヘステネスの時代にできなかった応用もあるに違いない。従って改めてGAを学ぶ意義はあるだろう。
GAが扱うのはもちろん可換な代数ではない。なぜならGAが可換ならAG(Algebraic Geometry)となりこれは凄く難しい学問だが、GAはとても簡単だからである。今回はタイトルに2次元編と書いたが、GAとして最も簡単な平面のGAを紹介しようと思う。
GAで扱う対象はクリフォード代数そのものなので、正直なところ違いは良く分からない。実クリフォード代数の理論と言っても良いが、ヘステネスが考えていたのはそういうことではない気がする。あるいはGAをある公理系を満たす一種の代数として捉えることもできるが、人によりけりで明確な定義はないように思う。公理的な視点からはChisolmが6つの公理を挙げている。いずれにせよ幾何的な積を持つ代数のことではあり、より広く捉えるべき対象なのかもしれない。
Eric Chisolm. Geometric Algebra. arXiv:1205.5935v1 [math-ph] 27 May 2012.
平面のGA
平面のGAでは、をgeneratorとする-代数を考える。(ある都合があって添え字はゼロ始まり。)ただしrelationは
で与える。この代数はやと書かれることが多い。
の-ベクトル空間としての基底はである。従ってこれは実4次元の空間である。一般にが張る部分空間の元をスカラー(scalar)、が張る部分空間の元をベクトル(vector)、が張る部分空間の元を2-ベクトルやバイベクトル(bivector)と呼ぶ。
を上記のようにrelationで定義すると、これが真に結合的であるかを確認する必要が生じる。しかし今はこれを気にする必要はない。Arthanは対称差を用いたシンプルかつスマートな方法でGAを構成している。詳しくは次の論文を見て欲しい。
R.D.Arthan. A Minimalist Construction of the Geometric Algebra. arXiv:math/0607190v2 [math.RA] 9 Jul 2006.
これが平面のGAと呼ばれる理由は、ユークリッド平面からの自然な入射があるからである。実際に対しを対応させる写像は線型かつ単射である。そこでこれを同一視してとみなすことができる。ここで「2次元ベクトル同士の積」を考えてみよう。とする。2つを掛けると
となる。ここで第1項は内積と等しいのでと表そう。第2項はと表しwedge積と呼ぶ。(outer productと呼ぶのが一般的かもしれないが、日本語的にはwedgeの方が良さそう。)つまり
を得る。恐らくこれがGAで最も基本的な式となる。またを計算すると
となる。従って
が分かる。大事なのは、内積は双線型かつ対称であり、wedge積が双線型かつ反対称ということである。
この式だけでもかなりのことが言える。例えばが直交するとき内積はゼロとなり、が並行のときwedge積はゼロとなる。従って
となるため、
を得る。つまり任意のゼロでないベクトルは可逆である。特にである。また
も成り立つ。これはクリフォード代数で重要な式だった。
平面のGAではという元が鍵となる。はpseudoscalarと呼ばれ、
を満たす。もう勘のいい人なら分かるだろう。は複素数体からの自然な入射も持つ。実際に対し、を対応させる写像は積を保ち、線型かつ単射である。そこでこれを同一視してと見なすことができる。また先ほどのユークリッド平面との自然な対応を
で与えるなら、これはを左から掛ける操作により達成できる。即ち
が成り立つ。
続いてベクトルの回転を考えてみよう。を反時計回りに回転させたものをとしよう。我々は既に複素数としての回転を知っているから、
となる。つまりが平面のGAにおけるベクトルの回転を与える式となる。
次にベクトルの反射を考えてみよう。まず2つのベクトルが成す角をとすれば、
を得る。このときは平面のGAにおける極座標表示と言える。さてのへの射影は
である。よってベクトルの法ベクトルに対する反射は、
に注意すれば、
で与えられる。
最後にについて考えてみよう。の係数はとが為す平行四辺形の面積である。つまりはとが為す平面、その大きさ、そしてその向き()を表している。これがwedge積の持つ幾何的な意味である。
平面幾何への応用
GAの素朴な応用として、平面幾何の問題をGA上で解いてみよう。試しに色々計算してみたら、高校受験でお馴染み? のチェバの定理と、2つの三角形に対するデザルグの定理を「代数的に」示すことが出来た。
まずベクトルが為す平面上の点を考える。このときと一意的に表せる。ここでwedge積を取ると
を得る。即ち
となる。ここで分数の形で書いてよいかという問題が生じるが、はが並行でないとき可逆であり、更に右と左どちらから掛けても変わらないことが示せる。上の式を元の式に代入すれば、Cramer式
を得る。
さて平面幾何の基本は、2直線の交点を求めることにある。点を基点として方向の直線と、点を基点として方向の直線の交点を求めたい。と表せるので
となる。故に
が従う。これが2直線の交点を表す式である。
チェバの定理 三角形ABCの内部に点Oを取る。AOとBCの交点をL、BOとCAの交点をM、COとABの交点をNとする。このとき
が成り立つ。
(証明)点Oを原点に取り、OA, OB, OCをそれぞれとする。またをとする。Lはから方向の直線とから方向の直線の交点だから、
である。同様にMはから方向の直線とから方向の直線の交点だから、
である。またNはから方向の直線とから方向の直線の交点だから、
である。ここでANとNBの長さの比は、三角形OANと三角形ONBの面積の比でもあり、更にOAとONが為す平行四辺形とONとOBが為す平行四辺形の面積の比でもある。よって
を得る。他も同様だから
が従う。
デザルグの定理 三角形ABCと三角形A'B'C'に対し、AA'とBB'とCC'は一点Oで交わるとする。このときABとA'B'の交点X、BCとB'C'の交点Y、CAとC'A'の交点Zは一直線上にある。
(証明)点Oを原点に取り、OA, OB, OCをそれぞれ、OA', OB', OC'をそれぞれとする。またOX, OY, OZをとする。Xはから方向の直線とから方向の直線の交点だから、
である。同様にYはから方向の直線とから方向の直線の交点だから、
である。またZはから方向の直線とから方向の直線の交点だから、
である。少し計算をすれば
が分かる。さて、が一直線上にあることは、を計算してみれば分かる。例えばの係数は
となる。他も同様なのでwedge積はゼロ、つまり並行なので、X, Y, Zが一直線上にあることが従う。
このように適切に条件を設定してやれば、代数的な計算で平面幾何の問題を解くことができる。デザルグの定理は計算がちょっと大変だったけど、工夫すればもっと簡潔に示すことが出来るかもしれない。幸いなことに、平面幾何の問題はこの世に山ほど存在するので、それぞれに対してGAを用いた証明を考えてみるのも面白いと思う。皆さんも是非考えてみてね。
所感
GAと聞くと芸術家アートデザインクラスを思い出す。いいアニメだった。漫画は読んでないけど、もう完結したらしいですね。ギャラクシーエンジェル? うーん知らんなぁ。