GAの線型理論その2
ブレード
以下、は全順序として、は体とする。
定義 をベクトルとする。
を-ブレード(blade)と呼ぶ。は-ブレードとする。
-ブレードは-ベクトル()となるが、まずはブレードの代数的性質から見ていこう。
補題 をゼロでないブレードとする。このとき
は一次独立である。特に
は一次独立である。
(証明)
とする。各についてのwedge積を取れば交代性よりとなる。今は体だから でなければならない。
同様の議論を繰り返し適応すれば
が一次独立であることも分かる。 特にであることからも一次独立となる。
これらの一次独立性から、ブレードの幾何学的解釈が得られる。
定義 ブレードについて、
と定める。
は線型空間であり、
を満たす。実際がの一次結合で表せるなら、wedge積の交代性よりとなる。特にが非退化の場合には両者は一致する。
命題 は非退化とする。をベクトル、はゼロでない-ブレードとする。以下は同値である。
- である。
- である。
(証明)及びが体であることからは一次独立である。従って前回の定理よりも一次独立である。とするとは一次従属であるため、は一次従属である。従ってを得る。
非退化の条件下で、ベクトルが一次独立のとき、ブレードはゼロでない。逆にゼロでないブレードは各成分のベクトルの独立性を意味し、この意味でブレードは、その成分ベクトルの貼る線形空間を自然に含意するものである。基本等式
を思い出せば、のときとなる。
直交性
さて、ブレードに対するベクトルの直交性を次のように定めてみよう。
定義 を-ブレード、をベクトルとする。
が成り立つとき、はブレードに直交(orthogonal)するという。
特にベクトル同士の直交は、ベクトルに対して
となることである。
直交性はの順序に依らず決まる。実際wedge積の交代性より並び替えについて
を満たす。
命題 をベクトル、をゼロでないブレードとする。次は同値である。
- が各に対して直交する。
- はブレードと直交する。
より、補題の一次独立性を用いれば示される。
定義 ベクトルの族が直交であるとは、任意のについてとが直交することをいう。
命題 が直交であるとき、
が成り立つ。
(証明)に関する帰納法で示そう。のとき
である。ここではに対して直交するから、はに対しても直交する。故に第1項はゼロとなり、
を得る。
次に取り組む問題は、一次独立なベクトルの族が与えられたとき、を変えずに、その直交基底が取れるかという問題である。
定義 ブレードについて、である。そこでのグラミアン(gramian)を
と定める。
はブレードの並び替えに依らず決まり、ならである。またについて
が成り立つ。
定義 をベクトルとする。
がを満たすとき、ベクトルの組はシルベスター条件を満たすと言う。
補題 ベクトルの組はシルベスター条件を満たすとする。このときの直交基底が存在する。
(証明)のグラミアンはゼロでないからである。特に各は一次独立である。そこでグラム・シュミットの方法で直交基底を構成する。即ち帰納的に
と定める。これがwell-definedであることと、が直交していることを帰納的に示していこう。まずについて
である。ここで
であるが、とは直交するので
となる。つまり
が成り立つ。シルベスター条件よりを得る。これが基底となっていることは明らかだろう。
GAの基底について
が成り立つ。ここでwedge積は双線型であるから
が成り立つ。
体の標数がゼロのとき、次の定理が成り立つ。
定理 の標数はゼロとする。ベクトルの組はシルベスターであるとする。このときブレードは個のベクトルの積で表せる。
(証明)よりは一次独立である。従って前回の定理よりも一次独立である。(この証明には非退化性を要しなかったことに注意する。)そこでの直交基底が取れる。このときと表せば、
が成り立つ。
所感
内積空間なら簡単な議論でも一般のGA上だと少々厄介になる。グラムの定義は自己流だが、ブレードについて重要な概念だと思われる。シルベスターについては技術的な仮定であり、今後の課題である。
最後の定理は正標数でも多分成り立つと思うが、組合せ論的な式について正標数でも証明可能となるトリックがあった気がしたけど忘れました。
研究課題 どんなときにベクトルの組はシルベスターの条件を満たすか。をシルベスター条件を満たし、かつについてあるいはとなるように取れるか。
GAの線型理論その1
環が体のとき、GAはベクトル空間としての構造を持つ。逆にベクトル空間はあるGAへの埋め込みを持ち、GAの一部としてみなすことができる。この同一視により、GAはベクトル空間としての幾何学的視点を得ることになる。すなわち、GA上に定義された様々な作用、例えばウェッジ積のような演算を、幾何学的に解釈することが可能となる。またベクトル空間において基底を取らなければ代数的に計算できなかった概念も、基底に依らない表示をGA上で求めることで、それを可能とすることができる。
前々回(積の分解)あたりの補足
であり、特にが全順序のときは異なるについてが成り立つ。従ってであり、またも成り立つ。
次にGAの次数付き代数としての性質を注意として述べておく。
とする。このとき
が成り立つ。実際これは左内積とウェッジ積の定義より明らかで、添え字が一つづつ減るか、増えるか、あるいはゼロとなるためである。
ここで基本等式を眺めると、
であるから、これはちょうど一つ下の次数と一つ上の次数に分解していると言える。
一次独立性
ここから線型代数をGAで記述することを始めるのだが、まずは基本となる一次独立の概念から始めよう。
定義 が一次独立(linear independent)であるとは
としたとき、が成り立つことを言う。一次独立でないとき、一次従属であるという。
式の左辺のような形を一次結合(linear combination)とも呼ぶ。
注意すべきは、今はまだは環であるということだ。つまり例えばのときのように、任意の元については一次従属になる場合がある。
補題 の元を成分とする行列
について、のランクはであり、首座小行列の行列式がゼロでないとする。即ち
とする。このとき
について、はの一次結合で書ける。
(証明)に対し、行列を
で定めると、行目から行目を引き、列目から列目を引くことでが分かる。この式を行目で展開すると
となる。これらのはの取り方に依らない(の取り方には依る)ので、上の式は任意ので成り立つ。故に
を得る。即ち()はの一次結合で書ける。
が全順序のときは、次の形のスカラー積をdeterminantで計算できる。
補題 は全順序であるとする。このときに対し、
が成り立つ。
(証明)双線型性より
を示せば良い。またなら両辺はゼロであるため、これらは等しいとしてよい。更にに同じものがあっても両辺はゼロであるためは互いに異なるとしてよい。加えて交代性よりとしてよい。結局
を示せば良い。しかし左辺は
である。一方で右辺は
となり、左辺と一致する。
定理 は全順序として、は非退化であるとする。ベクトルに対し、以下は同値である。
- は一次独立である。
- は一次独立である。
(証明)下から上は非退化性は必要ない。実際が一次従属とすると、全てがゼロではない係数を用いて
と表せる。並び替えて、特にを仮定してもよい。このときより
が成り立つ。故には一次従属である。
上から下を示そう。と置く。によりであるとする。各についてを表す基底は高々有限個なので適当なを取り、と表せる。まずであるから、この各基底()の係数を求める。
の両辺に右からのスカラー積を取ると、
より、のときはゼロ、である。従って
である。ここで非退化なのでは可逆であるから、
と表せる。
ここで行列
を定めておく。この小行列をと表すと、
が成り立つ。実際、の元を小さい順に並べたものをとすれば、補題より
となる。ここでであるから、
を得る。
さて、だから、行列の全ての小行列の行列式がゼロであることが分かる。これは即ちのランクが未満であることを意味している。の場合は、
及び
が全てのについて言えるので、は一次従属である。の場合は、
としても一般性を失わない。(他の場合も同様。)このとき補題より、特に
が成り立つ。これはが一次従属であることを意味する。
クリフォード代数
体はを含むとする。つまり標数はでない()とする。または全順序であるとする。と置く。
ベクトルについて、
と定める。
命題 について以下が成り立つ。
- が成り立つ。
- は双線型である。
(証明)上は定義から明らかだろう。下はとして
より、双線型性も明白だろう。
このにより、一般的に知られているクリフォード代数とGAは同等であることが分かる。(例えばクリフォード代数の普遍性などにより同型を示せる。)
興味深いのは非退化性が同値となることだ。
命題 以下は同値である。
- は非退化である。即ち任意のについては可逆である。つまりである。
- は非退化である。即ち任意のについてならである。
(証明)下から上を示そう。が可逆でないとする。つまりとする。このときと置けば、について
である。つまりは非退化でない。
上から下を示そう。任意のについてとする。特にについて
である。今の標数はでないから、を得る。が非退化ならであり、故にが従う。
そこでベクトルの成す部分空間の非退化性を次のようにして定める。
定義 部分空間について、が上で非退化であるとき、は非退化であると呼ぶ。
が非退化であることと、が非退化であることは同値である。
所感
長くなったのでGAの線型構造についてはまた次回に続く。
GA上でやりたいことは山ほどあるけど追う体力が無い。現状それぞれに対して抱いている印象を以下に挙げる。
- 「ユークリッド幾何・射影幾何・双曲幾何」道具は揃っているので難しくはないはず。
- 「幾何計算(GC)」を函数環にして微分やら積分を行う。微積分学の基本定理、コーシーの積分定理、グリーンの定理など。ニュートン力学、電磁気学、特殊相対論はここに含まれるのではないか。マクスウェル方程式をGA上で一纏めにできたりする。発展として、函数解析が出来るのかどうか。デルタ函数などの超函数はGAではどう解釈されるのか。
- 「微分幾何」フレネ標構や曲率といった曲線・曲面論はGA上で書き直したらすっきりしそう。多様体論は埋め込み定理があるので、GA上で全て実行ができる。
- 「共形GA」射影幾何の発展。無限遠ベクトルを加えたGAを考えることで円や球を扱えるようになるらしい。コンピューターグラフィクスとの関連もある。金谷健一氏の本が参考になるかもしれない。というか邦書でGAに関する唯一の本。
- 「一般クリフォード代数(GCA)」クリフォード代数の素朴な拡張らしい。combinatorialに定義する方法を見つけられたら嬉しい。
非退化GAの双対構造
小ネタというか、七誌さん(七誌の開発日記)とマストドンで交わした内容について。
擬スカラー
が有限集合であって、についてが常に可逆となるとき、GAは非退化(non-degenerate)であると言う。以下は非退化であるとする。
定義 を擬スカラー(pseudo-scalar)と呼ぶ。
擬スカラーは可逆である。実際
なので、右逆元と左逆元は一致しての形をしている。
補題 任意のについてが成り立つ。
(証明)より明らか。
従ってでもある。
定義 について、その双対(dual)を
により定める。このときvel積(ラテン語の"or"に相当、だとvee)を
が成り立つように定める。つまり
で定める。
命題 について以下が成り立つ。
- が成り立つ。
- が成り立つ。
(証明)上については
より従う。これを用いれば、がスカラーであることから
より下も従う。
3次元GAのクロス積
以下としてには通常の順序が定まっているとする。要するにを考える。これは非退化であり、は全順序であり、でもある。
一般的に用いられる「外積」はGAにおいてどのような演算だろうか。まず
について「外積」を計算すると
となる。ここでwedge積は
である。これを整理すると
となる。ここで3次元GAではについてである。故に上の式のdualを取れば
が成り立つ。従って
が分かる。
このことから、前回示した命題
あるいは系
は、ベクトル三重積と呼ばれる恒等式の一般化であることが分かる。実際にを代入すると
を得るが、左辺はであり、右辺はである。
所感
クロス積は3次元GAという非常に限られた環境でのみ定義される概念である。外積からではベクトル三重積の意味は分かり難いが、論理式の同値性から従う公式の特別な場合と見れば、その恒等性は明白になるだろう。従ってGAでは外積を用いない。現在の数学教育ではスカラー、ベクトル、行列は全て別々に扱われ、また内積や外積といった演算を個別に扱う。GAはこれらを包括的に纏め上げた概念であり、先の意味でもGAは教育的に優れている。つまり何が言いたいかと言うと中学校でGAを学ぶ未来は近い。