外積代数

外積代数（がいせきだいすう、、）は、ヘルマン・グラスマンによって導入された代数。グラスマンに因みグラスマン代数（、）では拡大された代数として導入されている (cf. )。おそらく現代的な線型代数学において定義されるところの outer product との区別のために、グラスマンは彼の定義した（今日では便利に外積と呼ばれる）積を指し示すだけのために（逐語訳すれば外の () あるいは外部の()）という言葉を用いた。とも呼ばれる。

以下、特に断らない限り外国語表記はドイツ語、英語の順に記す。

概要ベクトルの外積（がいせき、, ）や楔積（くさびせき、）は、クロス積をある特定の性質に着目して、より高次元の場合へ一般化する代数的な構成である。

クロス積やスカラー三重積のようにベクトル同士の外積はユークリッド幾何学において面積や体積およびそれらの高次元における類似物の研究に用いられる。線型代数学において外積は、線型変換の行列式や小行列式を記述する基底の取り方に依存しない抽象代数的な仕方を提供し、階数や線型独立性といった概念に根本的に関係してくる。

外積代数（グラスマン代数）は、与えられた体上のベクトル空間上の外積によって生成される多元環である。多重線型代数やその関連分野と同様に、微分形式の成す多元環を通じて現代幾何学、特に微分幾何学と代数幾何学において広く用いられる。

形式的には、外積代数はあるいはで表され、を線型部分空間として含む、外積あるいは楔積と呼ばれるで表される乗法を持つ、体上の単位的結合代数である。外積は結合的で双線型な乗法

であり、上の交代性 (1) 任意のに対してを持つものである。これは以下の性質 (2) 任意のに対して (3) が一次従属ならばを特別の場合として含む注意すべきは、多元環の任意の元に対して成立が要請される結合性や双線型性とは異なり、ここに挙げられる 3 つの条件は、この多元環の部分空間である上でのみ制約として課せられているということである。ここで条件 (1) と条件 (3) は同値であり、条件 (1) と条件 (2) はの標数がでない限り同値である。。

圏論の言葉で言えば、外積代数は普遍構成によって与えられる、ベクトル空間の圏上の函手の典型である。この普遍構成によって、体上のベクトル空間だけに限らず、可換環上の加群やもっとほかの興味ある構造にたいしても外積代数を定義することができる。外積代数は双代数のひとつの例である。つまり、外積代数の（ベクトル空間としての）双対空間にも乗法が定義され、その双対的な乗法が楔積と両立する。この双対代数は特に上の重線型形式全体の成す多元環で、外積代数とその双対代数との双対性は内積によって与えられる。

動機付けとなる例

平面における面積

平面はベクトル空間であり、

という 2 つの単位ベクトルの組はその基底となっている。ここで、

という 2 つの成分表示されたのベクトルが与えられたとすると、を 2 つの辺とする平行四辺形が一意に存在する。この平行四辺形の面積は、行列式を用いて

と表される。いま、の外積を

のように定める。まず最初の部分では楔積に分配法則を適用し、ついで楔積が交代的であるという性質を用いた。最終的に得られた表式の係数はまさに行列の行列式である。この係数が正負の値を取りうることは、直感的には、に、それらの定義する平行四辺形の辺として時計回りあるいは反時計回りの向きがつけられることを意味する。このような面積のことを平行四辺形の「符号つき面積」という。符号つき面積の絶対値は通常の意味での面積であり、符号はその向きを与えている。

この係数が符号つき面積となったことは偶然ではない。符号つき面積を代数的構造として公理化しようとすれば、必然的に外積と結びつくことが比較的簡単に確かめられる。詳しく言えば、とによって決まる平行四辺形の符号つき面積をと表すことにすれば、は下に挙げる性質を満たさなくてはならない。任意の実数とについて、が成り立つ。なぜならば、どちらかの辺の長さを変えれば、それに応じて面積も変わる。また、どちらかの辺の向きを変えれば、平行四辺形の向きは変わる。である。なぜならば、が決める退化した平行四辺形（すなわち、線分）の面積はである。である。なぜならば、との役割を交換すれば平行四辺形の向きは逆転する。である。なぜならば、の定数倍をに足すという作用は底辺の長さも高さも変えず、したがって面積を保つ。である。なぜならば、単位正方形の面積はである。

最後の条件を除くと、楔積はこの面積の性質と同様の性質を満たす。ある意味で、楔積は面積の最後の性質を一般化し、適当に選んだ「標準的な」平行四辺形と比較することを許容したものであるといえる。言い換えれば、2 次元の外積は面積の「基底に依存しない」定式化であるこの面積の公理化はレオポルト・クロネッカーとカール・ワイエルシュトラスによる; see 。近代的な取り扱いについては、see 。初等的な取り扱いについては、see 。。

クロス積と三重積におけるベクトルに対して、対応する外積代数はベクトルのクロス積およびスカラー三重積と近しい関係にある。標準基底を用いて、2 つのベクトル

の楔積は 3-次元空間の基底に関して

と書くことができる。これは 3-次元における空間ベクトルの通常のクロス積の定義とよく似ている（通常のクロス積に落とすには後述のホッジのを用いればよい）。さらに 3 つ目のベクトルを

とすれば、1-次元ベクトル空間の基底に関して、これら 3 つのベクトルの楔積は

となる。これはスカラー三重積の通常の定義とよく似ている。

3-次元における通常のクロス積やスカラー三重積は幾何学的・代数的の両面で解釈することができる。クロス積はとの両方に直交し、大きさがそれらの張る平行四辺形の面積の大きさに等しいようなベクトルとして解釈することができ、これはまたとを列ベクトルとする行列の小行列式を成分に持つベクトルとして解釈することもできる。のスカラー三重積は幾何学的には（符号付）体積を表し、代数的にはを列ベクトルとする行列の行列式となっている。3-次元における外積についても同様の解釈が許される。事実として、正の向きを持つ正規直交基底の存在性に関して、外積はこれらの概念をより高い次元へと一般化する。

形式的定義と代数的な性質ベクトル空間上の外積代数はテンソル代数をの形の元で生成される両側イデアルで割ったとして定義されるこれは標準的な定義の一つ。See, for instance, .。これを記号的に

と表せば、の 2 元の楔積は

で与えられる。

楔積の交代性この積はの元の上で反対称的である。とすればゆえ

が成り立つから

が得られる。あるいはもっと一般にをの元、を整数の置換とすれば

が成立する。ここでは置換の符号であるこのことのもっと一般な証明はたとえばに見ることができる。。

外冪の –次外冪 () とは

で張られるの部分線型空間である。

とするとき、は -重ベクトル () と呼ばれる。更に、がの個の元の楔積で表すことができるならば、は分解可能であるという。

は分解可能多重ベクトルによって張られるけれども、全ての元が分解可能というわけではない。例えば、で次の 2 重ベクトル

は分解可能ではない（であり、実際にはこれは斜交形式であるSee .）。

基底と次元の次元を有限なとし、をの一つの基底とする。このとき、集合

は -次外冪の基底を成す。実際に任意の元が

の形に与えられたとき、各ベクトルは基底の線型結合に書けるから、楔積の重線型性を使って展開すればこれを基底ベクトル同士の楔積の線型結合に書き直すことができる。このとき、楔積の中に同じベクトルがあればになるし、基底ベクトルが順番に現われていなければ符号を変えて順番を入れ替えて、基底を順番通りに並ばせることができる。一般に、結果として得られた -ベクトルの基底の係数は基底に関してベクトルを記述する行列の小行列式として計算できる。

基底に属する元の個数を数えることによりの次元は二項係数で与えられることが分かる。特に、ならばである。

外積代数の任意の元は多重ベクトルの和として表される。よって、外積代数はベクトル空間の直和

に分解される（ここでおよびと約束する）。したがって外積代数の次元は二項係数の和に等しく、である。

多重ベクトルの階数とするとは分解可能多重ベクトルの線型結合

として表示できる。ここで各は分解可能、つまり

と書ける。多重ベクトルの階数とはのこのような表示に現れる分解可能多重ベクトルの最小数をいう。これはの記法の類似である。

階数は特に 2 重ベクトルの研究で重要である。2-重ベクトルの階数はのある基底に関する係数の作る行列の階数と同一視できる。つまり、をの基底とすると、は

と一意的に表示できる（ここでゆえ、対応する係数行列は歪対称行列である）。そしての階数は行列の階数に一致する。

標数の場合、2-重ベクトルが階数を持つことと

かつ

であることとは同値である。

次数付け構造 -重ベクトルと -重ベクトルとの楔積は -重ベクトルで、双線型性を持つことを思い出そう。結果として先行節で与えた直和分解

は外積代数に次数付き代数の構造を与える。記号的には

が成り立つ。さらに楔積は次数付き反対称性を持つ。つまりとに対し

が成立する。外積代数の次数付き構造の研究に加えては、（それ自身次数付けを持つ加群である）次数付き加群上の外積代数のような、外積代数上の加法的次数付き構造を研究した。

普遍性を体上のベクトル空間とする。形式張らずに言えば、における乗法は文字を分配法則、結合法則と恒等式に従って操作することによって行われる。厳密にはは乗法がそれらの法則を満足する多元環の中で、「もっとも一般」なものである。それはを含み交代的な乗法を持つ任意の単位的結合 -代数はの準同型像として得られるという意味である。言い換えれば、外積代数は以下の普遍性およびを見よ。一般の普遍性に基づくより詳細な議論はおよびブルバキの著作の至る所で見ることができる。を持つ。外積代数の普遍性与えられた任意の単位的結合 -代数と任意の -線型写像でを満たすものに対して、単位的でを満たすものが「唯一つ」存在する。

を含み、の上で交代的な乗法を持つもっとも一般の多元環を構成するには、を含む最も一般な多元環であるテンソル代数から始めるのが自然であり、テンソル代数の適当な商をとることによって交代性を導入してやればよい。そこでの形の元全体が生成するの両側イデアルをとり、を

で定義して、における乗法を表す記号として () を用いる。このがを含み、上記の普遍性を満たすことはすぐに判る。

この構成の結果として、ベクトル空間に外積代数に対応させる操作が、ベクトル空間の圏から多元環の圏への函手となる。

空間を始めに定義して、それらの直和として代数を構成する代わりに、最初にを定義して、外冪を適当な部分空間と同一視するほうを好むかもしれない。このやり方はしばしば微分幾何で用いられる（次の節で記述する）。

一般化

与えられた可換環と -加群に対して、上でやったようにテンソル代数の適当な商として外積代数を定義することができる。それは類似の普遍性を満足するだろう。の多くの性質はが射影加群であることを要求する。有限次元性が用いられるところでは、を有限生成かつ射影的とすることが必要である。もっと一般の設定への一般化はに見つかる。

位相幾何学などでベクトル束の外積代数を考えることがしばしばある。セール–スワンの定理により、有限次元ベクトル束の外積代数の代数的性質と有限生成射影加群の外積代数のそれとの間には本質的な違いはない。もっと一般に外積代数は加群の層に対して定義できる。

双対性交代作用素 2 つのベクトル空間に対し、からへの交代作用素 () あるいは反対称作用素 () とは多重線型写像

であって、が線型従属なベクトルならば

を常に満たすもののことである。最も有名な例は行列式でこれはからへの交代作用素である。また、の個のベクトルにその楔積となる -重ベクトルを対応させる写像

も交代的である。事実として、この写像は上定義される交代作用素の中で「もっとも一般」なものである。つまり、交代作用素が与えられたとき、線型写像でを満たすものが唯一つ存在する。この普遍性によりを特徴づけられる。この普遍性をの定義とすることもある。

重線型交代形式上記の特別の場合としてを基礎体とするとき、交代重線型写像

は重線型交代形式と呼ばれる。重線型交代形式の全体の成す集合は、それらの和もスカラー倍も再び交代性を持つから、ベクトル空間を成す。外冪の普遍性により、上の次数の交代形式の空間は双対空間と自然同型である。が有限次元なら後者はに自然同型である。特にからへの反対称写像全体の成す空間の次元はからを選ぶ二項係数に等しい。

この同一視の元、楔積は具体的な形で 2 つの反対称写像から別の反対称写像を導く。とを 2 つの反対称写像とする。重線型写像のテンソル積の場合と同様に楔積における変数の個数はそれぞれの写像の変数の個数の和になる。楔積は次のように

と定義される。ここで重線型写像の交代化作用 "" は変数の置換全体を亘る符号付平均

で定義される。この楔積の定義は、が有限標数をもてば矛盾無く定まる。上記と同値で階乗を使わないものとして

を考えることもできる。ここでは -全体の成す部分集合である。-シャッフルはの置換であって、かつなるものを言う慣習的に、特に物理学では、楔積を

で定義することがある。この定義は本項での定義とは一致しないが、交代テンソルの話とは繋がりがある。。

双代数構造正確に言えば、次数付き代数の次数付き双対と上の重線型交代形式全体の空間の間に対応が存在する。上で定義した重線型代数の楔積は上に定義され、余代数の構造を定める余積の双対である。

この余積 () は線型写像であって、分解可能な元の上では

によって与えられる。例えば

のようである。これを線型に拡張して外積代数全体で定義される演算を得る。余積の言葉で言えば、双対空間上の楔積はちょうど余積の次数つき双対

である。ここで右辺におけるテンソル積は線型写像としてのそれである（両立しない斉次次数の元についてはで拡張する。もっとはっきり言えばと定める。ここでは以下で定義する余単位射である）。

余単位射は準同型で引数の -次成分を返すものである。余積および余単位射は楔積とともに外積代数に双代数の構造を定める。

内部積

は有限次元とし、をの双対空間とする。任意のに対し、代数上の

が定義できる。この微分をに関する内積あるいは内部積 () と呼ぶ。挿入作用素 () やによる縮約 () などということもある。

とすると、はからへの重線型写像であるから、-重直積における値によって定まる。の個の元に対し、

が定義される。加えて、が純スカラー（つまり、の元）であるときにはとする。

公理的特徴づけと性質内部積は以下の性質

任意のと任意のについてである（規約によりとする）。がの元ならばとする。任意のに対し、は次数のである。

を満足する。事実として、これら 3 つの性質は、内部積を特徴付けるのに十分で、一般の無限次元の場合においても内部積を同様に定義する。内部積のほかの性質としては

が挙げられる。

ホッジ双対性

を有限 -次元とすると、内部積はベクトル空間の自然な同型

を誘導する。幾何学的な設定で、（一次元ベクトル空間である）最高次外冪のゼロでない元はしばしば体積要素と（あるいは多少紛らわしい用語だがとも）呼ばれる。体積要素に関して上記の同型は

によって明示的に与えられる。体積要素に加えて、ベクトル空間がとを同一視する内積を備えているならば、得られる同型

はホッジ双対、あるいは一般にはホッジ -作用素と呼ばれる。-作用素とそれ自身の合成写像は常に恒等写像のスカラー倍である。ほとんどの応用においては、体積形式はそれがのある正規直交基底の楔積であるという意味で内積と両立する。この場合は

になっている。ここでは恒等写像で、内積は計量符号数（プラスが個、マイナスが個）を持つ。

函手性をベクトル空間の対とし、を線型写像とする。このとき普遍構成により、次数付き代数の準同型

であって、そのへの制限が

を満たすようなものが唯一つ存在する。特には斉次次数 () を保つ。の -次成分は分解可能元の上では

で与えられる。

とすると、変換のとの基底に関する成分はの小行列式の作る行列である。特に、でが有限 -次元のとき、は 1 次元ベクトル空間をそれ自身に移すから、これはスカラーで与えられ、それはちょうどの行列式の値である。

完全性ベクトル空間の短完全列

に対し、

は次数付き線型空間の完全列である主張のうちが全射を全射に写すという部分はより一般にとが環上の加群である場合にも成り立つ。See .。もちろん

も完全であるこのことはとが可換環上の射影加群である場合にのみ一般化できる。そうでない場合にはが単射を単射に写すことが一般には期待できない。See .。

直和ベクトル空間の直和上の外積代数はそれぞれの空間上の外積代数のテンソル積に同型

である。これは次数付き同型、つまり

になっている。もう少し一般に

がベクトル空間の短完全列ならばは

で、その商が

なるものを持つ。特に、が 1 次元ならば

は完全であり、が 1 次元ならば

が完全であるこのようなフィルトレーションはベクトル束や可換環上の射影加群についても取れる。これはしたがって、上述の直和に対する結果よりもっと一般的な結果である。実際、他のアーベル圏では必ずしも短完全列が分裂するとは限らない。。

交代テンソル代数を標数の体とするSee for generalizations.とき、ベクトル空間の外積代数はテンソル空間の交代テンソル全体の成す部分空間と自然に同一視される。外積代数がので生成されるイデアルによる商多元環として定義されたことを思い出そう。

を次数の斉次テンソル全体の成すベクトル空間とすれば、は分解可能テンソル

で生成される。分解可能テンソルの交代化作用素 () あるいは歪対称化作用素 () は

で与えられる。ここに和は文字の置換全体の成す対称群を亘る。これを線型性と斉次性を使ってテンソル空間全体まで拡張したものも同じく "" で表す。の像を交代テンソル代数 () と呼び、で表す。これはの部分線型空間で、から次数付きベクトル空間の構造が遺伝する。これにより結合的な次数付き乗法が

によって誘導される。しかしこれはテンソル積とは異なる乗法であって、の核がちょうど両側イデアルに一致して（は標数だと仮定している）、自然な同型

が存在する。

指数表記が有限 -次元であるとし、その基底が与えられているとする。交代テンソルは添字表記を用いて

と書ける。ここではその添字に関して完全反対称である。

階数がそれぞれおよびである交代テンソルおよびの楔積は

で与えられる。このテンソルの成分はちょうどテンソル積の成分の交代部分になっており、添字に角括弧をつけて

と表す。

内部積も添字記法で書くことができる。

を階数の反対称テンソルとすると、に対しては階数の交代テンソルで

によって与えられる。はの次元である。

応用線型代数分解可能 -ベクトルは幾何学的に解釈することができる。2-ベクトルはで張られる、とを辺に持つ向き付けられた平行四辺形の面積で与えられる数の「重み」を持つ平面を表す。同様にして 3-ベクトルは、を辺とする平行六面体の体積で重み付けられた 3 次元空間を表す。

射影幾何の分解可能 -ベクトルはの重み付き -次元部分空間に対応する。特にの -次元部分空間のグラスマン多様体は自然に射影空間のある代数多様体と同一視される。これをという。

微分幾何外積代数の微分幾何における特筆すべき応用は、微分形式の定義に用いられることである。可微分多様体上の点における微分形式は、その点の接空間における重線型交代形式であり、-次微分形式は接空間の -次外冪からの線型汎函数である。結論として、重線型形式の楔積は自然に微分形式の楔積を定める。微分形式は微分幾何のさまざまな部分で大きな役割を担う。

特に、外微分は多様体上の微分形式に外積代数に微分環の構造を与える。外微分は多様体間の滑らかな写像に沿っての引き戻しと可換であり、それゆえに自然な微分作用素である。外微分を備えた微分形式の外積代数は、そのコホモロジーが台となる多様体のド・ラームコホモロジーと呼ばれる微分複体を成し、可微分多様体の代数的位相幾何学の根幹を成している。

表現論表現論において、外積代数はベクトル空間の圏における二つの基本のうちの一つで、もう一方は対称代数である。これらの構成はともに一般線型群の既約表現を生み出すのに用いられる。

物理学外積代数は、フェルミオンと超対称性に関する物理理論において基本的な役割を演じる、の原型的な例である。物理学的な議論はグラスマン数を見よ。ほかのいくつかの関連する概念の物理学への応用はやを参照。

歴史外積代数は1844年、『拡大の理論』() の包括的な言葉の下にヘルマン・グラスマンによって初めて導入されたカネンバーグはグラスマンの仕事の英訳においてをと訳している。。これはもっと一般に量の拡大の代数的（あるいは公理的）な理論について言及しており、また早い時期における現代的なベクトル空間の概念のさきがけの一つとなっている。もまた同様のの概念を著しており、それがグラスマンに先駆けて成されたものと主張した.。

外積代数それ自身は、アーサー・ケイリーとジェームス・ジョセフ・シルベスターの重ベクトルの理論の形式的側面を捉えたいくつかの規約あるいは公理から組み立てられたもので、それゆえに幾何学的な言葉での形式的な理由付けの面を抜きにすれば、命題計算のような「計算」() の類であるかつてはこの計算についてさまざまな呼び方が成されており、 (; ) とかとか、近いところではなどがある。。特にこの新たな発展は、それまで座標の観点からのみ説明されてきた性質である次元の概念の「公理的な」特徴づけを可能にした。

このベクトルと重ベクトルに関する新しい理論の重要性は19世紀半ばまでには失われ、1888年にジュゼッペ・ペアノによって詳しく調べられるまで顧みられることは無かった。ペアノの仕事にも幾分不明瞭な部分が残されていたが、世紀が変わる頃には、微分形式の計算にグラスマンのアイデアを応用したフランス高等師範学校のメンバー（有名どころはアンリ・ポアンカレ、エリ・カルタン、ジャン・ガストン・ダルブーら）によって主題の統一をみた。

そのしばらく後にアルフレッド・ノース・ホワイトヘッドはペアノとグラスマンのアイデアをもとにして普遍代数を導入する。これは確固たる論理的基礎の上に代数系の公理的な概念を与えることで、20世紀の抽象代数学の発展を可能にした。

Źródło i licencja