=============================================
イデアルで外積代数を入れる３
=============================================
この記事は、 `イデアルで外積代数を入れる２`_ の続きです。代数学に関係する部分をかなりゆっくり説明して来ましたが、いよいよ最後です。私達は、テンソル空間 $T(V)$ に対し、 $x \otimes x \ (x \in V)$ を含む最小のイデアル $I$ を考え、その商代数 $E(V)=T(V)/I=  R \oplus V \oplus \land ^{2}V \oplus \land ^{3} V \oplus \cdots \cdots $ を求めました。この記事では、テンソル代数の乗法ともいうべきテンソル積 $\otimes$ を、 $E(V)$ に移した乗法 $\land$ を考え、この乗法が 外積代数_ で定義したウェッジ積の乗法であることを確認します。そして、いよいよ $T(V)/I$ が外積代数であることを最終確認するという流れです。





商代数の乗法
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
まず、商代数 $E(V) \equiv T(V)/I$ を次のように置きます。ギリシャ文字 $ [\alpha ]$ などはスカラー $\alpha$ を代表元とする類、小文字の $ [x]$ などはベクトル $x$ を代表元とする類とします。 `イデアルで外積代数を入れる２`_ までの議論により、 $V \otimes V$ 以上の階数のテンソルは、全てこれらの類に類別されています。




まず、次の関係が言えます。

.. admonition:: theorem 

	　 $x \land x = 0 \ \ (x \in V)$ 


.. admonition:: proof

	イデアルの定義より $x\otimes x \in I$ で、イデアルは常に $0$ を含むので $\pi (x \otimes x) = x \land x =0 $ となります。■




さらに、次の関係も言えます。

.. admonition:: theorem 

	　 $x,y \in V$ に対し $x \land y = -y \land x $ となります。 


.. admonition:: proof 

	前定理より、 $(x+y)\land (x+y)=x\land x + x \land y + y \land x + y \land y =0$ がなりたちます。 $x\land x = y \land y=0$ を代入して、定理が示されます。■



どうやら、私達が得た $E(V)$ は、この $\land$ による乗法を考えることで、外積代数になっているようです。（ 外積代数_ で考えたウェッジ積の乗法を思い出してください。）


.. [*]  外積代数_ の記事では、いきなり天下り的に外積代数の算法を定義しました。外積代数の威力が発揮されるのは、外積代数そのものと言うよりも、微分形式の理論においてですから、早く先に行きたい人が、外積代数の構造を公理的に受け容れ、そこから出発しても構いません。ただ、こんな代数をどう思いついたのか？という疑問を持つ人や、いきなり天下り的に出て来た物を受け容れるのに抵抗があった人が、こうやってテンソル代数とイデアルから外積代数が出てきたのを見て、すっきり安眠できれば良いと思っています。また、ここまで読んできた人は、ベクトル空間→テンソル空間→外積代数→微分形式という流れが連続して見えてきたのではないでしょうか。


外積代数の構造（つづき）
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
テンソル代数 $T(V)$ から外積代数 $E(V)$ への写像 $\pi$ を考え、 $T(V)=R \oplus V \oplus ( \otimes ^{2}V) \oplus (\otimes ^{3}V)\oplus \cdots \cdots$ を写像したものを次のように書きました。ここまでは `イデアルで外積代数を入れる２`_ の復習です。


<tex>
E(V) = R \oplus V \oplus \land ^{2}V \oplus \land ^{3} V \oplus \cdots \oplus \land ^{n}V  \tag{1}
</tex>

前セクションの二つの定理により、 $E(V)$ が外積代数であることが分かりましたので、 外積代数_ の議論に従い、 $V$ を $n$ 次元のベクトル空間とすれば、 $\land ^{k} V \ (k>n)$ は全て $\{ 0 \} $ になることが分かります。そこで、式 $(1)$ の右辺は無限に続くのではなく、 $\land ^{n}V$ までで打ち止めになります。


.. [*] 式 $(1)$ の右辺が、和 $+$ ではなく、直和 $\oplus$ で書ける理由は、各外積空間 $\land ^{k}R^{n} \ (k \le n)$ が独立だからです。本当は、次元の異なる外積空間が独立であることも、きちんと証明すべきです。



蛇足ですが、各 $\land ^{k} V \ (1 \le k \le n)$ に対しては次式が成り立ちました。（ $n$ 個から $k$ 個選ぶ組み合わせは ${}_{n}C_{k}$ 通りです。これが、そのまま外積空間 $\land ^{k}R^{n}$ の次元になるのでした。）


<tex>
{\rm div}\land^{k}V = {}_{n}C_{k}
</tex>

従って、 $E(V)$ の次元に関しては次式が成り立ちます。

<tex>
{\rm div}E(V) & = {\rm div}R \oplus {\rm div}V \oplus {\rm div}\land ^{2}V \oplus \cdots  \oplus {\rm div} \land ^{n}V \\
& = 1 + n + {}_{n}C_{2} + \cdots {}_{n}C_{n} \\
& = 2^{n}
</tex>


これは、二項係数の定理として、高校で習う公式です。外積代数 $E(V)$ を、テンソル空間 $T(V)$ から作る話は以上で終わりです。お疲れ様でした。外積代数は、外積代数そのものというより、微分形式という表現を使うことで威力を発揮します。今まで勉強してきたのは、いわば微分形式の準備編です。ここまでの記事が全部よく理解できたという人は、既にかなり力があると自信を持って良いと思います。

外積代数の誕生
=============================================================================
外積空間を最初に考案したのは、ドイツの数学者、グラスマン( $\text{Hermann}$  ${\rm G\ddot{u}nter}$  $\text{Grassmann (1809-1877)}$ )です。グラスマンの生い立ちは、既に 三重積_ で紹介しましたが、グラスマンは若い頃は数学に興味がなく、大学では哲学、神学、ラテン語やギリシャ語などを勉強しました。大学卒業後、ようやく数学に興味が向き始め、独学を続けながらギムナジウム（ドイツの進学用中学・高校に相当）の教師になりましたが、教員試験の成績も芳しくなく、レベルの低いクラス専門の教師として働き始めました。より上級の教員試験に挑戦しつつ数学の研究も続けたグラスマンは、 $1844$ 年、 $``Die \  Lineale \ Ausdehrungslehre,\ ein \ neuer \ Zweig \ der \ Mathematik"$ （線形拡大論、数学の新しい分野）という、ベクトルの理論と外積代数に関する画期的な著作を発表しました。これは、非常に抽象的で難解であり、当初は研究の重要性があまり理解されなかったようです。その後も本や論文の発表を続け、徐々に他の数学者達に認められるようになりますが、グラスマンに特徴的なのは、最初からかなり抽象的なベクトル空間論を用いている点です。当時一流の数学者にとっても、新しい概念を具体例なしで理解するのは簡単なことではありませんでした。グラスマンは、現在、ベクトル解析や線形代数と呼ばれる分野をほぼ独力で開拓し、外積代数も全くオリジナルなアイデアでした。微分幾何や多様体論といった分野にも深く関係し、真に時代に先駆けたものでしたが、人々に理解されるまでに多少の時間を要しました。


.. figure:: Joh-Grassmann01.png 

	新しい分野を次々に作ったグラスマン。並大抵のことではない。


ベクトル解析分野は、グラスマンやメビウス( $\text{August Ferdinand }$ ${{\rm M\ddot{o}bius}}$ $\text{ (1790-1868)}$ )といったドイツ系の数学者達とは独立に、ハミルトン( $\text{Sir William Rowan Hamilton (1805-1865)}$ )、テイト( $\text{Peter Gurthrie Tait (1831-1901)}$ )、マックスウェル( $\text{James Clerk Maxwell (1831-1879)}$ )、ギブス( $\text{Josiah Willard Gibbs (1839-1903)}$ )、ヘヴィサイド( $\text{Oliver Heaviside (1850-1925)}$ )といった、英米系の数学者・物理学者達によって、主に電磁気学への興味から発展させられて来ました。どちらの流派が優れていたかは分かりませんが、現在採用されている記法や用語は英米系の学者によるもので、グラスマンの考案によるものは、グラスマン記号とウェッジ積くらいしか残っていません。線形代数は、今でこそ大学の教養課程での必須科目となっていますが、このように重要視され始めたのは二十世紀に入ってからで、グラスマンの時代にはそこまで重要な分野だとは認識されていませんでした。また、外積代数が本当に威力を発揮するのは、エリー・カルタン $(\text{Elie Joseph Cartan (1869-1951)})$ による微分形式の理論の発展を待たなくてはなりませんが、これもグラスマンの死後のことです。グラスマンの業績は、どうも生前には十分な評価を得ていなかったようで、少し気の毒です。





.. _`イデアルで外積代数を入れる２`: http://www12.plala.or.jp/ksp/differentialforms/IdealExteriorAlgebra2/
.. _外積代数: http://www12.plala.or.jp/ksp/differentialforms/ExteriorAlgebra/
.. _三重積: http://www12.plala.or.jp/ksp/vectoranalysis/Triprod/


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