今年は編入試験一年前の年度ということもあり焦って勉強を始めたのだが,自分で決めた勉強量を終わらせ車校を終わらせ板前のバイトが休みで暇なので最近考えることをネット媒体にでもしてみよう(もうそろそろ勉強のために考えに耽ることを抑えなくては).ここ数週間をまとめると,幾何代数の基底を
と定義しなおすことによって幾何代数を曲線座標でも扱えるよう拡張し,基底の偏微分で
とクリストッフェル記号を導入することによりその拡張した幾何代数を偏微分することを可能にして共変微分を幾何代数的に議論できるようにし,またさらに偏微分作用素を双対基底と総和をとることによりディラック作用素を曲線座標系に拡張し,重力場中のマクスウェル方程式の幾何代数化に成功した.そして次に行いたいのは電磁場の作用の幾何代数化であるが微分形式のように座標に依存しないようなそういうものを目指したい.そこで何となく3次元直交座標系におけるベクトル解析の積分やその公式を幾何代数(空間代数)で書いてみようではないかと考えた.
まずベクトル解析の積分結果であるがスカラーになるようにできている.積分結果がベクトルになる場合を考えることは可能なのか気になるが(何か知っている方がいれば教えていただきたい),ベクトル解析の理論に沿ってスカラーになるようなものを考えていこう.しかしベクトル解析の式を眺めているとスカラーというよりは幾何代数的には空間代数の0次と3次,つまりスカラーと擬スカラーのどちらかに値をとっていそうなことがわかる.そこで幾何代数の元の幾何積から0次の部分を抜き出す積
と最高次数つまり空間代数では3次の部分を抜き出す積
を定めておく.ナブラやラプラシアンとは形は似ているが別のものであることに注意されたい.なぜこれを定義するのかというと,上三角積は別に楔積でいいのだが,例えば時空代数の2次と2次の峡積(幾何積と楔積の差)は0次と2次の混合になるため0次のみを抜き出す下三角積を新たに定める必要がある.一般の次元,座標に拡張したときを見据えている.
まずスカラー場の線積分から考えよう.空間代数においてスカラー場と呼べる代物は0次と3次の二つがある.パラメータで表される曲線での0次場,3次場の線積分は
が考えられる.は曲線上における1次元の曲線座標系に拡張された幾何代数の基底である.つまり
の3次元空間上の位相次元1の多様体で考えようということである.偏微分である必要がないのでパラメータの常微分となっている.
次にベクトル場の線積分を考えよう.空間代数においてベクトル場と呼べる代物は1次と2次の二つがある.パラメータで表される曲線での1次場,2次場の線積分は
が考えられる.
次はスカラー場の面積分を考えよう.パラメータで表される曲面での0次場,3次場の面積分は
が考えられる.は曲面上における2次元の曲線座標系に拡張された幾何代数の基底である.つまり
の3次元空間上の位相次元2の多様体で考えようということである.要するに接ベクトルである.
次はベクトル場の面積分を考えよう.パラメータで表される曲面での1次場,2次場の面積分は
が考えられる.普通の面積分と違い符号の違いが表れる可能性がある.
次はスカラー場の体積分を考えよう.パラメータで表される3次元的な領域での0次場,3次場の体積分は
のそれぞれ二通り考えられる.後者は普通とは符号の違いが表れる可能性がある.
整合性をとるために点積分と呼ばれるものを定義しておこう.2点に対し0次場,3次場の点積分は
一変数関数の定積分に出てくる
の一般化である.
今までのをまとめてみよう.
位相次元nの多様体上の曲線座標系の各点で基底が定義されているとき
という量を定める.ただし添字の丸括弧は総和を足らないことを意味しではである.
m次場に対してが定義される座標系で表される上の積分は次のようにまとまる.
0次 | 3次 |
勾配の線積分とストークスの定理とガウスの発散定理をまとめてみよう.ただし上下三角積よりディラック作用素の峡積楔積を優先して計算する.
それなりに美しくまとまる.次に私はが座標変換でどのように変化するのか,一般の次元や曲線座標系に拡張しても同じようなことが言えるのかを議論したいのだがどうやら私の力不足のようだ.未完成の理論である.微分形式と同レベルに昇華するのはまだ先になりそうだ。