16.2.5 Tensor Alternating Basis Area

The Tensor Alternating Basis Area explores structured bases in tensor algebra, enabling antisymmetric representations and foundational operations in multilinear algebra.

Tensor Alternating Basis Area is the detailed treatment of how an explicit basis for the space of order-k alternating tensors is constructed from wedge products of basis vectors indexed by increasing subsets, together with the normalization conventions and computational practices that make this basis the standard working tool for explicit calculation throughout alternating tensor theory.

Constructing the Basis

Basis Elements Indexed by Increasing Subsets

Given a basis e_1 through e_n of V, a basis for the order-k alternating tensors is obtained by forming the wedge product of k distinct basis vectors, one basis element for each strictly increasing sequence of indices i_1 less than i_2 less than up to i_k, chosen from one through n:

e_{i_{1} \dots i_{k}} = e_{i_{1}} \land e_{i_{2}} \land \dots \land e_{i_{k}}

Requiring the indices to be strictly increasing, rather than merely distinct, fixes a single representative for each subset out of the k factorial possible orderings, since reordering the indices within a wedge product only changes the result by the sign of the reordering permutation, exactly the mechanism identified under the Tensor Alternating Structure Scope for why alternating tensors are naturally indexed by subsets rather than by arbitrary tuples.

Verifying the Spanning and Independence Properties

That these increasing-subset wedge products span the full space of order-k alternating tensors, and that they are linearly independent, follows directly from expanding an arbitrary alternating tensor in the standard tensor product basis and applying the alternation operator, introduced under the Tensor Alternation Operator Scope, term by term; each resulting term collapses onto exactly one increasing-subset representative, up to sign, confirming both spanning and independence simultaneously and reproducing the dimension count, the binomial coefficient of n choose k, established earlier.

Coordinates Relative to This Basis

Components as Signed Minors

When an alternating tensor arises as the wedge product of k general vectors, its coordinate relative to the basis element indexed by a given increasing subset is exactly the k-by-k minor of the coordinate matrix of those vectors, restricted to the rows corresponding to that subset; this identification, already noted under the Tensor Alternating Structure Area in connection with determinant theory, becomes fully explicit once the basis is fixed in the increasing-subset form described here, and it is precisely these signed minors that serve as the Plücker coordinates embedding the Grassmannian into projective space.

Expansion of a General Alternating Tensor

An arbitrary, not necessarily decomposable, alternating tensor is written as a linear combination of the basis elements e indexed by every increasing subset of size k, with coefficients that need not individually arise as minors of any single matrix; distinguishing, from its coordinates alone, whether a given alternating tensor is decomposable (a genuine wedge product of k vectors) or only a non-decomposable sum of several such wedge products is exactly the role played by the Plücker relations discussed under the Tensor Alternating Structure Area.

Normalization Conventions

The Unnormalized Basis

Constructed directly as the wedge product of basis vectors without further rescaling, the basis elements e indexed by increasing subsets are not, in general, of unit norm under the natural inner product on order-k alternating tensors induced from an inner product on V, and different sources adopt different conventions regarding whether the defining wedge product itself carries a normalizing factor of one over k factorial, exactly mirroring the analogous normalization choice already flagged for the Symmetric Basis Notation on the symmetric side.

The Orthonormal Basis

When e_1 through e_n is itself an orthonormal basis of V, the wedge products e indexed by increasing subsets, taken without any additional multinomial rescaling (in contrast to the symmetric case, where rescaling by a square root of a multinomial coefficient was required), already form an orthonormal basis of the order-k alternating tensors; this simpler normalization behavior, requiring no additional scaling step, is a direct consequence of the fact that increasing subsets, unlike the multisets indexing a symmetric basis, never involve repeated indices and hence never introduce the repeated-index multiplicities responsible for the extra scaling factor on the symmetric side.

Practical Use of the Basis

Explicit Computation with Differential Forms

In practical work with differential forms, as surveyed under the Tensor Exterior Product Area, the increasing-subset basis is the standard coordinate system in which a form's components are recorded and manipulated, with the exterior derivative and wedge product computed directly in terms of these indexed coefficients using standard multi-index bookkeeping analogous to, but distinct in sign convention from, the multi-index notation developed for symmetric tensors.

Computational Geometry and Linear Algebra Software

Because the basis coordinates of a decomposable alternating tensor are exactly the minors of a coordinate matrix, the Alternating Basis Area supplies the direct computational bridge between abstract wedge product manipulations and standard numerical linear algebra routines for computing determinants and minors, making this basis the practical entry point through which alternating tensor theory is implemented in computational geometry, robotics, and computer-aided design software relying on Plücker coordinate representations of lines and subspaces.