11.3 Tensor Covariant Component Behavior

Tensor Covariant Component Behavior is the specific way in which a tensor's covariant components respond to a change of basis, characterized by transformation using the inverse Jacobian factor so that the numerical values track the basis vectors directly rather than compensating for their change.

Defining Characteristic

Transformation Rule

A set of components exhibits covariant behavior when, under a change from one coordinate system to another, each component is obtained by contracting the inverse 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, covariant components scale down by the reciprocal of that factor, since the inverse Jacobian factor captures exactly this compensating relationship, tracking the basis's own change rather than opposing it in the way contravariant components do.

Physical and Geometric Origin

Measurement Against a Basis

Covariant behavior arises whenever a quantity is defined by measuring something against the basis vectors, such as through a projection or an inner product, rather than by expressing coefficients along the basis. This measurement-based origin is what produces the inverse-factor transformation rule characteristic of covariant components.

The Gradient as the Canonical Example

The clearest instance of covariant behavior is the gradient of a scalar function, whose components are partial derivatives of the scalar with respect to each coordinate; applying the chain rule to this derivative under a coordinate change produces the inverse Jacobian factor automatically, without any additional structure being required.

Behavior Under Composition and Combination

Multiple Covariant Indices

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

Interaction With Contravariant Behavior in Contraction

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

Distinguishing Genuine Covariant Behavior From Similar Objects

The Homogeneity Requirement

Genuine covariant behavior requires that the transformation produce exactly the predicted result with no additional term; an object that picks up an extra piece beyond the inverse-Jacobian-factor contraction, such as the Christoffel symbols, does not exhibit true covariant tensor behavior even if it superficially carries lower indices.

Behavior Preserved Under Addition and Scalar Multiplication

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

Practical Recognition

Checking a New Quantity for Covariant Behavior

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