16.16.2 Tensor Alternating Basis Ordered Multi Index

Tensor Alternating Basis Ordered Multi Index provides a structured framework for representing and manipulating antisymmetric tensors in multilinear algebra.

Tensor Alternating Basis Ordered Multi Index is the notational and structural device of labeling basis elements of an exterior power by a strictly increasing tuple of indices, called a multi-index, drawn from the index set of an underlying basis, providing a compact and unambiguous way to reference and manipulate the exponentially many basis wedge products that arise at each degree of the exterior algebra.

Defining the Multi-Index

Multi-Index as an Ordered Tuple

A multi-index of length k, denoted I = (i₁, i₂, ..., iₖ), is an ordered tuple of integers drawn from {1, 2, ..., n} satisfying the strict increase condition:

1 \leq i_{1} < i_{2} < \dots < i_{k} \leq n

Each such multi-index corresponds to exactly one basis element of Λᵏ(V), denoted eᴵ, defined as the wedge product of the basis vectors indexed by the multi-index:

e^{I} = e_{i_{1}} \land e_{i_{2}} \land \dots \land e_{i_{k}}

Why Strict Increase Is Required

Restricting multi-indices to strictly increasing tuples eliminates redundancy: any non-increasing arrangement of the same set of indices can be reordered to increasing form using the antisymmetry of the wedge product, introducing only a sign, while any tuple with a repeated index corresponds to a vanishing wedge product by the repeated factor rule. The strictly increasing convention therefore names each distinct nonzero basis direction exactly once.

Counting and Enumerating Multi-Indices

Correspondence With Subsets

Each strictly increasing multi-index of length k corresponds precisely to a k-element subset of {1, ..., n}, since specifying a subset and specifying its unique increasing arrangement are equivalent operations. The total number of such multi-indices is therefore the binomial coefficient C(n, k), directly reproducing the dimension formula for Λᵏ(V).

Lexicographic Ordering

Multi-indices of a fixed length are conventionally enumerated in lexicographic order, comparing tuples entry by entry from the first index onward. This ordering provides a canonical, unambiguous sequencing of basis elements, which is essential for consistent matrix and coordinate representations of elements in Λᵏ(V).

Operations Expressed via Multi-Indices

General Element Expansion

Using multi-index notation, an arbitrary element ω of Λᵏ(V) is written compactly as:

ω = \sum_{I} a_{I} e^{I}

where the sum ranges over all strictly increasing multi-indices I of length k, and each aᴵ is a scalar coefficient. This compact notation replaces the unwieldy explicit listing of every individual basis wedge product with a single indexed summation.

Wedge Product of Multi-Index Basis Elements

The wedge product of two basis elements eᴵ and eᴶ, associated with disjoint multi-indices I and J, produces another basis element indexed by the merged and reordered multi-index I ∪ J, with an accompanying sign determined by the interleaving permutation required to sort the combined indices into increasing order:

e^{I} \land e^{J} = sgn (I, J) \cdot e^{I \cup J}

If I and J share any index, the product vanishes entirely by the repeated factor rule, and this is reflected by treating sgn(I, J) as zero in that case for notational convenience.

Multi-Indices in Applications

Differential Forms Notation

In the calculus of differential forms, a k-form on a coordinate patch is expressed using multi-index notation as a sum over strictly increasing multi-indices of coefficient functions times basis coordinate wedge products dxᴵ, directly mirroring the algebraic multi-index structure of exterior powers and simplifying the bookkeeping required for exterior derivatives and wedge products of forms.

Tensor Component Bookkeeping

Multi-index notation also underlies compact representations of antisymmetric tensor components in physics and differential geometry, where a fully antisymmetric tensor of rank k is entirely determined by its components indexed by strictly increasing multi-indices, since components with repeated or out-of-order indices are either zero or determined by sign relations from the canonical ones.

Significance of the Multi-Index Convention

The ordered multi-index convention is the essential bookkeeping tool that makes exterior algebra tractable in practice. It provides a canonical, non-redundant labeling of basis elements at every degree, encodes sign behavior systematically through permutation parity, and underlies the compact notation used throughout differential geometry and multilinear algebra for representing antisymmetric tensors and differential forms.