この記事は現在、プロジェクトメンバーによる査読中のものです。草稿段階ですので、内容・表現の正確さについて責任を負いかねます。リンクを正しく張れていないところが存在しますのでご注意ください。正式公開まで、いましばらくお待ちください。
ウェッジ積の座標変換

実数上の次元ベクトル空間 $R^{n}$ の一つの基底を $\{ \bm{e _{1}},\bm{e _{2}},...,\bm{e _{n}} \}$ とし，これと異なる基底 $\{ \bm{{e '}_{1}},\bm{{e '}_{2}},...,\bm{{e '}_{n}} \}$ への座標変換を考えます．

[*]	いままで，ベクトル空間の記号にを多く使ってきましたが，今後，実数上という意味と次元を強調して $R^{n}$ と書くようにします．ユークリッド空間 $E^{n}$ もミンコフスキー空間 $M^{4}$ も実数上のベクトル空間ですので，まとめて $R^{n}$ と書けます．特に区別する場合には， $E^{n}$ とか $M^{4}$ と書くことにします．

$T : \ \ \{ \bm{e _{1}},\bm{e _{2}},...,\bm{e _{n}} \} \ \longmapsto \ \{ \bm{{e '}_{1}},\bm{{e '}_{2}},...,\bm{{e '}_{n}} \} \tag{1}$

この変換の表現行列を $A=[a_{i}^{j}]$ とします．この行列を使うと，式 (1) は $\bm{{e '}_{i}}=a_{ij}\bm{e _{j}}$ と表わされますので，例えば二階のウェッジ積の座標変換は次のようになります．

$\bm{{e '}_{i} } \land \bm{{e '}_{j} } = a_{i}^{k} \bm{e _{k}} \land a_{j}^{l} \bm{e _{l}} = a_{i}^{k} a_{j}^{l} \bm{e _{k}} \land \bm{e _{l}} \tag{2}$

右辺は縮約によって和になっていますから，実際に展開して全部の項を書き出すのは大変です．しかし，原理としては，普通のベクトル空間 $R^{n}$ の座標変換式をウェッジ積の関係式に代入するだけです．似たような計算はテンソル代数で何度も見てますから，何も難しいことは無いと思います．

∧nの基底の変換

特に $\land ^{n}R^{n}$ の基底（最高次数の外積空間） $\bm{e _{1}}\land \bm{e _{2}}\land \cdots \land \bm{e _{n}}$ の座標変換を考えてみましょう． $\land^{n} R^{n}$ は一次元空間ですから（ ${\rm dim}\land ^{n}R^{n}={}_{n}C_{n}=1$ ），基底の写像にはスカラー倍しかありません．では，そのスカラーはどのような値なのかと言うと， ${\rm det}A$ になるのです．これは大変にシンプルな結果です．

theorem

$\bm{{e '}_{1}}\land \bm{{e '}_{2}}\land \cdots \land \bm{{e '}_{n}} = {\rm det}A(\bm{e _{1}}\land \bm{e _{2}}\land \cdots \land \bm{e _{n}})$

proof

定義通りに座標変換をすると $\bm{{e '}_{1}}\land \bm{{e '}_{2}}\land \cdots \land \bm{{e '}_{n}} = a_{1p_{1}}\bm{e _{p_{1}}} \land a_{2p_{2}}\bm{e _{p_{2}}} \land \cdots a_{np_{n}}\bm{e _{p_{n}}}$ と書けますが (*) ，右辺は更に行列成分を外に出して $\sum \limits _{p_{1},p_{2},...,p_{n}} a_{1p_{1}}a_{2p_{2}}\cdots a_{np_{n}} \bm{e_{p_{1}}}\land \bm{e_{p_{2}}} \land \cdots \land \bm{e_{p_{n}}}$ と変形できます．ここで，もし $p_{k} \ (k=1,2,...,n)$ の中に同じ数字が二回出てくれば，ウェッジ積の性質よりその項はになりますので， $p_{k}$ は全て異なる数字であり，結局， $\sum$ は，からの数字の異なる順列について総和を取るという意味になります． $p_{k}$ の順列を $\varepsilon (p_{1}p_{2}...p_{n})$ と書くことにすると， (*) 式右辺は $\sum \limits \varepsilon (p_{1}p_{2}...p_{n})a_{1p_{1}}a_{2p_{2}}\cdots a_{np_{n}}\bm{e _{p_{1}}} \land \bm{e _{p_{2}}} \land \cdots \bm{e _{p_{n}}}$ となりますが，これは行列式の定義より， ${\rm det}A (\bm{e _{p_{1}}} \land \bm{e _{p_{2}}} \land \cdots \bm{e _{p_{n}}})$ と書けます．■

この結果は『空間の向き』を考えるときに特に重要になります．例えば三次元で $\land ^{3} R^{3}$ を考えると，基底には $\bm{e_{1}} \land \bm{e_{2}} \land \bm{e_{3}}$ の形のもの一つしかありません．いま $\{ \bm{e_{1}}, \ \bm{e_{2}}, \ \bm{e_{3}} \}$ を正規直交基底だとし，長さを変えないように座標変換として直交変換だけを考えるとしても，直交行列の行列式には $\pm 1$ の二つがあります．つまり，上の定理により，座標変換後の基底は $\bm{{e'}_{1}} \land \bm{{e'}_{2}} \land \bm{{e'}_{3}} = \pm \bm{e_{1}} \land \bm{e_{2}} \land \bm{e_{3}}$ と表わされるということです．

これだけでは，まだ何が重要なのか分かり難いかも知れません．では，少し先走って，微分形式の話まで触れましょう．微分形式の理論の中では，外積空間の基底として，積分計算に出てきた微小量 $\{ dx,dy,dz \}$ を考えますが， $dx \land dy \land dz$ は，今まで体積素として体積分のときに考えていたに相当する量になります．これを先ほどの座標変換式にそのまま宛てはめれば， $dV' = \pm dV$ という意味に解釈できますね．体積の符号が変わる？？これを見て，ムムゥと思って欲しいところです．これと似た話がベクトル三重積にありました．ベクトルの張る平行六面体の体積の符号が，右手系⇔左手系を入れ替えたときに変わるという話でした．まさに，先ほどの公式は ベクトル三重積の符号と右手系⇔左手系の符号を説明するもの になっているのです．とは言うものの，まだ多くの読者の方にとっては，旧来のベクトル解析（特にベクトルの積分）に，外積代数の理論をどう使えるのか，その辺りの関係がまだ明快ではないと思います．詳しくは，微分形式の理論でベクトルの積分定理を考え直す中で整理して行く予定ですので，焦らずゆっくり進みましょう．

[home] [微分形式] [ページの先頭]