外積代数

**外積代数**（がいせきだいすう、、）は、ヘルマン・グラスマンによって導入された代数。グラスマンに因み**グラスマン代数**（、）とも呼ばれる。

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

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

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

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

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

:\textstyle \wedge\colon \bigwedge(V) \times \bigwedge(V) \to\bigwedge(V);\; (\alpha,\beta)\mapsto \alpha\wedge\beta

であり、 上の交代性
:(1) 任意の v\in V に対して v\wedge v = 0
を持つものである。これは以下の性質
:(2) 任意の u,v\in V に対して u\wedge v = - v\wedge u
:(3) v_1, \ldots, v_k \in V が一次従属ならば v_1\wedge v_2\wedge\cdots \wedge v_k = 0
を特別の場合として含む。

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

## 動機付けとなる例

### 平面における面積

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

:\boldsymbol{e}_1 = (1,0),\quad \boldsymbol{e}_2 = (0,1)

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

:\boldsymbol{v} = v_1\boldsymbol{e}_1 + v_2\boldsymbol{e}_2, \quad \boldsymbol{w} = w_1\boldsymbol{e}_1 + w_2\boldsymbol{e}_2

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

:A = \left|\det\begin{pmatrix}\boldsymbol{v} & \boldsymbol{w}\end{pmatrix}\right| = |v_1w_2 - v_2w_1|

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

:\begin{align}\\
\boldsymbol{v}\wedge \boldsymbol{w} &= (v_1\boldsymbol{e}_1 + v_2\boldsymbol{e}_2)\wedge (w_1\boldsymbol{e}_1 + w_2\boldsymbol{e}_2)\\ 
&= v_1w_1(\boldsymbol{e}_1 \wedge \boldsymbol{e}_1) + v_1w_2(\boldsymbol{e}_1 \wedge \boldsymbol{e}_2) + v_2w_1(\boldsymbol{e}_2 \wedge \boldsymbol{e}_1) + v_2w_2(\boldsymbol{e}_2 \wedge \boldsymbol{e}_2)\\ 
&= (v_1w_2 - v_2w_1)(\boldsymbol{e}_1 \wedge \boldsymbol{e}_2)\end{align}

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

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

最後の条件を除くと、楔積はこの面積の性質と同様の性質を満たす。ある意味で、楔積は面積の最後の性質を一般化し、適当に選んだ「標準的な」平行四辺形と比較することを許容したものであるといえる。言い換えれば、2 次元の外積は面積の「基底に依存しない」定式化である。

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

: \boldsymbol{u} = u_1 \boldsymbol{e}_1 + u_2 \boldsymbol{e}_2 + u_3 \boldsymbol{e}_3,\quad \boldsymbol{v} = v_1 \boldsymbol{e}_1 + v_2 \boldsymbol{e}_2 + v_3 \boldsymbol{e}_3 

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

: \begin{align}&\boldsymbol{u} \wedge \boldsymbol{v} \\ &\quad = (u_1 v_2 - u_2 v_1) (\boldsymbol{e}_1 \wedge \boldsymbol{e}_2) + (u_1 v_3 - u_3 v_1) (\boldsymbol{e}_1 \wedge \boldsymbol{e}_3) + (u_2 v_3 - u_3 v_2) (\boldsymbol{e}_2 \wedge \boldsymbol{e}_3) \end{align}

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

: \boldsymbol{w} = w_1 \boldsymbol{e}_1 + w_2 \boldsymbol{e}_2 + w_3 \boldsymbol{e}_3 

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

: \begin{align}
 & \boldsymbol{u} \wedge \boldsymbol{v} \wedge \boldsymbol{w} \\
 & \quad = (u_1 v_2 w_3 + u_2 v_3 w_1 + u_3 v_1 w_2 - u_1 v_3 w_2 - u_2 v_1 w_3 - u_3 v_2 w_1) (\boldsymbol{e}_1 \wedge \boldsymbol{e}_2 \wedge \boldsymbol{e}_3) 
\end{align}

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

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

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

:\textstyle \bigwedge(V) := T(V)/I

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

:\alpha\wedge\beta = \alpha\otimes\beta \pmod I
で与えられる。

### 楔積の交代性
この積は  の元の上で反対称的である。 とすれば  ゆえ
:0 = (x+y)\wedge (x+y) = x\wedge x + x\wedge y + y\wedge x + y\wedge y = x\wedge y + y\wedge x
が成り立つから
: x \wedge y = - y \wedge x
が得られる。あるいはもっと一般に  を  の元、 を整数  の置換 とすれば

:x_{\sigma(1)}\wedge x_{\sigma(2)}\wedge\cdots\wedge x_{\sigma(k)} = {\rm sgn}(\sigma)x_1\wedge x_2\wedge\cdots \wedge x_k

が成立する。ここで  は置換  の符号である。

### 外冪
 の  &ndash;次**外冪** ()  とは
:x_1\wedge x_2\wedge\cdots\wedge x_k,\quad x_i\in V, i=1,2,\ldots, k
で張られる  の部分線型空間である。

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

 は分解可能多重ベクトルによって張られるけれども、全ての元が分解可能というわけではない。例えば、  で次の 2 重ベクトル 
:\alpha = e_1\wedge e_2 + e_3\wedge e_4
は分解可能ではない（ であり、実際にはこれは斜交形式である）。

#### 基底と次元
 の次元を有限な  とし、 を  の一つの基底とする。このとき、集合
:\{e_{i_1}\wedge e_{i_2}\wedge\cdots\wedge e_{i_k} \mid 1\le i_1 
は -次外冪  の基底を成す。実際に任意の元が
:v_1\wedge\cdots\wedge v_k
の形に与えられたとき、各ベクトル  は基底  の線型結合に書けるから、楔積の重線型性を使って展開すればこれを基底ベクトル同士の楔積の線型結合に書き直すことができる。このとき、楔積の中に同じベクトルがあれば  になるし、基底ベクトルが順番に現われていなければ符号を変えて順番を入れ替えて、基底を順番通りに並ばせることができる。
一般に、結果として得られた -ベクトルの基底の係数は基底  に関してベクトル  を記述する行列の小行列式として計算できる。

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

外積代数の任意の元は多重ベクトルの和として表される。よって、外積代数はベクトル空間の直和
:\textstyle \bigwedge(V) = \bigwedge^0(V)\oplus \bigwedge^1(V) \oplus \bigwedge^2(V) \oplus \cdots \oplus \bigwedge^n(V)
に分解される（ここで  および  と約束する）。したがって外積代数の次元は二項係数の和に等しく、 である。

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

: \alpha = \alpha^{(1)} + \alpha^{(2)} + \cdots + \alpha^{(s)}

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

:\alpha^{(i)} = \alpha^{(i)}_1\wedge\cdots\wedge\alpha^{(i)}_k,\quad i=1,2,\dots, s

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

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

:\alpha = \sum_{i,j}a_{ij}e_i\wedge e_j

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

標数  の場合、2-重ベクトル  が階数  を持つことと
:\underset{p}{\underbrace{\alpha\wedge\cdots\wedge\alpha}}\not= 0
かつ
:\underset{p+1}{\underbrace{\alpha\wedge\cdots\wedge\alpha}} = 0
であることとは同値である。

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

:\textstyle \bigwedge(V) = \bigwedge^0(V)\oplus \bigwedge^1(V) \oplus \bigwedge^2(V) \oplus \cdots \oplus \bigwedge^n(V)

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

:\textstyle \left(\bigwedge^k(V)\right)\wedge\left(\bigwedge^p(V)\right)\sub \bigwedge^{k+p}(V)

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

:\alpha\wedge\beta = (-1)^{kp}\beta\wedge\alpha

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

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

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

:\textstyle\bigwedge(V) = T(V)/I

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

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

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

### 一般化

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

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

## 双対性
### 交代作用素
2 つのベクトル空間  に対し、 から  への**交代作用素** () あるいは**反対称作用素** () とは多重線型写像
: 
であって、 が線型従属なベクトルならば
:
を常に満たすもののことである。最も有名な例は行列式でこれは  から  への交代作用素である。また、 の  個のベクトルにその楔積となる -重ベクトルを対応させる写像
: 
も交代的である。事実として、この写像は  上定義される交代作用素の中で「もっとも一般」なものである。つまり、交代作用素  が与えられたとき、線型写像  で  を満たすものが唯一つ存在する。この普遍性により  を特徴づけられる。この普遍性を  の定義とすることもある。

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

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

:\omega\wedge\eta=\frac{(k+m)!}{k!\,m!}\operatorname{Alt}(\omega\otimes\eta)

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

:\operatorname{Alt}(\omega)(x_1,\ldots,x_k)=\frac{1}{k!}\sum_{\sigma\in S_k}\sgn(\sigma)\,\omega(x_{\sigma(1)},\ldots,x_{\sigma(k)})

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

:\begin{align}&(\omega \wedge \eta)(x_1,\ldots,x_{k+m})\\ 
&\quad = \sum_{\sigma \in \operatorname{Sh}_{k,m}} \sgn(\sigma)\,\omega(x_{\sigma(1)}, \ldots, x_{\sigma(k)}) \eta(x_{\sigma(k+1)}, \ldots, x_{\sigma(k+m)})\end{align}

を考えることもできる。ここで  は -全体の成す部分集合である。-シャッフルは  の置換  であって、 かつ  なるものを言う。

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

この**余積** () は線型写像  であって、分解可能な元の上では
:\Delta(x_1\wedge\cdots\wedge x_k) = \sum_{p=0}^k \sum_{\sigma\in \operatorname{Sh}_{p,k-p}} \sgn(\sigma) (x_{\sigma(1)}\wedge\cdots\wedge x_{\sigma(p)})\otimes (x_{\sigma(p+1)}\wedge\cdots\wedge x_{\sigma(k)})
によって与えられる。例えば

:\Delta(x_1) = 1 \otimes x_1 + x_1 \otimes 1,
:
\Delta(x_1 \wedge x_2) = 1 \otimes (x_1 \wedge x_2) + x_1 \otimes x_2 - x_2 \otimes x_1 + (x_1 \wedge x_2) \otimes 1


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

:(\alpha\wedge\beta)(x_1\wedge\cdots\wedge x_k) = (\alpha\otimes\beta)(\Delta(x_1\wedge\cdots\wedge x_k))

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

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

### 内部積

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

:\textstyle i_\alpha\colon \bigwedge^k(V) \to \bigwedge^{k-1}(V)

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

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

:(i_\alpha {\mathbf w})(u_1,u_2,\ldots,u_{k-1})={\mathbf w}(\alpha,u_1,u_2,\ldots, u_{k-1})

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

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

# 任意の  と任意の  について\textstyle i_\alpha\colon\bigwedge^k(V) \to \bigwedge^{k-1}(V)である（規約により  とする）。
#  が  の元ならば  とする。
# 任意の  に対し、 は次数  のi_\alpha (a\wedge b) = (i_\alpha a)\wedge b + (-1)^{\deg a}a\wedge (i_\alpha b)である。

を満足する。事実として、これら 3 つの性質は、内部積を特徴付けるのに十分で、一般の無限次元の場合においても内部積を同様に定義する。内部積のほかの性質としては
* i_\alpha\circ i_\alpha = 0,
* i_{\alpha}\circ i_{\beta} = -i_{\beta}\circ i_{\alpha}
が挙げられる。

### ホッジ双対性

 を有限 -次元とすると、内部積はベクトル空間の自然な同型
: \textstyle \bigwedge^k(V^*) \otimes \bigwedge^n(V) \to \bigwedge^{n-k}(V)
を誘導する。幾何学的な設定で、（一次元ベクトル空間である）最高次外冪  のゼロでない元はしばしば体積要素と（あるいは多少紛らわしい用語だが **' とも）呼ばれる。体積要素  に関して上記の同型は
:<math>\textstyle \alpha \in \bigwedge^k(V^*) \mapsto i_\alpha\sigma \in \bigwedge^{n-k}(V)</math>
によって明示的に与えられる。体積要素に加えて、ベクトル空間  が  と  を同一視する[[双対対|内積]]を備えているならば、得られる同型

: <math>\textstyle * \colon \bigwedge^k(V) \to \bigwedge^{n-k}(V)</math>

は**ホッジ双対**、あるいは一般には**ホッジ -作用素**と呼ばれる。-作用素とそれ自身の合成写像  は常に恒等写像のスカラー倍である。ほとんどの応用においては、[[体積形式]]はそれが  のある[[正規直交基底]]の楔積であるという意味で内積と両立する。この場合は
:<math>\textstyle * \circ *\colon \bigwedge^k(V) \to \bigwedge^k(V) = (-1)^{k(n-k) + q}I</math>
になっている。ここで  は恒等写像で、内積は[[計量符号数]]  （プラスが  個、マイナスが  個）を持つ。

== 函手性 ==
 をベクトル空間の対とし、 を[[線型写像]]とする。このとき普遍構成により、次数付き代数の準同型
: <math>\textstyle \bigwedge(f)\colon \bigwedge(V)\to \bigwedge(W)</math>
であって、その  への制限が
: <math>\textstyle\bigwedge(f)|_{V} = f</math>
を満たすようなものが唯一つ存在する。特に  は**斉次次数** () を保つ。 の -次成分は分解可能元の上では
: <math>\textstyle \bigwedge(f)(x_1\wedge\cdots\wedge x_k) = f(x_1)\wedge\cdots\wedge f(x_k)</math>
で与えられる。

: <math>\textstyle \bigwedge^k(f) = \bigwedge(f)_{\bigwedge^k(V)}\colon\bigwedge^k(V) \to \bigwedge^k(W)</math>

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

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

:<math>0\to U\to V\to W\to 0</math>

に対し、

:<math>\textstyle 0\to \bigwedge^1(U)\wedge\bigwedge(V) \to \bigwedge(V)\to \bigwedge(W)\to 0</math>

は次数付き線型空間の完全列である。もちろん
: <math>\textstyle 0\to \bigwedge(U)\to\bigwedge(V)</math>
も完全である。

=== 直和 ===
ベクトル空間の直和上の外積代数はそれぞれの空間上の外積代数のテンソル積に同型
: <math>\textstyle \bigwedge(V\oplus W)= \bigwedge(V)\otimes\bigwedge(W)</math>

である。これは次数付き同型、つまり
: <math>\textstyle \bigwedge^k(V\oplus W)= \bigoplus_{p+q=k} \bigwedge^p(V)\otimes\bigwedge^q(W)</math>
になっている。もう少し一般に

: <math>0\to U\to V\to W\to 0</math>

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

: <math>\textstyle 0 = F^0 \subseteq F^1 \subseteq \dotsb \subseteq F^k \subseteq F^{k+1} = \bigwedge^k(V)</math>

で、その商が
: <math>\textstyle F^{p+1}/F^p = \bigwedge^{k-p}(U) \otimes \bigwedge^p(W)</math>
なるものを持つ。特に、 が 1 次元ならば

: <math>\textstyle 0\to U \otimes \bigwedge^{k-1}(W)\to \bigwedge^k(V)\to \bigwedge^k(W)\to 0</math>

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

: <math>\textstyle 0\to \bigwedge^k(U)\to \bigwedge^k(V)\to \bigwedge^{k-1}(U) \otimes W\to 0</math>

が完全である。

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

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

:<math>v_1\otimes\cdots\otimes v_r,\quad (v_i\in V)</math>

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

:<math>\operatorname{Alt}(v_1\otimes\cdots\otimes v_r) = \frac{1}{r!}\sum_{\sigma\in\mathfrak{S}_r} \sgn(\sigma) v_{\sigma(1)}\otimes\cdots\otimes v_{\sigma(r)}</math>

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

: <math>t\operatorname{\widehat{\otimes}}s = \operatorname{Alt}(t\otimes s)</math>

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

: \textstyle A(V)\cong \bigwedge(V)

が存在する。

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

:t = t^{i_1i_2\ldots i_r}\, \boldsymbol{e}_{i_1}\otimes \boldsymbol{e}_{i_2}\otimes\cdots\otimes \boldsymbol{e}_{i_r}

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

階数がそれぞれ  および  である交代テンソル  および  の楔積は
:t\operatorname{\widehat{\otimes}}s = \frac{1}{(r+p)!}\sum_{\sigma\in \mathfrak{S}_{r+p}}\sgn(\sigma)t^{i_{\sigma(1)}\ldots i_{\sigma(r)}}s^{i_{\sigma(r+1)}\ldots i_{\sigma(r+p)}} \boldsymbol{e}_{i_1}\otimes \boldsymbol{e}_{i_2}\otimes\cdots\otimes \boldsymbol{e}_{i_{r+p}}

で与えられる。このテンソルの成分はちょうどテンソル積  の成分の交代部分になっており、添字に角括弧をつけて
:(t\operatorname{\widehat{\otimes}}s)^{i_1\dots i_{r+p}} = t^{[i_1\dots i_r}s^{i_{r+1}\dots i_{r+p}]}
と表す。

内部積も添字記法で書くことができる。
:t = t^{i_0i_1\dots i_{r-1}}
を階数  の反対称テンソルとすると、 に対して  は階数  の交代テンソルで

:(i_\alpha t)^{i_1\dots i_{r-1}}=r\sum_{j=0}^n\alpha_j t^{ji_1\dots i_{r-1}}

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

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

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

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

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

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

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

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

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

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

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

## 関連項目

* 対称代数 &mdash; 外積代数の（積が）対称な場合の類似物
* クリフォード代数 &mdash; 外積代数の二次形式による量子化
* ワイル代数 &mdash; 対称代数のシンプレクティック形式による量子化
* 多重線型代数学
* テンソル代数
* 
* 

## 脚注

### 注釈

### 出典


## 参考文献
### 数学的内容に関して
* 
** Includes a treatment of alternating tensors and alternating forms, as well as a detailed discussion of Hodge duality from the perspective adopted in this article.
* 
** This is the *main mathematical reference* for the article. It introduces the exterior algebra of a module over a commutative ring (although this article specializes primarily to the case when the ring is a field), including a discussion of the universal property, functoriality, duality, and the bialgebra structure. See chapters III.7 and III.11.
* 
** This book contains applications of exterior algebras to problems in partial differential equations. Rank and related concepts are developed in the early chapters.
* 
** Chapter XVI sections 6-10 give a more elementary account of the exterior algebra, including duality, determinants and minors, and alternating forms.
* 
** Contains a classical treatment of the exterior algebra as alternating tensors, and applications to differential geometry.

### 歴史的内容に関して
* 
* 
* 
*  (The Linear Extension Theory - A new Branch of Mathematics)
* 
*  [Geometric Calculus according to Grassmann's Ausdehnungslehre, preceded by the Operations of Deductive Logic]
* 

### その他の文献および関連図書
* 
** An introduction to the exterior algebra, and geometric algebra, with a focus on applications. Also includes a history section and bibliography.
* 
** Includes applications of the exterior algebra to differential forms, specifically focused on integration and Stokes's theorem. The notation Λ*k**V* in this text is used to mean the space of alternating *k*-forms on *V*; i.e., for Spivak Λ*k**V* is what this article would call Λ*k**V**. Spivak discusses this in Addendum 4.
* 
** Includes an elementary treatment of the axiomatization of determinants as signed areas, volumes, and higher-dimensional volumes.
* 
* Wendell H. Fleming (1965) *Functions of Several Variables*, Addison-Wesley.
** Chapter 6: Exterior algebra and differential calculus, pages 205-38. This textbook in multivariate calculus introduces the exterior algebra of differential forms adroitly into the calculus sequence for colleges.
*若木喬 (2011) ""
**Grassmann, Hermannの書Ausdehnungslehreの忠実な解釈に基づき、現代的な記号化と表現で新しい数学体系として"グラスマンの外積代数"を確立し、理工学分野の多くの問題の解析に応用している。