12.7.2 Tensor Equality Same Type Requirement

Tensor Equality Same Type Requirement is the condition that two tensors can only be compared for equality if they share the identical rank and variance pattern, meaning the same number of contravariant indices, the same number of covariant indices, and matching dimension in every corresponding index slot.

Statement of the Requirement

Matching Rank and Variance

For tensors $$A$$ and $$B$$ to be candidates for equality, both must be of the same type $$(p,q)$$, where $$p$$ is the number of contravariant indices and $$q$$ is the number of covariant indices, with each corresponding index having the same dimension in both tensors. Tensors with a different number of indices, or with indices in different positions relative to upper and lower placement, cannot be equal, since they simply do not describe the same kind of object.

Formal Necessity Before Any Comparison

The same type requirement must be checked before any componentwise comparison is attempted. If $$A$$ is of type $$(p,q)$$ and $$B$$ is of a different type, the question of their equality does not arise at all, since there is no shared index structure against which to compare their components.

Why This Requirement Is Necessary

Different Types Represent Fundamentally Different Objects

A tensor's type determines how it acts and how it transforms under a change of basis. A tensor with one upper index behaves entirely differently from a tensor with one lower index, even if both happen to have the same number of components in a given basis. Requiring the same type before testing equality prevents conflating objects that play structurally different roles.

Ensuring a Well-Defined Index Correspondence

Componentwise equality relies on pairing each component of $$A$$ with the corresponding component of $$B$$ at the same index position. This pairing is only well defined when both tensors have exactly the same index structure, which is precisely what the same type requirement guarantees.

Relationship to the Same Space Requirement

Two Separate but Related Conditions

The same type requirement addresses the rank and variance structure of the tensors, while a separate condition, the same space requirement, addresses whether the tensors are built over the identical underlying vector space. Both conditions must hold simultaneously before a meaningful equality check can proceed, since matching type alone does not guarantee that the tensors originate from a common vector space.

Combined Effect

Only when both the same type requirement and the same space requirement are satisfied does it become meaningful to proceed to componentwise comparison in a shared basis, which is the final step of tensor equality verification.

Illustrative Cases

Valid Type Match

Two tensors each having one upper index and one lower index, both built over vector spaces of the same dimension, satisfy the same type requirement and can proceed to further equality checks.

Invalid Type Mismatch

A tensor with two upper indices cannot be equal to a tensor with one upper index and one lower index, regardless of any numerical similarity in their components, since their types $$(2,0)$$ and $$(1,1)$$ differ.

Illustration