10.1.5 Tensorial Rule Verification Scope

Tensorial Rule Verification Scope ensures mathematical consistency by validating tensor operations across diverse algebraic frameworks.

Tensorial Rule Verification Scope is the delineation of the specific tests and criteria used to check whether an indexed array of components genuinely transforms as a tensor, distinguishing this verification procedure from the separate tasks of defining a basis, applying the transformation formula, or interpreting the resulting components.

The Core Verification Test

Substitution Into the Transformation Law

The primary test within this scope is direct substitution: given an indexed quantity's components in two related bases, verification consists of checking whether the new components equal exactly the old components multiplied by the appropriate combination of the change-of-basis matrix and its inverse, one factor per index.

Q_{l}^{k}' = {(A^{- 1})}_{i}^{k} A_{l}^{j} Q_{j}^{i}

If this equality holds for every choice of the two bases and every value of the free indices, the quantity (Q) is verified as a genuine tensor of the corresponding type; if it fails for even one choice of basis, (Q) is excluded from the class of tensors, regardless of how tensor-like its index notation appears.

Verification Against the Invariance Criterion

An equivalent and often more conceptually direct test within scope is checking invariance: reconstructing the full object from components and basis in both the old and new bases and confirming the two reconstructions produce an identical geometric or algebraic object.

Q = Q_{j}^{i} e_{i} \otimes e^{j} = Q_{l}^{k}' e_{k}' \otimes e^{l}'

What Falls Inside the Verification Scope

Testing Specific Candidate Objects

The scope includes verifying well-known borderline cases directly, such as confirming that the Kronecker delta transforms correctly as a mixed tensor despite having numerically identical components in every basis, and confirming that the Levi-Civita symbol fails the ordinary tensor test due to a sign or magnitude factor tied to the determinant of the transformation.

Testing the Outputs of Tensor Operations

The scope also covers verifying that quantities built from known tensors by standard operations, such as sums, tensor products, and contractions, themselves transform tensorially; this is typically done once, in general, for each operation, rather than case by case for every specific tensor involved.

(S + T)^{i}' = {(A^{- 1})}_{j}^{i} (S^{j} + T^{j})

What Falls Outside the Verification Scope

Choosing or Justifying a Basis

Selecting which basis to use, or justifying why a basis change is being undertaken, is a separate concern from verifying that a given object transforms tensorially once a basis change is specified; verification scope takes the bases as given and checks only the transformation behavior between them.

Interpreting the Geometric Meaning of Components

Assigning a geometric or physical meaning to a tensor's components, once it has been verified to be a genuine tensor, belongs to interpretation rather than verification; the verification scope stops at confirming the transformation law holds and does not extend to what the resulting numbers represent.

Visual Illustration

Why a Dedicated Verification Scope Is Useful

Separating tensorial rule verification into its own scope isolates a single, mechanical question, does this object transform correctly, from the surrounding questions of basis choice, transformation mechanics, and interpretation. This separation is what allows borderline cases like the Kronecker delta, the Levi-Civita symbol, and connection coefficients to be examined and classified with a uniform, repeatable test rather than through ad hoc reasoning specific to each individual object.