5.23.1 Tensor Product Component Pairing

Tensor Product Component Pairing is the mechanism by which a pair of individual indices, one ranging over a basis of V and the other over a basis of W, combine into the single joint index labeling a basis element eᵢ ⊗ fⱼ of V ⊗ W, together with the dual description of how each component c_{ij} of a tensor is extracted by pairing the tensor against the corresponding dual basis elements. Component pairing is what turns two separate, independently indexed bases into the single doubly-indexed (or, once flattened, singly-indexed) coordinate system used to describe elements of the tensor product.

Pairing Indices into a Joint Index

From Two Index Sets to One

Given a basis {eᵢ}_{i∈I} of V and {fⱼ}_{j∈J} of W, component pairing associates to each pair (i, j) ∈ I × J the single basis element eᵢ ⊗ fⱼ of V ⊗ W. The index set for the tensor product basis is thus not a new, independently constructed set, but exactly the Cartesian product I × J of the two original index sets, paired together.

Flattening a Paired Index

When I = {1, ..., m} and J = {1, ..., n} are finite, the paired index (i, j) can be flattened into a single linear index k = (i − 1)n + j (or any other fixed bijection I × J → {1, ..., mn}), which is the mechanism underlying the representation of a tensor's components as a single vector of length mn rather than as an m × n grid, useful when a tensor product needs to be treated as an ordinary vector space of dimension mn without reference to its factorization.

Extraction of Components via Dual Pairing

The Dual Basis Pairing Formula

If {e^i} and {f^j} denote the dual bases of V* and W* corresponding to {eᵢ} and {fⱼ}, the component c_{ij} of a tensor t = Σ c_{kl}(eₖ ⊗ fₗ) can be recovered by pairing t against e^i ⊗ f^j, using the natural evaluation pairing between V ⊗ W and V* ⊗ W*:

extracting the coefficient of eᵢ ⊗ fⱼ directly, without needing to first write out the full expansion of t and read off a term.

Why This Pairing Is Well-Defined

Because e^i ⊗ f^j acts on the basis {eₖ ⊗ fₗ} by (e^i ⊗ f^j)(eₖ ⊗ fₗ) = δ_{ik}δ_{jl}, applying it to t = Σ c_{kl}(eₖ ⊗ fₗ) isolates exactly the single term with (k,l) = (i,j), giving c_{ij} and confirming that the dual pairing is precisely the coordinate-extraction functional corresponding to the joint index (i,j).

Diagram of Index Pairing

Component Pairing Under Change of Basis

Consistency of the Pairing Mechanism

If the bases of V and W are changed, the dual bases change correspondingly (contragredient to the change of the original bases), and the component pairing mechanism c_{ij} = (e^i ⊗ f^j)(t) continues to extract the correct new components c′_{kl} relative to the new bases, since the dual pairing is itself basis-independent as an abstract bilinear pairing between V ⊗ W and V* ⊗ W*, even though the specific dual basis elements used change.

Compatibility with Index Flattening

The flattened linear index k = (i-1)n + j used to store components as a single vector is only a bookkeeping convention; component pairing guarantees the underlying two-index extraction formula c_{ij} = (e^i ⊗ f^j)(t) remains the authoritative description of what each flattened entry represents, regardless of which flattening convention is chosen.

Extension to Multiple Factors

Multi-Index Pairing

For a tensor product of n spaces, component pairing generalizes to associating an n-tuple of individual basis indices (i₁, ..., iₙ) with a single basis element eᵢ₁ ⊗ ... ⊗ eᵢₙ, and the corresponding component is extracted by pairing against the dual basis element e^{i₁} ⊗ ... ⊗ e^{iₙ}, exactly generalizing the two-factor formula term by term.

Significance of Component Pairing

The Precise Link Between Abstract Bases and Concrete Coordinates

Component pairing supplies the exact mechanism, grounded in the dual pairing between a tensor product and its dual, by which abstract basis elements of V ⊗ W are converted into concrete numerical coordinates, making explicit what is often left implicit when components are simply "read off" from an expansion.

Foundation for Index Notation in Applied Tensor Calculus

The joint-index and dual-pairing mechanisms described here are the rigorous underpinning of the informal index notation used throughout physics and engineering, where a tensor's components are routinely written and manipulated as c_{ij} or c_{i₁...iₙ} without further comment on how those indices arose from pairing individual basis indices together.