9.8.4 Tensor Basis Tensor Expansion Role

Tensor Basis Tensor Expansion Role is the part played specifically by the tensor status of basis elements in making the expansion of a general tensor as a weighted sum of basis tensors a legitimate equation between tensors, rather than a mere bookkeeping device relating a tensor to a list of numbers; it grounds the ordinary expansion role of a tensor basis in the more fundamental fact that each basis element being summed is itself an object of the same tensor space as the tensor being expanded.

Why Tensor Status Is Required for Expansion to Make Sense

An Equation Must Relate Objects of the Same Kind

Writing a tensor as a sum of basis elements weighted by coefficients is only a meaningful equation if both sides of it are objects of the same kind; since the left side is a tensor, the expansion role requires that the right side, a combination of basis elements, also be a tensor, which holds precisely because each basis element is itself a tensor by the tensor basis tensor role.

Scalar Multiples and Sums of Tensors Remain Tensors

Because scalar multiplication and addition of tensors are operations that produce further tensors, forming the weighted sum on the right-hand side of an expansion, using coefficients to scale basis tensors and adding the results, produces another tensor of the correct type — a conclusion that depends on nothing more than the basis elements already being genuine tensors.

What Would Fail Without This Role

An Expansion Without Tensor Status Would Be a Category Mismatch

If basis elements were treated merely as external labeling symbols rather than as tensors, an expression combining them with scalar coefficients would produce, at best, a formal symbol rather than an actual tensor, and the claim that this symbol "equals" the original tensor would not correspond to any well-defined mathematical equality.

Tensor Status Justifies Applying Tensor Operations to the Expansion

Because the expansion is recognized as an actual tensor by virtue of its basis elements being tensors, operations defined generally for tensors — pairing with other tensors, further contraction, or comparison for equality — apply directly to the expansion, without requiring any separate justification tailored to sums of basis elements specifically.

Relationship to the General Expansion Role

This Role Supplies the Justification, the General Role Supplies the Mechanism

The general expansion role of a tensor basis describes the mechanism by which coefficients are determined and combined with basis elements to reconstruct a tensor; the tensor basis tensor expansion role supplies the underlying reason that mechanism is valid in the first place, namely that every term being summed is already a legitimate tensor.

Both Roles Are Needed for a Complete Account

A full account of why tensor expansion works requires both roles together: the mechanism describes how coefficients are found and combined, while the tensor status of the basis elements guarantees that the combination produced is a genuine tensor equal to the one being expanded, rather than merely a symbolic stand-in for it.

Diagram of the Expansion Role Grounded in Tensor Status

Consequences of Recognizing This Role

It Prevents Treating Coordinates as More Fundamental Than the Tensor

Recognizing that expansion is an equation between tensors, grounded in the tensor status of the basis, prevents the mistaken view that a tensor is merely defined by its component array; instead, the component array is understood as coefficients in an expansion whose terms, being tensors themselves, reconstruct the original basis-independent object exactly.

It Confirms That Reassembled Tensors Behave Identically to the Originals

Because each term of an expansion is a genuine tensor and their weighted sum is therefore also a genuine tensor, a tensor reconstructed from its components via expansion is guaranteed to behave identically, under every tensor operation, to the tensor it was expanded from, with no discrepancy introduced by the process of expansion itself.