9.7.2 Tensor Standard Basis Unit Element Form

Tensor Standard Basis Unit Element Form is the explicit description of each standard basis vector as the tuple whose entries are given exactly by the Kronecker delta, equal to one at the position matching the vector's own index and equal to zero at every other position, providing a single closed formula that generates every member of the standard basis uniformly rather than listing each vector separately; it is the precise algebraic statement underlying the informal description of standard basis vectors as having "a one in one slot and zeros elsewhere."

The Kronecker Delta Formula

One Formula for Every Basis Vector

The i-th standard basis vector is given entry by entry by the Kronecker delta function of the entry's position j and the vector's own index i, so that a single expression produces the entire family of standard basis vectors as i ranges over its full set of values.

Explicit Meaning of the Delta

The Kronecker delta appearing in this formula takes the value one whenever its two indices coincide and the value zero whenever they differ, which is exactly the condition that produces a single nonzero unit entry at position i and zero entries everywhere else.

Why the Unit Element Form Matters

It Turns the Standard Basis Into a Single Algebraic Object

Rather than treating the standard basis as an unrelated list of individual vectors, the unit element form expresses the entire family as instances of one formula, allowing statements about "the standard basis" to be proved once, for a generic index i, and to apply automatically to every member of the basis.

It Directly Explains the Self-Duality of the Standard Basis

Because the dual basis is defined by the same pairing condition that the Kronecker delta already satisfies, e^i(e_j) = δ^i_j, the unit element form of the standard basis vectors shows immediately why the dual basis coincides with the primal basis under the standard inner product: the delta already appearing in the definition of e_i is the same delta required of the dual pairing.

Using the Unit Element Form in Computations

Expanding a Vector Recovers Its Own Entries

Substituting the unit element form into the general expansion of a vector in a basis shows directly why a vector's components in the standard basis equal its own Cartesian entries, since summing the product of each entry with a Kronecker delta simply selects that entry back out.

Products of Unit Elements Reproduce Identity Matrices

Forming tensor products of standard basis vectors and reading off their entries through the unit element form shows directly why arrays such as the identity matrix or the Kronecker delta tensor arise naturally as combinations of standard basis elements, since their entries are themselves products of Kronecker deltas.

Diagram of the Unit Element Form

Consequences of the Unit Element Form

It Makes Basis-Related Identities Provable by Direct Substitution

Any identity involving standard basis vectors — orthogonality, self-duality, or the form of the identity tensor — can be verified by substituting the Kronecker delta formula directly and simplifying, rather than by separately checking each individual basis vector by inspection.

It Distinguishes the Standard Basis From Any Basis That Merely Resembles It

A set of vectors that only approximately resembles the standard basis, without satisfying the exact Kronecker delta formula at every entry, does not qualify as the standard basis and does not automatically inherit the simplifications, such as self-duality, that follow specifically from this unit element form.