# 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 .

More generally, let be a commutative ring with unit element and a unitary module over . Then the elements of the -fold tensor product are called -contravariant tensors or contravariant tensors of valency or order . The phrase "contravariant tensor of order r" is also used to denote a contravariant tensor field of order over a smooth manifold ; cf. Tensor bundle. Such a field assigns to each an element of , the -fold tensor product of the tangent space to at . In the setting of rings and modules such a tensor field is simply an -contravariant tensor of the module of sections of (i.e. the vector fields) over the ring of smooth functions on .