12.4.4 Tensor Subtraction Space Compatibility

Tensor Subtraction Space Compatibility is the requirement that two tensors being subtracted must be built over the same underlying vector space, using the same dual space for covariant indices, so that their components refer to a common basis structure and can be meaningfully paired index by index.

What Space Compatibility Means

Shared Underlying Vector Space

Every tensor of type $$(p,q)$$ is built from a specific vector space $$V$$ and its dual space $$V^{*}$$. Space compatibility requires that both tensors being subtracted, $$A$$ and $$B$$, are constructed from the identical vector space $$V$$, not merely from vector spaces of the same dimension that happen to be isomorphic.

Distinction from Same Type Requirement

While the same type requirement concerns the rank and variance pattern of the indices, space compatibility concerns the specific identity of the vector space itself. Two tensors could have identical type, meaning the same number of upper and lower indices and matching dimension, yet still fail to be compatible if they are defined relative to genuinely different vector spaces, such as different physical spaces in a problem involving several distinct systems.

Why Space Compatibility Is Required

Meaning of the Basis Used

The components of a tensor only make sense relative to a chosen basis of the specific vector space that the tensor belongs to. If $$A$$ is expressed in a basis of one vector space and $$B$$ in a basis of an unrelated vector space, there is no canonical identification between their respective bases, so subtracting components position by position would not correspond to any meaningful geometric or algebraic operation.

Preventing Category Errors

Without space compatibility, one could attempt to subtract, for instance, a tensor describing quantities in a three-dimensional physical space from a tensor describing quantities in an entirely different three-dimensional parameter space. Even though the numerical arrays might have matching shapes, the subtraction would conflate two conceptually unrelated structures, producing a result with no coherent interpretation.

Formal Consequence for the Operation

Restriction on Valid Operands

Given the requirement, subtraction:

is only defined when both $$A$$ and $$B$$ belong to the same tensor space built over the same vector space $$V$$, of the same type $$(p,q)$$.

Compatibility of the Dual Space

Because covariant indices draw on the dual space $$V^{*}$$, space compatibility also requires that any covariant index of $$A$$ and the corresponding covariant index of $$B$$ draw on the same dual space, consistent with both tensors sharing the identical underlying vector space $$V$$.

Relationship to Practical Contexts

Fixed Reference Space in Applications

In applications such as continuum mechanics or differential geometry, tensors describing quantities at a single point, or within a single tangent space, are automatically space compatible with one another, since they share that same tangent space as their underlying vector space. Difficulties arise only when tensors from different points or different tangent spaces are compared without an explicit means of identifying those spaces.

Role of Explicit Identifications

When two vector spaces are genuinely distinct but related by a specified linear isomorphism, subtraction between tensors defined on each requires first mapping one tensor into the other's space using that isomorphism, after which ordinary tensor subtraction, now space compatible, can proceed.

Illustration