8.22.4 Tensor Indexed Equation Balance

Tensor Indexed Equation Balance is the named principle, applied as a checking procedure to any proposed tensor equation, that requires the free indices on the left-hand side and the free indices on the right-hand side to agree completely — same letters standing for the same slots, same count, same upper/lower placement — before the equation can be accepted as syntactically legitimate, together with the practical habit of scanning an equation for this agreement as the first and cheapest test applied to any tensor expression. It is the operational discipline built on top of the free index set concept: knowing what a free index set is defines the object being compared, while balance is the act of comparing it correctly and consistently every time an equation is written down or manipulated.

Stating the Balance Rule

What Must Agree

An indexed equation is balanced when, for every free index appearing on one side, the identical letter appears exactly once on the other side with the same variance, and no free index appears on one side without a matching counterpart on the other:

is balanced because the same free indices, in the same upper and lower positions, appear on both sides. Balance says nothing about whether the equation is numerically true — only that it is coherent enough to be a candidate for truth in the first place.

Balance Is Necessary but Not Sufficient

An equation can be perfectly balanced and still be false: A^i_j = B^i_j is balanced regardless of whether the specific tensors A and B are actually equal. Balance is a purely structural precondition, checked before any argument about the equation's actual content is attempted, and its role is to rule out equations that could not possibly be true as stated because they are not even comparing like with like.

Common Ways Balance Is Violated

A Stray Free Index on One Side

The most direct violation is a free index present on one side with no counterpart on the other, as in v^i = A^i_j w^j + u^k, where k appears free on the right with nothing corresponding to it on the left; such an equation is not merely false, it is not a coherent tensor equation at all, since the two sides describe objects of different character (one has an extra free slot the other lacks).

Variance Mismatch on a Shared Letter

A subtler violation occurs when the same letter appears on both sides but with different variance, such as v^i = A_i (with i upper on the left and lower on the right); even though the letter matches, the two sides would transform oppositely under a change of basis, so the equation is unbalanced despite the superficial appearance of agreement.

Mismatched Counts From Careless Contraction

An equation can also become unbalanced through an error in contraction bookkeeping — for instance, intending to contract an index but instead leaving it free on one side while it is correctly summed away on the other, producing two sides with different numbers of surviving free indices even though they were derived from what was meant to be the same underlying relationship.

Diagram of Balanced Versus Unbalanced Equations

Balance Under Manipulation of an Equation

Operations That Preserve Balance

Adding a term with the correct free indices, multiplying both sides by a common tensor factor whose indices are handled consistently, and renaming a dummy index all preserve balance, since none of these operations alters the free index set of either side inappropriately; these are the safe moves used throughout tensor derivations precisely because they cannot introduce an imbalance if applied correctly.

Operations That Risk Breaking Balance

Multiplying only one side of an equation by an additional tensor factor, contracting an index on one side without performing the corresponding contraction on the other, or renaming an index inconsistently between the two sides are the typical missteps that break balance during a derivation; checking balance after each manipulation step is the standard safeguard against silently propagating such an error through a longer chain of algebra.

Why Balance Is Checked First

Cheapest Possible Diagnostic

Verifying balance requires no computation and no knowledge of what the tensors involved actually represent — only a scan of which letters appear where — making it the fastest test to apply to a newly written or newly derived equation, well before attempting the comparatively expensive work of expanding, computing, or otherwise verifying the equation's actual numerical content.

Gatekeeper for Further Analysis

Because an unbalanced expression is not a coherent tensor equation at all, checking balance functions as a gatekeeper: only once an equation passes this check does it make sense to proceed to questions of tensorial meaning, numerical verification by expansion, or further symbolic manipulation, since none of those subsequent steps are well-defined for an expression that fails the balance requirement in the first place.