Matrice De Passage

Matrice de passage

Une matrice de passage (ou encore matrice de changement de base) permet d'écrire des formules de changement de base pour les représentations matricielles des vecteurs, des endomorphismes, des formes bilinéaires.

Définition

Soient $\mathbb K$ un corps commutatif, E un K-espace vectoriel.

Soient deux bases $B =(e_{1} \dots e_{n})$ et $B'=(e'_1 \dots e'_n)$ de E. Pour des raisons mnémotechniques on qualifie B' de nouvelle base, B d'ancienne base.

On définit ainsi la matrice de passage de B à B', notée $P_B^{B'}$ :

$P_B^{B'} = (a_{i,j})_{i,j=1}^n \in \mathcal M_n(\mathbb K)$ telle que $\forall j \in [\![1,n]\!], \quad e'_j=\sum_{i=1}^n a_{i,j}e_i$

Les colonnes de cette matrice ne sont autres que les vecteurs de la nouvelle base, exprimés dans l'ancienne base.

On peut aussi interpréter la matrice de passage comme la matrice représentative de l'application identité, de E muni de la base B' dans E muni de la base B. On a $P_B^{B'}=\mathcal M_{B'B}(\mathrm{Id}_E)$ où $\mathcal M_{B'B}(\mathrm{Id}_E)$ est la matrice de Id_E relativement à B' et B.

Théorème

Énoncé

Soit un vecteur $x \in E$, ayant respectivement pour composantes $X=\begin{pmatrix} x_1 \\ \vdots \\ x_n \end{pmatrix}$ et $X'=\begin{pmatrix} x'_1 \\ \vdots \\ x'_n \end{pmatrix}$ dans deux bases B et B'.

Alors $X=P_{B}^{B'}X'$

Démonstration

La décomposition du vecteur dans les deux bases nous donne $x=\sum_{j=1}^n x_j e_j=\sum_{j=1}^n x'_j e'_j$

De plus, $\forall j \in [\![1,n]\!], e'_j=\sum_{i=1}^n a_{i,j}e_i$

Par substitution,

$x=\sum_{j=1}^n x'_j \sum_{i=1}^n a_{i,j}e_i$

$x=\sum_{i=1}^n \left(\sum_{j=1}^n a_{i,j} x'_j\right) e_i$

La décomposition du vecteur étant unique dans chaque base, on peut procéder à l'identification des coefficients :

$\forall i \in [\![1,n]\!], x_i=\sum_{j=1}^n a_{i,j} x'_j = \left(P_B^{B'}\cdot X'\right)_i$, d'où $X=P_B^{B'}X'$

Inversibilité

Soient B et B' deux bases de E Alors $P_B^{B'}$ est inversible et $\left(P_B^{B'}\right)^{-1}=P_{B'}^B$

Démonstration

$P_B^{B'}P_{B'}^B=\mathcal M_{B',B}(\mathrm{Id}_E)\mathcal M_{B,B'}(\mathrm{Id}_E) = M_{B,B}(\mathrm{Id}_E) = I_n$

Voir aussi

• Matrice
• Base

Ce document provient de « Matrice de passage ».