6.10.4 Tensor Mixed Transformation Pattern

Tensor Mixed Transformation Pattern is the recurring, uniform template followed by the transformation law of every mixed type tensor regardless of how many upper and lower indices it happens to carry, this template consisting of exactly one factor of the direct Jacobian matrix for each upper index and exactly one factor of the inverse Jacobian matrix for each lower index, all multiplied together and contracted against the tensor's original components. Recognizing this pattern is what allows the transformation law for any mixed tensor, no matter how large its type, to be written down immediately once its type is known, without needing to rederive the law from first principles for every new combination of contravariant and covariant order.

The Template Underlying Every Mixed Transformation

One Factor Per Index, No Exceptions

The pattern assigns exactly one transformation factor to each index on the tensor, with the kind of factor determined solely by whether that index is upper or lower. There is no interaction between the factors beyond ordinary multiplication and summation over matching dummy indices, and no index ever contributes more or less than its single assigned factor, regardless of the tensor's total rank.

The Pattern Scales With Type Alone

Given only the type of a mixed tensor, contravariant order p and covariant order q, the pattern immediately dictates that p direct-Jacobian factors and q inverse-Jacobian factors must appear, with no other information required. Doubling the contravariant order doubles the number of direct-Jacobian factors while leaving the inverse-Jacobian factor count untouched, and the two counts always evolve independently as prescribed purely by the type pair.

Recognizing the Pattern in Practice

The Pattern as a Predictive Tool

Because the pattern is fixed and universal across all mixed tensors, it can be used predictively: presented with a newly defined tensor of stated type, the transformation law can be written immediately by placing one direct-Jacobian factor per upper index and one inverse-Jacobian factor per lower index, all contracted appropriately, without any need to verify the law by direct computation from a definition.

Using the Pattern to Detect Non-Tensorial Quantities

The pattern also serves as a diagnostic: an indexed quantity that fails to obey it, acquiring an extra additive term beyond the pure product of Jacobian factors, is thereby shown not to be a tensor of the type its index count might suggest. Christoffel symbols are the standard illustration, since despite carrying indices arranged as though they formed a type (1,2) tensor, their actual transformation includes an inhomogeneous term involving second derivatives of the coordinate change, breaking the pattern and confirming that no consistent tensor type describes them.

Structural Reasons the Pattern Holds

The Pattern Reflects Multilinear Consistency

The mixed transformation pattern is not an arbitrary convention; it is forced by the requirement that a mixed tensor, viewed as a multilinear map consuming one-forms in its upper slots and vectors in its lower slots, return the same scalar regardless of coordinate system once appropriate vectors and one-forms are supplied. Each direct-Jacobian factor exists to cancel the transformation of a one-form fed into an upper slot, and each inverse-Jacobian factor exists to cancel the transformation of a vector fed into a lower slot, and it is this mutual cancellation that fixes the pattern uniquely.

The Pattern Composes Correctly Under Repeated Transformations

Because direct-Jacobian factors compose according to the chain rule under successive coordinate changes, and inverse-Jacobian factors compose in the corresponding inverse manner, applying the mixed transformation pattern twice in succession, once from an original system to an intermediate one and again from the intermediate system to a final one, yields exactly the same result as applying the pattern once directly from the original system to the final one. This composability confirms that the pattern is internally consistent across arbitrarily many changes of coordinates, not merely valid for a single isolated transformation.