# Contravariant tensor

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

of valency

A tensor of type , i.e. an element of the tensor product

of copies of a vector space over a field . The space is a vector space over with respect to the operations of addition of contravariant tensors of the same valency and multiplication of them by a scalar. Let be a finite-dimensional vector space with basis . Then the dimension of is ; one possible basis in is given by all possible contravariant tensors of the form

Any contravariant tensor can be represented in the form

The numbers are called the coordinates or components of with respect to in . On changing to a new basis in according to the formulas

the components of change according to the so-called contravariant law

When the valency equals 1, a contravariant tensor is the same as a vector, that is, an element of ; when , a contravariant tensor can be related in an invariant way with an -linear mapping into of the direct product

of copies of the dual space to . For this it suffices to take as the components of the contravariant tensor the values of the -linear mapping at (where are the basis elements in dual to , that is, ), and conversely. For this reason contravariant tensors are sometimes directly defined as multilinear functionals on .