最高次外幂

在 n 维空间 V 上的交替形式诸空间中，最高的那一个——由一次取 n 个向量构成——是一条直线，即一维空间。在相差一个标量倍的意义下本质上只有一个交替 n-形式，这正是行列式至多差一个常数地唯一的抽象原因。这条直线是“定向体积”的天然居所，也是 det 最诚实地栖身之处。

具体地，k 次外幂打包了交替多重线性的行为；当 k 等于维数 n 时，所得空间（记作 wedge^n V，或其最高形式的对偶）是一维的。V 上任意线性算子 T 在这条直线上诱导一个线性映射，而一维空间上的线性映射不过是乘以一个标量。那个标量就是 det(T)——一个无基、无公式的行列式定义，即“T 对最高次外幂所做之事”。

这一视角在概念上有回报。乘性 det(ST) = det(S) det(T) 变成“在一条直线上复合两个缩放即把标量相乘”这一平凡事实。行列式的唯一性变成最高次外幂的一维性。而它是从行列式理论通向外代数与张量代数的门户：在那里楔积把带符号体积推广到每个维度，而不止于最高维。

注意：最高次外幂是一条直线（非零、亦非更高维）这一点为 k = n 所特有；较低的外幂 wedge^k V 维数为“n 取 k”，更大。选定行列式直线的一个生成元，恰是选定一个定向与一个体积单位；直线本身是典范的，但其上的数 1 是一种选择。