pb028 Math Nilpotent
pb028 Math Nilpotent
pb028 Math Nilpotent
Thmes : espaces vectoriels, applications linaires, dimension finie Dans tout le problme K dsigne ou . Soit E un K -espace vectoriel de dimension finie non nulle. On note o lendomorphisme nul de E et Id lendomorphisme identit. Pour n et f endomorphisme de E , on dfinit par rcurrence lendomorphisme f n par :
fn .
Un endomorphisme f de E est dit nilpotent si et seulement sil existe n tel que f n = o . Notons qualors, pour tout entier p n , f p = o .
Partie I Deux exemples 1. 1.a 1.b 1.c 2. Dans cette question E = Kn espace vectoriel des n uplets dlments de K . Soit : Kn Kn dfinie par (x1 , x 2 ,, x n ) = (0, x1 ,, x n 1 ) . Justifier que est un endomorphisme de Kn . Dterminer la dimension de limage et du noyau de lendomorphisme . Montrer que est nilpotent. Dans cette question E = Kn [X ] espace vectoriel des polynmes de degrs infrieurs ou gaux n . Soit : Kn [X ] Kn [X ] dfinie par (P ) = P (X + 1) P (X ) . 2.a 2.b 2.c 2.d Justifier que est un endomorphisme de Kn [X ] . Soit P Kn [X ] . Dterminer deg (P ) en distinguant les cas selon que P est, ou nest pas un polynme constant. Dterminer image et noyau de . Etablir que est un endomorphisme nilpotent. Partie II Etude gnrale 1. 1.a 1.b 1.c
2.
Soit f et g des endomorphismes de E . Justifier que si f est nilpotent et que f et g commutent alors f g est nilpotent. Justifier que si f g est nilpotent alors g f est nilpotent. On suppose que f est nilpotent. Montrer que lendomorphisme Id f est inversible.
Soit f un endomorphisme nilpotent de E .
Justifier lexistence dun plus petit entier n tel que f n = o . Celui-ci est appel indice de nilpotence de lendomorphisme nilpotent f , on le note ( f ) .
3. Soit f un endomorphisme nilpotent de E . Lobjectif de cette question est dtablir que ( f ) dim E . Pour cela on pose, pour tout p , N p = ker f p . 3.a 3.b 3.c 3.d Dterminer N ( f ) . Montrer que pour tout p , N p N p +1 . Montrer que sil existe p tel que dim N p = dim N p +1 , alors pour tout q , N p = N p +q . Conclure.