16.1.1 Tensor Alternating Structure Scope

Tensor Alternating Structure Scope explores how alternating tensors behave under permutations, key in multilinear algebra and physics.

Tensor Alternating Structure Scope is the narrower delineation, within the general subject of alternating tensors, of the specific structural topics addressed under the heading of structure: the wedge product operation, the grading and dimension of the exterior algebra, the basis and coordinate description of alternating tensors, and the elementary consequences these structural facts have for decomposability and rank.

The Wedge Product as the Central Structural Operation

Definition Relative to the General Alternating Condition

Given k vectors v_1 through v_k in V, their wedge product, v_1 wedge v_2 wedge up to v_k, is defined as the antisymmetrization of their tensor product, weighted by the sign of each permutation in exactly the manner the Alternating Component Constraint requires:

v_{1} \land \dots \land v_{k} = \sum_{σ}^{} sgn (σ) v_{σ (1)} \otimes \dots \otimes v_{σ (k)}

up to a normalizing factor of one over k factorial, depending on convention, standing as the exact structural counterpart of the Symmetric Product Notation on the symmetric side, but weighted by sign rather than taken as a plain unsigned average.

Vanishing Under Linear Dependence

The wedge product of k vectors is zero whenever those vectors are linearly dependent, since a linear relation among the v_i can be substituted into the defining sum and, by multilinearity, produces a combination of wedge products each containing a repeated vector, every one of which vanishes by the immediate consequence of the alternating condition noted under the general Alternating Tensor Scope. This vanishing-under-dependence property is the structural fact that ties the wedge product directly to genuine geometric independence, with no analogue on the symmetric side, where a symmetric product of dependent vectors need not vanish.

Grading and Dimension of the Exterior Structure

The Exterior Algebra as a Graded Object

Collecting the alternating tensors of every order k from zero through n, the dimension of V, into a single direct sum produces the exterior algebra of V, denoted using the wedge symbol raised as an exponent, mirroring the direct-sum grading of the symmetric algebra discussed under the Symmetric Power Notation, but truncated: unlike the symmetric algebra, which continues indefinitely in degree, the exterior algebra vanishes identically past degree n, since no n-plus-one linearly independent vectors exist in an n-dimensional space.

The Dimension Formula

The dimension of the order-k alternating tensors on an n-dimensional space is given by the binomial coefficient of n choose k, in place of the binomial coefficient of n plus d minus one choose d governing the symmetric case, and summing this dimension over all k from zero to n recovers exactly two raised to the power n, the total dimension of the exterior algebra, a finite total standing in structural contrast to the unbounded total dimension of the full symmetric algebra.

Basis and Coordinate Description

A Basis Indexed by Subsets Rather Than Multisets

Where a basis for the symmetric power S^k V is indexed by multisets of size k drawn from the basis directions of V, as described under the Symmetric Basis Notation, a basis for the order-k alternating tensors is indexed instead by ordinary subsets of size k, since repeated basis directions would force the corresponding wedge product to vanish; this replacement of multisets by subsets is the direct structural manifestation, at the level of basis indexing, of the vanishing-on-repetition property central to the alternating condition.

Components as Determinant-Like Minors

Expressing a general order-k alternating tensor in this basis, its components indexed by k-element subsets correspond, when the tensor arises from k given vectors, to the k-by-k minors of the matrix whose columns are those vectors, directly connecting the wedge product's coordinate description to the classical theory of determinants and to the Plücker coordinates used to embed the Grassmannian into projective space within the broader alternating Geometry Role.

Immediate Structural Consequences for Rank and Decomposability

Top-Order Triviality

At order k equal to n, the space of alternating tensors is one-dimensional, spanned by the wedge product of a full basis, and every nonzero element is automatically decomposable, corresponding structurally to the determinant of an n-by-n matrix; this top-order simplicity has no counterpart in the unbounded symmetric grading and marks one further, purely structural distinction between the two theories, additional to those already surveyed under the Tensor Symmetric Alternating Tensor Relation Boundary.

Order Two as the First Nontrivial Case

Just as order two supplies the first structurally rich case for symmetric tensors, corresponding to symmetric matrices, order two supplies the first structurally rich case for alternating tensors, corresponding to antisymmetric matrices, whose rank is always even and whose canonical block-diagonal form under change of basis, briefly noted under the Alternating Tensor Relation Boundary, is the direct structural starting point for the more detailed treatment of alternating tensor decomposition falling within this scope.