= ([v, u](xk)−l([u, v])xk)+l([u, v])xk+u(v(xk)−l(v)xk)
.
Si on examine cette expression :
•Le crochet [v, u] est dans Jpuisque v∈J, donc l’hypoth`ese de
r´ecurrence assure :
[v, u](xk)−l([u, v])xk∈V ect (x0,... ,x
k−1);
•l([u, v])xkest bien sˆur dans V ect (x0,... ,x
k);
•enfin, l’hypoth`ese de r´ecurrence assure que v(xk)−l(v)xk∈V ect (x0,... ,x
k−1)
, donc :
u(v(xk)−l(v)xk)∈V ect (x0,... ,x
k).
Finalement, on peut conclure : v(xk+1)−l(v)xk+1 ∈V ect (x0,... ,x
k),
et le r´esultat est donc ´etabli par r´ecurrence :
∀k∈N∀v∈Jv(xk)−l(v)xk∈V ect (x0,... ,x
k−1).
—————
3. stabilit´e de Upar J∪{u}: La stabilit´e par ud´ecoule de la d´efinition
mˆeme des xk.
La stabilit´e par v∈Jd´ecoule de la question 2. puisqu’on y a ´etabli
v(xk)∈V ect (x0,... ,x
k).
—————
4. expression de l([u, v]) : •D’abord, Uposs`ede une base de la forme (x0,... ,x
q−1):
soit, en effet, qest le plus grand entier tel que (x0,... ,x
q−1) est libre
(cet entier existe car Vest de dimension finie) ; alors xqest combinaison
lin´eaire de (x0,... ,x
q−1) , de sorte que V ect (x0,... ,x
q−1)=U#est
stable par u(il contient l’image par udes vecteurs qui l’engendrent). D`es
lors, cette stabilit´e assure que U#contient tous les xk, donc contient U.
Finalement U=U#, et la famille envisag´ee, libre et g´en´eratrice, est une
base de U. Notons aussi que dimU=q.
•La question 2. signifie que dans cette base la matrice de la restriction
`a Ude chaque v∈Jest triangulaire sup´erieure, avec tous les ´el´ements
diagonaux ´egaux `a l(v) . Par cons´equent, Tr(v|U=ql(v) . Comme [u, v]
est aussi dans J, on peut lui appliquer cette ´egalit´e :
Tr([u, v]|U)=ql([u, v]) .
—————
5. Stabilit´e de Wpar F: En fait, U´etant stable par uet v, la restriction
[u, v]|Uest aussi le crochet [u|U,v
|U] . De l’´egalit´e habituelle Tr(ab)=
Tr(ba) , on d´eduit que la trace d’un crochet est toujours nulle, donc
Tr([u, v]|U) = 0 . La question pr´ec´edente donne alors l([u, v]=0(q>0
car x"=0).
Ceci ´etant acquis, l’appartenance de x`a Wet de [u, v]`aJnous donne,
par d´efinition mˆeme de W:[u, v](x)=0,c`advu(x)=uv(x) , ou encore,
puisque v(x)=l(v)x:vu(x)=l(v)u(x). Cette ´egalit´e, valant pour tout
v∈J, exprime que u(x)∈W, et ´etablit donc :
West stable par tout u∈F
—————
3