Il faut absolument que tu dessines la démo, là ce que j'ai fait est difficilement compréhensible mais une fois sur papier ça va te sauter aux yeux.
Enfin, si c'est pas faux, évidemment. Je vaux plus rien en maths, ça fait 2 ans que j'ai pas touché à des matrices.
Découpons la matrice de u en blocs, en suivant ceci :
Ui,j = bloc de taille αi,αj correspondant aux lignes contenant les λi et aux colonnes contenant les λj.
les blocs de la diagonale sont donc carrés.
soit V = [vi,j] la matrice de v € Cu.
On la découpe en blocs de façons à rendre la multiplication par blocs possible (en gros on fait les blocs dont taille est symétrique par rapport à la diagonale).
les blocs diagonaux sont également carrés.
(UV)i,j = (somme de k=1 à r des Ui,k*Vk,j) = Ui,i * Vi,j, puisque Ui,k = 0 si k =/= i.
= λiVi,j.
(VU)i,j = (somme de k=1 à r des Vi,k*Uk,j) = λjVi,j.
v commute avec u ssi qq soit i, qq soit j λiVi,j = λjVi,j
pour i=j, aucune contrainte
pour i =/= j, les λ étant distincts, il faut nécessairement Vi,j = 0
Donc, finalement : V est une matrice diagonale par blocs (carrés) de tailles respectives α1..αr.
C'est vachement cool parce que c'est un ev de taille (somme de 1 à r des αi²). (on a une dimension par coefficient non nul)
This post was edited by Hubbard on Oct 26 2010 10:49am