NationMaster - Encyclopedia: Covariant transformation

In mathematics, a covariant transformation is a rule (specified below), that describes how certain physical entities change under a change of coordinate system. In particular the term is used for vectors and tensors. The transformation that describes the new basis vectors in terms of the old basis, is defined as a covariant transformation. Conventionally, indices identifying the basis vectors are placed as lower indices and so are all entities that transform in the same way. The inverse of the covariant transformation is called the contravariant transformation. Vectors transform according to the covariant rule, but the components of a vector transform according to the contravariant rule. Conventionally, indices identifying the components of a vector are placed as upper indices and so are all indices of entities that transform in the same way. The summation over all indices of a product with the same lower and upper indices, are invariant to a transformation. Wikipedia does not have an article with this exact name. ... In category theory, see covariant functor. ... Wikipedia does not have an article with this exact name. ... Contravariant is a mathematical term with a precise definition in tensor analysis. ... Mathematics is often defined as the study of topics such as quantity, structure, space, and change. ... In category theory, see covariant functor. ... In mathematics as applied to geometry, physics or engineering, a coordinate system is a system for assigning a tuple of numbers to each point in an n-dimensional space. ... In physics and in vector calculus, a spatial vector is a concept characterized by a magnitude, which is a scalar, and a direction (which can be defined in a 3-dimensional space by the Euler angles). ... In mathematics, a tensor is a generalized quantity or a certain kind of geometrical entity that includes all the ideas of scalars, vectors, matrices and linear operators. ... Contravariant is a mathematical term with a precise definition in tensor analysis. ... Invariant may have meanings invariant (computer science), such as a combination of variables not altered in a loop invariant (mathematics), something unaltered by a transformation invariant (music) invariant (physics) conserved by system symmetry This is a disambiguation page — a navigational aid which lists other pages that might otherwise share the...

A vector itself is a geometrical quantity in principle independent (invariant) of the chosen coordinate system. A vector v is given, say, in components vⁱ on a chosen basis e_i, related to a coordinate system xⁱ (the basis vectors are tangent vectors to the coordinate grid). On another basis, say ${mathbf e}'_i$ , related to a new coordinate system ${x';}^i$ , the same vector v has different components ${mathbf v}',^i$ and

${mathbf v} = sum_i v^i {mathbf e}_i = sum_i {v';}^i {mathbf e}'_i$

(in the so called Einstein notation the summation sign is often omitted, implying summation over the same upper and lower indices occurring in a product). With v as invariant and the ${mathbf e}_i$ transforming covariant, it must be that the $v i$ (the set of numbers identifying the components) transform in a different way, the inverse called the contravariant transformation rule. In mathematics, especially in applications of linear algebra to physics, the Einstein notation or Einstein summation convention is a notational convention useful when dealing with coordinate formulae. ...

If, for example in a 2-dim Euclidean space, the new basis vectors are rotated to the right with respect to the old basis vectors, then it will appear in terms of the new system that the components of the vector look as if the vector was rotated to the left (see figure).

A vector v is described in a given coordinate grid (black lines) on a basis which are the tangent vectors to the (here rectangular) coordinate grid. The components are $v x$ and $v y$ . In another coordinate system (dashed and red), the new basis are tangent vectors in the radial direction and perpendicular to it. They appear rotated clockwise with respect to the first basis. The covariant transformation here is a clockwise rotation. The components in red are indicated as $v r$ and $v φ$ . If we view the new components with $v r$ pointed upwards, it appears as if the components are rotated to the left. The contravariant transformation is an anticlockwise rotation.
transformation to polar coordinates File links The following pages link to this file: Covariant transformation Categories: GFDL images ...

1 Examples of covariant transformation
- 1.1 Derivative of a function transforms covariant
- 1.2 Basis vectors transform covariant
2 Contravariant transformation
- 2.1 Differential form transforms contravariant
3 Dual properties
4 Co- and contravariant tensor components
- 4.1 Without coordinates
- 4.2 With coordinates

Examples of covariant transformation

Derivative of a function transforms covariant

The explicit form of a covariant transformation is best introduced with the transformation properties of the derivative of a function. Consider a scalar function f (like the temperature in a space) defined on a set of points p, identifiable in a given coordinate system $x^i,; i=0,1,...$ (such a collection is called a manifold). If we adopt a new coordinates system ${x',}^j, j=0,1,...$ then for each i, the original coordinate $x i$ can be expressed as function of the new system, so ${x}^i({x',}^j), j=0,1,...$ One can express the derivative of f in new coordinates in terms of the old coordinates, using the chain rule of the derivative, as On a sphere, the sum of the angles of a triangle is not equal to 180Â°. A sphere is not a Euclidean space. ... In calculus, the chain rule is a formula for the derivative of the composition of two functions. ...

$frac{partial f;}{partial {x',}^i} = sum_j frac{partial f;}{partial {x}^j} ; frac{partial {x}^j;}{partial {x',}^i}$

This is the explicit form of the covariant transformation rule. The notation of a normal derivative with respect to the coordinates sometimes uses a comma, as follows

$f_{,i} equiv frac{partial f;}{partial x^i}$

where the index i is placed as a lower index, because of the covariant transformation.

Basis vectors transform covariant

A vector can be expressed in terms of basis vectors. For a certain coordinate system, these are taken as the vectors tangent to the coordinate grid.

To illustrate the transformation properties, consider again the set of points p, identifiable in a given coordinate system $x i, i = 0,1,...$ (manifold). A scalar function f, that assigns a real number to every point p in this space, is a function of the coordinates $f;(x^0,x^1,...)$ . A curve is a one-parameter collection of points c, say with curve parameter λ, c(λ). A tangent vector v to the curve is the derivative $d f / d λ$ along the curve with the derivative taken at the point p under consideration. Note that we can see the tangent vector v as an operator which can be applied to a function On a sphere, the sum of the angles of a triangle is not equal to 180Â°. A sphere is not a Euclidean space. ... In differential geometry, one can attach to every point p of a differentiable manifold a tangent space, a real vector space which intuitively contains the possible directions in which one can pass through p. ...

${mathbf v}[f] equiv frac{df}{dlambda}= frac{d;;}{dlambda} f(c(lambda))$

The parallel between the tangent vector and the operator can also be worked out in coordinates

${mathbf v}[f] = sum_i frac{dx^i}{dlambda} frac{partial f}{partial x^i}$

or in terms of operators $partial/partial x^i$

${mathbf v} = frac{dx^i}{dlambda} frac{partial ;;}{partial x^i} = frac{dx^i}{dlambda} {mathbf e}_i$

where we have written ${mathbf e}_i = partial/partial x^i$ , the tangent vectors to the curves which are simply the coordinate grid itself.

If we adopt a new coordinates system ${x',}^i, ;i=0,1,...$ then for each i, the old coordinate $x i$ can be expressed as function of the new system, so $x^i({x',}^j), j=0,1,...$ Let ${mathbf e}'_i = {partial;}/{partial {x',}^i}$ be the basis, tangent vectors in this new coordinates system. We can express ${mathbf e}_i$ in the new system by applying the chain rule on x. As a function of coordinates we find the following transformation In calculus, the chain rule is a formula for the derivative of the composition of two functions. ...

${mathbf e}'_i = frac{partial;;;}{partial {x',}^i} = frac{partial x^j;}{partial {x',}^i} frac{partial;;;}{partial x^j} = frac{partial x^j;;}{partial {x',}^i;} {mathbf e}_j$

which indeed is the same as the covariant transformation for the derivative of a function.

Contravariant transformation

The components of a (tangent) vector transform in a different way, called contravariant transformation. Consider a tangent vector v and call its components $v i$ on a basis ${mathbf e}_i$ . On another basis ${mathbf e}',_i$ we call the components ${v',}^i$ , so

${mathbf v} = sum_i v^i {mathbf e}_i = sum_i {v',}^i {mathbf e}',_i$

in which

$v^i = frac{dx^i}{dlambda;} ;mbox{ and }; {v',}^i = frac{d{x',}^i}{dlambda;;}$

If we express the new components in the old ones, then

${v',}^i = frac{d{x',}^i}{dlambda;;} = frac{partial {x',}^i}{partial x^j} frac{dx^j}{dlambda;;} = frac{partial {x',}^i}{partial x^j} {v}^j$

This is the explicit form of a transformation called the contravariant transformation and we note that it is different and just the inverse of the covariant rule. In order to distinguish them from the covariant (tangent) vectors, the index is placed on top.

Differential form transforms contravariant

An example of a contravariant transformation is given by a differential form df. For f as a function of coordinates $x i$ , df can be expressed in terms of $d x i$ . The differentials dx transform according to the contravariant rule since

$d{x',}^i = sum_j frac{partial {x',}^i}{partial {x}^j;;} {dx}^j$

Dual properties

Entities that transform covariant (like basis vectors) and the ones that transform contravariant (like components of a vector and differential forms) are "almost the same" and yet they are different. They have "dual" properties. What is behind this, is mathematically known as the dual space that always goes together with a given linear vector space. In mathematics, the existence of a dual vector space reflects in an abstract way the relationship between row vectors (1Ã—n) and column vectors (nÃ—1). ... A vector space (or linear space) is the basic object of study in the branch of mathematics called linear algebra. ...

Take any linear vector space T and let ${mathbf e}_i$ be a basis for this space. Consider a linear real function defined in this linear space. If v and w are two vectors in this vector space, than a real function f (with vectors as argument) is called a linear function if both (for any v, w and scalar α)

$f({mathbf v}+{mathbf w}) = f({mathbf v}) + f({mathbf w})$

$f(alpha {mathbf v}) = alpha f({mathbf v})$

A simple example is the function which assigns the value of one of its components (the so called projection function). It has a vector as argument and assigns a real number, the value of a component.

All such linear functions together form a linear space by themselves. It is called the dual space of T. One can easily see that, indeed, the sum f+g is again a linear function for linear f and g by applying f+g to a sum v + w. And that the same holds for scalar multiplication αf.

We can define a basis, called the dual basis in this space in a natural way by taking the set of linear functions mentioned above: the projection functions. So those functions ω that produce the number 1 when they are applied to one of the basis vector ${mathbf e}_i$ . For example $ω 0$ gives a 1 on ${mathbf e}_0$ and zero elsewhere. Applying this linear function $ω 0$ to a vector ${mathbf v} =v^i {mathbf e}_i$ , gives (using its linearity)

$omega^0({mathbf v}) = omega^0(v^i {mathbf e}_i) = v^i omega^0({mathbf e}_i) = v^0$

so just the value of the first coordinate. For this reason it is called the projection function.

There are as many dual basis vectors $ω i$ as there are basis vectors ${mathbf e}_i$ , so the dual space has the same dimension as the linear space itself. It is "almost the same space",except that the elements of the dual space (called dual vectors) transform contravariant and the elements of the tangent vector space transform covariant.

Sometimes an extra notation is introduced where the real value of a linear function σ on a tangent vector u is given as

$sigma [{mathbf u}] equiv <sigma, {mathbf u}>$

where $<sigma, {mathbf u}>$ is a real number. This notation emphasizes the bilinear character of the form. it is linear in σ since that is a linear function and its is linear in u since that is an element of a vector space.

Co- and contravariant tensor components

Without coordinates

With the aid of the section of dual space, a tensor of rank $(^r_s)$ is simply defined as a real-valued multilinear function of r dual vectors and s vectors in a point p. So a tensor is defined in a point. It is a linear machine: feed it with vectors and dual vectors and it produces a real number. Since vectors (and dual vectors) are defined coordinate independently, this definition of a tensor is also free of coordinates and does not depend on the choice of a coordinate system. This is the main importance of tensors in physics. In mathematics, a tensor is a generalized quantity or a certain kind of geometrical entity that includes all the ideas of scalars, vectors, matrices and linear operators. ...

The notation of a tensor is

$T(sigma, ldots ,rho, {mathbf u}, ldots, {mathbf v}) ;mbox{ or as }; { T^{sigma ldots rho} }_{ {mathbf u} ldots {mathbf v}}$

for dual vectors (differential forms) ρ, σ and tangent vectors ${mathbf u}, {mathbf v}$ . In the second notation the distinction between vectors and differential forms is more obvious.

With coordinates

Because a tensor depends linearly on its arguments, it is completely determined if one knows the values on a basis $omega^i ldots omega^j$ and ${mathbf e}_k ldots {mathbf e}_l$

$T(omega^i,ldots,omega^j, {mathbf e}_k ldots {mathbf e}_l) = {T^{ildots j}}_{kldots l}$

The numbers ${T^{ildots j}}_{kldots l}$ are called the components of the tensor on the chosen basis.

If we choose another basis (which are a linear combination of the original basis), we can use the linear properties of the tensor and we will find that the tensor components in the upper indices transform as dual vectors (so contravariant), whereas the lower indices will transform as the basis of tangent vectors and are thus covariant. For a tensor of rank 2, we can easily verify that

$A'_{i j} = frac{partial x^l}{partial {x',}^i} frac{partial x^m}{partial {x',}^j} A_{l m}$ covariant tensor

${A',}^{i j} = frac{partial {x',}^i}{partial x^l} frac{partial {x',}^j}{partial x^m} A^{l m}$ contravariant tensor

For a mixed co- and contravariant tensor of rank 2

${A',}^i_j= frac {partial {x',}^i} {partial x^l} frac {partial x^m} {partial {x',}^j} A^l_m$ mixed co- and contravariant tensor

Categories: Articles to be merged | Tensors | Differential geometry

Results from FactBites:

Covariant derivative - Wikipedia, the free encyclopedia (1233 words)
	Here we give a traditional index-notation introduction to the covariant derivative (also known as the tensor derivative) of a vector with respect to a vector field; the covariant derivative of a tensor is an extension of the same concept.
	The covariant derivative can be described by a tensor in a fixed coordinate chart, but it is not a tensor in the sense that it is not invariant under coordinate changes.
	Often a notation is used in which the covariant derivative is given with a semicolon, while a normal partial derivative is indicated by a comma.

Covariant transformation - Wikipedia, the free encyclopedia (1461 words)
	The transformation that describes the new basis vectors in terms of the old basis, is defined as a covariant transformation.
	Entities that transform covariant (like basis vectors) and the ones that transform contravariant (like components of a vector and differential forms) are "almost the same" and yet they are different.
	It is "almost the same space",except that the elements of the dual space (called dual vectors) transform contravariant and the elements of the tangent vector space transform covariant.

More results at FactBites »

COMMENTARY

Share your thoughts, questions and commentary here

Want to know more?
Search encyclopedia, statistics and forums:

Feeds | Contact
The Wikipedia article included on this page is licensed under the GFDL.
Images may be subject to relevant owners' copyright.
All other elements are (c) copyright NationMaster.com 2003-5. All Rights Reserved.
Usage implies agreement with terms.

Contents