11 Tensor Covariance and Contravariance Behavior

Tensor Covariance and Contravariance Behavior is the classification of how a tensor's components respond to a change of basis, distinguishing quantities that transform in the same direction as the basis vectors, called covariant, from quantities that transform in the opposite direction, called contravariant, and describing the consistent algebraic rules that follow from this distinction.

The Core Distinction

Covariant Behavior

A covariant quantity has components that change in the same way the basis vectors change. If the new basis vectors are obtained by scaling the old ones up, the covariant components scale up correspondingly, tracking the basis directly rather than compensating for it.

Contravariant Behavior

A contravariant quantity has components that change in the opposite way to the basis vectors, so that the geometric object they describe remains fixed. If the basis vectors are scaled up, the contravariant components scale down by a compensating factor.

Geometric Origin of the Behavior

Contravariant Components as Coordinates Along a Basis

An ordinary displacement or velocity vector is naturally contravariant, since its components are the coefficients needed to express the vector as a combination of basis vectors. If the basis vectors are made shorter, more of them are needed to reach the same displacement, so the coefficients must grow, which is exactly the opposite response to the basis change.

Covariant Components as Measurements Against a Basis

A covariant quantity, such as the components of a gradient, arises instead from measuring a fixed geometric object against the basis vectors, for instance through a dot product or a directional derivative. If the basis vectors are made longer, that same measurement against them naturally produces smaller numbers, so covariant components shrink when the basis grows.

Index Convention

Upper Indices for Contravariant Objects

Contravariant components are written with a superscript index, a convention chosen so that a contravariant object combined with basis vectors, which carry a subscript, produces an expression free of any surviving unrepeated index, consistent with the summation convention.

Lower Indices for Covariant Objects

Covariant components are written with a subscript index, pairing naturally with contravariant basis vectors, sometimes called dual basis vectors, which themselves carry a superscript.

Mixed Behavior in Higher-Rank Tensors

Independent Index Slots

A tensor of higher rank can have some indices behave covariantly and others contravariantly, since each index slot transforms according to its own upper or lower placement, independent of the behavior of the other indices in the same object.

Total Variance Type of a Tensor

The overall variance type of a tensor is described by counting how many contravariant and how many covariant index slots it has, and this count, together with the rank, is preserved under any change of basis, since a change of basis never converts a contravariant slot into a covariant one or vice versa on its own.

Interconversion Through the Metric

Raising an Index

In a space equipped with a metric, a contravariant index can be produced from a covariant one by contracting with the inverse metric tensor, a process called raising the index.

Lowering an Index

Conversely, a covariant index can be produced from a contravariant one by contracting with the metric tensor itself, a process called lowering the index. This interconversion is a distinct operation from the change-of-basis transformation, since it changes the variance type of the object rather than merely re-expressing the same variance type in a different coordinate system.

Invariants Independent of Covariance and Contravariance

Full Contraction Produces Scalars

Contracting a contravariant index with a covariant index, summing their product over the shared index, produces a quantity that does not change under a change of basis at all, since the two opposite transformation behaviors exactly cancel. This cancellation is the algebraic reason covariant and contravariant objects are always paired together in physically or geometrically meaningful expressions.