外積代数
数学におけるベクトルの外積（がいせき、）あるいは楔積（くさびせき、ウェッジ積、）はクロス積をある特定の性質に着目して、より高次元の場合へ一般化する代数的な構成である。クロス積やスカラー三重積のようにベクトル同士の外積はユークリッド幾何学において面積や体積およびそれらの高次元における類似物の研究に用いられる。線型代数学において外積は、線型変換の行列式や小行列式を記述する基底の取り方に依存しない抽象代数的な仕方を提供し、階数や線型独立性といった概念に根本的に関係してくる。
外積代数（がいせきだいすう、）は、ヘルマン・グラスマンに因んでグラスマン代数（グラスマンだいすう、）としても知られ、与えられた体 上のベクトル空間 上の外積によって生成される多元環である。多重線型代数やその関連分野と同様に、微分形式の成す多元環を通じて現代幾何学、特に微分幾何学と代数幾何学において広く用いられる。
形式的には、外積代数は あるいは で表され、 を線型部分空間として含む、楔積あるいは外積と呼ばれる で表される乗法を持つ、体 上の単位的結合代数である。楔積は結合的で双線型な乗法
であり、本質的な性質として 上の交代性
を持つものである。これは以下の性質
をも特別の場合として含む。
圏論の言葉で言えば、外積代数は普遍構成によって与えられる、ベクトル空間の圏上の函手の典型である。この普遍構成によって、体上のベクトル空間だけに限らず、可換環上の加群やもっとほかの興味ある構造にたいしても外積代数を定義することができる。外積代数は双代数のひとつの例である。つまり、外積代数の（ベクトル空間としての）双対空間にも乗法が定義され、その双対的な乗法が楔積と両立する。この双対代数は特に 上の重線型形式全体の成す多元環で、外積代数とその双対代数との双対性は内積によって与えられる。
平面 はベクトル空間であり、
という 2 つの単位ベクトルの組はその基底となっている。ここで、
という 2 つの成分表示された のベクトルが与えられたとすると、 を 2 つの辺とする平行四辺形が一意に存在する。この平行四辺形の面積は、行列式を用いて
と表される。いま、 の外積を
のように定める。まず最初の部分では楔積に分配法則を適用し、ついで楔積が交代的であるという性質を用いた。最終的に得られた表式の係数はまさに行列 の行列式である。この係数が正負の値を取りうることは、直感的には、 に、それらの定義する平行四辺形の辺として時計回りあるいは反時計回りの向きがつけられることを意味する。このような面積のことを平行四辺形の「符号つき面積」という。符号つき面積の絶対値は通常の意味での面積であり、符号はその向きを与えている。
この係数が符号つき面積となったことは偶然ではない。符号つき面積を代数的構造として公理化しようとすれば、必然的に外積と結びつくことが比較的簡単に確かめられる。詳しく言えば、 と によって決まる平行四辺形の符号つき面積を と表すことにすれば、 は下に挙げる性質を満たさなくてはならない。
最後の条件を除くと、楔積はこの面積の性質と同様の性質を満たす。ある意味で、楔積は面積の最後の性質を一般化し、適当に選んだ「標準的な」平行四辺形と比較することを許容したものであるといえる。言い換えれば、2 次元の外積は面積の「基底に依存しない」定式化である。
におけるベクトルに対して、対応する外積代数はベクトルのクロス積およびスカラー三重積と近しい関係にある。標準基底 を用いて、2 つのベクトル
の楔積は 3-次元空間 の基底 に関して
と書くことができる。これは 3-次元における空間ベクトルの通常のクロス積の定義とよく似ている（通常のクロス積に落とすには後述のホッジの を用いればよい）。さらに 3 つ目のベクトルを
とすれば、1-次元ベクトル空間 の基底 に関して、これら 3 つのベクトルの楔積は
となる。これはスカラー三重積の通常の定義とよく似ている。
3-次元における通常のクロス積やスカラー三重積は幾何学的・代数的の両面で解釈することができる。クロス積 は と の両方に直交し、大きさがそれらの張る平行四辺形の面積の大きさに等しいようなベクトルとして解釈することができ、これはまた と を列ベクトルとする行列の小行列式を成分に持つベクトルとして解釈することもできる。
ベクトル空間 上の外積代数 はテンソル代数 を の形の元で生成される両側イデアル で割ったとして定義される。これを記号的に
と表せば、 の 2 元の楔積 は
で与えられる。
この積は の元の上で反対称的である。 とすれば ゆえ
が成り立つから
が得られる。あるいはもっと一般に を の元、 を整数 の置換 とすれば
が成立する。ここで は置換 の符号である。
の –次外冪 () とは
で張られる の部分線型空間である。
は分解可能ではない（ であり、実際にはこれは斜交形式である）。
の次元を有限な とし、 を の一つの基底とする。このとき、集合
は -次外冪 の基底を成す。実際に任意の元が
の形に与えられたとき、各ベクトル は基底 の線型結合に書けるから、楔積の重線型性を使って展開すればこれを基底ベクトル同士の楔積の線型結合に書き直すことができる。このとき、楔積の中に同じベクトルがあれば になるし、基底ベクトルが順番に現われていなければ符号を変えて順番を入れ替えて、基底を順番通りに並ばせることができる。
一般に、結果として得られた -ベクトルの基底の係数は基底 に関してベクトル を記述する行列の小行列式として計算できる。
基底に属する元の個数を数えることにより の次元は二項係数 で与えられることが分かる。特に、 ならば である。
外積代数の任意の元は多重ベクトルの和として表される。よって、外積代数はベクトル空間の直和
に分解される（ここで および と約束する）。したがって外積代数の次元は二項係数の和に等しく、 である。
とすると は分解可能多重ベクトルの線型結合
として表示できる。ここで各 は分解可能、つまり
と書ける。多重ベクトル の階数 とは のこのような表示に現れる分解可能多重ベクトルの最小数をいう。これはの記法の類似である。
階数は特に 2 重ベクトルの研究で重要である 。2-重ベクトル の階数は のある基底に関する係数の作る行列の階数と同一視できる。つまり、 を の基底とすると、 は
と一意的に表示できる（ここで ゆえ、対応する係数行列は歪対称行列である）。そして の階数は行列 の階数に一致する。
標数 の場合、2-重ベクトル が階数 を持つことと
かつ
であることとは同値である。
-重ベクトルと -重ベクトルとの楔積は -重ベクトルで、双線型性を持つことを思い出そう。結果として先行節で与えた直和分解
は外積代数に次数付き代数の構造を与える。記号的には
が成り立つ。さらに楔積は次数付き反対称性を持つ。つまり と に対し
が成立する。外積代数の次数付き構造の研究に加えては、（それ自身次数付けを持つ加群である）次数付き加群上の外積代数のような、外積代数上の加法的次数付き構造を研究した。
を体 上のベクトル空間とする。形式張らずに言えば、 における乗法は文字を分配法則、結合法則と恒等式 に従って操作することによって行われる。厳密には は乗法がそれらの法則を満足する多元環の中で、「もっとも一般」なものである。それは を含み交代的な乗法を持つ任意の単位的結合 -代数は の準同型像として得られるという意味である。言い換えれば、外積代数は以下の普遍性を持つ。
 を含み、 の上で交代的な乗法を持つもっとも一般の多元環を構成するには、 を含む最も一般な多元環であるテンソル代数 から始めるのが自然であり、テンソル代数の適当な商をとることによって交代性を導入してやればよい。そこで の形の元全体が生成する の両側イデアル をとり、 を
で定義して、 における乗法を表す記号として () を用いる。この が を含み、上記の普遍性を満たすことはすぐに判る。
この構成の結果として、ベクトル空間 に外積代数 に対応させる操作が、ベクトル空間の圏から多元環の圏への函手となる。
空間 を始めに定義して、それらの直和として代数 を構成する代わりに、最初に を定義して、外冪 を適当な部分空間と同一視するほうを好むかもしれない。このやり方はしばしば微分幾何で用いられる（次の節で記述する）。
与えられた可換環 と -加群 に対して、上でやったようにテンソル代数 の適当な商として外積代数 を定義することができる。それは類似の普遍性を満足するだろう。 の多くの性質は が射影加群であることを要求する。有限次元性が用いられるところでは、 を有限生成かつ射影的とすることが必要である。もっと一般の設定への一般化は に見つかる。
位相幾何学などでベクトル束の外積代数を考えることがしばしばある。セール–スワンの定理により、有限次元ベクトル束の外積代数の代数的性質と有限生成射影加群の外積代数のそれとの間には本質的な違いはない。もっと一般に外積代数は加群の層に対して定義できる。
2 つのベクトル空間 に対し、 から への交代作用素 () あるいは反対称作用素 () とは多重線型写像
であって、 が線型従属なベクトルならば
を常に満たすもののことである。最も有名な例は行列式でこれは から への交代作用素である。また、 の 個のベクトルにその楔積となる -重ベクトルを対応させる写像
も交代的である。事実として、この写像は 上定義される交代作用素の中で「もっとも一般」なものである。つまり、交代作用素 が与えられたとき、線型写像 で を満たすものが唯一つ存在する。この普遍性により を特徴づけられる。この普遍性を の定義とすることもある。
上記の特別の場合として を基礎体とするとき、交代重線型写像
は重線型交代形式と呼ばれる。重線型交代形式の全体の成す集合は、それらの和もスカラー倍も再び交代性を持つから、ベクトル空間を成す。
外冪の普遍性により、 上の次数 の交代形式の空間は双対空間 と自然同型である。 が有限次元なら後者は に自然同型である。特に から への反対称写像全体の成す空間の次元は から を選ぶ二項係数に等しい。
この同一視の元、楔積は具体的な形で 2 つの反対称写像から別の反対称写像を導く。 と を 2 つの反対称写像とする。重線型写像のテンソル積の場合と同様に楔積における変数の個数はそれぞれの写像の変数の個数の和になる。楔積は次のように
と定義される。ここで重線型写像の交代化作用 "" は変数の置換全体を亘る符号付平均
で定義される。この楔積の定義は、 が有限標数をもてば矛盾無く定まる。上記と同値で階乗を使わないものとして
を考えることもできる。ここで は -全体の成す部分集合である。-シャッフルは の置換 であって、 かつ なるものを言う。
正確に言えば、次数付き代数 の次数付き双対と 上の重線型交代形式全体の空間の間に対応が存在する。上で定義した重線型代数の楔積は 上に定義され、余代数の構造を定める余積の双対である。
この余積 () は線型写像 であって、分解可能な元の上では
によって与えられる。例えば
のようである。これを線型に拡張して外積代数全体で定義される演算を得る。余積の言葉で言えば、双対空間上の楔積はちょうど余積の次数つき双対
である。ここで右辺におけるテンソル積は線型写像としてのそれである（両立しない斉次次数の元については で拡張する。もっとはっきり言えば と定める。ここで は以下で定義する余単位射である）。
余単位射 は準同型 で引数の -次成分を返すものである。余積および余単位射は楔積とともに外積代数に双代数の構造を定める。
は有限次元とし、 を の双対空間とする。任意の に対し、代数 上の
が定義できる。この微分を に関する内積あるいは内部積 () と呼ぶ。挿入作用素 () や による縮約 () などということもある。
が定義される。加えて、 が純スカラー（つまり、 の元）であるときには とする。
内部積は以下の性質を満足する。事実として、これら 3 つの性質は、内部積を特徴付けるのに十分で、一般の無限次元の場合においても内部積を同様に定義する。内部積のほかの性質としては
が挙げられる。
を有限 -次元とすると、内部積はベクトル空間の自然な同型
を誘導する。幾何学的な設定で、（一次元ベクトル空間である）最高次外冪 のゼロでない元はしばしば体積要素と（あるいは多少紛らわしい用語だが " とも）呼ばれる。体積要素 に関して上記の同型は
によって明示的に与えられる。体積要素に加えて、ベクトル空間 が と を同一視する内積を備えているならば、得られる同型
はホッジ双対、あるいは一般にはホッジ -作用素と呼ばれる。-作用素とそれ自身の合成写像 は常に恒等写像のスカラー倍である。ほとんどの応用においては、体積形式はそれが のある正規直交基底の楔積であるという意味で内積と両立する。この場合は
になっている。ここで は恒等写像で、内積は計量符号数 （プラスが 個、マイナスが 個）を持つ。
をベクトル空間の対とし、 を線型写像とする。このとき普遍構成により、次数付き代数の準同型
であって、その への制限が
を満たすようなものが唯一つ存在する。特に は斉次次数 () を保つ。 の -次成分は分解可能元の上では
で与えられる。
とすると、変換 の と の基底に関する成分は の 小行列式の作る行列である。特に、 で が有限 -次元のとき、 は 1 次元ベクトル空間 をそれ自身に移すから、これはスカラーで与えられ、それはちょうど の行列式の値である。
ベクトル空間の短完全列
に対し、
は次数付き線型空間の完全列である。もちろん
も完全である。
ベクトル空間の直和上の外積代数はそれぞれの空間上の外積代数のテンソル積に同型
である。これは次数付き同型、つまり
になっている。もう少し一般に
がベクトル空間の短完全列ならば は
で、その商が
なるものを持つ。特に、 が 1 次元ならば
は完全であり、 が 1 次元ならば
が完全である。
を標数 の体とするとき、ベクトル空間 の外積代数はテンソル空間 の交代テンソル全体の成す部分空間と自然に同一視される。外積代数が の で生成されるイデアルによる商多元環として定義されたことを思い出そう。
で生成される。分解可能テンソルの交代化作用素 () あるいは歪対称化作用素 () は
で与えられる。ここに和は文字 の置換全体の成す対称群を亘る。これを線型性と斉次性を使ってテンソル空間 全体まで拡張したものも同じく "" で表す。 の像 を交代テンソル代数 () と呼び、 で表す。これは の部分線型空間で、 から次数付きベクトル空間の構造が遺伝する。これにより結合的な次数付き乗法が
によって誘導される。しかしこれはテンソル積とは異なる乗法であって、" の核がちょうど両側イデアル に一致して（ は標数 だと仮定している）、自然な同型
が存在する。
が有限 -次元であるとし、その基底 が与えられているとする。交代テンソル は添字表記を用いて
と書ける。ここで はその添字に関して完全反対称である。
階数がそれぞれ および である交代テンソル および の楔積は
で与えられる。このテンソルの成分はちょうどテンソル積 の成分の交代部分になっており、添字に角括弧をつけて
と表す。
内部積も添字記法で書くことができる。
を階数 の反対称テンソルとすると、 に対して は階数 の交代テンソルで
によって与えられる。 は の次元である。
分解可能 -ベクトルは幾何学的に解釈することができる。2-ベクトル は で張られる、 と を辺に持つ向き付けられた平行四辺形の面積で与えられる数の「重み」を持つ平面を表す。同様にして 3-ベクトル は、 を辺とする平行六面体の体積で重み付けられた 3 次元空間を表す。
の分解可能 -ベクトルは の重み付き -次元部分空間に対応する。特に の -次元部分空間のグラスマン多様体 は自然に射影空間 のある代数多様体と同一視される。これをという。
外積代数の微分幾何における特筆すべき応用は、微分形式の定義に用いられることである。可微分多様体上の点における微分形式は、その点の接空間における重線型交代形式であり、-次微分形式は接空間の -次外冪からの線型汎函数である。結論として、重線型形式の楔積は自然に微分形式の楔積を定める。微分形式は微分幾何のさまざまな部分で大きな役割を担う。
特に、外微分は多様体上の微分形式に外積代数に微分環の構造を与える。外微分は多様体間の滑らかな写像に沿っての引き戻しと可換であり、それゆえに自然な微分作用素である。外微分を備えた微分形式の外積代数は、そのコホモロジーが台となる多様体のド・ラームコホモロジーと呼ばれる微分複体を成し、可微分多様体の代数的位相幾何学の根幹を成している。
表現論において、外積代数はベクトル空間の圏における二つの基本のうちの一つで、もう一方は対称代数である。これらの構成はともに一般線型群の既約表現を生み出すのに用いられる。
外積代数は、フェルミオンと超対称性に関する物理理論において基本的な役割を演じる、の原型的な例である。物理学的な議論はグラスマン数を見よ。ほかのいくつかの関連する概念の物理学への応用はやを参照。
外積代数は1844年、『拡大の理論』() の包括的な言葉の下にヘルマン・グラスマンによって初めて導入された。これはもっと一般に量の拡大の代数的（あるいは公理的）な理論について言及しており、また早い時期における現代的なベクトル空間の概念のさきがけの一つとなっている。もまた同様の の概念を著しており、それがグラスマンに先駆けて成されたものと主張した。
外積代数それ自身は、アーサー・ケイリーとジェームス・ジョセフ・シルベスターの重ベクトルの理論の形式的側面を捉えたいくつかの規約あるいは公理から組み立てられたもので、それゆえに幾何学的な言葉での形式的な理由付けの面を抜きにすれば、命題計算のような「計算」() の類である。
特にこの新たな発展は、それまで座標の観点からのみ説明されてきた性質である次元の概念の「公理的な」特徴づけを可能にした。
このベクトルと重ベクトルに関する新しい理論の重要性は19世紀半ばまでには失われ、1888年にジュゼッペ・ペアノによって詳しく調べられるまで顧みられることは無かった。ペアノの仕事にも幾分不明瞭な部分が残されていたが、世紀が変わる頃には、微分形式の計算にグラスマンのアイデアを応用したフランス高等師範学校のメンバー（有名どころはアンリ・ポアンカレ、エリ・カルタン、ジャン・ガストン・ダルブーら）によって主題の統一をみた。
そのしばらく後にアルフレッド・ノース・ホワイトヘッドはペアノとグラスマンのアイデアをもとにして普遍代数を導入する。これは確固たる論理的基礎の上に代数系の公理的な概念を与えることで、20世紀の抽象代数学の発展を可能にした。