"albert junior" a écrit dans le message
de news:
4266a2fe$0$31035$626a14ce@news.free.fr...
> Fouesneau Morgan wrote:
>[color=green]
> > une méthode simple serait de prendre l'endomorphisme f associé et voir
> > que la famille des puissances de f est liée.>
> Mmh oui, mais je ne trouve pas cela plus simple. Un peu d'aide ?[/color]
On supposons bien entendu A non nul (sinon, c'est trivial)
Tu auras du mal à trouver des contre-exemples puisque si A est dans Mn(K)
alors Vect(A^k, k dans N) est de dimension au plus n (autrement dit
(I,A,...,A^n) est liée).
Par l'absurde, si la famille (I,..,A^(n^2-1)) est libre alors c'est une base
de Mn(K).
Tu introduis l'ensemble S des polynômes P de K[X] tel que P(A) = 0
Tu fixes un élément Q de S non nul et de degré minimal. Alors si P(A) alors
Q divise P (faire la division de P par Q et le reste R vérifie R(A)=0 donc
R=0 puisque Q est de degré minimal)
Tu considères alors deux projecteurs u et v tels que (1) u+v=I et (2)
uov=vou=0 (prendre u projection sur F // à G et v projection sur G // F)
il existe P1 et P2 poly tels que u=P1(A) et v=P2(A) et je te laisse la suite
du raisonnement en utilisant (1) et (2) via le polynôme minimal Q
********************
http://www.mathematiques.fr.st100 exos de Taupe en +
150 exos de PHEC en +
******************