10.18.1 Tensorial Rule Component Pattern

The Tensorial Rule Component Pattern describes how tensor components transform under coordinate changes, guiding algebraic structure in multilinear contexts.

Tensorial Rule Component Pattern is the recurring structural template visible in every instance of the tensorial transformation rule, in which each individual transformed component is built from a fixed arrangement of summed dummy indices, one Jacobian-type factor per tensor index, and exactly one surviving free index combination per original component, a pattern that stays the same regardless of the specific rank or index configuration of the tensor being transformed.

The Repeating Building Block

One Factor, One Index

The most basic unit of the pattern is the pairing of a single tensor index with a single transformation factor, forward Jacobian for an upper index and inverse Jacobian for a lower index:

upper index \leftrightarrow J_{i}^{k} lower index \leftrightarrow {(J^{- 1})}_{l}^{j}

Every transformation formula, no matter how many indices it involves, is assembled by repeating this single building block once for each index present on the tensor.

Chaining the Building Blocks

For a tensor of higher rank, the building blocks are chained together as a product, one per index, all multiplying the same original component and all summed over their respective dummy indices simultaneously, which is the source of the nested summation signs seen in the general rule.

The Pattern Across Increasing Rank

Rank One

For a single upper index, the pattern consists of exactly one summed dummy index and one Jacobian factor:

{\bar{V}}^{j} = \sum_{i}^{n} J_{i}^{j} V^{i}

Rank Two

For two indices, the pattern doubles: two summed dummy indices, two Jacobian-type factors, and their product multiplying a single original component with two indices:

{\bar{T}}_{l}^{k} = \sum_{i}^{n} \sum_{j}^{n} J_{i}^{k} {(J^{- 1})}_{l}^{j} T_{j}^{i}

General Rank

The pattern extends predictably to any rank, with the number of summed dummy indices, the number of Jacobian-type factors, and the number of independent summation signs all equal to the total number of indices carried by the tensor, so recognizing the pattern for rank one and rank two is sufficient to write down the correct formula for any higher rank by direct extension.

Counting the Pieces of the Pattern

Number of Terms in the Expanded Sum

For an $n$ -dimensional space and a tensor with $r$ total indices, the fully expanded sum defining a single new component contains $n^{r}$ individual terms before simplification, since each of the $r$ summed dummy indices independently ranges over all $n$ coordinate directions.

Growth With Rank

This count grows exponentially with the rank of the tensor, which is the structural reason that transformations of high-rank tensors, such as the Riemann curvature tensor with four indices, involve substantially more individual multiplicative terms per component than the transformation of a simple vector, even though the underlying pattern applied to each index is identical in both cases.

Diagram of the Pattern

Index-Factor Correspondence Table

Recognizing the Pattern in Practice

Reading Off the Formula From the Index List

Given only the list of upper and lower indices carried by a tensor, the tensorial rule component pattern allows the correct transformation formula to be written down immediately, without re-deriving it from scratch, since every upper index simply contributes a forward Jacobian factor and every lower index contributes an inverse Jacobian factor, all multiplying the same original component and all summed over their own dummy index.

Pattern Consistency as an Error Check

Because the pattern is so regular, a proposed transformation formula that departs from it, such as one applying a forward Jacobian factor to a lower index or omitting a summation over one of the indices, can be immediately recognized as incorrect without needing to check the underlying derivation in detail, since any genuine tensorial transformation formula must conform to the established pattern exactly.