3.8.1 Tensor Natural Pairing Canonical Form

Tensor Natural Pairing Canonical Form is the identity-matrix expression that the natural pairing between V and V* always takes once components are written relative to a basis and its associated dual basis, and this canonical form is the standard, simplest possible representation to which every computation involving the pairing is ultimately reduced. Because the dual basis is defined specifically so that e^i(e_j) = δ^i_j, the canonical form of the pairing is not something that must be derived anew in each problem; it is built into the very construction of the dual basis itself.

Statement of the Canonical Form

The Identity Relation on Basis Elements

Given a basis e_1, ..., e_n of V and its dual basis e^1, ..., e^n of V*, the canonical form of the pairing is the statement

for all i, j between 1 and n. This equation is, in fact, the defining property used to construct the dual basis in the first place: given any basis of V, the dual basis is defined to be the unique set of covectors satisfying exactly this relation.

The Reduced Summation Form

For a general covector f = f_i e^i and vector v = v^j e_j, the canonical relation collapses the double sum arising from expanding the pairing bilinearly into the single-index summation

which is the canonical computational form used in every practical evaluation of the pairing.

Why the Canonical Form Is Basis-Specific but Value-Invariant

The Formula Depends on Choosing Dual Bases

The reduction to f_i v^i relies specifically on f's components being taken relative to e^1, ..., e^n and v's components being taken relative to e_1, ..., e_n, where the two bases are dual to one another. If components were instead expressed relative to two unrelated bases of V and V*, the identity-matrix simplification would not occur, and a more general matrix would appear in the formula.

The Scalar Value Is Unaffected by Which Dual Pair Is Chosen

Although the canonical form's derivation depends on the specific dual basis pair chosen, the resulting scalar f(v) does not depend on which basis of V was used to generate that dual pair. Switching to a different basis of V, and its correspondingly different dual basis of V*, still yields the same canonical relation e^i(e_j) = δ^i_j and the same final scalar value for any fixed f and v.

Uniqueness of the Canonical Form

The Dual Basis Is the Unique Basis Achieving This Form

For a fixed basis of V, there is exactly one basis of V* for which the pairing reduces to the Kronecker delta relation: the dual basis. Any other basis of V* would produce a different, generally non-diagonal matrix of pairing values g^k(e_j), so the canonical, identity-matrix form is a distinguishing characteristic of the dual basis specifically, not a property shared by arbitrary bases of V*.

Existence and Construction

The dual basis achieving the canonical form always exists and can be constructed explicitly: given a basis e_1, ..., e_n, define e^i as the unique linear functional sending e_i to 1 and every other basis vector e_j, j ≠ i, to 0. This definition, extended linearly to all of V, produces exactly the covectors satisfying the canonical relation.

Practical Role of the Canonical Form

Reading Off Components

Because of the canonical form, applying a dual basis covector e^i to any vector v directly returns the i-th coordinate of v in the original basis, e^i(v) = v^i, giving a direct computational tool for extracting coordinates without needing to solve a linear system.

Simplifying Larger Tensor Computations

When larger tensor expressions are expanded in a basis and its dual, the canonical form is what allows sums involving many terms to collapse down to only the terms where indices match, since every mismatched pairing e^i(e_j) with i ≠ j contributes zero. This is the mechanism underlying the simplification of most explicit tensor component calculations.

Diagrammatic Summary

The diagram depicts the pairing values e^i(e_j) arranged as a matrix, showing the diagonal-only, identity-matrix pattern that defines the canonical form.