Covariant

In category theory, see covariant functor.

In tensor analysis, a covariant coordinate system is reciprocal to a corresponding contravariant coordinate system.

Roughly speaking, a covariant tensor is a vector field that defines the topology of a space; it is the base which one measures against.

A contravariant vector is thus a measurement or a displacement on this space.

Thus, their relationship can be represented simply as:

Another way of defining covariant vectors is to say that "covariant vectors" are actually one-forms, that is to say, real-valued linear functions on "contravariant" vectors. These one-forms can then be said to form a dual space to the vector space they take their arguments from.

If e¹, e², e³ are contravariant basis vectors of R³ (not necessarily orthogonal nor of unit norm) then the covariant basis vectors of their reciprocal system are:

Then the contravariant coordinates of any vector v can be obtained by the dot product of v with the contravariant basis vectors:

Likewise, the covariant components of v can be obtained from the dot product of v with covariant basis vectors, viz.

Then v can be expressed in two (reciprocal) ways, viz.

The indices of covariant coordinates, vectors, and tensors are subscripts. If the contravariant basis vectors are orthonormal then they are equivalent to the covariant basis vectors, so there is no need to distinguish between the covariant and contravariant coordinates, and all indices are subscripts.