3.5.3 Tensor Basis Covector Kronecker Relation

Tensor Basis Covector Kronecker Relation is the identity e^i(e_j) = δ^i_j regarded specifically as the single algebraic relation that simultaneously defines the dual basis, encodes the components of the identity map on V, and remains invariant under every change of basis, distinguishing it from the merely bookkeeping role the Kronecker delta plays elsewhere as an index-matching notational device.

The Relation as a Definition

What the Relation Specifies

The Kronecker relation e^i(e_j) = δ^i_j is the complete defining condition for the dual basis: given a basis {e_j} of V, it is the unique family of linear functionals {e^i} satisfying this identity for every pair (i, j). As established in tensor dual basis structure, no additional condition is needed, since linearity plus these n^2 scalar equations pin down each e^i completely.

The Kronecker Relation as the Identity Map's Components

δ^i_j as a (1, 1)-Tensor

Under the identification Hom(V, V) ≅ V* ⊗ V, the identity map id_V corresponds to the tensor Σ_i e^i ⊗ e_i, and its matrix entries, relative to any basis, are exactly δ^i_j, since id_V(e_j) = e_j = Σ_i δ^i_j e_i. The Kronecker relation is therefore not merely a defining condition for the dual basis but is simultaneously the coordinate expression of the single most fundamental linear map on V, the identity.

Basis Independence of the Underlying Fact

The Relation Holds in Every Basis Simultaneously

Although the dual basis {e^i} itself changes when the basis {e_j} of V changes, the Kronecker relation e'^i(e'_j) = δ^i_j continues to hold, with the identical Kronecker delta values, for the new dual basis {e'^i} paired against the new basis {e'_j}; this is verified directly in tensor dual basis structure using the transition matrix A and its inverse B, e'^i(e'_k) = Σ_j b^i_j a^j_k = δ^i_k.

Why This Invariance Is Expected

This basis-independence is exactly what must hold given the interpretation of δ^i_j as the coordinates of the identity map: since id_V is a single, basis-independent linear map, its matrix must equal δ^i_j in every basis simultaneously, by the general fact that any endomorphism's matrix representation, when the same basis is used for both domain and codomain roles, transforms via A^{-1} M A, and A^{-1} I A = I for the identity matrix I regardless of A.

Distinguishing the Kronecker Relation From General Index Matching

A Specific Instance, Not the General Pattern

Tensor dual basis index matching describes the general convention that a repeated upper-lower index pair triggers summation, using δ^i_j as an abstract selection device inside larger expressions such as Σ_j X_j δ^i_j = X_i. The Kronecker relation, by contrast, is the specific originating fact, e^i(e_j) = δ^i_j itself, from which that general selection behavior derives; index matching is a consequence and application of the Kronecker relation, not a separate or more fundamental principle.

The Relation as the Source of All Delta-Based Simplifications

Every simplification elsewhere in tensor algebra that relies on a Kronecker delta collapsing a sum, including the coordinate-transfer cancellation Σ_k b^i_k a^k_j = δ^i_j and the coordinate-extraction formulas built from evaluating tensors on basis and dual basis vectors, ultimately traces back to this one relation between a basis and its dual; the Kronecker relation is the single algebraic seed from which the entire apparatus of index manipulation, contraction, and coordinate extraction in tensor algebra grows.

The Relation Under Restriction to a Subspace

Partial Kronecker Relations on a Subbasis

If {e_1, ..., e_k} is extended to a full basis {e_1, ..., e_n} of V, the Kronecker relation still holds for the full index range i, j ∈ {1, ..., n}, but restricting attention only to i, j ≤ k gives exactly the Kronecker relation appropriate to the subspace U = span(e_1, ..., e_k) and its own dual basis, connecting the full-space Kronecker relation to the annihilator and restriction constructions: the basis covectors e^{k+1}, ..., e^n, which vanish on all of U by the Kronecker relation applied with j ≤ k < i, are exactly the covectors spanning the annihilator U° described in tensor linear functional structure.