- 追加された行はこの色です。
- 削除された行はこの色です。
#rst2hooktail_source
========================================
イデアルによる類別
========================================
この記事では、 テンソル代数_ から外積代数を作れることを勉強します。テンソル代数は $\bigoplus _{n=0}^{\infty } (\otimes ^{n}V)$ と表現される、ベクトル代数 $V$ からテンソル積と直和によって生成される代数でした。無限次元のベクトル空間 $\otimes ^{\infty}V$ までを含んでいます。テンソル計算を全てカバーする空間という意味では、テンソル代数を考えた意義はありますが、無限階のテンソルとは、いかにも使い勝手が悪そうに聞こえます。
一方、外積代数は $n$ 次元のベクトル空間 $R^{n}$ から構成する場合、高々 $n$ 階の外積空間 $\land ^{n}V$ まで出てきませんから、実用上手軽そうです。しかも、各外積空間の次元も ${}_{n}C_{k}$ と、そんなに大きくはなく、 $\land ^{k}R^{k}$ と $\land ^{n-k}R^{n}$ にはホッジ作用素という同型写像までありましたから、実用面の扱いはかなり楽そうです。実は、テンソル空間をグループ分け（ 類別_ といいます）することで、外積代数を作ることができるのです。（ $V$ が $n$ 次元のベクトル空間ならば、 $n$ 個に分類することになります。）
代数的な知識がある程度必要になります。特に、 類別_ 、 剰余類_ 、 剰余類２_ 、 イデアル_ 、 テンソル代数_ の内容が前提になります。自信のない人は、先にこれらの記事を復習しておくことをお勧めします。 **外積代数なんてどっから出てきたんだ？という点に興味が無い人は、本稿から「イデアルで外積代数を入れる３」までを飛ばして、微分形式へ進んで下さい。**
.. [*] テンソル代数から、イデアルによる類別という操作によって外積代数は作れるわけですから、外積代数をテンソル代数の特殊な場合として、テンソル代数に含めてしまうことは可能です。そのような意味では、外積代数（そして、その応用である微分形式も）は、テンソル解析の一分野だとも言えます。実際、外積代数はテンソル積に交代性を付け加えたものだと見ることもできて、交代形式のテンソル代数と呼ぶことも可能です。このような立場から書かれた本では、テンソルの話の延長として外積代数が出てきます。一方、微分形式の応用的な有用性に力点を置いた本では、テンソルの話は省略して、いきなり外積代数の演算構造から書かれていたりします。（さらに、外積代数も飛ばして、微分形式から書き始めている本もあります。）色々な立場の人がいると思いますが、単に面白いので、イデアルによる類別の話も取り上げます。もっとも、商代数を取るという考え方は、いずれコホモロジーという概念を考えるときなどに使いますので、馴れておくと良いと思います。
イデアルによる類別
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
あるベクトル空間 $V$ がイデアル $I$ を持つとします。（ベクトル空間は 環_ になり、 イデアル_ とは一種の部分環のことでした。 ベクトルの割り算_ も参照下さい。） $I$ を使って、 $V$ に含まれる二つの元 $\alpha , \beta$ の間に次のような同値関係を入れることが出来ます。（同値関係については 剰余類２_ 参照。）
<tex>
x-y \in I \ \ \Leftrightarrow \ \ x \sim y \tag{1}
</tex>
まず、式 $(1)$ が確かに同値関係であることを確認しましょう。
1. $x-x=0$ ですが、 $0$ は何に掛けても $0$ ですから、常にイデアルの元です。 $\ \ \ \ \ \therefore x \sim x$ （反射律）
2. 定義より $x-y \in I \ \ \Longrightarrow \ \ a(x-y)\in I \ (\forall a \in R)$ ですが、 $a$ として $-1$ を考えると $-1\cdot (x-y)=y-x \in I$ が示されます。 $\ \ \ \ \ \therefore x \sim y \Longrightarrow y \sim x$ （対称律）
3. $x-y \in I, y-z \in I$ ならば、 $x-z = (x-y)+(y-z) \in I$ が言えます。（推移律）
反射律、対称律、推移律が満たされましたので、式 $(1)$ は確かに同値関係を与えています。集合の元に同値関係が与えられれば、元を類別することが出来るのでした。（ 類別_ 参照。）
<tex>
V = \{ x,y,z,....\} \ \Longrightarrow \ V/I = \{ [x],[y],[z],... \}
</tex>
イデアルによる 商集合_ $V/I$ の各類は、しばらく $[ \ \ ]$ で表わすことにします。ここまでは、代数学を多少とも勉強したことのある人ならば難しくはなかったと思いますが、代数学を全然勉強したことのない人にとってはチンプンカンプンだったかも知れません。よく分からなかった人は、これを機会に 代数学_ を一から勉強してみるのも良いでしょう。この記事で、代数学のページに書いてある内容を再び詳しく説明することはしません。
イデアルによる商集合からベクトル空間を作る
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ベクトル空間 $V$ には元の間に何らかの乗法も定義されているとします。（乗法の定義されたベクトル空間を代数と呼ぶのでした。） $V$ からイデアル $I$ によって作った商集合 $V/I$ も、各同値類の間に次のように、加法、スカラー積、乗法を導入することで代数になることが示せます。
1. $[x]+[y]=[x+y]$ （加法）
2. $a[x]=[ax]$ （スカラー積）
3. $[x][y]=[xy]$ （乗法）
本当に $1$ 〜 $3$ のような規則が成り立っていると言えるのかは、ちょっと見ただけでは自明ではありませんので、以下に簡単に示すことにします。
【加法】
.. admonition:: proof
$x \sim x' , y \sim y'$ とすると、定義より $x-x' \in I, \ y-y' \in I$ です。このとき、 $(x+y)-(x'+y')=(x-x')-(y-y') \in I$ となるので、 $x+y \sim x'+y'$ が言えます。 ■
【スカラー積】
.. admonition:: proof
$x \sim x'$ とすると、定義より $x-x' \in I$ です。さらにイデアルの定義より $a(x-x')\in I$ ですが、右辺を展開すれば $ax-ax'\in I$ で、 $ax \sim ax'$ が示されます。■
【乗法】
.. admonition:: proof
$x \sim x' , y \sim y'$ とすると、定義より $x-x' \in I, \ y-y' \in I$ です。このとき、 $xx'-yy'=(x-x')y- x'(y-y') \in I$ となるので、 $xx' \sim yy'$ が示されます。■
$x \sim x' , y \sim y'$ とすると、定義より $x-x' \in I, \ y-y' \in I$ です。このとき、 $xy-x'y'=(x-x')y+ x'(y-y') \in I$ となるので、 $xx' \sim yy'$ が示されます。■
確かに、 $V/I$ の元（つまり同値類ですね）の間にも、加法、スカラー積、乗法の三つの演算が定義できています。イデアルによって作った $V/I$ のような代数を *商代数* と呼びます。
.. important::
代数 $V$ のイデアル $I$ による商集合 $V/I$ は、代数になります。
（ `イデアルで外積代数を入れる１`_ に続きます。）
.. _類別: 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/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/
.. _`イデアルで外積代数を入れる１`: http://www12.plala.or.jp/ksp/differentialforms/IdealExteriorAlgebra1/
@@author:Joh@@
@@accept: 2006-11-06@@
@@category: 微分形式@@
@@id: IdealClassification@@
記事ソース/イデアルによる類別 のバックアップ差分(No.4)
