16.16 Tensor Alternating Basis Structure

Tensor Alternating Basis Structure is the overarching organizational framework describing how bases for the exterior powers of a vector space are built, indexed, ordered, and related to one another across every degree of the exterior algebra. It unifies the construction procedure, the ordered multi-index notation, and the recurring combinatorial wedge pattern into a single coherent picture of how antisymmetric tensor spaces acquire concrete, computable coordinates.

Foundations of the Structure

Starting From an Ordered Basis

The alternating basis structure begins with an ordered basis e₁, e₂, ..., eₙ of the underlying n-dimensional vector space V. Every subsequent layer of structure, at every exterior power degree, is built entirely from this single starting choice, meaning the entire family of alternating bases across all degrees is determined once this one ordered basis is fixed.

Basis of a Single Exterior Power

At a fixed degree k, the alternating basis structure produces a basis for Λᵏ(V) consisting of wedge products e_{i₁} ∧ ... ∧ e_{iₖ} formed from strictly increasing sequences of indices:

giving exactly C(n, k) basis elements, matching the dimension of Λᵏ(V).

Three Interlocking Components

Construction Procedure

The construction component of the structure specifies precisely how strictly increasing index sequences are enumerated and turned into basis wedge products, and why restricting to increasing order avoids redundancy: any other ordering of the same indices is either proportional to the canonical one, up to a sign, or vanishes outright if indices repeat.

Ordered Multi-Index Labeling

The labeling component assigns each basis element a compact multi-index name I = (i₁, ..., iₖ), allowing elements of Λᵏ(V) to be written as sums indexed over multi-indices rather than as unwieldy explicit wedge expressions. This labeling is what makes symbolic manipulation of exterior algebra elements tractable in both hand computation and formal notation.

Recurring Wedge Pattern

The pattern component describes how the same combinatorial rule, enumerate k-subsets of {1, ..., n} and wedge their indexed basis vectors in increasing order, repeats identically at every degree k from 0 to n, producing a self-similar structural template that scales predictably with the dimension of the space and the chosen degree.

Global Organization Across Degrees

Total Basis of the Exterior Algebra

Collecting the alternating bases of every individual degree together produces a basis for the entire graded exterior algebra Λ(V), whose combined dimension across all degrees equals 2ⁿ, matching the total number of subsets of the n-element index set:

Each subset of the index set corresponds to exactly one basis element somewhere in the full graded structure, unifying the alternating basis across degrees with the subset lattice of the original index set.

Complementary Degree Symmetry

The alternating basis structure exhibits a natural symmetry between complementary degrees k and n − k, since each strictly increasing multi-index of length k has a unique complementary strictly increasing multi-index consisting of the remaining n − k indices. This symmetry underlies operations such as the Hodge star, which maps basis elements at one degree to corresponding basis elements at the complementary degree.

Behavior Under Change of Basis

Transformation of Basis Wedge Products

If the underlying vector space basis is changed via an invertible linear transformation, the alternating basis elements at each degree transform according to the exterior power of that transformation, with the top-degree basis element transforming by a factor equal to the determinant of the change-of-basis matrix. This shows that the alternating basis structure, while built from a specific starting basis, transforms predictably and consistently under changes of that starting basis.

Preservation of the Combinatorial Pattern

Although the specific numerical coordinates of an element of Λᵏ(V) change when the underlying basis changes, the combinatorial pattern itself, the strictly increasing multi-index enumeration and the C(n, k) basis count, remains identical regardless of which particular ordered basis of V is used to generate it.

Significance of the Structure

The alternating basis structure is what makes exterior algebra a workable computational framework rather than a purely abstract construction. It provides the explicit basis needed to represent k-vectors, differential forms, and antisymmetric tensors with concrete coordinates, it supplies the multi-index notation used throughout multilinear algebra and differential geometry, and it reveals the deep combinatorial symmetry connecting every degree of the exterior algebra to the subset structure of a single underlying index set.