環 ${ 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 }$ ）の係数を求める。

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

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

$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 ) }$ は可逆であるから、

$\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} }$ について、

$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} }$ として

$\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に定義する方法を見つけられたら嬉しい。

arXiv探訪

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

GAの線型理論その1

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

一次独立性

クリフォード代数

所感