2.12.3 Tensor Vector Addition Basis Compatibility

Tensor Vector Addition Basis Compatibility is the requirement that when vector addition is carried out using coordinate representations, both vectors involved must be expressed relative to the same basis, since combining coordinate tuples that reference different bases would produce a result with no consistent meaning. Basis compatibility ensures that the simple, entrywise arithmetic used in component form addition actually corresponds to the correct abstract vector sum.

Formal Statement

Requirement of a Shared Basis

Entrywise addition of coordinate tuples correctly computes the coordinate vector of a sum only when both tuples are expressed relative to the same ordered basis.

Invalidity Under Mismatched Bases

Adding coordinate tuples that are expressed relative to two different bases does not, in general, produce the coordinate vector of the true sum relative to either basis, since the entries no longer correspond to the same underlying basis vectors position by position.

Restoring Compatibility Across Bases

Converting to a Common Basis First

If two vectors are given in coordinates relative to different bases, one or both coordinate tuples must first be converted, using an appropriate change of basis matrix, into a shared basis before entrywise addition can be validly applied.

Order of Operations Matters

Once both coordinate tuples are transformed into the same basis, the entrywise addition rule applies exactly as in the compatible case, and the resulting sum's coordinate vector, if needed in yet another basis, can then be transformed further using the corresponding change of basis matrix.

Why This Compatibility Requirement Exists

Positional Meaning Tied to a Specific Basis

Because each coordinate position corresponds to a coefficient of a specific basis vector, combining positions from tuples defined relative to different bases mixes together coefficients that refer to entirely different underlying vectors, producing a numerically well-formed but conceptually meaningless result.

Consistency With Coordinate Vector Basis Dependence

Basis compatibility is a direct consequence of coordinate vector basis dependence, since the very fact that coordinates vary with basis implies that any operation combining coordinate tuples must first ensure those tuples share a common frame of reference.

Role in Tensor Construction

Ensuring Valid Tensor Addition Across Bases

Basis compatibility extends naturally to tensor addition, where each factor's coordinate contribution to a tensor's components must be expressed relative to a consistent basis across every tensor being combined, or else the resulting sums fail to represent the correct combined tensor.

Guarding Against Silent Computational Errors

Because mismatched-basis addition produces numerically valid but mathematically incorrect results, basis compatibility functions as an implicit but essential guard against subtle errors that could otherwise go unnoticed in tensor computations spanning multiple coordinate systems.

Summary of Key Properties

Precondition for Valid Entrywise Addition

Tensor Vector Addition Basis Compatibility establishes a necessary precondition, namely a shared basis, that must hold before entrywise coordinate addition can be trusted to compute a correct vector sum.

Managed Through Explicit Basis Conversion

Whenever compatibility does not naturally hold, it can be restored through explicit application of change of basis transformations, preserving the correctness of subsequent addition operations.