Matrices semblables

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Article détaillé : réduction d'endomorphisme.

En mathématiques, deux matrices carrées A et B sont dites semblables s'il existe une matrice inversible P telle que :

A = PBP^{-1}.

Il s'agit d'une relation d'équivalence.

Deux matrices sont semblables si et seulement si elles constituent deux matrices représentatives du même endomorphisme dans deux bases (éventuellement) différentes. Il ne faut pas confondre la notion de matrices semblables avec celle de matrices équivalentes. En revanche, si deux matrices sont semblables, alors elles sont équivalentes. Un moyen de déterminer si deux matrices sont semblables est de les réduire, c'est-à-dire de les ramener à une forme type : diagonale, forme réduite de Jordan

Exemple[modifier | modifier le code]

Les matrices suivantes sont semblables :

A = \begin{pmatrix} 2 & 1 \\ -2 & 0 \end{pmatrix}
B = \begin{pmatrix} -2 & -2 \\ 5 & 4 \end{pmatrix}.

En effet, en posant :

P = \begin{pmatrix} 1 & 1 \\ 1 & 0 \end{pmatrix},

on obtient : P^{-1} = \begin{pmatrix} 0 & 1 \\ 1 & -1 \end{pmatrix},

et on vérifie aisément que :

P^{-1} A P = \begin{pmatrix} -2 & -2 \\ 5 & 4 \end{pmatrix} = B.

Invariants de similitude[modifier | modifier le code]

Les applications de l'espace des matrices carrées dont le résultat est identique pour une matrice et une matrice qui lui est semblable sont appelés des invariants de similitude.

Par exemple, la trace d'une matrice en est un, puisqu'avec les notations précédentes :

\mathrm{tr}\; B = \mathrm{tr} \left( (P^{-1}A)P \right) = \mathrm{tr} \left( P (P^{-1}A) \right) = \mathrm{tr}\; A

De même, le rang, le déterminant, les valeurs propres, le polynôme caractéristique et le polynôme minimal sont des invariants de similitudes, mais ils ne forment pas un système complet, c'est-à-dire qu'ils ne suffisent pas toujours à détecter la non-similitude de deux matrices.

Un système complet d'invariants de similitude est fourni par la décomposition de Frobenius.

Article connexe[modifier | modifier le code]

Théorème de Latimer-MacDuffee (en)