10.11.1 Tensor Higher Order Component Factor Set

Tensor Higher Order Component Factor Set is the complete collection of matrix factors, one inverse matrix factor for every upper index and one forward matrix factor for every lower index, that together make up the right-hand side of the higher order component change rule for a tensor of arbitrary rank. It is the organizing concept that allows the transformation of a tensor with many indices to be understood not as a single monolithic operation but as an assembled set of individually simple, independent contractions, each governed by the type of a single index.

Composition of the Factor Set

One Factor Per Index, No More and No Less

For a tensor with a given number of upper indices and a given number of lower indices, the factor set contains exactly that many matrix factors in total, with the count of inverse factors matching the count of upper indices and the count of forward factors matching the count of lower indices.

For this mixed rank-two tensor, the factor set consists of exactly two members, one inverse matrix factor associated with the upper index and one forward matrix factor associated with the lower index.

Ordering Within the Factor Set

Although the factor set is defined as a collection, the individual factors within it are each tied to a specific index through their summation letters, so that while the members of the set can be written in any order relative to one another, each factor's association with its particular index remains fixed.

Function of the Factor Set

Assembling the Full Transformation

The higher order component change rule is obtained by multiplying together every member of the factor set and contracting each one against the corresponding index of the old component array, producing the complete new component in a single combined expression.

Decomposability Into Independent Contributions

Because each member of the factor set acts on its own dedicated index, the factor set can be conceptually decomposed into independent contributions, one per index, even though all contributions are applied together within the same formula to produce the final result.

Determining the Factor Set From Tensor Type

Reading the Factor Set Off the Index Pattern

Given only the arrangement of upper and lower indices on a tensor, the factor set can be written down immediately, without any additional information, since each upper index contributes an inverse matrix factor and each lower index contributes a forward matrix factor by the same fixed rule applied throughout tensor algebra.

Growth of the Factor Set With Rank

As the rank of a tensor increases, the size of its factor set grows in direct proportion, with every additional index, whether upper or lower, adding exactly one more matrix factor to the set required to transform the tensor's components.

Consequences of Understanding the Factor Set

Simplifying the Verification of Transformation Formulas

Recognizing the factor set as a collection of independent, per-index contributions allows a complex higher-rank transformation formula to be checked one factor at a time, confirming that each individual factor matches the type of its associated index, rather than attempting to verify the entire expression at once.

Supporting Partial Transformations

When only some indices of a tensor are being transformed, for instance during a partial contraction or a mixed operation involving several tensors, the factor set makes explicit which matrix factors apply to which indices, preventing factors intended for one index from being mistakenly applied to another.

Schematic Representation

The diagram shows individual matrix factors, each tied to one index, combining together into the full factor set used to assemble the higher order component change rule.