#rst2hooktail_source
=====================================================
ウェッジ積について補足
=====================================================
まず、 $n$ 次元のベクトル空間を $V$ とします。私達は、 $V$ とウェッジ積によって、外積空間 $\land ^{k}V$ を生成しました。 $k$ 階の外積空間の次元は ${}_{n}C_{k}$ で、 $k > n$ では $\{ 0 \}$ となってしまいます。この記事では、 外積代数_ の記事で導入したウェッジ積という演算について、もう少し考察を深めてみます。
p-ベクトル
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
いま、外積空間 $\land ^{p}V$ の基底は、 $V$ の基底を $\{ \sigma^{1},\sigma^{2},...,\sigma^{n} \}$ として、 $\sigma^{h_{1}} \land \sigma^{h_{2}} \land \cdots \cdots \land \sigma^{h_{p}}$ の形で表わされます。（ただし、ここで $1 \le h_{1} \le h_{2} \le \cdot \le h_{k} \le n$ とします。）よって、 $\land ^{p}V$ に含まれる任意の元は、こうした基底の一次結合の形で表わされるはずです。
<tex>
\sum \limits _{h} \alpha (\sigma^{h_{1}} \land \sigma^{h_{2}} \land \cdots \cdots \land \sigma^{h_{p}}) \tag{1}
</tex>
このように、外積空間 $\land ^{p}V$ に含まれる元を、外積空間の次数を冠して *p-ベクトル* のように呼ぶことにします。（具体的には $1-$ ベクトル、 $2-$ ベクトルなどのように呼びます。）
ウェッジ積の代数的性質：補足
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ウェッジ積の代数的性質については、既に 外積代数_ で次の四つに触れました。
1. $\alpha \land \alpha = 0$
2. $ \alpha \land \beta = - \beta \land \alpha$ （交代性）
3. $ (a \alpha + b \beta ) \land \gamma= a \alpha \land \gamma + b \beta \land \gamma $ （分配則）
4. $(\alpha \land \beta ) \land \gamma = \alpha \land (\beta \land \gamma)$ （結合則）
さらに、次の性質を追加しておきます。
<tex>
5-1. \ \ \ (c_{a}\alpha_{1}+c_{2}\alpha_{2})\land \beta = c_{1}(\alpha_{1} \land \beta )+ c_{2}(\alpha_{2} \land \beta)
</tex>
<tex>
5-2. \ \ \ \alpha \land (c_{a}\beta_{1}+c_{2}\beta_{2}) = c_{1}(\alpha \land \beta_{1} )+ c_{2}(\alpha \land \beta_{2})
</tex>
五番目の性質は 双線形性_ です。
.. [*] 結合則に関して、ベクトルの外積 $\times$ には結合則が成り立たないことをもう一度思い出してください。ベクトルの外積はウェッジ積よりもだいぶ厳しい条件の演算です。また、 外積代数_ の最後の註に少し書いたことですが、ウェッジ積はテンソル積に交代性を付け加えた演算だと見ることが出来ます。テンソルは一般的に多重線形性を持つのでしたから、このような立場から見れば、ウェッジ積が双線形性を持つのも納得のいくことです。
高次のウェッジ積
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
外積空間 $\land ^{p} V$ と $\land ^{q} V$ （ただし $p,q<n$ ）を考えます。 $\land ^{p} V$ の元と $\land ^{q} V$ の元のウェッジ積は、一般に $\land ^{p+q} V$ の元になると考えられますので、外積 $\land$ による二項演算は次のような写像を意味すると考えられます。
<tex>
\land : \ \ \land ^{p} V , \ \land ^{q} V \rightarrow \land ^{p+q}
</tex>
<tex>
(\land ^{p} V ) \land (\land ^{q} V) \ \ \longmapsto \ \ \land ^{p+q} V \tag{2}
</tex>
これはp-ベクトルとq-ベクトルのウェッジ積が(p+q)-ベクトルになるという意味です。ただし、 $p+q>n$ のとき、(p+q)-ベクトルは $0$ だと決めます。このとき、 $p$ ベクトル $\lambda$ と $q$ ベクトルのウェッジ積 $\mu$ について次の性質がなりたちます。
<tex>
\lambda \land \mu= (-1)^{pq}\mu \land \lambda \tag{3}
</tex>
ウェッジ積の交代性より $\alpha \land \beta = -\beta \land \alpha$ が言えたわけですが、 $\lambda$ の基底（ $V$ の元を $p$ 個ウェッジ積で結合したもの）と $\mu$ の基底（ $V$ の元を $q$ 個ウェッジ積で結合したもの）を、隣同士の元を交換する操作を何度も行うことで入れ替えるとき（ 外積代数_ の記事中でも同じ操作をしましたね）、何回入れ替える必要があるかという話です。証明はしませんが、簡単なので自分で考えてみて下さい。（ヒント：数学的帰納法を使えば簡単に示せます。）
反対称的な書き方
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
まずベクトル空間 $V$ から生成した外積空間 $\land ^{1}V$ を考え、1-ベクトル $\lambda , \mu$ を取ります。 $\lambda$ と $\mu$ はそれぞれ、 $V$ の基底 $\sigma^{i}$ を使って次のように書けるはずです。
<tex>
\lambda = \sum \limits_{i} a_{i} \sigma^{i} \tag{4}
</tex>
<tex>
\mu = \sum \limits_{j} b_{j} \sigma^{j} \tag{5}
</tex>
ここで $a_{i},b_{j}$ はスカラーの共変成分です。後の都合により、式 $(4)(5)$ の右辺では縮約をわざと使いませんでした。では、さっそく $\lambda$ と $\mu$ のウェッジ積を取ってみましょう。
<tex>
\lambda \land \mu = \sum \limits_{i,j} a_{i}b_{j} ( \sigma^{i} \land \sigma^{j}) \tag{6}
</tex>
ウェッジ積の表現自体はこれで合っていますが、項数をもう少し節約して書くことができます。基底の性質 $\sigma^{i} \land \sigma^{j} = -\sigma^{j} \land \sigma^{i}$ を使うと、 総和を半分に減らすことができるでしょう。
<tex>
\lambda \land \mu = \sum \limits_{i<j} ( a_{i}b_{j}-a_{j}b_{i}) \sigma^{i} \land \sigma^{j} \tag{7}
</tex>
なんだか、お馴染みのベクトルの外積にそっくりな形が出て気ました。式 $(7)$ のような書き方が絶対必要という訳ではありませんが、教科書によっては、こんな表記をいきなり使っているものもありますので、見てもびっくりしないで下さい。
ウェッジ積の例
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
計算練習のつもりで、次の左辺を展開して、自分で右辺を導いて下さい。 $Ax+By+Cz$ などは、1-ベクトルで、 $A,B,C,...$ は係数、 $x,y,z$ を基底とします。
<tex>
(Ax+By+Cz)\land (Ex+Fy+Gz) = (BG-CF)y\land z + (CE-AG)z \land x + (AF-BE) z \land x \tag{8}
</tex>
もう一つ、1-ベクトルと2-ベクトルのウェッジ積も計算してみて下さい。
<tex>
(Ax+By+Cz)\land (Py\land z+Qz \land x+Rx \land y) = (AP+BQ+CR)dx \land dy \land dz \tag{9}
</tex>
左辺からちゃんと右辺が導けましたか？これがスラスラできれば、ウェッジ積はもう大丈夫です。実は、この二式はベクトルの外積と内積の計算に対応する形になっています。(よく眺めて見てください。)ただし、ウェッジ積はベクトルの外積よりも一般的な演算ですので、このままいきなりウェッジ積をベクトルの演算に関連付けることは出来ません。まずホッジ作用素というものを考える必要があります。その話は、また稿を改めて書きたいと思います。
.. [*] 以前 `もう一度だけ内積・外積`_ の記事中に、ベクトルのテンソル積に『ルールを導入する』ことによって、内積や外積を括り出してくる、というような内容を書きました。二階のテンソルを紹介する目的の記事でしたので、『ルールって何なんだ？』『どうやってルールを入れるんだ？』という点には触れませんでした。だんだん、そのルールがウェッジ積の演算規則であったことが分かってくると思います。また、テンソル代数にどうやってルールを入れたら外積代数になるのか、という点ですが、実は代数学で勉強したイデアル、類別、商集合といった概念を使います。少しマニアックな内容になりますが、 イデアルで外積代数を入れる_ で取り上げる予定です。
.. _外積代数: http://www12.plala.or.jp/ksp/differentialforms/ExteriorAlgebra/
.. _`もう一度だけ内積・外積`: http://www12.plala.or.jp/ksp/vectoranalysis/ReviewVectorProds/
.. _イデアルで外積代数を入れる: http://www12.plala.or.jp/ksp/differentialforms/IdealClassification/
.. _双線形性: http://www12.plala.or.jp/ksp/vectoranalysis/BilinearFunction/
@@author:Joh@@
@@accept: 2006-11-05@@
@@accept: 2006-11-06@@
@@category: 微分形式@@
@@id: ExteriorProds@@
記事ソース/ウェッジ積について補足 の変更点
