外積代数 (がいせきだいすう、独 : äußere Algebra 、英 : exterior algebra )は、ヘルマン・グラスマン によって導入された代数。グラスマンに因みグラスマン代数 (独 : Graßmann-Algebra 、英 : Grassmann algebra )[注 1] とも呼ばれる。
以下、特に断らない限り外国語表記はドイツ語 、英語 の順に記す。
ベクトルの外積 (がいせき、äußeres Produkt , exterior product )や楔積 (くさびせき、英 : wedge product )は、クロス積 をある特定の性質に着目して、より高次元の場合へ一般化する代数的な構成である。
クロス積やスカラー三重積 のようにベクトル同士の外積はユークリッド幾何学 において面積 や体積 およびそれらの高次元における類似物の研究に用いられる。線型代数学 において外積は、線型変換 の行列式 や小行列式 を記述する基底の取り方に依存しない抽象代数的な仕方を提供し、階数 や線型独立性 といった概念に根本的に関係してくる。
外積代数 (グラスマン代数 )は、与えられた体 K 上のベクトル空間 V 上の外積によって生成される多元環 である。多重線型代数 やその関連分野と同様に、微分形式 の成す多元環を通じて現代幾何学、特に微分幾何学 と代数幾何学 において広く用いられる。
形式的には、外積代数は ⋀ (V ) あるいは ⋀*(V ) で表され、V を線型部分空間 として含む、外積あるいは楔積と呼ばれる ∧ で表される乗法を持つ、体 K 上の単位的結合代数である。外積は結合的 で双線型 な乗法
∧
:
⋀
(
V
)
×
⋀
(
V
)
→
⋀
(
V
)
;
(
α
,
β
)
↦
α
∧
β
{\displaystyle \textstyle \wedge \colon \bigwedge (V)\times \bigwedge (V)\to \bigwedge (V);\;(\alpha ,\beta )\mapsto \alpha \wedge \beta }
であり、V 上の交代性
(1) 任意の
v
∈
V
{\displaystyle v\in V}
に対して
v
∧
v
=
0
{\displaystyle v\wedge v=0}
を持つものである。これは以下の性質
(2) 任意の
u
,
v
∈
V
{\displaystyle u,v\in V}
に対して
u
∧
v
=
−
v
∧
u
{\displaystyle u\wedge v=-v\wedge u}
(3)
v
1
,
…
,
v
k
∈
V
{\displaystyle v_{1},\ldots ,v_{k}\in V}
が一次従属ならば
v
1
∧
v
2
∧
⋯
∧
v
k
=
0
{\displaystyle v_{1}\wedge v_{2}\wedge \cdots \wedge v_{k}=0}
を特別の場合として含む[注 2] 。
圏論 の言葉で言えば、外積代数は普遍構成 によって与えられる、ベクトル空間の圏上の函手 の典型である。この普遍構成によって、体上のベクトル空間だけに限らず、可換環上の加群やもっとほかの興味ある構造にたいしても外積代数を定義することができる。外積代数は双代数のひとつの例である。つまり、外積代数の(ベクトル空間としての)双対空間 にも乗法が定義され、その双対的な乗法が楔積と両立する。この双対代数は特に V 上の重線型形式 全体の成す多元環で、外積代数とその双対代数との双対性は内積 によって与えられる。
平面における面積
平行四辺形の面積は2つの頂点の座標を成分とする行列の行列式で表される。
平面 R 2 はベクトル空間 であり、
e
1
=
(
1
,
0
)
,
e
2
=
(
0
,
1
)
{\displaystyle {\boldsymbol {e}}_{1}=(1,0),\quad {\boldsymbol {e}}_{2}=(0,1)}
という 2 つの単位ベクトル の組はその基底 となっている。ここで、
v
=
v
1
e
1
+
v
2
e
2
,
w
=
w
1
e
1
+
w
2
e
2
{\displaystyle {\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 つの成分表示された R 2 のベクトルが与えられたとすると、v , w を 2 つの辺 とする平行四辺形 が一意に存在する。この平行四辺形の面積は、行列式 を用いて
A
=
|
det
(
v
w
)
|
=
|
v
1
w
2
−
v
2
w
1
|
{\displaystyle A=\left|\det {\begin{pmatrix}{\boldsymbol {v}}&{\boldsymbol {w}}\end{pmatrix}}\right|=|v_{1}w_{2}-v_{2}w_{1}|}
と表される。いま、v , w の外積を
v
∧
w
=
(
v
1
e
1
+
v
2
e
2
)
∧
(
w
1
e
1
+
w
2
e
2
)
=
v
1
w
1
(
e
1
∧
e
1
)
+
v
1
w
2
(
e
1
∧
e
2
)
+
v
2
w
1
(
e
2
∧
e
1
)
+
v
2
w
2
(
e
2
∧
e
2
)
=
(
v
1
w
2
−
v
2
w
1
)
(
e
1
∧
e
2
)
{\displaystyle {\begin{aligned}\\{\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_{1}w_{1}({\boldsymbol {e}}_{1}\wedge {\boldsymbol {e}}_{1})+v_{1}w_{2}({\boldsymbol {e}}_{1}\wedge {\boldsymbol {e}}_{2})+v_{2}w_{1}({\boldsymbol {e}}_{2}\wedge {\boldsymbol {e}}_{1})+v_{2}w_{2}({\boldsymbol {e}}_{2}\wedge {\boldsymbol {e}}_{2})\\&=(v_{1}w_{2}-v_{2}w_{1})({\boldsymbol {e}}_{1}\wedge {\boldsymbol {e}}_{2})\end{aligned}}}
のように定める。まず最初の部分では楔積に分配法則を適用し、ついで楔積が交代的であるという性質を用いた。最終的に得られた表式の係数はまさに行列 (v w ) の行列式である。この係数が正負の値を取りうることは、直感的には、v , w に、それらの定義する平行四辺形の辺として時計回りあるいは反時計回りの向きがつけられることを意味する。このような面積のことを平行四辺形の「符号つき面積」という。符号つき面積の絶対値は通常の意味での面積であり、符号はその向きを与えている。
この係数が符号つき面積となったことは偶然ではない。符号つき面積を代数的構造として公理化しようとすれば、必然的に外積と結びつくことが比較的簡単に確かめられる。詳しく言えば、v と w によって決まる平行四辺形の符号つき面積を A (v , w ) と表すことにすれば、A は下に挙げる性質を満たさなくてはならない。
任意の実数 a と b について、A (av , bw ) = abA (v , w ) が成り立つ。なぜならば、どちらかの辺の長さを変えれば、それに応じて面積も変わる。また、どちらかの辺の向きを変えれば、平行四辺形の向きは変わる。
A (v , v ) = 0 である。なぜならば、v が決める退化 した平行四辺形(すなわち、線分 )の面積は 0 である。
A (w , v ) = − A (v , w ) である。なぜならば、v と w の役割を交換すれば平行四辺形の向きは逆転する。
A (v + aw , w ) = A (v , w ) である。なぜならば、w の定数倍を v に足すという作用は底辺の長さも高さも変えず、したがって面積を保つ。
A (e 1 , e 2 ) = 1 である。なぜならば、単位正方形の面積は 1 である。
最後の条件を除くと、楔積はこの面積の性質と同様の性質を満たす。ある意味で、楔積は面積の最後の性質を一般化し、適当に選んだ「標準的な」平行四辺形と比較することを許容したものであるといえる。言い換えれば、2 次元の外積は面積の「基底に依存しない」定式化である[1] 。
クロス積と三重積
R 3 におけるベクトルに対して、対応する外積代数はベクトルのクロス積 およびスカラー三重積 と近しい関係にある。標準基底 {e 1 , e 2 , e 3 } を用いて、2 つのベクトル
u
=
u
1
e
1
+
u
2
e
2
+
u
3
e
3
,
v
=
v
1
e
1
+
v
2
e
2
+
v
3
e
3
{\displaystyle {\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-次元空間 ⋀2 (R 3 ) の基底 {e 1 ∧ e 2 , e 1 ∧ e 3 , e 2 ∧ e 3 } に関して
u
∧
v
=
(
u
1
v
2
−
u
2
v
1
)
(
e
1
∧
e
2
)
+
(
u
1
v
3
−
u
3
v
1
)
(
e
1
∧
e
3
)
+
(
u
2
v
3
−
u
3
v
2
)
(
e
2
∧
e
3
)
{\displaystyle {\begin{aligned}&{\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{aligned}}}
と書くことができる。これは 3-次元における空間ベクトルの通常のクロス積 の定義とよく似ている(通常のクロス積に落とすには後述のホッジの ∗ を用いればよい)。さらに 3 つ目のベクトルを
w
=
w
1
e
1
+
w
2
e
2
+
w
3
e
3
{\displaystyle {\boldsymbol {w}}=w_{1}{\boldsymbol {e}}_{1}+w_{2}{\boldsymbol {e}}_{2}+w_{3}{\boldsymbol {e}}_{3}}
とすれば、1-次元ベクトル空間 ⋀3 (R 3 ) の基底 e 1 ∧ e 2 ∧ e 3 に関して、これら 3 つのベクトルの楔積は
u
∧
v
∧
w
=
(
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
)
(
e
1
∧
e
2
∧
e
3
)
{\displaystyle {\begin{aligned}&{\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{aligned}}}
となる。これはスカラー三重積 の通常の定義とよく似ている。
3-次元における通常のクロス積やスカラー三重積は幾何学的・代数的の両面で解釈することができる。クロス積 u × v は u と v の両方に直交し、大きさがそれらの張る平行四辺形の面積の大きさに等しいようなベクトルとして解釈することができ、これはまた u と v を列ベクトルとする行列の小行列式を成分に持つベクトルとして解釈することもできる。
u , v , w のスカラー三重積は幾何学的には(符号付)体積を表し、代数的には u , v , w を列ベクトルとする行列の行列式となっている。3-次元における外積についても同様の解釈が許される。事実として、正の向きを持つ正規直交基底 の存在性に関して、外積はこれらの概念をより高い次元へと一般化する。
ベクトル空間 V 上の外積代数 ⋀(V ) はテンソル代数 T (V ) を x ⊗ x (x ∈ V ) の形の元で生成される両側イデアル I で割った商多元環 (英語版 ) として定義される[注 3] 。これを記号的に
⋀
(
V
)
:=
T
(
V
)
/
I
{\displaystyle \textstyle \bigwedge (V):=T(V)/I}
と表せば、⋀(V ) の 2 元の楔積 ∧ は
α
∧
β
=
α
⊗
β
(
mod
I
)
{\displaystyle \alpha \wedge \beta =\alpha \otimes \beta {\pmod {I}}}
で与えられる。
楔積の交代性
この積は V の元の上で反対称的 である。x , y ∈ V とすれば x + y ∈ V ゆえ
0
=
(
x
+
y
)
∧
(
x
+
y
)
=
x
∧
x
+
x
∧
y
+
y
∧
x
+
y
∧
y
=
x
∧
y
+
y
∧
x
{\displaystyle 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
∧
y
=
−
y
∧
x
{\displaystyle x\wedge y=-y\wedge x}
が得られる。あるいはもっと一般に x 1 , x 2 …, xk を V の元、σ を整数 {1, ..., k } の置換 とすれば
x
σ
(
1
)
∧
x
σ
(
2
)
∧
⋯
∧
x
σ
(
k
)
=
s
g
n
(
σ
)
x
1
∧
x
2
∧
⋯
∧
x
k
{\displaystyle 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}}
が成立する。ここで sgn(σ ) は置換 σ の符号 である[2] 。
外冪
V の k – 次外冪 (k -th exterior power ) ⋀k (V ) とは
x
1
∧
x
2
∧
⋯
∧
x
k
,
x
i
∈
V
,
i
=
1
,
2
,
…
,
k
{\displaystyle x_{1}\wedge x_{2}\wedge \cdots \wedge x_{k},\quad x_{i}\in V,i=1,2,\ldots ,k}
で張られる ⋀(V ) の部分線型空間 である。
α ∈ ⋀k (V ) とするとき、α は k -重ベクトル (k -multivector ) と呼ばれる。更に、α が V の k 個の元の楔積で表すことができるならば、α は分解可能 (decomposable ) であるという。
⋀k (V ) は分解可能多重ベクトルによって張られるけれども、全ての元が分解可能というわけではない。例えば、 R 4 で次の 2 重ベクトル
α
=
e
1
∧
e
2
+
e
3
∧
e
4
{\displaystyle \alpha =e_{1}\wedge e_{2}+e_{3}\wedge e_{4}}
は分解可能ではない(α ∧ α ≠ 0 であり、実際にはこれは斜交形式 である[3] )。
基底と次元
V の次元 を有限な n とし、{e 1 , …, en } を V の一つの基底 とする。このとき、集合
{
e
i
1
∧
e
i
2
∧
⋯
∧
e
i
k
∣
1
≤
i
1
<
i
2
<
⋯
<
i
k
≤
n
}
{\displaystyle \{e_{i_{1}}\wedge e_{i_{2}}\wedge \cdots \wedge e_{i_{k}}\mid 1\leq i_{1}<i_{2}<\cdots <i_{k}\leq n\}}
は k -次外冪 ⋀k (V ) の基底を成す。実際に任意の元が
v
1
∧
⋯
∧
v
k
{\displaystyle v_{1}\wedge \cdots \wedge v_{k}}
の形に与えられたとき、各ベクトル vj は基底 ei の線型結合 に書けるから、楔積の重線型性を使って展開すればこれを基底ベクトル同士の楔積の線型結合に書き直すことができる。このとき、楔積の中に同じベクトルがあれば 0 になるし、基底ベクトルが順番に現われていなければ符号を変えて順番を入れ替えて、基底を順番通りに並ばせることができる。
一般に、結果として得られた k -ベクトルの基底の係数は基底 ei に関してベクトル vj を記述する行列の小行列式 として計算できる。
基底に属する元の個数を数えることにより ⋀k (V ) の次元は二項係数 C(n , k ) で与えられることが分かる。特に、k > n ならば ⋀k (V ) = {0} である。
外積代数の任意の元は多重ベクトルの和として表される。よって、外積代数はベクトル空間の直和
⋀
(
V
)
=
⋀
0
(
V
)
⊕
⋀
1
(
V
)
⊕
⋀
2
(
V
)
⊕
⋯
⊕
⋀
n
(
V
)
{\displaystyle \textstyle \bigwedge (V)=\bigwedge ^{0}(V)\oplus \bigwedge ^{1}(V)\oplus \bigwedge ^{2}(V)\oplus \cdots \oplus \bigwedge ^{n}(V)}
に分解される(ここで ⋀0 (V ) = K および ⋀1 (V ) = V と約束する)。したがって外積代数の次元は二項係数の和に等しく、2n である。
多重ベクトルの階数
α ∈ ⋀k (V ) とすると α は分解可能多重ベクトルの線型結合
α
=
α
(
1
)
+
α
(
2
)
+
⋯
+
α
(
s
)
{\displaystyle \alpha =\alpha ^{(1)}+\alpha ^{(2)}+\cdots +\alpha ^{(s)}}
として表示できる。ここで各 α (i ) は分解可能、つまり
α
(
i
)
=
α
1
(
i
)
∧
⋯
∧
α
k
(
i
)
,
i
=
1
,
2
,
…
,
s
{\displaystyle \alpha ^{(i)}=\alpha _{1}^{(i)}\wedge \cdots \wedge \alpha _{k}^{(i)},\quad i=1,2,\dots ,s}
と書ける。多重ベクトル α の階数 (rank ) とは α のこのような表示に現れる分解可能多重ベクトルの最小数をいう。これはテンソルの階数 (英語版 ) の記法の類似である。
階数は特に 2 重ベクトルの研究で重要である( Sternberg 1974 , §III.6) ( Bryant et al. 1991 ) 。2-重ベクトル α の階数は α のある基底に関する係数の作る行列の階数 と同一視できる。つまり、{ei } を V の基底とすると、α は
α
=
∑
i
,
j
a
i
j
e
i
∧
e
j
{\displaystyle \alpha =\sum _{i,j}a_{ij}e_{i}\wedge e_{j}}
と一意的に表示できる(ここで aij = − aji ゆえ、対応する係数行列は歪対称行列 である)。そして α の階数は行列 (aij ) の階数に一致する。
標数 0 の場合、2-重ベクトル α が階数 p を持つことと
α
∧
⋯
∧
α
⏟
p
≠
0
{\displaystyle {\underset {p}{\underbrace {\alpha \wedge \cdots \wedge \alpha } }}\not =0}
かつ
α
∧
⋯
∧
α
⏟
p
+
1
=
0
{\displaystyle {\underset {p+1}{\underbrace {\alpha \wedge \cdots \wedge \alpha } }}=0}
であることとは同値である。
次数付け構造
k -重ベクトルと p -重ベクトルとの楔積は (k + p ) -重ベクトルで、双線型性を持つことを思い出そう。結果として先行節で与えた直和分解
⋀
(
V
)
=
⋀
0
(
V
)
⊕
⋀
1
(
V
)
⊕
⋀
2
(
V
)
⊕
⋯
⊕
⋀
n
(
V
)
{\displaystyle \textstyle \bigwedge (V)=\bigwedge ^{0}(V)\oplus \bigwedge ^{1}(V)\oplus \bigwedge ^{2}(V)\oplus \cdots \oplus \bigwedge ^{n}(V)}
は外積代数に次数付き代数 の構造を与える。記号的には
(
⋀
k
(
V
)
)
∧
(
⋀
p
(
V
)
)
⊂
⋀
k
+
p
(
V
)
{\displaystyle \textstyle \left(\bigwedge ^{k}(V)\right)\wedge \left(\bigwedge ^{p}(V)\right)\subset \bigwedge ^{k+p}(V)}
が成り立つ。さらに楔積は次数付き反対称性を持つ。つまり α ∈ ⋀k (V ) と β ∈ ⋀p (V ) に対し
α
∧
β
=
(
−
1
)
k
p
β
∧
α
{\displaystyle \alpha \wedge \beta =(-1)^{kp}\beta \wedge \alpha }
が成立する。外積代数の次数付き構造の研究に加えてBourbaki (1989) は、(それ自身次数付けを持つ加群である)次数付き加群 上の外積代数のような、外積代数上の加法的次数付き構造を研究した。
普遍性
V を体 K 上のベクトル空間とする。形式張らずに言えば、⋀(V ) における乗法は文字を分配法則 、結合法則 と恒等式 v ∧ v = 0 (v ∈ V ) に従って操作することによって行われる。厳密には ⋀(V ) は乗法がそれらの法則を満足する多元環の中で、「もっとも一般」なものである。それは V を含み交代的な乗法を持つ任意の単位的結合 K -代数は ⋀(V ) の準同型像として得られるという意味である。言い換えれば、外積代数は以下の普遍性 [4] を持つ。
外積代数の普遍性
与えられた任意の単位的結合 K -代数 A と任意の K -線型写像 j : V → A で j (v )j (v ) = 0 (v ∈ V ) を満たすものに対して、 単位的代数の準同型 (英語版 ) f : ⋀(V ) → A で f (v ) = j (v ) (v ∈ V ) を満たすものが「唯一つ」存在する。
外積代数の普遍性
V を含み、V の上で交代的な乗法を持つもっとも一般の多元環を構成するには、V を含む最も一般な多元環であるテンソル代数 T (V ) から始めるのが自然であり、テンソル代数の適当な商 をとることによって交代性を導入してやればよい。そこで v ⊗ v (v ∈ V ) の形の元全体が生成する T (V ) の両側イデアル I をとり、⋀(V ) を
⋀
(
V
)
=
T
(
V
)
/
I
{\displaystyle \textstyle \bigwedge (V)=T(V)/I}
で定義して、⋀(V ) における乗法を表す記号として ∧ (wedge ) を用いる。この ⋀(V ) が V を含み、上記の普遍性を満たすことはすぐに判る。
この構成の結果として、ベクトル空間 V に外積代数 ⋀(V ) に対応させる操作が、ベクトル空間の圏から多元環の圏への函手 となる。
空間 ⋀k (V ) を始めに定義して、それらの直和として代数 ⋀(V ) を構成する代わりに、最初に ⋀(V ) を定義して、外冪 ⋀k (V ) を適当な部分空間と同一視するほうを好むかもしれない。このやり方はしばしば微分幾何で用いられる(次の節 で記述する)。
一般化
与えられた可換環 R と R -加群 M に対して、上でやったようにテンソル代数 T (M ) の適当な商として外積代数 ⋀(M ) を定義することができる。それは類似の普遍性を満足するだろう。⋀(M ) の多くの性質は M が射影加群 であることを要求する。有限次元性が用いられるところでは、M を有限生成 かつ射影的とすることが必要である。もっと一般の設定への一般化は ( Bourbaki 1989 ) に見つかる。
位相幾何学などでベクトル束 の外積代数を考えることがしばしばある。セール–スワンの定理 により、有限次元ベクトル束の外積代数の代数的性質と有限生成射影加群の外積代数のそれとの間には本質的な違いはない。もっと一般に外積代数は加群の層 に対して定義できる。
交代作用素
2 つのベクトル空間 V, X に対し、Vk から X への交代作用素 (alternating operator ) あるいは反対称作用素 (anti-symmetric operator ) とは多重線型写像
f : Vk → X
であって、v 1 , …, vk が線型従属 なベクトルならば
f (v 1 , …, vk ) = 0
を常に満たすもののことである。最も有名な例は行列式 でこれは (Kn )n から K への交代作用素である。また、V の k 個のベクトルにその楔積となる k -重ベクトルを対応させる写像
w : Vk → ⋀k (V )
も交代的である。事実として、この写像は Vk 上定義される交代作用素の中で「もっとも一般」なものである。つまり、交代作用素 f : Vk → X が与えられたとき、線型写像 φ : ⋀k (V ) → X で f = φ ∘ w を満たすものが唯一つ存在する。この普遍性 により ⋀k (V ) を特徴づけられる。この普遍性を ⋀k (V ) の定義とすることもある。
重線型交代形式
上記の特別の場合として X = K を基礎体とするとき、交代重線型写像
f : Vk → K
は重線型交代形式 と呼ばれる。重線型交代形式の全体の成す集合は、それらの和もスカラー倍も再び交代性を持つから、ベクトル空間を成す。
外冪の普遍性により、V 上の次数 k の交代形式の空間は双対空間 (⋀k V )∗ と自然同型である。V が有限次元なら後者は ⋀k (V ∗ ) に自然同型である。特に Vk から K への反対称写像全体の成す空間の次元は n から k を選ぶ二項係数 に等しい。
この同一視の元、楔積は具体的な形で 2 つの反対称写像から別の反対称写像を導く。ω : Vk → K と η : Vm → K を 2 つの反対称写像とする。重線型写像のテンソル積の場合と同様に楔積における変数の個数はそれぞれの写像の変数の個数の和になる。楔積は次のように
ω
∧
η
=
(
k
+
m
)
!
k
!
m
!
Alt
(
ω
⊗
η
)
{\displaystyle \omega \wedge \eta ={\frac {(k+m)!}{k!\,m!}}\operatorname {Alt} (\omega \otimes \eta )}
と定義される。ここで重線型写像の交代化作用 "Alt " は変数の置換全体を亘る符号付平均
Alt
(
ω
)
(
x
1
,
…
,
x
k
)
=
1
k
!
∑
σ
∈
S
k
sgn
(
σ
)
ω
(
x
σ
(
1
)
,
…
,
x
σ
(
k
)
)
{\displaystyle \operatorname {Alt} (\omega )(x_{1},\ldots ,x_{k})={\frac {1}{k!}}\sum _{\sigma \in S_{k}}\operatorname {sgn}(\sigma )\,\omega (x_{\sigma (1)},\ldots ,x_{\sigma (k)})}
で定義される。この楔積の定義は、K が有限標数をもてば矛盾無く定まる。上記と同値で階乗を使わないものとして
(
ω
∧
η
)
(
x
1
,
…
,
x
k
+
m
)
=
∑
σ
∈
Sh
k
,
m
sgn
(
σ
)
ω
(
x
σ
(
1
)
,
…
,
x
σ
(
k
)
)
η
(
x
σ
(
k
+
1
)
,
…
,
x
σ
(
k
+
m
)
)
{\displaystyle {\begin{aligned}&(\omega \wedge \eta )(x_{1},\ldots ,x_{k+m})\\&\quad =\sum _{\sigma \in \operatorname {Sh} _{k,m}}\operatorname {sgn}(\sigma )\,\omega (x_{\sigma (1)},\ldots ,x_{\sigma (k)})\eta (x_{\sigma (k+1)},\ldots ,x_{\sigma (k+m)})\end{aligned}}}
を考えることもできる。ここで Shk,m ⊂ S k +m は (k , m ) -シャッフル (英語版 ) 全体の成す部分集合である。(k , m ) -シャッフルは {1, 2, …, k + m } の置換 σ であって、σ (1) < σ (2) < … < σ (k ) かつ σ (k + 1) < σ (k + 2) < … < σ (k + m ) なるものを言う[注 4] 。
双代数構造
正確に言えば、次数付き代数 ⋀(V ) の次数付き双対と V 上の重線型交代形式全体の空間の間に対応が存在する。上で定義した重線型代数の楔積は ⋀(V ) 上に定義され、余代数 の構造を定める余積 の双対である。
この余積 (coproduct ) は線型写像 Δ : ⋀(V ) → ⋀(V ) ⊗ ⋀(V ) であって、分解可能な元の上では
Δ
(
x
1
∧
⋯
∧
x
k
)
=
∑
p
=
0
k
∑
σ
∈
Sh
p
,
k
−
p
sgn
(
σ
)
(
x
σ
(
1
)
∧
⋯
∧
x
σ
(
p
)
)
⊗
(
x
σ
(
p
+
1
)
∧
⋯
∧
x
σ
(
k
)
)
{\displaystyle \Delta (x_{1}\wedge \cdots \wedge x_{k})=\sum _{p=0}^{k}\sum _{\sigma \in \operatorname {Sh} _{p,k-p}}\operatorname {sgn}(\sigma )(x_{\sigma (1)}\wedge \cdots \wedge x_{\sigma (p)})\otimes (x_{\sigma (p+1)}\wedge \cdots \wedge x_{\sigma (k)})}
によって与えられる。例えば
Δ
(
x
1
)
=
1
⊗
x
1
+
x
1
⊗
1
,
{\displaystyle \Delta (x_{1})=1\otimes x_{1}+x_{1}\otimes 1,}
Δ
(
x
1
∧
x
2
)
=
1
⊗
(
x
1
∧
x
2
)
+
x
1
⊗
x
2
−
x
2
⊗
x
1
+
(
x
1
∧
x
2
)
⊗
1
{\displaystyle \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}
のようである。これを線型に拡張して外積代数全体で定義される演算を得る。余積の言葉で言えば、双対空間上の楔積はちょうど余積の次数つき双対
(
α
∧
β
)
(
x
1
∧
⋯
∧
x
k
)
=
(
α
⊗
β
)
(
Δ
(
x
1
∧
⋯
∧
x
k
)
)
{\displaystyle (\alpha \wedge \beta )(x_{1}\wedge \cdots \wedge x_{k})=(\alpha \otimes \beta )(\Delta (x_{1}\wedge \cdots \wedge x_{k}))}
である。ここで右辺におけるテンソル積は線型写像としてのそれである(両立しない斉次次数の元については 0 で拡張する。もっとはっきり言えば α ∧ β = ε ∘ (α ⊗ β ) ∘ Δ と定める。ここで ε は以下で定義する余単位射である)。
余単位射 (counit ) は準同型 ε : ⋀(V ) → K で引数の 0 -次成分を返すものである。余積および余単位射は楔積とともに外積代数に双代数 の構造を定める。
内部積
V は有限次元とし、V ∗ を V の双対空間とする。任意の α ∈ V ∗ に対し、代数 ⋀(V ) 上の反微分
i
α
:
⋀
k
(
V
)
→
⋀
k
−
1
(
V
)
{\displaystyle \textstyle i_{\alpha }\colon \bigwedge ^{k}(V)\to \bigwedge ^{k-1}(V)}
が定義できる。この微分を α に関する内積あるいは内部積 (interior product ) と呼ぶ。挿入作用素 (insertion operator ) や α による縮約 (contraction ) などということもある。
w ∈ ⋀k (V ) とすると、w は V ∗ から R への重線型写像であるから、k -重直積 V ∗ × V ∗ × ⋯ × V ∗ における値によって定まる。V ∗ の k − 1 個の元 u 1 , u 2 , …, u k − 1 に対し、
(
i
α
w
)
(
u
1
,
u
2
,
…
,
u
k
−
1
)
=
w
(
α
,
u
1
,
u
2
,
…
,
u
k
−
1
)
{\displaystyle (i_{\alpha }{\mathbf {w} })(u_{1},u_{2},\ldots ,u_{k-1})={\mathbf {w} }(\alpha ,u_{1},u_{2},\ldots ,u_{k-1})}
が定義される。加えて、f が純スカラー(つまり、⋀0 (V ) の元)であるときには iα f = 0 とする。
公理的特徴づけと性質
内部積は以下の性質
任意の k と任意の α ∈ V ∗ について
i
α
:
⋀
k
(
V
)
→
⋀
k
−
1
(
V
)
{\displaystyle \textstyle i_{\alpha }\colon \bigwedge ^{k}(V)\to \bigwedge ^{k-1}(V)}
である(規約により ⋀− 1 (V ) = 0 とする)。
v が V (= ⋀1 (V )) の元ならば iα v = α (v ) とする。
任意の α ∈ V ∗ に対し、iα は次数 -1 の次数つき微分 (英語版 )
i
α
(
a
∧
b
)
=
(
i
α
a
)
∧
b
+
(
−
1
)
deg
a
a
∧
(
i
α
b
)
{\displaystyle i_{\alpha }(a\wedge b)=(i_{\alpha }a)\wedge b+(-1)^{\deg a}a\wedge (i_{\alpha }b)}
である。
を満足する。事実として、これら 3 つの性質は、内部積を特徴付けるのに十分で、一般の無限次元の場合においても内部積を同様に定義する。内部積のほかの性質としては
i
α
∘
i
α
=
0
,
{\displaystyle i_{\alpha }\circ i_{\alpha }=0,}
i
α
∘
i
β
=
−
i
β
∘
i
α
{\displaystyle i_{\alpha }\circ i_{\beta }=-i_{\beta }\circ i_{\alpha }}
が挙げられる。
ホッジ双対性
V を有限 n -次元とすると、内部積はベクトル空間の自然な同型
⋀
k
(
V
∗
)
⊗
⋀
n
(
V
)
→
⋀
n
−
k
(
V
)
{\displaystyle \textstyle \bigwedge ^{k}(V^{*})\otimes \bigwedge ^{n}(V)\to \bigwedge ^{n-k}(V)}
を誘導する。幾何学的な設定で、(一次元ベクトル空間である)最高次外冪 ⋀n (V ) のゼロでない元はしばしば体積要素 と(あるいは多少紛らわしい用語だが orientation form とも)呼ばれる。体積要素 σ に関して上記の同型は
α
∈
⋀
k
(
V
∗
)
↦
i
α
σ
∈
⋀
n
−
k
(
V
)
{\displaystyle \textstyle \alpha \in \bigwedge ^{k}(V^{*})\mapsto i_{\alpha }\sigma \in \bigwedge ^{n-k}(V)}
によって明示的に与えられる。体積要素に加えて、ベクトル空間 V が V と V ∗ を同一視する内積 を備えているならば、得られる同型
∗
:
⋀
k
(
V
)
→
⋀
n
−
k
(
V
)
{\displaystyle \textstyle *\colon \bigwedge ^{k}(V)\to \bigwedge ^{n-k}(V)}
はホッジ双対 、あるいは一般にはホッジ ∗ -作用素 と呼ばれる。∗ -作用素とそれ自身の合成写像 ⋀k (V ) → ⋀k (V ) は常に恒等写像のスカラー倍である。ほとんどの応用においては、体積形式 はそれが V のある正規直交基底 の楔積であるという意味で内積と両立する。この場合は
∗
∘
∗
:
⋀
k
(
V
)
→
⋀
k
(
V
)
=
(
−
1
)
k
(
n
−
k
)
+
q
I
{\displaystyle \textstyle *\circ *\colon \bigwedge ^{k}(V)\to \bigwedge ^{k}(V)=(-1)^{k(n-k)+q}I}
になっている。ここで I は恒等写像で、内積は計量符号数 (p , q ) (プラスが p 個、マイナスが q 個)を持つ。
V , W をベクトル空間の対とし、f : V → W を線型写像 とする。このとき普遍構成により、次数付き代数の準同型
⋀
(
f
)
:
⋀
(
V
)
→
⋀
(
W
)
{\displaystyle \textstyle \bigwedge (f)\colon \bigwedge (V)\to \bigwedge (W)}
であって、その ⋀1 (V ) = V への制限が
⋀
(
f
)
|
V
=
f
{\displaystyle \textstyle \bigwedge (f)|_{V}=f}
を満たすようなものが唯一つ存在する。特に ⋀(f ) は斉次次数 (homogeneous degree ) を保つ。⋀(f ) の k -次成分は分解可能元の上では
⋀
(
f
)
(
x
1
∧
⋯
∧
x
k
)
=
f
(
x
1
)
∧
⋯
∧
f
(
x
k
)
{\displaystyle \textstyle \bigwedge (f)(x_{1}\wedge \cdots \wedge x_{k})=f(x_{1})\wedge \cdots \wedge f(x_{k})}
で与えられる。
⋀
k
(
f
)
=
⋀
(
f
)
⋀
k
(
V
)
:
⋀
k
(
V
)
→
⋀
k
(
W
)
{\displaystyle \textstyle \bigwedge ^{k}(f)=\bigwedge (f)_{\bigwedge ^{k}(V)}\colon \bigwedge ^{k}(V)\to \bigwedge ^{k}(W)}
とすると、変換 ⋀k (f ) の V と W の基底に関する成分は f の k × k 小行列式の作る行列である。特に、V = W で V が有限 n -次元のとき、⋀n (f ) は 1 次元ベクトル空間 ⋀n (V ) をそれ自身に移すから、これはスカラー で与えられ、それはちょうど f の行列式 の値である。
完全性
ベクトル空間の短完全列
0
→
U
→
V
→
W
→
0
{\displaystyle 0\to U\to V\to W\to 0}
に対し、
0
→
⋀
1
(
U
)
∧
⋀
(
V
)
→
⋀
(
V
)
→
⋀
(
W
)
→
0
{\displaystyle \textstyle 0\to \bigwedge ^{1}(U)\wedge \bigwedge (V)\to \bigwedge (V)\to \bigwedge (W)\to 0}
は次数付き線型空間の完全列である[注 5] 。もちろん
0
→
⋀
(
U
)
→
⋀
(
V
)
{\displaystyle \textstyle 0\to \bigwedge (U)\to \bigwedge (V)}
も完全である[注 6] 。
直和
ベクトル空間の直和上の外積代数はそれぞれの空間上の外積代数のテンソル積に同型
⋀
(
V
⊕
W
)
=
⋀
(
V
)
⊗
⋀
(
W
)
{\displaystyle \textstyle \bigwedge (V\oplus W)=\bigwedge (V)\otimes \bigwedge (W)}
である。これは次数付き同型、つまり
⋀
k
(
V
⊕
W
)
=
⨁
p
+
q
=
k
⋀
p
(
V
)
⊗
⋀
q
(
W
)
{\displaystyle \textstyle \bigwedge ^{k}(V\oplus W)=\bigoplus _{p+q=k}\bigwedge ^{p}(V)\otimes \bigwedge ^{q}(W)}
になっている。もう少し一般に
0
→
U
→
V
→
W
→
0
{\displaystyle 0\to U\to V\to W\to 0}
がベクトル空間の短完全列 ならば ⋀k (V ) はフィルター付け (英語版 )
0
=
F
0
⊆
F
1
⊆
⋯
⊆
F
k
⊆
F
k
+
1
=
⋀
k
(
V
)
{\displaystyle \textstyle 0=F^{0}\subseteq F^{1}\subseteq \dotsb \subseteq F^{k}\subseteq F^{k+1}=\bigwedge ^{k}(V)}
で、その商が
F
p
+
1
/
F
p
=
⋀
k
−
p
(
U
)
⊗
⋀
p
(
W
)
{\displaystyle \textstyle F^{p+1}/F^{p}=\bigwedge ^{k-p}(U)\otimes \bigwedge ^{p}(W)}
なるものを持つ。特に、U が 1 次元ならば
0
→
U
⊗
⋀
k
−
1
(
W
)
→
⋀
k
(
V
)
→
⋀
k
(
W
)
→
0
{\displaystyle \textstyle 0\to U\otimes \bigwedge ^{k-1}(W)\to \bigwedge ^{k}(V)\to \bigwedge ^{k}(W)\to 0}
は完全であり、W が 1 次元ならば
0
→
⋀
k
(
U
)
→
⋀
k
(
V
)
→
⋀
k
−
1
(
U
)
⊗
W
→
0
{\displaystyle \textstyle 0\to \bigwedge ^{k}(U)\to \bigwedge ^{k}(V)\to \bigwedge ^{k-1}(U)\otimes W\to 0}
が完全である[注 7] 。
K を標数 0 の体とする[5] とき、ベクトル空間 V の外積代数はテンソル空間 T (V ) の交代テンソル 全体の成す部分空間と自然に同一視される。外積代数が T (V ) の x ⊗ x で生成されるイデアル による商多元環として定義されたことを思い出そう。
Tr (V ) を次数 r の斉次テンソル全体の成すベクトル空間とすれば、Tr (V ) は分解可能テンソル
v
1
⊗
⋯
⊗
v
r
,
(
v
i
∈
V
)
{\displaystyle v_{1}\otimes \cdots \otimes v_{r},\quad (v_{i}\in V)}
で生成される。分解可能テンソルの交代化作用素 (antisymmetrization ) あるいは歪対称化作用素 (skew-symmetrization ) は
Alt
(
v
1
⊗
⋯
⊗
v
r
)
=
1
r
!
∑
σ
∈
S
r
sgn
(
σ
)
v
σ
(
1
)
⊗
⋯
⊗
v
σ
(
r
)
{\displaystyle \operatorname {Alt} (v_{1}\otimes \cdots \otimes v_{r})={\frac {1}{r!}}\sum _{\sigma \in {\mathfrak {S}}_{r}}\operatorname {sgn}(\sigma )v_{\sigma (1)}\otimes \cdots \otimes v_{\sigma (r)}}
で与えられる。ここに和は文字 {1, …, r } の置換全体の成す対称群を亘る。これを線型性と斉次性を使ってテンソル空間 T (V ) 全体まで拡張したものも同じく "Alt " で表す。Alt の像 Alt(T (V )) を交代テンソル代数 (alternating tensor algebra ) と呼び、A (V ) で表す。これは T (V ) の部分線型空間で、T (V ) から次数付きベクトル空間の構造が遺伝する。これにより結合的な次数付き乗法が
t
⊗
^
s
=
Alt
(
t
⊗
s
)
{\displaystyle t\operatorname {\widehat {\otimes }} s=\operatorname {Alt} (t\otimes s)}
によって誘導される。しかしこれはテンソル積とは異なる乗法であって、Alt の核 がちょうど両側イデアル I に一致して(K は標数 0 だと仮定している)、自然な同型
A
(
V
)
≅
⋀
(
V
)
{\displaystyle \textstyle A(V)\cong \bigwedge (V)}
が存在する。
指数表記
V が有限 n -次元であるとし、その基底 e 1 , …, e n が与えられているとする。交代テンソル t ∈ Ar (V ) ⊂ Tr (V ) は添字表記 を用いて
t
=
t
i
1
i
2
…
i
r
e
i
1
⊗
e
i
2
⊗
⋯
⊗
e
i
r
{\displaystyle t=t^{i_{1}i_{2}\ldots i_{r}}\,{\boldsymbol {e}}_{i_{1}}\otimes {\boldsymbol {e}}_{i_{2}}\otimes \cdots \otimes {\boldsymbol {e}}_{i_{r}}}
と書ける。ここで t i 1 …ir はその添字に関して完全反対称 である。
階数がそれぞれ r および p である交代テンソル t および s の楔積は
t
⊗
^
s
=
1
(
r
+
p
)
!
∑
σ
∈
S
r
+
p
sgn
(
σ
)
t
i
σ
(
1
)
…
i
σ
(
r
)
s
i
σ
(
r
+
1
)
…
i
σ
(
r
+
p
)
e
i
1
⊗
e
i
2
⊗
⋯
⊗
e
i
r
+
p
{\displaystyle t\operatorname {\widehat {\otimes }} s={\frac {1}{(r+p)!}}\sum _{\sigma \in {\mathfrak {S}}_{r+p}}\operatorname {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}}}
で与えられる。このテンソルの成分はちょうどテンソル積 s ⊗ t の成分の交代部分になっており、添字に角括弧をつけて
(
t
⊗
^
s
)
i
1
…
i
r
+
p
=
t
[
i
1
…
i
r
s
i
r
+
1
…
i
r
+
p
]
{\displaystyle (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
0
i
1
…
i
r
−
1
{\displaystyle t=t^{i_{0}i_{1}\dots i_{r-1}}}
を階数 r の反対称テンソルとすると、α ∈ V ∗ に対して iα t は階数 r − 1 の交代テンソルで
(
i
α
t
)
i
1
…
i
r
−
1
=
r
∑
j
=
0
n
α
j
t
j
i
1
…
i
r
−
1
{\displaystyle (i_{\alpha }t)^{i_{1}\dots i_{r-1}}=r\sum _{j=0}^{n}\alpha _{j}t^{ji_{1}\dots i_{r-1}}}
によって与えられる。n は V の次元である。
線型代数
分解可能 k -ベクトルは幾何学的に解釈することができる。2-ベクトル u ∧ v は u, v で張られる、u と v を辺に持つ向き付けられた平行四辺形の面積で与えられる数の「重み」を持つ平面を表す。同様にして 3-ベクトル u ∧ v ∧ w は、u, v, w を辺とする平行六面体の体積で重み付けられた 3 次元空間を表す。
射影幾何
⋀k (V ) の分解可能 k -ベクトルは V の重み付き k -次元部分空間に対応する。特に V の k -次元部分空間のグラスマン多様体 Grk (V ) は自然に射影空間 P (⋀k (V )) のある代数多様体 と同一視される。これをプリュッカー埋め込み (英語版 ) という。
微分幾何
外積代数の微分幾何 における特筆すべき応用は、微分形式 の定義に用いられることである。可微分多様体 上の点における微分形式は、その点の接空間 における重線型交代形式であり、k -次微分形式は接空間の k -次外冪からの線型汎函数 である。結論として、重線型形式の楔積は自然に微分形式の楔積を定める。微分形式は微分幾何のさまざまな部分で大きな役割を担う。
特に、外微分 は多様体上の微分形式に外積代数に微分環 の構造を与える。外微分は多様体間の滑らかな写像に沿っての引き戻しと可換であり、それゆえに自然な 微分作用素 である。外微分を備えた微分形式の外積代数は、そのコホモロジーが台となる多様体のド・ラームコホモロジー と呼ばれる微分複体を成し、可微分多様体の代数的位相幾何学 の根幹を成している。
表現論
表現論 において、外積代数はベクトル空間の圏における二つの基本シューア函手 (英語版 ) のうちの一つで、もう一方は対称代数 である。これらの構成はともに一般線型群 の既約表現 を生み出すのに用いられる。
外積代数は1844年 、『拡大の理論』(Ausdehnungslehre ) の包括的な言葉の下にヘルマン・グラスマン によって初めて導入された[注 8] 。これはもっと一般に量の拡大の代数的(あるいは公理的)な理論について言及しており、また早い時期における現代的なベクトル空間 の概念のさきがけの一つとなっている。アデマール・ジャン・クロード・バール・デ・サン=ブナン (英語版 ) もまた同様の exterior calculus の概念を著しており、それがグラスマンに先駆けて成されたものと主張した[6] 。
外積代数それ自身は、アーサー・ケイリー とジェームス・ジョセフ・シルベスター の重ベクトル の理論の形式的側面を捉えたいくつかの規約あるいは公理から組み立てられたもので、それゆえに幾何学的な言葉での形式的な理由付けの面を抜きにすれば、命題計算 のような「計算」(calculus ) の類である[注 9] 。
特にこの新たな発展は、それまで座標の観点からのみ説明されてきた性質である次元の概念の「公理的な」特徴づけを可能にした。
このベクトルと重ベクトルに関する新しい理論の重要性は19世紀 半ばまでには失われ、1888年 にジュゼッペ・ペアノ によって詳しく調べられるまで顧みられることは無かった[7] 。ペアノの仕事にも幾分不明瞭な部分が残されていたが、世紀が変わる頃には、微分形式 の計算にグラスマンのアイデアを応用したフランス高等師範学校のメンバー(有名どころはアンリ・ポアンカレ 、エリ・カルタン 、ジャン・ガストン・ダルブー ら)によって主題の統一をみた。
そのしばらく後にアルフレッド・ノース・ホワイトヘッド はペアノとグラスマンのアイデアをもとにして普遍代数 を導入する。これは確固たる論理的基礎の上に代数系の公理的な概念を与えることで、20世紀 の抽象代数学 の発展を可能にした。
注釈
Grassmann (1844) では拡大された代数 (extended algebra) として導入されている (cf. Clifford 1878 )。おそらく現代的な線型代数学 において定義されるところの outer product との区別のために、グラスマンは彼の定義した(今日では便利に外積 (exterior product ) と呼ばれる)積 (produkt ) を指し示すだけのために äußere (逐語訳すれば外の (outer ) あるいは外部の(exterior ))という言葉を用いた。
注意すべきは、多元環 ⋀(V ) の任意の元に対して成立が要請される結合性や双線型性とは異なり、ここに挙げられる 3 つの条件は、この多元環の部分空間である V 上でのみ制約として課せられているということである。ここで条件 (1) と条件 (3) は同値であり、条件 (1) と条件 (2) は K の標数 が 2 でない限り同値である。
慣習的に、特に物理学では、楔積を
ω
∧
η
=
A
l
t
(
ω
⊗
η
)
{\displaystyle \omega \wedge \eta ={\rm {Alt}}(\omega \otimes \eta )}
で定義することがある。この定義は本項での定義とは一致しないが、交代テンソルの話とは繋がりがある。
主張のうち ⋀ が全射を全射に写すという部分はより一般に V と W が環上の加群である場合にも成り立つ。See Bourbaki (1989 , Proposition 3, III.7.2) .
このことは V と W が可換環上の射影加群である場合にのみ一般化できる。そうでない場合には ⋀ が単射を単射に写すことが一般には期待できない。See Bourbaki (1989 , Corollary to Proposition 12, III.7.9) .
このようなフィルトレーションはベクトル束 や可換環上の射影加群についても取れる。これはしたがって、上述の直和に対する結果よりもっと一般的な結果である。実際、他のアーベル圏 では必ずしも短完全列が分裂するとは限らない。
カネンバーグはグラスマンの仕事の英訳 ( Kannenberg 2000 ) において Ausdehnungslehre を Extension Theory と訳している。
出典
J. Itard (1970-1990). Biography in Dictionary of Scientific Biography . New York .
数学的内容に関して
Bishop, R.; Goldberg, S.I. (1980), Tensor analysis on manifolds , Dover, ISBN 0-486-64039-6
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.
Bourbaki, Nicolas (1989), Elements of mathematics, Algebra I , Springer-Verlag, ISBN 3-540-64243-9
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.
Bryant, R.L.; Chern, S.S. ; Gardner, R.B.; Goldschmidt, H.L.; Griffiths, P.A. (1991), Exterior differential systems , Springer-Verlag
This book contains applications of exterior algebras to problems in partial differential equations . Rank and related concepts are developed in the early chapters.
MacLane, S. ; Birkhoff, G. (1999), Algebra , AMS Chelsea, ISBN 0-8218-1646-2
Chapter XVI sections 6-10 give a more elementary account of the exterior algebra, including duality, determinants and minors, and alternating forms.
Sternberg, Shlomo (1964), Lectures on Differential Geometry , Prentice Hall
Contains a classical treatment of the exterior algebra as alternating tensors, and applications to differential geometry.
歴史的内容に関して
Bourbaki, Nicolas (1989). “Historical note on chapters II and III”. Elements of mathematics, Algebra I . Springer-Verlag
Clifford, W. (1878), “Applications of Grassmann's Extensive Algebra”, American Journal of Mathematics 1 (4): 350–358
Forder, H. G. (1941), The Calculus of Extension , Cambridge University Press
Grassmann, Hermann (1844), Die Lineale Ausdehnungslehre - Ein neuer Zweig der Mathematik (The Linear Extension Theory - A new Branch of Mathematics)
Kannenberg, Llyod (2000), Extension Theory (translation of Grassmann's Ausdehnungslehre) , American Mathematical Society, ISBN 0821820311
Peano, Giuseppe (1888), Calcolo Geometrico secondo l'Ausdehnungslehre di H. Grassmann preceduto dalle Operazioni della Logica Deduttiva [Geometric Calculus according to Grassmann's Ausdehnungslehre, preceded by the Operations of Deductive Logic]
Whitehead, Alfred North (1898), A Treatise on Universal Algebra, with Applications , Cambridge
その他の文献および関連図書
Browne, J.M. (2007), Grassmann algebra - Exploring applications of Extended Vector Algebra with Mathematica , Published on line
An introduction to the exterior algebra, and geometric algebra , with a focus on applications. Also includes a history section and bibliography.
Spivak, Michael (1965), Calculus on manifolds , Addison-Wesley, ISBN 0-8053-9021-9
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.
Strang, G. (1993), Introduction to linear algebra , Wellesley-Cambridge Press, ISBN 978-0961408855
Includes an elementary treatment of the axiomatization of determinants as signed areas, volumes, and higher-dimensional volumes.
Onishchik, A.L. (2001), “Exterior algebra” , in Hazewinkel, Michiel, Encyclopedia of Mathematics , Springer, ISBN 978-1-55608-010-4 , https://www.encyclopediaofmath.org/index.php?title=Exterior_algebra
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) "グラスマンの外積代数の研究と理工学解析への応用 - ウェイバックマシン (2015年9月19日アーカイブ分) "
Grassmann, Hermannの書Ausdehnungslehreの忠実な解釈に基づき、現代的な記号化と表現で新しい数学体系として"グラスマンの外積代数"を確立し、理工学分野の多くの問題の解析に応用している。