12.3.4 Tensor Addition Basis Independent Meaning

Tensor Addition Basis Independent Meaning is the interpretation of tensor addition as an operation defined on the tensors themselves, as abstract multilinear objects, rather than as an operation defined merely on the numerical arrays that represent those tensors in some particular coordinate system.

The Distinction Between Object and Representation

Tensors as Abstract Objects

A tensor exists independently of any choice of basis. It can be understood as a multilinear map taking vectors and covectors as inputs and producing a scalar output, or equivalently as an element of a tensor product space. The array of components used to describe a tensor is only a representation of it relative to a chosen basis.

Addition Defined at the Object Level

Basis independent meaning states that when two tensors $$A$$ and $$B$$ are added, the sum $$C=A+B$$ is defined as an object in its own right, existing prior to and independent of any coordinate description. The componentwise addition rule performed in a particular basis is simply the calculation that reveals what the components of this already-existing object look like in that basis.

Consistency Requirement Across Bases

Same Object, Different Descriptions

If the same two tensors are described in two different bases, they will have two different sets of components. Basis independent meaning requires that performing componentwise addition in the first basis and then transforming the result to the second basis produces exactly the same components as transforming each tensor individually into the second basis first and then adding componentwise there.

Here $$T$$ denotes the transformation of components induced by a change of basis. This equality holds because the transformation law for any fixed tensor type is linear, so it commutes with addition.

Why This Matters

If this consistency failed, the phrase "the sum of two tensors" would be ambiguous, since different observers using different coordinate systems could disagree about the identity of the resulting object rather than merely disagreeing about its numerical description. Basis independent meaning removes this ambiguity entirely.

Geometric and Physical Interpretation

Addition as a Coordinate-Free Operation

In contexts where tensors represent geometric or physical quantities, such as stress, strain, or curvature, basis independent meaning ensures that the sum of two such quantities represents a genuine combined physical or geometric quantity, not merely an artifact of how numbers happened to be arranged in one coordinate chart.

Analogy with Vectors

The situation parallels ordinary vector addition in physical space: the sum of two displacement vectors represents a single, well-defined displacement regardless of which coordinate axes are used to describe it numerically. Tensor addition generalizes this same coordinate-free notion to higher-rank multilinear objects.

Formal Justification

Linearity of the Transformation Law

For a tensor of type $$(p,q)$$, the transformation of components under a change of basis matrix is a linear function of the original components. Because linear functions distribute over addition, the transformed sum equals the sum of the transformed parts, which is precisely the algebraic content underlying basis independence.

Well-Definedness of the Sum Tensor

This linearity guarantees that there exists a single, well-defined tensor $$C$$ whose components in any basis are obtained by componentwise addition of the components of $$A$$ and $$B$$ in that same basis, and that this tensor does not depend on which basis was used to construct it.

Illustration