Soit E un espace hermitien de dimension finie n non nulle.

Définition : Une matrice AMn(C) est unitaire si elle est inversible et si A1=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)={AU(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 uL(E).

Les conditions suivantes sont équivalentes :

  • u est un endomorphisme unitaire de E.
  • u(x)=x pour tout xE.
  • (u(x)|u(y))=(x|y) pour tous x,yE.
  • uGL(E) et u=u1.
  • 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)={uU(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.