Forum de mathématiques - Bibm@th.net

Désolé Michel, je n'avais pas l'intention de t'offenser.

Je voulais juste avoir une réponse rapide pour savoir si mon raisonnement était juste...il ne l'est pas.

Merci Michel pour ta réponse rapide.

Effectivement le résultat final est une matrice de Jordan par bloc. Mais sur les espaces  $E_{k}$  on a bien une matrice Jordan de taille $m_{k}$ élémentaire composée de 1 et de 0.

Pour la question de la transposée... j'avais pas vu qu'en inversant l'ordre des bases (on passe de $e_{1} ,e_{2},.., e_{n}$ à $e_{n} ,e_{n-1},.., e_{1}$ ) on obtient la transposée.

Mais sur le fond de la démonstration, en ce qui concerne la construction des espaces $E_{k}$, ai je bon ?

Je ne vois pas de faille dans le raisonnement et je pense que cette démo trouvée nulle part, est assez simple à expliquer.

Merci pour l'attention du lecteur

Bonjour amis des math,

J'ai 2 questions à vous poser:

Première question:
Soit E est un K espace vectoriel de dimension n.
Quelle est la définition d'une matrice nilpotente de Jordan ?
Doit elle s'écrire sous cette forme

$\begin{bmatrix}
0 & .. &   & 0 \\
1 &  0&  &  \\
& 1 & 0 &  \\
0& .. & 1 & 0 \\
\end{bmatrix}$

ou bien celle de sa transposée ?
Les 2 matrices sont elles semblables ?

Deuxième question:

Je voudrais savoir si la démo suivante est valide.
Soit u un endomorphisme nilpotent de rang r dans un K espace vectoriel de dimension n.
Je veux démontrer qu'il existe une base B dans laquelle

Mat(u,B) a la forme présenté ci-dessus (avec dim Keru=1).

Mon idée est de construire les sous espaces vectoriels $E_{k}$ tels que :

$
E_{1}\bigoplus  E_{2} \bigoplus ...\bigoplus E_{p}=E \\
$
où $E_{k}$ est de la forme $Vect (x_{k},u^{1}( x_{k}), ..., u^{m_{k}}( x_{k}) )$
avec $m_{k}<r$

Je prends un x1 de E et je considère les vecteurs $x,u(x),  ..,u^{k}( x)$
Ils sont libres car si
$
a_{0}x + a_{1}u^{1}( x) + ...+ a_{k}u^{k}( x) = 0
$
en appliquant les puissances successives de u on montre que tous les coefficients sont nuls.

Soit $E_{1} = Vect (x_{1},u^{1}( x_{1}), ..., u^{m_{1}}( x_{1}) )$

On va choisir un $x_{2}$ non inclut dans $E_{1}$ et construire $E_{2}$ ou chaque vecteur n'appartient pas à $E_{1}$ et ainsi de suite jusqu'à ce que la somme directe des  $E_{k}$  donne E.

Dans les bases de $E_{k}$ la matrice représentative de u est de la forme .
$\begin{bmatrix}
0 & .. &   & 0 \\
1 &  0&  &  \\
& 1 & 0 &  \\
0& .. & 1 & 0 \\
\end{bmatrix}$

Merci pour votre attention