One considers a vectors with components expressed in two Cartesian coordinate systems with base vectors and respectively. So one has:
|
In the last expression we introduce the notations and for the components of vector in and respectively.
It is possible to decompose the vectors as a linear combination of vectors :
|
The coefficients are easily calculated. Indeed, the scalar multiplication of the previous equality by gives successively:
or finally:
|
By a similar calculation, it is possible to identify the relations between the components of vector expressed in the two coordinate systems:
Finally, one sees that the relation between base vectors and vector components are the same:
|
|
That’s the reason why the transformation is called a covariant transformation. One also says that or are covariant components of vector in coordinate systems and respectively. In the last vector component transformation one recognizes a classical algebraic result:
|
The matrix is orthogonal: and the reverse relation for vector components is:
|