11.4 Tensor Contravariant Component Behavior

Tensor Contravariant Component Behavior is the specific way in which a tensor's contravariant components respond to a change of basis, characterized by transformation using the direct Jacobian factor so that the numerical values compensate for the basis change, keeping the represented geometric object fixed.

Defining Characteristic

Transformation Rule

A set of components exhibits contravariant behavior when, under a change from one coordinate system to another, each component is obtained by contracting the direct Jacobian factor with the original components.

Response to Basis Scaling

If the basis vectors of the new coordinate system are longer than those of the old system by some factor, contravariant components scale up by that same factor, since more of the longer basis vectors are needed to represent the same fixed displacement, opposing the basis change rather than tracking it.

Physical and Geometric Origin

Expressing a Coefficient Along a Basis

Contravariant behavior arises whenever a quantity is defined by expressing coefficients that multiply the basis vectors to reconstruct a fixed geometric object, rather than by measuring something against the basis. This coefficient-based origin is what produces the direct-factor transformation rule characteristic of contravariant components.

Displacement as the Canonical Example

The clearest instance of contravariant behavior is an infinitesimal coordinate displacement, whose components are simply the changes in the coordinate values; applying the chain rule to this displacement under a coordinate change produces the direct Jacobian factor automatically, without any additional structure being required.

Behavior Under Composition and Combination

Multiple Contravariant Indices

When a tensor carries more than one contravariant index, each index contributes its own direct Jacobian factor to the transformation formula, with the factors multiplying together before contracting with the original components, extending the single-vector behavior consistently to any rank.

Interaction With Covariant Behavior in Contraction

Contravariant behavior is designed to cancel exactly against covariant behavior when a contravariant index is contracted with a covariant index bearing the same name, since the direct and inverse Jacobian factors are reciprocal, leaving a quantity, a scalar, that does not change under the coordinate transformation at all.

Distinguishing Genuine Contravariant Behavior From Similar Objects

The Homogeneity Requirement

Genuine contravariant behavior requires that the transformation produce exactly the predicted result with no additional term; an object that picks up an extra piece beyond the direct-Jacobian-factor contraction, such as the Christoffel symbols despite their superscript index, does not exhibit true contravariant tensor behavior.

Behavior Preserved Under Addition and Scalar Multiplication

Contravariant behavior is preserved under addition of two contravariant objects of the same type and under multiplication by a scalar, since both the direct Jacobian factor contraction and these algebraic operations commute, which allows contravariant tensors of a fixed type to be combined freely while remaining within the same behavioral class.

Practical Recognition

Checking a New Quantity for Contravariant Behavior

To determine whether an unfamiliar indexed quantity exhibits contravariant component behavior, one substitutes its definition into the direct-Jacobian-factor transformation formula and verifies the equality holds exactly across a change of basis; this substitution test remains the definitive method for confirming contravariant behavior in any specific case.