Covariant transformation

In physics, a covariant transformation is a rule that specifies how certain entities, such as vectors or tensors, change under a change of basis. The transformation that describes the new basis vectors as a linear combination of the old basis vectors 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 a covariant transformation is a contravariant transformation. Whenever a vector should be invariant under a change of basis, that is to say it should represent the same geometrical or physical object having the same magnitude and direction as before, its components must 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 sum over pairwise matching indices of a product with the same lower and upper indices are invariant under a transformation.A vector v, and local tangent basis vectors {ex, ey} and {er, eφ} .Coordinate representations of v. In physics, a covariant transformation is a rule that specifies how certain entities, such as vectors or tensors, change under a change of basis. The transformation that describes the new basis vectors as a linear combination of the old basis vectors 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 a covariant transformation is a contravariant transformation. Whenever a vector should be invariant under a change of basis, that is to say it should represent the same geometrical or physical object having the same magnitude and direction as before, its components must 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 sum over pairwise matching indices of a product with the same lower and upper indices are invariant under a transformation. A vector itself is a geometrical quantity, in principle, independent (invariant) of the chosen basis. A vector v is given, say, in components vi on a chosen basis ei. On another basis, say e′j, the same vector v has different components v′j and As a vector, v should be invariant to the chosen coordinate system and independent of any chosen basis, i.e. its 'real world' direction and magnitude should appear the same regardless of the basis vectors. If we perform a change of basis by transforming the vectors ei into the basis vectors ej, we must also ensure that the components vi transform into the new components vj to compensate. The needed transformation of v is called the contravariant transformation rule. In the shown example, a vector v = ∑ i ∈ { x , y } v i e i = ∑ j ∈ { r , ϕ } v ′ j e j ′ . {displaystyle mathbf {v} =sum _{iin {x,y}}v^{i}{mathbf {e} }_{i}=sum _{jin {r,phi }}{v',}^{j}mathbf {e} '_{j}.} is described by two different coordinate systems: a rectangular coordinate system (the black grid), and a radial coordinate system (the red grid). Basis vectors have been chosen for both coordinate systems: ex and ey for the rectangular coordinate system, and er and eφ for the radial coordinate system. The radial basis vectors er and eφ appear rotated anticlockwise with respect to the rectangular basis vectors ex and ey. The covariant transformation, performed to the basis vectors, is thus an anticlockwise rotation, rotating from the first basis vectors to the second basis vectors. The coordinates of v must be transformed into the new coordinate system, but the vector v itself, as a mathematical object, remains independent of the basis chosen, appearing to point in the same direction and with the same magnitude, invariant to the change of coordinates. The contravariant transformation ensures this, by compensating for the rotation between the different bases. If we view v from the context of the radial coordinate system, it appears to be rotated more clockwise from the basis vectors er and eφ. compared to how it appeared relative to the rectangular basis vectors ex and ey. Thus, the needed contravariant transformation to v in this example is a clockwise rotation. 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 at a location in a space) defined on a set of points p, identifiable in a given coordinate system x i , i = 0 , 1 , … {displaystyle x^{i},;i=0,1,dots } (such a collection is called a manifold). If we adopt a new coordinates system x ′ j , j = 0 , 1 , … {displaystyle {x'}^{j},j=0,1,dots } then for each i, the original coordinate x i {displaystyle {x}^{i}} can be expressed as a function of the new coordinates, so x i ( x ′ j ) , j = 0 , 1 , … {displaystyle x^{i}left({x'}^{j} ight),j=0,1,dots } One can express the derivative of f in new coordinates in terms of the old coordinates, using the chain rule of the derivative, as 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 where the index i is placed as a lower index, because of the covariant transformation.