11.1.2 Tensor Contravariant Behavior Scope

Tensor Contravariant Behavior Scope is the precise delineation of which objects and index slots are governed by the contravariant transformation rule, marking the boundary between quantities that genuinely scale opposite to the basis under a change of basis and quantities that merely resemble contravariant objects without satisfying the rule exactly.

Objects Governed by Contravariant Behavior

Upper-Indexed Tensor Slots

Any index slot written as a superscript on a genuine tensor is, by definition, subject to contravariant transformation, meaning it is contracted with the direct Jacobian factor when the coordinate system changes.

Coordinate Differentials and Displacement Vectors

An infinitesimal coordinate displacement is the prototypical contravariant object, since it is defined directly by how the coordinate values themselves change, and its transformation follows immediately from the chain rule applied to the coordinate functions.

Velocity and Momentum-Type Vectors

A velocity vector, obtained by differentiating a position with respect to a parameter such as time, transforms contravariantly, because it is built directly from coordinate differentials divided by an invariant parameter, inheriting the contravariant behavior of the displacement it is derived from.

Boundary of the Scope

Dual Basis Vectors Are Excluded

Although the dual basis one-forms carry a superscript in many notational conventions, their transformation behavior under a change of basis follows the covariant rule for the underlying coordinate index, since they are built to pair correctly with the covariant coordinate basis vectors. This is a naming subtlety that lies just outside the plain contravariant behavior scope and must be tracked carefully.

Connection Coefficients Are Excluded

Christoffel symbols and other connection coefficients carry superscript indices in standard notation, yet they do not transform by the pure contravariant rule, acquiring an additional inhomogeneous term under a change of basis. Because of this extra term, connection coefficients fall outside the strict scope of contravariant tensor behavior despite their superficial index appearance.

Tensor Densities Without Weight Accounted For

A contravariant tensor density transforms like a contravariant tensor only once the appropriate power of the Jacobian determinant is included as an extra multiplier. The raw, unweighted component array by itself does not satisfy the pure contravariant rule, and only the fully weighted expression belongs to the extended density framework rather than the plain contravariant scope.

Behavior Under Composition

Contravariant Indices Combine Multiplicatively

When a tensor has several contravariant indices, each index slot contributes its own direct Jacobian factor, and these factors multiply together, one per contravariant slot, before being contracted with the original components, extending single-vector contravariant behavior consistently to higher rank.

Cancellation Only Against Covariant Partners

A contravariant index, once contracted with a covariant index of matching name in a summation, produces a scalar quantity outside the scope of variance behavior entirely, since the direct and inverse Jacobian factors cancel exactly. A contravariant index can never cancel against another contravariant index in this way, which is a defining structural limit of the contravariant scope.

Practical Identification

Testing an Object for True Contravariant Behavior

To confirm a given quantity genuinely lies within contravariant behavior scope, one substitutes it into the direct transformation formula and checks whether the transformed expression matches the original definition exactly, with no leftover additive term; the presence of any such extra term places the quantity outside the strict contravariant scope regardless of its index notation.