16.13.4 Tensor Exterior Power Dimension Relation

The exterior power dimension relates to the structure of tensor spaces, revealing how antisymmetric subspaces grow with increasing power in algebraic contexts.

Tensor Exterior Power Dimension Relation is the formula that determines the dimension of the k-th exterior power of a finite-dimensional vector space in terms of the dimension of the original space and the chosen power k. It expresses how the antisymmetrization inherent in exterior powers constrains the number of independent basis elements available at each grade, and it governs why exterior powers vanish once the power exceeds the dimension of the underlying space.

The Core Formula

Binomial Coefficient Expression

For a vector space V of dimension n over a field, the dimension of the k-th exterior power Λᵏ(V) is given by the binomial coefficient:

dim (Λ^{k} (V)) = (\binom{n}{k}) = \frac{n!}{k! (n - k)!}

This relation directly ties the combinatorial structure of choosing k basis vectors out of n to the algebraic structure of the exterior power space.

Basis Justification

If e₁, e₂, ..., eₙ form a basis of V, then the set of wedge products eᵢ₁ ∧ eᵢ₂ ∧ ... ∧ eᵢₖ, taken over all strictly increasing index sequences i₁ < i₂ < ... < iₖ, forms a basis of Λᵏ(V). The number of such strictly increasing sequences is exactly the number of k-element subsets of an n-element set, which is the binomial coefficient C(n, k).

Boundary Behavior

Vanishing Beyond Dimension

Because a k-element subset of an n-element set cannot exist when k exceeds n, the dimension relation implies:

dim (Λ^{k} (V)) = 0 whenever k > n

This vanishing is the algebraic manifestation of the fact that more than n vectors drawn from an n-dimensional space must be linearly dependent, forcing every such wedge product to collapse to zero.

The Zeroth and First Powers

At the extremes of the grading, the relation gives two special cases. The zeroth exterior power is always one-dimensional, consisting of scalars:

dim (Λ^{0} (V)) = 1

The first exterior power recovers the original space itself:

dim (Λ^{1} (V)) = n

The Top Exterior Power

When k equals n, the exterior power is one-dimensional:

dim (Λ^{n} (V)) = 1

This one-dimensional top power is the space in which determinants naturally live, since any linear map on V acts on Λⁿ(V) by multiplication by its determinant.

Symmetry of the Relation

Complementary Dimension Symmetry

The binomial coefficient satisfies the identity C(n, k) = C(n, n − k), which translates into an isomorphism between complementary exterior powers:

dim (Λ^{k} (V)) = dim (Λ^{n - k} (V))

This symmetry underlies the existence of the Hodge star operator in spaces equipped with additional structure, which pairs k-vectors with (n − k)-vectors of matching dimension.

Total Dimension of the Exterior Algebra

Sum Over All Grades

Summing the dimension relation across all grades from 0 to n gives the total dimension of the full exterior algebra Λ(V):

dim (Λ (V)) = \sum_{k = 0}^{n} (\binom{n}{k}) = 2^{n}

This identity, following from the binomial theorem, shows that the graded exterior algebra of an n-dimensional space has total dimension 2ⁿ, matching the number of subsets of an n-element basis index set.

Significance of the Relation

The dimension relation is the quantitative backbone of exterior algebra theory: it predicts exactly how many independent antisymmetric combinations exist at every level, explains why exterior powers terminate at the ambient dimension, reveals the duality between complementary grades, and produces the total dimension count that makes the exterior algebra a finite-dimensional graded structure whenever the base space itself is finite-dimensional.