Repère euclidien non orthonormé/Formules de changement de bases

Début de la boite de navigation du chapitre

Formules de changement de bases

Chapitre no3
Leçon : Repère euclidien non orthonormé
Chap. préc. :	Coordonnées covariantes et contravariantes
Chap. suiv. :	Produit scalaire

   

fin de la boite de navigation du chapitre

En raison de limitations techniques, la typographie souhaitable du titre, « Repère euclidien non orthonormé : Formules de changement de bases
Repère euclidien non orthonormé/Formules de changement de bases », n'a pu être restituée correctement ci-dessus.

Soit P la matrice de changement de base(matrice de passage) permettant de passer d’une base (e₁, e₂, … e_n) à une base (f₁, f₂, … f_n). Nous savons que, par définition, celle-ci a été obtenue en plaçant en colonne les coordonnées respectives des vecteurs f₁, f₂, … f_n dans la base (e₁, e₂, … e_n).

Compte tenu de cette définition, nous obtenons une première formule qui est :

$X^c=PY^c$

X^c étant la matrice colonne des coordonnées contra variantes d'un vecteur u dans la base (e₁, e₂, … e_n).

Y^c étant la matrice colonne des coordonnées contra variantes du même vecteur u dans la base (f₁, f₂, … f_n).

Nous insistons sur le fait que pour obtenir cette formule, nous avons dû mettre X et Y sous forme de matrices colonnes.

Essayons alors de trouver une formule concernant cette fois les coordonnées covariantes.

Soit x₁, x₂, … ,x_n, les coordonnées covariantes d’un vecteur u dans la base (e₁, e₂, … e_n).

Soit y₁, y₂, … ,y_n, les coordonnées covariantes du même vecteur u dans la base (f₁, f₂, … f_n).

Nous avons par définition :

$\forall k\in\{1,2,\cdots,n\}\qquad x_k=e_k.u\qquad\text{(1)}$

$\forall k\in\{1,2,\cdots,n\}\qquad y_k=f_k.u\qquad\text{(2)}$

Si l’on appelle p_i^j le coefficient de la ligne i et colonne j de la matrice P, on a :

$\forall k\in\{1,2,\cdots,n\}\qquad f_k=\sum_{i=1}^np_k^i.e_i$

En reportant cette relation dans la relation (2), nous obtenons :

$\forall k\in\{1,2,\cdots,n\}\qquad y_k=\sum_{i=1}^np_k^i.e_i.u$

Et compte tenue de la relation (1), on obtient :

$\forall k\in\{1,2,\cdots,n\}\qquad y_k=\sum_{i=1}^np_k^i.x_i$

Pouvons-nous représenter cette relation sous forme de produit matriciel.

Nous voyons que la seule façon possible est celle-ci:

$\begin{pmatrix} y_1 & y_2 & \cdots & y_n \end{pmatrix} = \begin{pmatrix} x_1 & x_2 & \cdots & x_n \end{pmatrix}\times\begin{pmatrix} p_1^1 & p_2^1 & \cdots & p_n^1 \\ p_1^2 & p_2^2 & & p_n^2 \\ \vdots & & \ddots & \vdots \\ p_1^n & p_2^n & \cdots & p_n^n \\ \end{pmatrix}$

Nous remarquons que nous avons dû cette fois mettre les coordonnées covariantes sous forme de matrices lignes.

Soit X_c la matrice ligne des coordonnées covariantes du vecteur u dans la base (e₁, e₂, … e_n).

Soit Yc la matrice ligne des coordonnées covariantes du vecteur u dans la base (f₁, f₂, … f_n).

Nous avons alors :

$Y_c=X_cP$

Nous remarquons aussi que, compte tenue de la définition de la matrice P (et si l’on se permet de considérer des matrices de vecteurs), nous pouvons écrire :

$\begin{pmatrix} f_1 & f_2 & \cdots & f_n \end{pmatrix} = \begin{pmatrix} e_1 & e_2 & \cdots & e_n \end{pmatrix}\times\begin{pmatrix} p_1^1 & p_2^1 & \cdots & p_n^1 \\ p_1^2 & p_2^2 & & p_n^2 \\ \vdots & & \ddots & \vdots \\ p_1^n & p_2^n & \cdots & p_n^n \\ \end{pmatrix}$

Nous voyons que les coordonnées covariantes vérifient la même formule que les vecteurs des bases respectives. Ce qui justifient à posteriori le nom de coordonnées covariantes.

Et nous voyons que les coordonnées contra variantes vérifient une formule opposé par rapport aux vecteurs des bases respectives. Ce qui justifie à posteriori le nom de coordonnées contra variantes.

Nous retiendrons que les coordonnées contra variantes se représentent par des matrice colonnes X^c, Y^c et nous avons la formule X^c = P.Y^c.

Nous retiendrons que les coordonnées covariantes se représentent par des matrices lignes X_c, Y_c et nous avons la formule Y_c = X_c.P.

De plus, nous constatons que dans une base orthonormée, les coordonnées covariantes sont égales aux coordonnées contra variantes. Nous avons donc, dans une base orthonormée, les formules :

Formules uniquement valables dans les bases orthonormées $X_c=^tX^c\qquad\qquad Y_c=^tY^c$

Remarque

Comme dans les bases orthonormées, les coordonnées covariantes sont égales aux coordonnées contra variantes, il n’y a pas grand inconvénient à représenter les coordonnées d’un vecteur aussi bien par des matrices colonnes que par des matrices lignes. Mais l’on doit bien prendre conscience qu’il n’en est pas de même si la base n’est pas orthonormée compte tenu de la définition de la matrice de passage.

Repère euclidien non orthonormé

Coordonnées covariantes et contravariantes

Produit scalaire