- 追加された行はこの色です。
- 削除された行はこの色です。
#rst2hooktail_source
=============================================
イデアルで外積代数を入れる２
=============================================
テンソル代数 $T(V)$ に対し、 $x\otimes x$ という元を含む最小のイデアル $I$ （ $x\otimes x$ から生成したイデアルと呼びます）を考え、 $I$ による $T(V)$ の商代数を考えました。
<tex>
I = \{ \sum \limits_{i=1}^{n}
a_{i} \otimes x_{i} \otimes x_{i} \otimes b_{i} \ | \ a_{i},b_{i} \in T(V), \ x_{i} \in V, \ n=1,2,....,finite \ number \}
</tex>
<tex>
E(V)= T(V) /I
</tex>
この $E(V)$ を外積代数と呼ぶ、ということでしたが、この記事では、この $E(V)$ が、私達が最初に 外積代数_ の記事で考えた構造を確かに持っていることを確認していきます。
外積代数の元
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
イデアルが $x \otimes x$ で生成される、という感じは掴めたでしょうか。イデアルの持つ吸収律（イデアルの元に何か掛けたらその積もイデアルになってしまうという性質）や、イデアル自身が一種の部分環で、イデアルの元のスカラー積や和について閉じているという性質により、かなり謙虚に『少なくとも一つ、 $x \otimes x$ がイデアル $I$ に含まれる』とイデアルを定義してみても、 $x \otimes x$ に関する積や和が、芋づる式に全てイデアルに含まれてしまうわけです。このため、 $x \otimes x$ を含む最小のイデアルとは『 $x \otimes x$ 一個のみ』よりも、はるかに大きな集合にならざるを得ません。考えてみれば当然なんですが、なかなか最初はこの感覚に馴染まないかも知れません。
さて、 $I$ は $x \otimes x$ から生成されていますので、 $x \otimes x$ と何かの積（そしてそれらの和）というような形の元は、全て $I$ に含まれてしまっています。もう一度テンソル代数の定義を見てみましょう。 $x \otimes x$ は単独では $V \otimes V$ の元です。
<tex>
T(V) &= R \oplus V \oplus (V \otimes V) \oplus (V \otimes V \otimes V)\oplus ....... \oplus (\otimes ^{n} V) \oplus ... \tag{1}
</tex>
そして、 $x \otimes x$ と、任意のテンソル $\in T(V)$ とのテンソル積は、最低でも $V \otimes V \otimes V$ の元になるはずです。そして、それらの積や和が全てイデアルに含まれるということは、イデアル $I$ には $V \otimes V$ の元も $V \otimes V \otimes V$ の元も、もっと高次のテンソル空間の元も全て含まれることになります。
<tex>
I \supset (V \otimes V) \oplus (V \otimes V \otimes V)\oplus ....... \oplus (\otimes ^{n} V) \oplus ... \tag{2}
</tex>
式 $(2)$ を、もう一度、式 $(1)$ と比べてみましょう。 $I$ が含まないのは、 $R \oplus V$ だけだという事が分かります。（生成元が $x \otimes x \ ( \in V \otimes V)$ なので、最低でもイデアルの元は $V \otimes V$ ってことですね。）これは重要な点で、これより、『 $R \oplus V$ の元は全て異なる同値類に属する』ことが言えます。
.. [*] ただし、 $0$ はイデアルの方に入っています。 $0$ はいつだってイデアルです。いま議論している $R \oplus V$ から $0$ は除きます。
.. figure:: Joh-IdealImage4.gif
イデアルは何でも飲み込んでしまう。（適当に□と△と楕円で描いたら、かなり上図に描けてしまった・・・）
.. admonition:: theorem
$R \oplus V$ の元は、全て異なる同値類に分類されます。
.. admonition:: proof
$x,y \in V \ (x \ne y)$ に対し、 $x -y \ne 0$ 、 $x-y \in V$ 、 $I \cap V = \{ 0 \} $ より、 $x-y \ne I$ が示されます。 $\alpha,\beta \in R \ (\alpha \ne \beta)$ に対しても、全く同様にして $\alpha -\beta \ne 0$ 、 $\alpha -\beta \in R$ 、 $I \cap R = \{ 0 \} $ より、 $\alpha -\beta \ne I$ が示されます。■
イデアルによる商代数で二つの元が同値だとは、 $x -y \in I$ の意味であることを思い出してください。（ `剰余類２`_ を参考にして下さい。）これより、例えば $R$ や $V$ の元を $\alpha , \beta , \gamma ,...\in R; \ x,y,z,...\in V$ のように表わせば、 $T(V)/I$ は、これらが含まれる類を全て別々に持つということです。
<tex>
E(V)=T(V)/I = \{ [\alpha ],[\beta ], [\gamma ],...,[x],[y],[z],....\}
</tex>
もちろん、 $V \times V$ 以上の元 $(\in T(V))$ がどのような類に入るかはまだ明らかではありませんが、 $R$ と $V$ に関しては、 $R \oplus V$ と $E(V)$ の元に *一対一対応がつく* ことが分かりました。とりあえず一安心です。先に進む前に、もう一度ここまでの議論をよく確認して下さい。
外積代数の分解
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
テンソル空間 $T(V)$ から $E(V)$ への写像を $\pi$ としましょう。まず、 $R$ や $V$ の元の対応は一対一です。
<tex>
\pi : \ \pi (\alpha ) \ \ \longmapsto \ \ [\alpha] \in E(V) \ \ (\forall \alpha \in R)
</tex>
<tex>
\pi : \ \pi (x ) \ \ \longmapsto \ \ [x] \in E(V) \ \ (\forall x \in V)
</tex>
これにより、 $R$ と $\pi (R)$ 、 $V$ と $\pi (V)$ を同一視することが出来ます。
<tex>
\pi (R) = R
</tex>
<tex>
\pi (V) = V
</tex>
さて、問題は $V \otimes V$ 以上の階数のテンソルです。テンソル積 $\otimes$ を $E(V)$ に入っている乗法（記号は $\land$ で表わすことにします）に対応させ、次のように考えます。
<tex>
\pi (x \otimes y) = [x] \land [y] = x \land y \ \ (x,y \in V)
</tex>
これより、ベクトル空間 $V$ 全体の写像は次のように書けるでしょう。
<tex>
\pi (V \otimes V) = V \land V
</tex>
より高階のテンソル空間についても、同様とします。
<tex>
\pi ( \otimes^{k} V) = \land ^{k} V
</tex>
これらの結果より、 $E(V)$ は次のように部分ベクトル空間の和として表わせる構造だということが分かりました。
<tex>
E(V) = R \oplus V \oplus \land ^{2}V \oplus \land ^{3} V \oplus \cdots \cdots \tag{*}
</tex>
右辺に出て来る各外積空間 $\land ^{k}V$ の基底は独立で、左辺を直和分解の形で書くことが出来ます。この続きは `イデアルで外積代数を入れる３`_ で考えます。
.. _`イデアルで外積代数を入れる３`:
.. _外積代数:
.. _テンソル代数:
.. _類別:
.. _イデアル:
.. _ベクトルの割り算:
.. _剰余類:
.. _`剰余類２`:
.. _商集合:
.. _代数学:
.. _`イデアルで外積代数を入れる３`: http://www12.plala.or.jp/ksp/differentialforms/IdealExteriorAlgebra3/
.. _外積代数: http://www12.plala.or.jp/ksp/differentialforms/ExteriorAlgebra/
.. _テンソル代数: http://www12.plala.or.jp/ksp/vectoranalysis/TensorAlgebra/
.. _類別: http://www12.plala.or.jp/ksp/algebra/Klassierung/
.. _イデアル: http://www12.plala.or.jp/ksp/vectoranalysis/VectorDivision/
.. _ベクトルの割り算: http://www12.plala.or.jp/ksp/vectoranalysis/VectorDivision/
.. _剰余類: http://www12.plala.or.jp/ksp/algebra/Remainder/
.. _剰余類２: http://www12.plala.or.jp/ksp/algebra/Remainder2/
.. _商集合: http://www12.plala.or.jp/ksp/algebra/FactorSet/
.. _代数学: http://www12.plala.or.jp/ksp/algebra/index.html
.. _環: http://www12.plala.or.jp/ksp/algebra/RingDef/
@@author:Joh@@
@@accept: 2006-11-05@@
@@category: 微分形式@@
@@id: IdealExteriorAlgebra2@@
記事ソース/イデアルで外積代数を入れる２ のバックアップ差分(No.2)
