8.3.3 Tensor Indexed Symbol Component Reference

Tensor Indexed Symbol Component Reference is the specific act of pointing to exactly one number stored in a tensor's array of components by combining its base symbol with a fully specified numerical value for every one of its indices, as in T^{2}_{3}, in contrast to writing the same base symbol with symbolic index letters, as in T^{i}_{j}, which refers instead to the entire family of components taken together. It is the mechanism by which tensor indexed notation moves from describing a whole tensor to singling out one particular entry of it.

Symbolic Expression Versus Component Reference

General Symbolic Form

Writing T^{i}_{j} with symbolic index letters describes the tensor's components in general, as a formula or a family of numbers parameterized by whatever values i and j may take; no single number is picked out by this form alone, since i and j remain free to range over their full index sets.

Fixing Values to Form a Reference

Substituting specific, concrete values for every index — as in replacing i with 2 and j with 3 to obtain T^{2}_{3} — converts the symbolic form into a component reference: a pointer to exactly one number in the tensor's array, with no ambiguity remaining about which entry is meant.

Requirements for a Valid Component Reference

Every Index Must Be Fixed

A reference to a single component requires that every index attached to the base symbol be assigned a specific value drawn from its index set; leaving even one index symbolic, as in T^{i}_{3}, produces not a single reference but a partially fixed family, describing one number for each possible value of the remaining symbolic index i.

The Assigned Values Must Lie Within the Index Set

A component reference is only meaningful if each assigned value actually belongs to the index set associated with that slot; referencing T^{n+1}_{3} for a tensor whose first index ranges only over 1 through n does not correspond to any stored component and lies outside the tensor's representation entirely.

Diagram of Component Reference

Component Reference in Statements and Proofs

Making a Concrete Claim About One Number

A component reference is used whenever a claim is made about one specific number rather than about the tensor as a whole, such as "the component g_{12} of this metric vanishes at the origin"; such a claim is basis-dependent by nature, since it names a specific entry that would generally take a different value in a different basis, and it must always be understood together with the basis in which the reference is made.

Enumerating a Family of Component References

A statement about symmetry, such as T_{ij} = T_{ji}, is not itself a component reference but a symbolic claim about how every possible component reference relates to another; unpacking it into explicit component references — T_{12} = T_{21}, T_{13} = T_{31}, and so on for every valid pair of values — produces the full family of individual numerical claims that the single symbolic equation summarizes.

Component Reference and Computation

The Terminal Step of Symbolic Manipulation

Symbolic manipulation of tensor expressions — applying the summation convention, contracting indices, raising or lowering — is typically carried out with symbolic index letters throughout, with component references introduced only at the very end, when a concrete numerical answer for one particular component, or a family of them, is finally required.

Array Indexing in Computational Practice

In software that stores tensor components as multidimensional arrays, a component reference corresponds directly to indexing into that array with a specific set of integer offsets; the correspondence between the two is exact, provided the array's indexing convention (starting at 0 or at 1) is matched consistently with whichever convention the surrounding tensor notation assumes for its index sets.

Distinguishing Component Reference from Free-Index Labeling

A Free Index Names a Family, Not One Entry

A free index in an equation, left symbolic, labels an entire family of components collectively, one for each value the free index may take; only once that free index is itself fixed to a specific value does the expression become a genuine component reference to a single number, rather than a compact statement about the whole family at once.

Practical Discipline

Keeping clear, at every stage of a calculation, whether an expression is a fully fixed component reference or still a symbolic family with one or more free indices prevents the common error of treating a general symbolic statement as though it already specified one particular numerical value, when in fact it still describes an entire collection of them.