第1章: 行列式と外積代数

1. クロス積の限界

1.1 3次元専用のクロス積

せん断変換のページで見たように、3次元ではクロス積（外積）を使って平行六面体の体積を計算できる：

しかしクロス積 $\boldsymbol{b} \times \boldsymbol{c}$ には根本的な問題がある：

なぜか？ クロス積は2つのベクトル $\boldsymbol{b}, \boldsymbol{c}$ から、両者に垂直なベクトルを作る操作である。

• 2次元：2つのベクトルに「垂直な方向」は平面から飛び出してしまう（2次元空間内には存在しない）
• 4次元以上：2つのベクトルに垂直な方向が複数ある（一意に定まらない）
• 3次元：2つのベクトルに垂直な方向がちょうど1つ（符号の自由度を除いて一意）

つまり、クロス積は3次元特有の「偶然」に依存している。

1.2 求められる一般化

$n$ 次元で「$n$ 本のベクトルが張る超平行体の体積」を計算したい。そのために必要なのは：

• 任意の次元で動作する
• 体積の「向き」（符号）を保持する
• 行列式の交代性（ベクトルを入れ替えると符号反転）を自然に表現する

これを実現するのがウェッジ積（wedge product）と外積代数（exterior algebra）である。

2. ウェッジ積の定義

2.1 基本的な性質

ウェッジ積 $\wedge$ は、ベクトルからより高次の対象を作る演算である。最も重要な性質は：

この性質から直ちに導かれる重要な帰結：

つまり、同じベクトルのウェッジ積は 0 になる。

2.2 幾何学的な意味

$\boldsymbol{a} \wedge \boldsymbol{b}$ は、$\boldsymbol{a}$ と $\boldsymbol{b}$ が張る平行四辺形（向き付き面積要素）を表す。

重要な点：

• $\boldsymbol{a} \wedge \boldsymbol{b}$ はベクトルではなく、2-形式（bivector、双ベクトル）と呼ばれる
• その「大きさ」は平行四辺形の面積
• 反対称性により、向きの情報も含む

2.3 より高次のウェッジ積

3つ以上のベクトルのウェッジ積も同様に定義できる：

これは $\boldsymbol{a}, \boldsymbol{b}, \boldsymbol{c}$ が張る平行六面体（向き付き体積要素）を表す3-形式である。

一般に、$n$ 次元空間で $n$ 本のベクトル $\boldsymbol{v}_1, \ldots, \boldsymbol{v}_n$ のウェッジ積：

は$n$-形式であり、これらのベクトルが張る超平行体の「向き付き体積」を表す。

3. 成分での計算

3.1 標準基底とウェッジ積

2次元で標準基底 $\boldsymbol{e}_1, \boldsymbol{e}_2$ を考える。ウェッジ積の反対称性から：

したがって、2-形式の基底は $\boldsymbol{e}_1 \wedge \boldsymbol{e}_2$ の1つだけである。

3.2 2次元での計算

$\boldsymbol{a} = a_1 \boldsymbol{e}_1 + a_2 \boldsymbol{e}_2$、$\boldsymbol{b} = b_1 \boldsymbol{e}_1 + b_2 \boldsymbol{e}_2$ のとき：

係数 $a_1 b_2 - a_2 b_1$ はまさに2次の行列式である！

3.3 3次元での計算

同様に、3次元で $\boldsymbol{a}, \boldsymbol{b}, \boldsymbol{c}$ のウェッジ積を計算すると：

3.4 $n$ 次元への一般化

$n$ 次元空間で、$n$ 本のベクトル $\boldsymbol{v}_1, \ldots, \boldsymbol{v}_n$ を列に並べた行列を $A = [\,\boldsymbol{v}_1 \mid \boldsymbol{v}_2 \mid \cdots \mid \boldsymbol{v}_n\,]$ とすると：

これがウェッジ積と行列式の関係の本質である。

4. 行列式の性質をウェッジ積で説明

4.1 交代性

行列式の交代性（2つの列を入れ替えると符号が反転）は、ウェッジ積の反対称性から直接導かれる：

したがって、列を入れ替えた行列の行列式は符号が反転する (行を入れ替えても同様)。

4.2 同じ列があると 0

同じ列が 2 つあると行列式が 0 になるのは：

から直ちに分かる。

4.3 多重線形性

ウェッジ積は各引数について線形である：

これは行列式の多重線形性に対応する。

4.4 幾何学的意味の統一

ウェッジ積を使えば、行列式の幾何学的意味が任意の次元で統一的に理解できる：

5. 3次元でのクロス積との関係

5.1 Hodge 双対

3次元では、ウェッジ積 $\boldsymbol{b} \wedge \boldsymbol{c}$（2-形式）とクロス積 $\boldsymbol{b} \times \boldsymbol{c}$（ベクトル）は密接に関連している。

Hodge 双対（ホッジ双対、$\star$）という操作により、3次元の2-形式をベクトルに変換できる：

より具体的に、成分で書くと：

Hodge 双対は：

• $\star(\boldsymbol{e}_2 \wedge \boldsymbol{e}_3) = \boldsymbol{e}_1$
• $\star(\boldsymbol{e}_3 \wedge \boldsymbol{e}_1) = \boldsymbol{e}_2$
• $\star(\boldsymbol{e}_1 \wedge \boldsymbol{e}_2) = \boldsymbol{e}_3$

したがって：

5.2 なぜクロス積は3次元専用か

Hodge 双対 $\star$ は $k$-形式を $(n-k)$-形式に変換する。

$n = 3$ のとき：

• 2-形式 → $(3-2) = 1$-形式（ベクトル）

だからこそ、$\boldsymbol{b} \wedge \boldsymbol{c}$（2-形式）を $\boldsymbol{b} \times \boldsymbol{c}$（ベクトル）として表せる。

しかし $n = 4$ では：

• 2-形式 → $(4-2) = 2$-形式

2つのベクトルのウェッジ積の Hodge 双対は再び2-形式であり、ベクトルにはならない。これがクロス積が3次元でしか定義できない数学的理由である。

6. まとめ