Aller au contenu

« Réduction des endomorphismes/Trigonalisabilité » : différence entre les versions

Une page de Wikiversité, la communauté pédagogique libre.
Contenu supprimé Contenu ajouté
→‎Exemples : +1 (version améliorée de wp)
remarque sur « triangulaire inférieure »
Ligne 8 : Ligne 8 :


Soient <math>E</math> un <math>K</math>-espace vectoriel de dimension finie et <math>\varphi\in\operatorname L(E)</math>.
Soient <math>E</math> un <math>K</math>-espace vectoriel de dimension finie et <math>\varphi\in\operatorname L(E)</math>.



== Définition ==
== Définition ==
Ligne 15 : Ligne 14 :
* '''Trigonaliser''' un endomorphisme, c’est déterminer une base de trigonalisation pour cet endomorphisme.
* '''Trigonaliser''' un endomorphisme, c’est déterminer une base de trigonalisation pour cet endomorphisme.
}}
}}
;Remarque
:On obtient une définition équivalente en remplaçant « triangulaire supérieure » par « triangulaire inférieure ». En effet, on vérifie facilement que la matrice de <math>\varphi</math> dans une base <math>(e_1,\dots,e_n)</math> est triangulaire supérieure si et seulement si celle dans <math>(e_n,\dots,e_1)</math> est triangulaire inférieure. Ou plus savamment (cf. [[Réduction des endomorphismes/Exercices/Réductions de Dunford, Jordan et Frobenius|cet exercice du chapitre 7]]) : toute matrice est [[Matrice/Relations entre matrices|semblable]] à sa transposée.


== Théorème de trigonalisation ==
== Théorème de trigonalisation ==
Ligne 28 : Ligne 29 :
<math>p_{\varphi}</math> admet au moins une racine <math>\lambda</math>. Comme <math>\lambda</math> est une valeur propre de <math>\varphi</math>, il existe un vecteur non nul <math>e_1\in E</math> tel que <math>\varphi(e_1)=\lambda e_1</math>. On peut le [[Espace vectoriel/Dimension|compléter en une base]] <math>\left(e_1,\dots,e_n\right)</math> de <math>E</math>. La matrice de <math>\varphi</math> dans cette base est de la forme
<math>p_{\varphi}</math> admet au moins une racine <math>\lambda</math>. Comme <math>\lambda</math> est une valeur propre de <math>\varphi</math>, il existe un vecteur non nul <math>e_1\in E</math> tel que <math>\varphi(e_1)=\lambda e_1</math>. On peut le [[Espace vectoriel/Dimension|compléter en une base]] <math>\left(e_1,\dots,e_n\right)</math> de <math>E</math>. La matrice de <math>\varphi</math> dans cette base est de la forme
<center><math>\begin{pmatrix}\lambda&L\\0&B\end{pmatrix}\quad\text{donc}\quad p_\varphi(X)=(\lambda-X)p_B(X)</math></center>
<center><math>\begin{pmatrix}\lambda&L\\0&B\end{pmatrix}\quad\text{donc}\quad p_\varphi(X)=(\lambda-X)p_B(X)</math></center>
(en [[w:Calcul du déterminant d'une matrice#Matrice triangulaire ou triangulaire par blocs|calculant le déterminant par blocs]]), si bien que <math>p_\varphi(X)</math> est scindé. Par hypothèse de récurrence, <math>B</math> est alors [[Matrice/Relations entre matrices|semblable à]] une matrice triangulaire supérieure, donc <math>\varphi</math> est trigonalisable.
(en [[w:Calcul du déterminant d'une matrice#Matrice triangulaire ou triangulaire par blocs|calculant le déterminant par blocs]]), si bien que <math>p_\varphi(X)</math> est scindé. Par hypothèse de récurrence, <math>B</math> est alors semblable à une matrice triangulaire supérieure, donc <math>\varphi</math> est trigonalisable.
}}
}}



Version du 18 juillet 2017 à 23:50

Début de la boite de navigation du chapitre
Trigonalisabilité
Icône de la faculté
Chapitre no 5
Leçon : Réduction des endomorphismes
Chap. préc. :Diagonalisabilité
Chap. suiv. :Applications
fin de la boite de navigation du chapitre
En raison de limitations techniques, la typographie souhaitable du titre, « Réduction des endomorphismes : Trigonalisabilité
Réduction des endomorphismes/Trigonalisabilité
 », n'a pu être restituée correctement ci-dessus.

Soient un -espace vectoriel de dimension finie et .

Définition

Remarque
On obtient une définition équivalente en remplaçant « triangulaire supérieure » par « triangulaire inférieure ». En effet, on vérifie facilement que la matrice de dans une base est triangulaire supérieure si et seulement si celle dans est triangulaire inférieure. Ou plus savamment (cf. cet exercice du chapitre 7) : toute matrice est semblable à sa transposée.

Théorème de trigonalisation

Début d’un théorème
Fin du théorème



Exemples

Matrice carrée d'ordre 2 à coefficients réels

Soit  ; son polynôme caractéristique est qui a comme unique racine , qui est donc l'unique valeur propre de .

On peut déjà en déduire que n'est pas diagonalisable (car ) et prévoir que par conséquent, le sous-espace propre est de dimension 1.

Le calcul le confirme :

, avec .

On peut alors compléter avec par exemple le vecteur , de manière que forme une base de .

On sait déjà que et l'on trouve facilement .

La matrice dans la base s'écrit donc

.

La matrice telle que n'est autre que la matrice de passage de la base canonique à la base . Elle est donc constituée des vecteurs de exprimés dans la base  :

.

De même, pour calculer , il suffit d'exprimer les vecteurs de dans la base . On trouve facilement

et donc
.

Matrice carrée d'ordre 3 à coefficients complexes

Soit  ; son polynôme caractéristique est .

Comme dans l'exemple précédent, on a après calculs : et avec

et ,

que l’on complète par pour former une base de , et l'on calcule :

.

La matrice dans est donc

et l’on a avec la matrice de passage de la base canonique à la base , d'où :

et .