V Facteurs invariants et décomposition rationnelle (Frobenius)
est une racine du polynôme
minimal de
.
nulles sur
.
une forme linéaire appartenant à
. Pour
,
appartient à
.
appartient à l'orthogonal
de
. On obtient donc l'inclusion
.
sur
et valant 0 sur
et
comme l'unique forme linéaire
coincidant avec
sur
et valant 0 sur
.
On a bien
. De plus,
, puisqu'elle est nulle sur
et de même
.
qui ne s'annule pas sur
et telle que
soit égal à
: par exemple,
prenons
telle que
,
,
,
avec
. Cela est possible car les vecteurs
forment un système libre.
{footnote}
Trouver
revient à résoudre un système linéaire.
{footnote}
Calculons
.
|
|
| ||||
|
|
|
|
| ||||||
|
|
|
. La dimension de
est égale au degré de
.
Donc
et
.
soit irréductible, car
serait de degré
2 ou supérieur à 4 ...); on a
, la suite des invariants est
.
est irréductible : nécessairement
,
la suite des invariants est
.
est irréductible : ce n'est pas possible.
VI-1 Endomorphismes diagonalisables
est la valeur
propre associée à
. Donc
qui est un diviseur de
est bien scindé et avec des racines simples (en fait,
).
dans
de valeur propre
.
Soit
le noyau de la forme linéaire
. C'est un sous-espace vectoriel de
de
dimension
(hyperplan) stable par
car
est un sous-espace
de
stable par
: refaisons la démonstration : si
,
VII-2 Formes de Jordan possibles
VII-3 Dimension de la somme des espaces propres
VII-4 Exercice : décomposition de Dunford explicitement
VII-5 Exercice : comment calculer la matrice de Jordan d'un endomorphisme nilpotent
VII-6 Vecteurs propres, blocs de Jordan pour les endomorphismes nilpotents
VII-8 Exercice : décomposition de Jordan-Chevalley
une valeur propre de
et
.
Montrons que
est stable par
. En effet, si
,
| Réduction de Jordan | Nombre de blocs | Invariants | Diagramme de Young | Dim de l'espace propre |
|---|---|---|---|---|
| 2 |
| 2 | ||
| 1 |
| 1 |
| Réduction de Jordan | Nombre de blocs | Invariants | Diagramme de Young | Dim de l'espace propre |
|---|---|---|---|---|
| 3 |
| 3 | ||
| 2 |
| 2 | ||
| 1 |
| 1 |