交替多重线性型

交替型是这样一种多重线性映射：只要它的两个输入相等，输出立刻塌缩为零。从几何上看，这是“扁平的东西没有体积”：若一个平行多面体的两条棱向量重合，图形退化，其带符号体积为 0。这一条规则叠加在多重线性之上，就是行列式的全部基因。

设 f 是 k 重线性且取标量值的映射。称它交替，若当存在 i != j 使 v_i = v_j 时恒有 f(v_1, ..., v_k) = 0。一段简短计算可推出一个等价而更生动的性质：交换任意两个变元会变号，f(..., v_i, ..., v_j, ...) = -f(..., v_j, ..., v_i, ...)。（展开 f(..., x+y, ..., x+y, ...) = 0 即可看到变号法则出现。）在 1 + 1 != 0 的域上，“遇重为零”与“交换变号”是可互换的定义。

为何重要：交替多重线性恰好就是“体积”所须满足的愿望清单——缩放一条棱，体积同倍缩放（多重线性）；压扁图形，体积归零（交替）。再加一条归一化（在标准立方体上取值 1），就唯一地钉住一个函数。这个函数就是行列式，而它的正负号正诞生于交替公理。

注意：仅在特征 2 时，“交替”才严格强于“反对称”（变号），因为那时 1 + 1 = 0，变号法则不再强制遇重为零。在通常的实或复线性代数中，两词可作同义使用，但严谨的代数学者会保留这一区别。