1.2.26 Alternating Multilinear Map Definition

An alternating multilinear map is a fundamental concept in algebra that generalizes the idea of determinants and captures antisymmetric properties in multilinear contexts.

Alternating Multilinear Map Definition is the characterization of a multilinear map that vanishes whenever two of its arguments are equal, a property that forces the map to change sign whenever any two of its arguments are exchanged. Alternating multilinear maps form the algebraic foundation of determinants, oriented volume, and exterior algebra, and they represent the antisymmetric counterpart to the general class of multilinear forms.

Formal Definition

Let $V$ be a vector space over a field $F$ , and let

T : V \times V \times \dots \times V \to F

be a multilinear map taking $k$ arguments from $V$ . The map $T$ is called alternating if

T (v_{1}, \dots, v_{k}) = 0

whenever $v_{i} = v_{j}$ for some pair of distinct indices $i \neq j$ . This single vanishing condition, combined with multilinearity, is sufficient to determine the entire sign behavior of the map under permutation of its arguments.

Equivalence with Antisymmetry

Derivation of the Sign-Change Property

The vanishing condition implies that swapping any two arguments negates the value of the map. This follows by expanding the alternating condition on a sum of two arguments. For arguments in positions $i$ and $j$ , multilinearity applied to

T (\dots, v_{i} + v_{j}, \dots, v_{i} + v_{j}, \dots) = 0

expands into four terms, two of which vanish by the alternating condition itself, leaving

T (\dots, v_{i}, \dots, v_{j}, \dots) = - T (\dots, v_{j}, \dots, v_{i}, \dots)

confirming that exchanging two arguments reverses the sign of the map. Applying this repeatedly shows that for any permutation $σ$ of the arguments,

T (v_{σ (1)}, \dots, v_{σ (k)}) = sgn (σ) T (v_{1}, \dots, v_{k})

where $sgn (σ)$ denotes the sign of the permutation, equal to $+ 1$ for even permutations and $- 1$ for odd permutations.

Distinction Between Alternating and Antisymmetric

In general vector spaces, alternating and antisymmetric (skew-symmetric) are equivalent conditions, since the sign-change property derived above is a direct consequence of the vanishing condition. Over fields of characteristic two, however, the two notions diverge, because the equation $x = - x$ no longer forces $x = 0$ . In that setting, the vanishing-on-repeated-arguments definition is the correct and stronger notion, and it is the one used generally when defining alternating multilinear maps rigorously.

Consequence: Linear Dependence Implies Vanishing

An immediate structural consequence of the alternating property is that $T$ vanishes whenever its arguments are linearly dependent, not merely when two arguments are literally equal. If one argument can be written as a linear combination of the others, multilinearity allows the expression to be expanded and each resulting term contains a repeated vector, so every term vanishes by the alternating condition. Consequently,

T (v_{1}, \dots, v_{k}) \neq 0

can hold only if $v_{1}, \dots, v_{k}$ are linearly independent. This is why an alternating $k$ -linear map on a vector space of dimension $n$ is identically zero whenever $k > n$ , since no set of more than $n$ vectors can be linearly independent in an $n$ -dimensional space.

Canonical Example: The Determinant

The determinant of a square matrix, regarded as a function of its column vectors, is the prototypical alternating multilinear map. Viewing an $n \times n$ matrix as an ordered tuple of $n$ column vectors in $F^{n}$ , the determinant is linear in each column separately, vanishes whenever two columns coincide, and changes sign under any transposition of columns. Up to scalar multiplication, the determinant is the unique alternating $n$ -linear map on $F^{n}$ that assigns the value $1$ to the standard basis, a uniqueness result that characterizes the determinant purely in terms of its multilinear, alternating structure rather than through any particular computational formula.

Geometric Interpretation

Alternating multilinear maps of degree $k$ on a real vector space are naturally interpreted as measuring signed $k$ -dimensional volume spanned by $k$ vectors. The vanishing condition corresponds to the geometric fact that a parallelepiped with two coincident edge vectors is degenerate and has zero volume, while the sign change under argument exchange encodes orientation: reversing two of the spanning vectors reverses the orientation of the region they span. This geometric reading motivates the visualization below of two vectors spanning a signed area in the plane.

Role in Exterior Algebra

Alternating multilinear maps of degree $k$ on a vector space $V$ correspond precisely to linear functionals on the $k$ -th exterior power $⋀^{k} V$ . This correspondence identifies the space of alternating $k$ -linear maps with the dual space of $⋀^{k} V$ , and it is the mechanism by which the exterior algebra formalizes wedge products, oriented volumes, and differential forms. Every alternating multilinear map factors uniquely through the canonical alternating multilinear map that sends a tuple of vectors to their wedge product, which is the universal property defining the exterior power construction.

Role Within Tensor Algebra

Within the broader hierarchy of multilinear forms, alternating multilinear maps occupy the antisymmetric extreme, standing opposite symmetric multilinear forms. Every general multilinear form can, over a field of characteristic zero, be decomposed into symmetric and antisymmetric parts, with the alternating part obtained by summing the map's values over all permutations of its arguments weighted by their sign and normalizing by the number of permutations. This decomposition situates alternating multilinear maps as one of the two principal families into which the space of covariant tensors of a given order naturally splits, alongside the symmetric tensors, with mixed-symmetry tensors occupying the remaining structure in higher degree.