1.14.2 Tensor Definition Error Pattern
Understanding common mistakes in defining tensors and how they lead to conceptual errors in algebraic structures.
Tensor Definition Error Pattern is the recurring mistake made specifically while working through a tensor definition problem, classifying whether a given indexed quantity is a tensor, in which the presence of upper and lower indices is treated as sufficient evidence of tensoriality on its own, so that the transformation law is never actually checked, or is checked incompletely, allowing a non-tensorial quantity to be misclassified as a tensor. Its trigger is an indexed quantity defined by a formula rather than already known to be a tensor; its point of failure is the omission or incomplete execution of the transformation-law check; its symptom is a confident classification that does not survive a subsequent, more careful check.
The Trigger Condition
Indices Present Without an Established Pedigree
The pattern is triggered whenever a quantity is defined directly by a formula, often in a single, specific basis or coordinate system, and carries the superficial appearance of a tensor, upper and lower index slots consistent with some type (p, q), without having been built purely from operations already known to preserve tensoriality.
Familiarity With Similar-Looking Genuine Tensors
The trigger is strengthened when the quantity in question closely resembles, in index pattern, a familiar genuine tensor, inviting the assumption that it must behave the same way under a change of basis, even though its actual definition differs in a way that breaks tensoriality.
The Point of Failure
Skipping the Transformation Check Entirely
The most direct point of failure is never performing the transformation-law check at all, moving straight from "this object has indices" to "this object is a tensor of the corresponding type" without deriving how its components actually behave under an arbitrary change of basis.
Performing the Check but Stopping Early
A subtler point of failure performs part of the transformation derivation, correctly transforming the leading term of a more complicated definition, but stops before reaching or fully simplifying an additional term that would reveal a departure from the expected law.
Restricting the Check to a Special Case
Another point of failure restricts the verification to a special, simplified change of basis, a pure rotation, a diagonal rescaling, where the potentially offending extra term happens to vanish or simplify away, and incorrectly generalizes the conclusion to arbitrary changes of basis where the term does not vanish.
The Symptom
A Classification That Fails Under a Different Basis Change
The clearest symptom of this pattern is a classification that appeared correct under one specific change of basis but fails when tested against a second, more general change of basis, revealing that the original check was incomplete rather than genuinely conclusive.
Downstream Contradictions
A further symptom appears later, when the misclassified quantity is subsequently combined with genuine tensors under an operation, such as forming a claimed scalar invariant, that then fails to remain invariant across a change of basis, exposing that one of its ingredients was not actually a tensor.
Correcting the Pattern
Always Deriving the Full Transformation Law
The direct correction is to derive the transformation law for the defined quantity under a fully general change of basis, symbolic rather than numerical, arbitrary rather than restricted to a special case, before drawing any conclusion about its type.
Explicitly Isolating and Examining Every Term
When the definition of the quantity involves more than one contribution, the correction requires each contribution to be transformed and examined separately, so that an inhomogeneous or extra term arising from only one part of the definition is not lost among the terms that do transform correctly.
Testing at Least Two Structurally Different Bases
As an additional safeguard, checking the transformation behavior under two changes of basis that are structurally different from one another, one non-orthogonal, one involving unequal scalings along different directions, guards specifically against the failure mode of a check that only happens to succeed for a restricted class of transformations.
Relationship to the Tensor Definition Problem Type
The Pattern That Undermines This Specific Problem Type
Because the tensor definition problem type exists precisely to test whether a quantity qualifies as a tensor, this error pattern is the single most direct threat to answering that problem type correctly, since it produces a confidently wrong answer to exactly the question the problem type poses.
Why This Pattern Is Worth Isolating on Its Own
Unlike more general indexing slips, this pattern reflects a conceptual gap, treating index presence as equivalent to tensoriality, rather than a mechanical slip, and correcting it requires reinforcing the definition of a tensor itself rather than simply working more carefully through familiar arithmetic.