Commutativité
Le théorème spectral pour les opérateurs auto-adjoints et normaux et le calcul fonctionnel peuvent également être utilisés pour résoudre certains problèmes concernant la commutativité. C’est un sujet profond et vaste ; nous en discutons deux théorèmes, plus pour illustrer certaines méthodes que pour les résultats eux-mêmes.
Théorème 1. Deux transformations auto-adjointes et sur un espace produit scalaire de dimension finie commutent si et seulement s’il existe une transformation auto-adjointe et deux fonctions à valeurs réelles et d’une variable réelle telles que et . Si un tel existe, alors on peut même choisir sous la forme , où est une fonction convenable à valeurs réelles de deux variables réelles.
Démonstration. La suffisance de la condition est évidente ; nous démontrons seulement la nécessité.
Soient et les formes spectrales de et de ; comme et commutent, il résulte du Section : Théorème spectral , Théorème 3, que et commutent. Soit une fonction quelconque de deux variables réelles telle que les nombres soient tous distincts, et posons (Il est clair que peut même être choisie comme un polynôme, et il en va de même des fonctions et que nous allons décrire.) Soient et telles que et pour tous et . Il s’ensuit que et , et tout est démontré. ◻
Théorème 2. Si est une transformation normale sur un espace unitaire de dimension finie et si est une transformation arbitraire qui commute avec , alors commute avec .
Démonstration. Soient la forme spectrale de ; alors . Soit une fonction (polynôme) d’une variable complexe telle que pour tout . Puisque , la conclusion s’ensuit. ◻
EXERCICES
Exercice 1.
- Démontrer la généralisation suivante du théorème 2 : si et sont des transformations normales (sur un espace unitaire de dimension finie) et si , alors .
- Le théorème 2 affirme que la relation de commutativité est parfois transitive : si commute avec et si commute avec , alors commute avec . Cette formulation reste-t-elle vraie si est remplacée par une transformation arbitraire ?
Exercice 2.
- Si commute avec , s’ensuit-il que est normale ?
- Si commute avec , s’ensuit-il que est normale ?
Exercice 3.
- Une transformation linéaire est normale si et seulement s’il existe un polynôme tel que .
- Si est normale et commute avec , alors commute avec .
- Si et sont normales et commutent, alors est normale.
Exercice 4. Si et sont normales et semblables, alors elles sont unitairement équivalentes.
Exercice 5.
- Si est hermitienne, si chaque valeur propre de a la multiplicité , et si , alors il existe un polynôme tel que .
- Si est hermitienne, alors une condition nécessaire et suffisante pour qu’il existe un polynôme tel que est que commute avec toute transformation linéaire qui commute avec .
Exercice 6. Montrer qu’un ensemble commutatif de transformations normales sur un espace unitaire de dimension finie peut être diagonalisé simultanément.