Théorème de Specht

En mathématiques, le théorème de Specht donne une condition nécessaire et suffisante pour que deux matrices soient unitairement équivalentes . Il porte le nom de Wilhelm Specht, qui a prouvé le théorème en 1940[1].

Présentation

Deux matrices et sont dites unitairement équivalentes s'il existe une matrice unitaire U telle que [2]. Deux matrices unitairement équivalentes sont également semblables. Deux matrices semblables représentent la même application linéaire, mais par rapport à une base différente ; l'équivalence unitaire correspond au passage d'une base orthonormée à une autre base orthonormée.

Si A et B sont unitairement équivalentes, alors , où désigne la trace ; en d'autres termes, la norme de Frobenius est un invariant unitaire. Ceci résulte de l'invariance cyclique de la trace : si , alors , où la seconde égalité est l'invariance cyclique[3].

Ainsi, l'égalité est une condition nécessaire à l'équivalence unitaire, mais elle n'est pas suffisante. Le théorème de Specht donne une infinité de conditions nécessaires qui, ensemble, sont également suffisantes. La formulation du théorème utilise la définition suivante. Un mot en deux variables x et y, est une expression de la forme

sont des nombres entiers positifs. La longueur d'un mot est la somme de ses exposants :

Théorème de Specht[4].  Deux matrices et sont unitairement équivalentes si et seulement si pour tous les mots .

Cas particuliers

Le théorème donne un nombre infini d'identités de traces, mais cet ensemble peut être réduit à un sous-ensemble fini. Soit n la taille des matrices et . Pour le cas , les trois conditions suivantes sont suffisantes[5]  :

et

Pour n = 3, les sept conditions suivantes sont suffisantes[6]  :

 

Pour n quelconque, il suffit[7] de montrer que pour tous les mots de longueur au plus

.

Il a été conjecturé[8] que cette expression peut être réduite à une expression linéaire en n .

Des développements du théorème ont été donnés dans des cas plus généraux[9],[10].

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Specht's theorem » (voir la liste des auteurs).

Bibliographie

Articles liés

  • Portail des mathématiques
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.