Raisonnement sur les matrices
Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 04 Mar 2014, 00:35
Bonsoir, :happy3:
Est ce que les matrices de permutations ( d'ordre

par exemple ) sont co-diagonalisables dans leur ensemble ? En d'autres termes, est ce qu'il existe une base commune dans laquelle ces matrices de permutation sont toutes diagonales ?
Merci d'avance.
Edit : Sur le net, j'ai trouvé le théorème suivant sans démonstration malheureusement :
Soit une famille d'endomorphismes diagonalisables qui commutent. Alors, il existe une base qui diagonalise tous les éléments de la famille. Connaissez vous la démonstration de ce théorème ?
Merci d'avance. :happy3:
Edit : Y'a -t-il une méthode générale qui permet par induction de diagonaliser toutes les matrices de permutation comme c'est le cas des matrices circulantes ?
Merci d'avance. :happy3:
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 04 Mar 2014, 01:34
Bonjour, :happy3:
Si on permute les coefficients d'une matrice diagonale de manière circulaire, est ce que cela veut dire qu'on a multiplié cette matrice diagonale par une matrice de permutation circulaire ( matrice circulante ) à gauche et à droite ?
Merci d'avance. :happy3:
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 06 Mar 2014, 12:10
Bonjour à tous, :happy3:
On adopte tout d'abord les notation suivantes :
 = \begin{pmatrix} a & 0 & 0 \\ 0 & b & 0 \\ 0 & 0 & c \end{pmatrix})
et

.
Et on considère l'équation suivante :
 + \mathrm{diag} ( a',b',c' ) ) J^2 \Big) \Big( J^2 ( \mathrm{diag} ( a,b,c) + j \mathrm{diag} ( a',b',c' ) ) J^2 \Big) \Big( J^2 ( \mathrm{diag} ( a,b,c) + j^2 \mathrm{diag} ( a',b',c' ) ) J^2 \Big) = \mathrm{diag} ( -1 ,1,2))
avec

et

sont les indéterminées.
Est ce qu'il y'a un moyen de se débarrasser du facteur

de façon à aboutir une écriture simplifiée de la forme :
 + \mathrm{diag} ( a',b',c' ) ) ( \mathrm{diag} ( a,b,c) + j \mathrm{diag} ( a',b',c' ) ) ( \mathrm{diag} ( a,b,c) + j^2 \mathrm{diag} ( a',b',c' ) ) = \mathrm{diag} ( x,y,z))
Pour pouvoir avoir à la fin :
)^{3} + ( \mathrm{diag} ( a',b',c' ) )^3 = \mathrm{diag}(x,y,z))
?
Merci d'avance. :happy3:
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 55 invités