Soit E un espace hermitien de dimension finie n non nulle.
Définition : Une matrice A∈Mn(C) est unitaire si elle est inversible et si A−1=A∗.
Propriétés :
- L’ensemble des matrices unitaires de Mn(C), noté U(n) est un sous-groupe du groupe GLn(C), appelé groupe unitaire de degré n.
- L’ensemble SU(n)={A∈U(n)/det(A)=1} est un sous-groupe de U(n), appelé groupe spécial unitaire de degré n.
Théorème-Définition : Soit u∈L(E).
Les conditions suivantes sont équivalentes :
- u est un endomorphisme unitaire de E.
- ‖u(x)‖=‖x‖ pour tout x∈E.
- (u(x)|u(y))=(x|y) pour tous x,y∈E.
- u∈GL(E) et u∗=u−1.
- Pour toute base orthonormée e de E, Mat(u,e)∈U(n).
- Pour toute base orthonormée (e1,…,en) de E, (u(e1),…,u(en)) est une base orthonormée de E.
Remarque : Les endomorphismes unitaires sont les analogues des endomorphismes orthogonaux pour les espaces hermitiens.
Propriétés :
- L’ensemble des endomorphismes unitaires de E, noté U(E) est un sous-groupe du groupe GL(E), appelé groupe unitaire de E.
- L’ensemble SU(E)={u∈U(E)/det(u)=1} est un sous-groupe de U(E), appelé groupe spécial unitaire de E.
Proposition : Soit u un endomorphisme unitaire de E.
- Si F est un sous-espace de E stable par u, alors F⊥ est stable par u.
- Si λ∈C est valeur propre de u, alors λ est de module 1.
Théorème : Soit u un endomorphisme unitaire de E.
Il existe une base orthonormée de E formée de vecteurs propres pour u, et les valeurs propres de u sont de module 1.