=============================================
イデアルで外積代数を入れる１
=============================================
この記事の内容は、 イデアルによる類別_ の続きになっています。いきなりこのページに来た人は、 テンソル_ の内容、特に テンソル代数_ について、それと 代数学_ の基礎をそれなりに理解していることが望ましいです。色々、先に勉強しなきゃいけないことがあってごめんなさいm(_ _)m。微分形式の計算だけとりあえず知りたい人は、外積代数をまるまる飛ばして先に行ってしまっても大丈夫です。


テンソル代数から出発
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
テンソル同士の演算に、テンソル積と呼ばれるものがありました。テンソルには階数という数がありましたが、 $m$ 階のテンソルと言えば、 $1$ 階のテンソル（つまりベクトル）が定義されるベクトル空間 $V$ の、 $m$ 個の直積空間 $V \otimes V \otimes \cdots \cdots \otimes V$ （これもベクトル空間です）の元のことでした。


さて、 $m$ 階のテンソルと $n$ 階のテンソルのテンソル積は $m+n$ 階のテンソルになります。このように、テンソルとテンソルからテンソル積を考えると、幾らでもテンソルの階数が上がっていってしまいますから、『世の中全てのテンソル』を含む空間 $T$ は、 $V$ も $V \otimes V$ も $V \otimes V \otimes V$ も。。。。。 $V$ を無限個（！！）つなげた直積空間 $(\otimes ^{n}V)$ までも、全て含むベクトル空間である必要があります。これを、各ベクトル空間の和として、次のように書きます。

<tex>
T(V) &= R \oplus V \oplus (V \otimes V) \oplus (V \otimes V \otimes V)\oplus ....... \oplus (\otimes ^{n} V) \oplus ... \\ 
& = \bigoplus _{n=0}^{\infty } (\otimes ^{n}V)	\tag{1}
</tex>


こんな空間を考えたところで、どんなテンソルでも計算できるぞ！という自己満足はあるかも知れませんが、ちょっと大きすぎて使い勝手が悪そうです。


.. [*] 空間を単に大きいとか小さいとか言うのは数学的には不正確ですが、気持ちとして、大きいと言いたい部分を汲んでください (ToT)/~ 


そこで、何とかテンソル空間をもう少し手軽で小さな空間に落としたいのですが、ここで類別という考え方が使えます。


.. [*] 少し違う例ですが、例えば整数は無限にありますが、これを偶数か奇数かに分けてしまえば、たった二つのグループに分けてしまうことができます。当たり前と思うかも知れませんが、よく考えるとすごいことですね。目的に応じて、上手にグループ分けすれば、話をとても簡単にできそうです。これが類別の真髄です。私の部屋と机の上も、類別する必要があります。


補足：イデアルの復習
-------------------------------------------------------------
次のセクションの議論に備えて、イデアルの性質をちょっと復習しておきます。詳しくは イデアル_ を参照してください。


【イデアルの性質】
代数 $V$ を $R$ 上の環として、そのイデアル $I \ (I \subset V)$ は次の性質を満たします。

1.  $x,y \in I \ \Longrightarrow \ x+y \in I$ （和）
2.  $x \in I, \ \alpha \in R \ \Longrightarrow \ \alpha x \in I$ （スカラー積）
3.  $x \in I, \ a \in V \ \Longrightarrow ax \in I, \ xa \in I$ （吸収律）


吸収律に関しては、右イデアルと左イデアルを分ける方が正確ですが、ここでは両イデアルのみを考えます。両イデアルの場合は、二つをまとめて次のように書くことも出来ます。

<tex>
x \in I, \ a,b \in V \ \Longrightarrow axb \in I
</tex>

また、 $V$ を $I$ によって類別するとき、 $V$ の元 $x,y$ が同じ類に入るとは、次式がなりたつことを言います。

<tex>
x-y \in I 
</tex>



テンソル代数の商代数
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
前セクションで動機とアイデアをすこし述べましたが、いま、 $\bigoplus _{n=0}^{\infty } (\otimes ^{n}V)$ というテンソル代数 $T(V)$ を、何かうまいイデアルで類別して、もう少し扱いやすくしたいのです。どんなイデアルで考えればいいか、という点には色々な候補があると思いますが、結論から先に言ってしまうと元 $x \in V$ に対して『 $x \otimes x$ （ $\in V \otimes V$ ）という元を含む両イデアル』を考えます。

<tex>
I \ni x \otimes x
</tex>

もし、こんなイデアルが存在するなら（ $I \subset T(V)$ ）、イデアルの性質である吸収律から、任意のテンソル $a,b \in T(V)$ に対して、次のような元も $I$ に含まれるはずです。

<tex>
a \otimes x \otimes x \otimes b \ \ (a,b \in T(V))
</tex>


いま、 $I$ は最低限幾つかの元を含むことが分かったので、 $I$ の元を $x_{i} \in I \  (i=1,2,...)$ と書きましょう。すると、イデアルの吸収律と和の性質により、一般に次の形で表わされる元も全て $I$ に含まれることが分かります。和は有限和として、 $i=1,2,...,n$ とします。


<tex>
a_{1} \otimes x_{1} \otimes x_{1} \otimes b_{1} + 
a_{2} \otimes x_{2} \otimes x_{2} \otimes b_{2} +
.............
a_{k} \otimes x_{n} \otimes x_{n} \otimes b_{n} 
= \sum \limits_{i=1}^{n}
a_{i} \otimes x_{i} \otimes x_{i} \otimes b_{i} 
 \ \ (a_{i},b_{i} \in T(V))	\tag{1}
</tex>


.. [*] ここで和を有限としたのは場当たり的な事情によるものではありません。本当は、イデアルの定義の部分に『和は有限和までとする』と最初に書いておくべきことでした。例えば、いま有理数体のイデアルを考えているとして、もし無限和を取っても良いことにすると $\frac{\pi}{4}=1-\frac{1}{3}+\frac{1}{5}-\frac{1}{7}+ \cdot \cdot \cdot $ といった無限級数によって無理数である $\pi$ までが表わせてしまいます。これは、もとの有理数体という集合をはみ出しますから困ります。このように、無限和という操作は、一般にもとの代数構造をはみ出す可能性があるため、普通は代数学では別に扱うのです。有限和である限り、幾ら足そうとも、イデアルの元と同士の和はイデアルに入ります。


これは $x\otimes x$ という元を含む最小のイデアルで、『 $x\otimes x$ から生成されたイデアル』と呼びます。逆に、式 $(1)$ の形の集合が、イデアルの性質を全て満たすことも確認してみて下さい。

<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>


このイデアル $I$ とテンソル代数 $T(V)$ から作った商代数を *外積代数*  $E(V)$ と呼びます。


<tex>
E(V)= T(V) /I	\tag{2}
</tex>


もちろん、この外積代数は、最初に 外積代数_ で紹介したのと同じものです。ですから、何か特に新しいことがあるわけではありません。（本当に式 $(2)$ が外積代数になっていることは、次の記事で議論します。まずは一休みしましょう。）外積代数の記事では、外積代数に成り立つ演算規則を天下り的に与え、『とにかく外積代数というものがある』という点から議論をスタートさせていましたから、『どうしてそんなもの考えついたの？』という部分が気持ち悪かった人が、胸のつかえをすっきりさせられれば幸いです。ベクトル解析からずっと勉強してきている人は、次のような流れになっていることが分かるでしょう。ベクトルを主役に、ここまで勉強してきた内容をフローチャートにしてみました。


.. image:: Joh-VectorFChart02.gif 


関係しそうな分野は青字で示しました。本当は、もっともっと色々な分野が関係してますし、数学を個別の分野に分けるのはナンセンスですけど、分野を分けておいた方が自習するときに教科書を選びやすいと思ったのです。関連しそうな分野を、ぜひ自分でどんどん勉強してみて下さい。高校で幾何ベクトルを習ってから、ここまでの道のりは結構ありましたね。微分形式まで、あと一息ですよ〜。




.. _外積代数: http://www12.plala.or.jp/ksp/differentialforms/ExteriorAlgebra/
.. _類別: http://www12.plala.or.jp/ksp/algebra/Klassierung/
.. _イデアル: http://www12.plala.or.jp/ksp/algebra/Ideal/
.. _テンソル代数: http://www12.plala.or.jp/ksp/vectoranalysis/TensorAlgebra/
.. _ベクトルの割り算: http://www12.plala.or.jp/ksp/vectoranalysis/VectorDivision/
.. _テンソル: http://www12.plala.or.jp/ksp/vectoranalysis/index.html
.. _イデアルによる類別: http://www12.plala.or.jp/ksp/differentialforms/IdealClassification/
.. _剰余類: 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



@@author:Joh@@
@@accept: 2006-11-06@@
@@category: 微分形式@@
@@id: IdealExteriorAlgebra1@@