Paire de matrices commutantes
En mathématiques, une paire de matrices commutantes est une paire {A, B} de matrices carrées à coefficients dans un corps qui commutent, c'est-à-dire que AB = BA.
L'étude des paires de matrices commutantes a des aspects tout à fait élémentaires et d'autres qui font l'objet de recherches en cours. L'énoncé de certains problèmes étudiés est assez élémentaire pour être présenté au niveau de la première année d'études supérieures. En voici un exemple :
Une matrice nilpotente est une matrice dont une puissance est nulle. On sait qu'une telle matrice est semblable à sa réduite de Jordan. Supposons la matrice nilpotente, sous forme réduite de Jordan, avec des blocs de taille donnée. Quelle peut être la taille des blocs de Jordan des matrices nilpotentes qui commutent avec la matrice donnée ?
En règle générale, la solution n'est pas élémentaire.
Résultats élémentaires
[modifier | modifier le code]L'ensemble des matrices commutant avec une matrice (l'algèbre des matrices carrées d'ordre n à coefficients dans K) est une sous-algèbre de , appelée commutant de A et notée C(A) ; C(A) contient en particulier tous les polynômes , ainsi que A−1 si A est inversible.
Si et sont semblables, c'est-à-dire que , alors , avec .
Matrices commutant avec une matrice diagonalisable
[modifier | modifier le code]Si B commute à A alors B laisse stable le noyau et l'image de tout polynôme en A, en particulier les sous-espaces propres de A.
Si, inversement, B laisse stable chaque sous-espace propre de A alors sur chacun d'eux, la restriction de A est une homothétie donc commute à celle de B, donc AB – BA, étant nul sur chaque sous-espace, est nul sur leur somme.
Si cette somme est l'espace tout entier, on a donc caractérisé les matrices qui commutent à A :
Si A est diagonalisable, alors les matrices qui commutent à A sont celles qui laissent stable chaque sous-espace propre de A.
Plus concrètement : si A = PDP–1 pour une certaine matrice inversible P et une matrice diagonale D de la forme
(où les dk sont deux à deux distincts et où Ink désigne la matrice identité de taille nk) alors, une matrice commute à A si et seulement si elle est de la forme PCP–1, avec C diagonale par blocs :
(où, pour chaque k, le bloc Ck est de taille nk).
En particulier :
Si A est une matrice n × n possédant n valeurs propres distinctes, alors les matrices qui commutent à A sont les polynômes en A.
En effet, dans ce cas, tous les blocs sont de taille 1 : Ck = (ck) pour k de 1 à p = n, or le théorème d'interpolation de Lagrange prouve qu'il existe un polynôme Q tel que pour k de 1 à n, Q(dk) = ck. On a donc C = Q(D). Comme Aj = (PDP–1)j = PDjP–1, on a également B = Q(A).
Matrices commutant avec une matrice non diagonalisable : un exemple
[modifier | modifier le code]La situation devient très compliquée si on considère les matrices commutant avec une matrice non diagonalisable.
Supposons d'abord que soit une matrice de Jordan, de plus nilpotente. Un calcul élémentaire montre que toutes les matrices qui commutent avec sont des matrices de Toeplitz triangulaires supérieures, c'est-à-dire de la forme
Si on prend comme une matrice diagonale par blocs, dont les blocs sont des matrices de Jordan nilpotentes, il se passe des choses assez surprenantes. Notons les blocs diagonaux de .
En calculant par blocs AB et BA, on voit que tous les blocs de la matrice , découpés d'après la structure des blocs de la matrice doivent vérifier la relation de commutation suivante:
Les blocs diagonaux de sont donc triangulaires supérieurs et de Toeplitz, mais les blocs hors diagonale ne sont pas nuls ; ils sont de la forme
si et de la forme
dans le cas contraire.
Rien n'indique de relation simple entre les sous-espaces caractéristiques (ou sous-espaces propres généralisés) de et ceux de .
Prenons le cas suivant, très simple. Soit donné par
et choisissons la matrice suivante :
Cette matrice commute avec . Ses valeurs propres sont et , qu'on suppose distinct de . Le sous-espace caractéristique relativement à la valeur propre est engendré par les vecteurs
et le sous-espace caractéristique relatif à la valeur propre est engendré par les vecteurs
Le rapport entre les sous-espaces caractéristiques de et ceux de n'est donc pas évident.
Variété commutante
[modifier | modifier le code]Soit K un corps et soit E = Mn(K)2. La variété commutante est l'ensemble des couples de matrices telles que . Cette variété algébrique est définie par n2 équations quadratiques à 2n2 inconnues. Pendant longtemps les propriétés de cette variété sont restées mystérieuses. Murray Gerstenhaber[1] a montré en 1961 que cette variété était irréductible. R. Guralnick[2] a remarqué en 1990 que l'essentiel de cette preuve avait été donné en fait dans un article de T. S. Motzkin et O. Taussky[3].
L'article de Motzkin et Taussky porte essentiellement sur les faisceaux de matrices.
Tout un pan de l'article de Gerstenhaber fait appel à des techniques de théorie des représentations, en particulier les partitions.
Il est surprenant de constater que l'étude des paires de matrices commutantes continue à être un sujet de recherche actif dans des domaines variés : algèbre commutative, algèbre numérique et computationnelle, théorie des représentations. Citons par exemple un article de Baranovsky[4], qui montre que la variété des paires de matrices nilpotentes est irréductible. Des travaux de 2007 et 2008 examinent la structure de Jordan des matrices commutant avec une matrice nilpotente donnée[5],[6],[7]. Le sort des sous-espaces propres est encore peu abordé, mais on peut citer par exemple un travail de Heinrich Kuhn en 1977[8]. Sachant que les problèmes de vecteurs propres et de vecteurs propres généralisés sont toujours plus difficiles que les problèmes de valeurs propres, on voit qu'il reste du travail.
Matrices qui commutent « presque »
[modifier | modifier le code]Peter Rosenthal a posé la question[9] suivante en 1969 ; si le commutateur de deux matrices et est petit, sont elles proches d'une paire de matrices qui commutent ? La question est précisée comme suit : peut-on trouver pour tout , un tel que pour tout entier , si et sont des matrices de norme inférieure ou égale à , vérifiant , alors il existe une paire de matrices commutantes et telles que .
La réponse est positive si on permet à de dépendre de .
La réponse négative, pour les matrices complexes, est due à Man Duen Choi[10], en 1988. Il énonce ainsi le théorème suivant :
Pour tout entier , il existe des matrices , et telles que , , et cependant , pour toute paire de matrices commutantes et .
Notes et références
[modifier | modifier le code]- (en) M. Gerstenhaber, « On dominance and varieties of commuting matrices », Ann. Math., vol. 73, , p. 324-348 (DOI 10.2307/1970336)
- (en) R. Guralnick, « A note on commuting pairs of matrices », Linear and Multilinear Algebra, vol. 31, , p. 71-75 (DOI 10.1080/03081089208818123)
- (en) T. S. Motzkin et O. Taussky, « Pairs of matrices with property L. II », Trans. Amer. Math. Soc., vol. 80, , p. 387-401 (DOI 10.1090/S0002-9947-1955-0086781-5)
- (en) V. Baranovsky, « The variety of pairs of commuting nilpotent matrices is irreducible », Transform. Groups, vol. 6, no 1, , p. 3-8 (DOI 10.1007/BF01236059)
- (en) Polona Oblak, « The upper bound for the index of nilpotency for a matrix commuting with a given nilpotent matrix », arXiv:math/0701561v2
- (en) Roberta Basili, « Some remarks on varieties of pairs of commuting upper triangular matrices and an interpretation of commuting varieties », arXiv:0803.0722v2
- (en) Tomaž Košir, « On pairs of commuting nilpotent matrices », dans Polona Oblak, arXiv:0712.2813v3
- (en) Heinrich Kuhn, « On commuting nilpotent matrices », Bol. Soc. Bras. Mat., vol. 8, no 2, , p. 117-119 (DOI 10.1007/BF02584725)
- (en) Peter Rosenthal, « Are Almost Commuting Matrices Near Commuting Matrices? », Amer. Math. Month., vol. 76, no 8, , p. 925-926 (DOI 10.2307/2317951)
- (en) Man Duen Choi, « Almost commuting matrices need not be nearly commuting », Proc. Amer. Math. Soc., vol. 102, no 3, , p. 529-533 (DOI 10.1090/S0002-9939-1988-0928973-3)
Bibliographie
[modifier | modifier le code]Serge Lang, Algèbre [détail des éditions]