16.14 Tensor Determinant Alternating Form Case

Tensor Determinant Alternating Form Case is the identification of the determinant of a square matrix, or equivalently of a linear map on a finite-dimensional vector space, as the unique alternating multilinear form of top degree on that space. It describes the specific instance within the general theory of alternating tensors where the top exterior power, being one-dimensional, forces every alternating n-linear form on an n-dimensional space to be a scalar multiple of the determinant.

Setting Up the Case

Alternating Multilinear Forms

An alternating multilinear form of degree k on a vector space V is a function taking k vector arguments, linear in each argument separately, that vanishes whenever two of its arguments coincide. The determinant case arises specifically when the degree k equals the dimension n of the space, placing it at the top of the grading of alternating forms.

Connection to the Top Exterior Power

Alternating n-linear forms on an n-dimensional space V correspond exactly to linear functionals on the top exterior power Λⁿ(V). Since Λⁿ(V) is one-dimensional, the space of such functionals is also one-dimensional, and therefore the space of alternating n-linear forms on V is one-dimensional as well:

This one-dimensionality is the structural reason a determinant, once normalized, is essentially unique.

Determinant as the Normalized Case

Normalization Condition

Among all alternating n-linear forms on Vⁿ, the determinant is singled out by the normalization requirement that it evaluate to 1 on a chosen basis:

Since the space of alternating n-linear forms is one-dimensional, this single normalization condition pins down the determinant uniquely among all scalar multiples of any nonzero alternating n-linear form.

General Vectors as Combinations of the Basis

For n vectors v₁, ..., vₙ expressed in terms of the basis with a coefficient matrix A, where the columns of A record each vᵢ in basis coordinates, the alternating form evaluated on these vectors equals the determinant of A times the normalized value:

This identity shows precisely how the abstract alternating-form perspective reduces to the familiar matrix determinant once coordinates are introduced.

Correspondence With the Wedge Product

Wedge Product Realization

Because Λⁿ(V) is one-dimensional, wedging n vectors together produces a scalar multiple of a fixed generator, namely the wedge of the full basis:

This equation is the direct algebraic bridge between the exterior algebra and classical determinant theory: the coefficient produced when n vectors are wedged together, relative to the wedge of the basis vectors, is exactly the determinant of the matrix formed from their coordinates.

Determinant of a Linear Map

For a linear map T from V to itself, the induced action on the one-dimensional space Λⁿ(V) is multiplication by a single scalar, and that scalar is by definition the determinant of T:

This gives a basis-free definition of the determinant of a linear map, expressed entirely through its action on the top exterior power.

Why the Case Is Special

Uniqueness From Dimension One

The determinant alternating form case is special precisely because it sits at the top degree, where the exterior power collapses to dimension one. At any lower degree k less than n, the space of alternating k-linear forms has dimension C(n, k), which is greater than one whenever 0 < k < n, so no similarly unique normalized form exists at those intermediate degrees.

Multiplicativity

A further hallmark of this case is that the determinant is multiplicative under composition of linear maps, reflecting the fact that composing linear maps corresponds to composing their induced actions on the one-dimensional top exterior power, and scalar multiplications compose by ordinary multiplication:

Summary of the Case

The determinant alternating form case demonstrates that the classical determinant is not an isolated computational tool but a specific manifestation of alternating multilinear algebra at its top degree. The one-dimensionality of the top exterior power forces uniqueness up to normalization, the wedge product realizes this form concretely, and the resulting scalar recovers exactly the determinant familiar from matrix theory and linear algebra.