12.4.1 Tensor Subtraction Same Type Requirement

Tensor Subtraction Same Type Requirement is the constraint stating that two tensors can be subtracted from one another only when they share the same rank, the same variance structure across every index, and the same dimension in each corresponding index slot, mirroring the analogous requirement that governs tensor addition.

Statement of the Requirement

Formal Condition

Given tensors $$A$$ and $$B$$, the difference $$D=A-B$$ is defined only when both tensors are of the same type $$(p,q)$$, meaning both possess $$p$$ contravariant indices and $$q$$ covariant indices, and both are built over the same underlying vector space with matching index dimensions.

Derivation from the Definition of Subtraction

Since subtraction is defined as $$A-B=A+(-B)$$, and addition itself carries the same type requirement, subtraction inherits this requirement directly. The tensor $$-B$$ necessarily has the same type as $$B$$, so the requirement for subtracting $$B$$ from $$A$$ reduces exactly to the requirement for adding $$A$$ and $$-B$$.

Why the Requirement Is Necessary

Matching Transformation Laws

Tensors of different types transform differently under a change of basis. If subtraction were permitted between tensors of differing type, the resulting numerical array would not obey any single, consistent transformation law, since each operand would demand a different rule for how its components change with the basis. The same type requirement guarantees that both operands transform identically, so their difference also transforms consistently.

Index Correspondence

Subtraction proceeds by pairing each component of one tensor with the corresponding component of the other, at the same index position. If the tensors had different numbers of indices, or indices of different variance or dimension, there would be no natural pairing between their components, making the operation undefined rather than merely inconvenient.

Consequences of Violating the Requirement

Undefined Operation

Attempting to subtract a tensor of type $$(p,q)$$ from a tensor of a different type, or from one built over a vector space of different dimension, does not produce a valid tensor and is simply not a permitted operation.

Failure to Preserve Tensorial Behavior

Even if a naive componentwise subtraction were forced between mismatched tensors, the resulting object would fail to transform correctly under a change of basis, disqualifying it from being a tensor in any meaningful sense.

Structural Role of the Requirement

Supporting the Vector Space of Tensors

The same type requirement for subtraction, together with the analogous requirement for addition, allows the set of all tensors of a fixed type $$(p,q)$$ to behave as a vector space, where every element has a well-defined additive inverse and subtraction remains an operation internal to that set.

Consistency with Additive Inverses

Because subtraction reduces to addition of an inverse, and every tensor of type $$(p,q)$$ has a unique additive inverse of the same type, the same type requirement ensures subtraction never leaves the collection of tensors of that fixed type.

Illustration