logo

endomorphisme / bases


maths supendomorphisme / bases

#msg1626101 Posté le 02-02-08 à 14:41
Posté par flovalverde (invité)

Bonjour , je vous propose cet exercice d'algèbre très intéressant...
j'ai quelques idées mais je n'en conlus rien
merci de m'aider!



E un ev de dim n >= 2
u  € L(E) :

-> on pose u^0= Id E et u^j=u^(j-1)o(u)

-> P est un polynome de R[X] tq P = Somme (de k=0 jusqu'à n) des a(k)X^k
  P(u) = Somme (de k=0 jusqu'à n) des a(k)u^k  puis P(u)oQ(u)= PQ(u).

u est dit cyclique sssi  il existe un vecteur a de E tq la famille (a, u(a),...,u^(n-1)(a)) est une base de E.

PARTIE 1 :

C(u) = {v € L(E) tq v o u = u o v}
et B =  (a, u(a),...,u^(n-1)(a)) est une base de E.

1. (a) montrer que C(u) est un sev de E stable pour la composition des endomorphisme.
    (b) montrer que R[X] est inclus dans C(u)

2. Soit v un élément de C(u).

(a) Justifier l'existence de n réels  µ0,µ1,...µn-1 tq :        
      v(a)= Somme de j=0 jusqu'à  n-1  des  µ(j)u^j(a).
(b)On considere l'endomorphisme w défini par w = Somme de j = o jusqu'à n-1 des µ(j)u^j(a)
En comparant les images des éléments de B par v et par w montrer que v = w.
(c) en déduire que C(u) = R[u]

3. Montrer que la famille (IdE , u,.......u^(n-1))est une famille libre de L(E)

4.déterminer une base et la dimension de C(u).

Partie 2 :

1 . u est un nilpotent d'indice n tq u^n=0 et u^n-1 different de 0
a) montrer qu'il existe x tq (x,u(x),...,u^(n-1)(x)) soit une famille libre de vecteurs de E.

b) en déduire que u est un endomorphisme cycllique.

2. (a)soit E = Rn-1[X]
(D(P))(x) = P'(x)
et (R(P))(x)= P(x+1)-P(x)
(a) en utilisan 1) monterer que D est cyclique
(b) montrer que R est un élément de C(D)
(c) en déduire qu'il existe un polynome Q tq R = Q(D)
re : endomorphisme / bases#msg1626147 Posté le 02-02-08 à 14:53
Posté par ProfilCamélia Camélia Correcteur

Bonjour

Eh bien, le début est faisable (l'énoncé de 1(b) est faux). Commence et on t'aidera...
re#msg1626163 Posté le 02-02-08 à 14:59
Posté par flovalverde (invité)

j'ai répondu àux 2 premières questions
en effet c'est R[u] et non pas R[X].
re#msg1626166 Posté le 02-02-08 à 14:59
Posté par flovalverde (invité)

je bloquea partie de 2a)
re#msg1626298 Posté le 02-02-08 à 15:24
Posté par flovalverde (invité)

je vous demande donc de l'aide pour le 2)a)
re : endomorphisme / bases#msg1626312 Posté le 02-02-08 à 15:28
Posté par ProfilCamélia Camélia Correcteur

2(a) On écrit simplement v(a) sur la base (a,u(a),...,un-1(a))
(b) A nouveau l'énoncé n'a pas de sens. Je pense qu'il s'agit de w=\bigsum_{j=0}^{n-1}\mu_ju^j Par définition on a v(a)=w(a). Comme v et u commutent, on vérifie facilement que v(uj(a))=w(uj(a)) et si v et w coïncident sur une base, ils coïncident.
(c) maintenant c'est clair.
re#msg1626338 Posté le 02-02-08 à 15:34
Posté par flovalverde (invité)

je cherchais donc beaucup trop compliqué!!!
bon je me penche maintenant sur la famille libre et la base...
re#msg1626398 Posté le 02-02-08 à 15:47
Posté par flovalverde (invité)

soit(µ0,µ2...µ n-1)€ R^n tq :
µ0*Id E + µ1*u1+...+ µn-1* u^(n-1)=0 (1)


je divise (1) part u^(n-1)et je fais tendre n vers + l'infini pour isoler le µ n-1
=> µ n-1 = 0 =µ0=µ1=...

donc c'est une famille libre
re#msg1626432 Posté le 02-02-08 à 15:53
Posté par flovalverde (invité)

pour la base et la dim de C(u) je ne vois pas trop
re#msg1626454 Posté le 02-02-08 à 15:57
Posté par flovalverde (invité)

quant à la partie 3) j'y suis totalement perdu!!!
re : endomorphisme / bases#msg1626462 Posté le 02-02-08 à 15:59
Posté par ProfilCamélia Camélia Correcteur

Pour 3 ta démo ne parche pas. Tu ne peux pas diviser, puisque tu ne sais pas qui est nul.
Si \sum \lambda_ju^j=0, tu as en particulier \sum \lambda_ju^j(a)=0 et tu sais que les uj(a) forment une base...

Pour 4: On a démontré que tout élément de C(u) est combinaison linéaire des uj et on vient de voir que ceux-ci forment une famille libre.
re : endomorphisme / bases#msg1626512 Posté le 02-02-08 à 16:13
Posté par flovalverde (invité)

les u^j (a) forment une base de E
donc (a, u(a),...u^n-1(a)) est une famille libre de E
=> (IdE , u,.......u^(n-1))est une famille libre de L(E) ?????

je vois pas pourquoi

sinon pour le 4 on a  :
les u^j partie génératrice de C(u)  
les u^j famille libre de C(u)             => les u^j base de C(u)
les u^j inclus dans c(u)


et dim C(u) = card (base) = n
re : endomorphisme / bases#msg1626538 Posté le 02-02-08 à 16:21
Posté par ProfilCamélia Camélia Correcteur

Citation :
les u^j (a) forment une base de E
donc (a, u(a),...u^n-1(a)) est une famille libre de E
=> (IdE , u,.......u^(n-1))est une famille libre de L(E) ?????


\sum \lambda_ju^j=0\Longrightarrow(\sum \lambda_ju^j)(a)=0\Longrightarrow \sum \lambda_j(u^j(a))=0\Longrightarrow \lambda_0=...\lambda_{n-1}=0

Pour la dimension de C(u) c'est OK
okok#msg1626559 Posté le 02-02-08 à 16:28
Posté par flovalverde (invité)

je souhaite juste revenir au 1)b et 2)c) dans lesquelles j'ai du mal
pour la 1 je n'arrive pas a montrer l'inclusion et pour la 2eme jvois pas le rapport avec ce qui précède car on a bien R[u] inclus dans C(u) et il nous mnque l'égalité de dimension
re#msg1626585 Posté le 02-02-08 à 16:44
Posté par flovalverde (invité)

pour la aprtie 3)2) j'aurais également besoin d'aide
re : endomorphisme / bases#msg1629231 Posté le 03-02-08 à 14:36
Posté par ProfilCamélia Camélia Correcteur

1)b) On vérifie à la main que u, uk, puis tout polynôme en u commute avec u (c'est pratiquement évident)

2)c) On vient de montrer que si v commute avec u alors v est un polynôme en u.

C'est quoi 3)2)?

Répondre à ce sujet

réservé Seuls les membres peuvent poster sur le forum !

Vous devez être connecté pour poster
attention Un modérateur est susceptible de supprimer toute contribution qui ne serait pas en relation avec le thème de discussion abordé, la ligne éditoriale du site, ou qui serait contraire à la loi.

  • Ce topic

    imprimer Imprimer
    réduire la tailleRéduire   /   agrandir la tailleAgrandir

    Pour plus d'options, connection connectez vous !
  • Fiches de maths

    * algèbre en post-bac
    17 fiches de mathématiques sur "algèbre" en post-bac disponibles.


maths - prof de maths haut de pagehaut Retrouvez cette page sur ilemaths l'île des mathématiques
© Tom_Pascal & Océane 2012