V Facteurs invariants et décomposition rationnelle (Frobenius)
est une racine du polynôme
minimal de
u
.
nulles sur
W
.
une forme linéaire appartenant à
Wo
. Pour
,
appartient à
Wo
.
appartient à l'orthogonal
de
. On obtient donc l'inclusion
.
sur
X
et valant 0 sur
Y
et
comme l'unique forme linéaire
coincidant avec
sur
Y
et valant 0 sur
X
.
On a bien
. De plus,
, puisqu'elle est nulle sur
Y
et de même
.
qui ne s'annule pas sur
W
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
V
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 à
ei
. Donc
qui est un diviseur de
P
est bien scindé et avec des racines simples (en fait,
).
dans
V
de valeur propre
.
Soit
H
le noyau de la forme linéaire
. C'est un sous-espace vectoriel de
V
de
dimension
n-1
(hyperplan) stable par
u
car
est un sous-espace
de
V
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
s
et
.
Montrons que
est stable par
s'
. En effet, si
,
| Réduction de Jordan | Nombre de blocs | Invariants | Diagramme de Young | Dim de l'espace propre |
|---|---|---|---|---|
| 2 | (x,x) |
| 2 | |
| 1 | (x) |
| 1 |
| Réduction de Jordan | Nombre de blocs | Invariants | Diagramme de Young | Dim de l'espace propre |
|---|---|---|---|---|
| 3 | (x,x,x) |
| 3 | |
| 2 | (x2,x) |
| 2 | |
| 1 | (x3) |
| 1 |