12.7.1 Tensor Equality Same Space Requirement

Tensor Equality Same Space Requirement is the condition that two tensors can only be judged equal if both are built over the identical underlying vector space and its corresponding dual space, so that their components refer to a common structural framework rather than to unrelated or merely isomorphic spaces.

Statement of the Requirement

Shared Vector Space

For tensors $$A$$ and $$B$$ to be compared for equality, both must be constructed from the same vector space $$V$$, together with the same dual space $$V^{*}$$ used for any covariant indices. Equality is not defined, and is not meaningful to ask about, when the two tensors originate from genuinely different vector spaces, even if those spaces happen to have the same dimension.

Relation to Type Matching

The same space requirement goes beyond simply requiring the same type $$(p,q)$$. Two tensors could have identical rank, variance, and dimension while still being built over distinct vector spaces that are not literally the same space, in which case equality remains undefined despite the matching type.

Why This Requirement Is Necessary

Components Are Only Meaningful Relative to a Shared Basis Structure

The numerical components of a tensor describe how that tensor acts relative to a basis of its specific underlying vector space. If $$A$$ and $$B$$ come from different vector spaces, there is no intrinsic correspondence between a basis of one space and a basis of the other, so comparing their components directly would not correspond to any meaningful statement about the tensors themselves.

Avoiding False Equalities from Coincidental Numerical Matches

Without the same space requirement, two tensors from entirely different contexts could have numerically identical component arrays purely by coincidence, without representing the same geometric or algebraic object in any coherent sense. Enforcing the same space requirement rules out mistaking such coincidences for genuine equality.

Formal Consequence for Equality Verification

Prerequisite Before Componentwise Comparison

Verifying tensor equality by comparing components, as described in tensor equality verification generally, presupposes that the same space requirement is already satisfied. Only once both tensors are confirmed to reside in the same tensor space, built from the same underlying vector space, does a componentwise comparison in a shared basis become a valid test for equality.

Handling Tensors from Related but Distinct Spaces

When two tensors come from distinct vector spaces that are related by an explicit isomorphism, direct equality is still undefined unless one tensor is first mapped into the other's space using that isomorphism. Only after this identification can the same space requirement be regarded as satisfied, permitting a meaningful equality check.

Illustrative Contrast

Valid Comparison

Two tensors describing quantities at the same point in a single vector space, expressed possibly in different bases of that space, satisfy the same space requirement and can be validly checked for equality once their components are compared in a common basis.

Invalid Comparison

Two tensors describing quantities in entirely separate vector spaces, such as those associated with different points in a manifold without a specified connection between the two tangent spaces, do not satisfy the same space requirement, and a direct equality check between them is not defined.

Illustration