16.7.3 Tensor Repeated Argument Sign Cancellation
Tensor Repeated Argument Sign Cancellation involves sign cancellation when tensor indices are repeated, essential in contraction and algebraic operations.
Tensor Repeated Argument Sign Cancellation is the algebraic mechanism by which a quantity forced to equal its own negative is thereby forced to equal zero, isolated here as the general cancellation principle underlying repeated-argument vanishing, applicable well beyond tensors to any setting where a self-referential sign flip arises.
The Cancellation Principle in Isolation
The General Algebraic Fact
For any quantity X in a field (or more generally, an abelian group with well-behaved doubling), the equation X = −X is equivalent to 2X = 0:
Cancellation to X = 0 follows precisely when 2 has a multiplicative inverse in the ambient field, allowing both sides to be divided by 2:
Application to Repeated Tensor Arguments
The Specific Instance for Alternating Tensors
Substituting X = T(...,v,...,v,...) into the general cancellation principle recovers the tensor-specific conclusion: since the sign-reversal law forces X = −X at this degenerate input, the cancellation principle immediately yields X = 0, with no tensor-specific reasoning required beyond making the substitution.
Where the Sign Equation Comes From
The X = −X equation itself is supplied by the sign-reversal law applied to a repeated argument; the cancellation principle takes over only after that equation has already been established, meaning sign cancellation is the final algebraic step of the argument, not the source of the sign equation itself.
Sign Cancellation Beyond Tensors
Skew-Symmetric Matrices
The same cancellation principle, applied to matrix entries rather than tensor values, explains why every diagonal entry of a skew-symmetric matrix is zero: A_{ii} = −A_{ii} forces A_{ii} = 0 by identical reasoning, entirely independent of any tensor-theoretic framing.
Odd Functions at the Origin
An odd function f satisfying f(−x) = −f(x) exhibits the same cancellation at x = 0: f(0) = f(−0) = −f(0), forcing f(0) = 0 whenever the codomain has characteristic other than 2, a fact used throughout analysis independently of tensor algebra.
Antisymmetric Bilinear Forms in Physics
In physical contexts, quantities modeled by antisymmetric bilinear forms (such as certain interaction energies) inherit the same cancellation whenever the two interacting objects coincide, providing a physical instance of the same purely algebraic mechanism.
The Boundary Where Cancellation Fails
Characteristic 2 as the Exact Failure Point
The cancellation principle's single point of failure is precisely when 2 is not invertible — characteristic 2 fields — where 2X = 0 holds identically for all X, carrying no information and permitting X = −X to hold for nonzero X as well as zero X.
Why the Failure Matters for Alternating Tensors Specifically
This is exactly the reason the terminology boundary between "antisymmetric" and "alternating" exists: sign cancellation is the single algebraic step that bridges the two notions, and its failure in characteristic 2 is what allows the two notions to diverge there.