Adjoint d'un endomorphisme d'un espace hermitien

Théorème Pour tout endomorphisme de l'espace hermitien il existe un et un seul endomorphisme de tel que pour tout on ait .

Démonstration:

Existence

L'application .

Unicité

, donc est entièrement déterminé par ses coordonnées.

Proposition L'application qui à associe est un semi-endomorphisme de . est involutif, c'est à dire que .

Démonstration: Facile!

Définition s'appelle l'adjoint de .

endomorphisme d'un espace hermitien est dit unitaire lorsque .

endomorphisme d'un espace hermitien est dit hermitien lorsque .

Une matrice carrée à coefficients dans est dite unitaire si elle vérifie .

Une matrice carrée à coefficients dans est dite hermitienne si elle vérifie .

On remarque donc qu'un endomorphisme unitaire est un endomorphisme inversible tel que pour tout et tout de .

Par ailleurs un endomorphisme d'un espace hermitien est hermitien lorsque pour tout et tout de on a .

Sans surprise suite au cas euclidien, un endomorphisme d'un espace hermitien est unitaire si et seulement si il conserve le produit scalaire, i.e.

De même que dans le cas des euclidiens, on note que l'adjoint de l'inverse (quand il existe) est l'inverse de l'adjoint (qui dans ce cas existe nécessairement), que l'orthogonal de l'image est le noyau de l'adjoint, et que l'image de l'adjoint est l'orthogonal du noyau; que .

De même qu'un endomorphisme d'un espace euclidien est orthogonal si et seulement si l'image d'une base orthonormale est orthonormale, un endomorphisme d'un espace hermitien est unitaire si et seulement si l'image d'une base orthonormale est une base orthonormale.

Alors que dans le cas euclidien et dans une base orthonormale la matrice de l'adjoint est la transposée de la matrice, dans le cas hermitien et dans une base orthonormale la matrice de l'adjoint est la conjuguée de la matrice transposée. C'est-à-dire

Conséquence logique de ce qui précède, un endomorphisme est unitaire si et seulement si sa matrice dans une base orthonormale est unitaire.

Et un endomorphisme est hermitien si et seulement si sa matrice dans une base orthonormale est hermitienne.

Les valeurs propres d'une matrice hermitienne (ou d'un endomorphisme hermitien) sont toutes réelles.

Le polynôme caractéristique de est le conjugué du polynôme caractéristique de

On pourra consulter la partie pour plus d'informations sur la structure de l'ensemble des endomorphismes unitaires.

Le spectre d'une matrice unitaire est inclus dans le cercle unité; son déterminant appartient donc aussi à ce cercle unité.

Proposition [Sur les endomorphismes hermitiens] L'image et le noyau d'un endomorphisme hermitien sont orthogonaux.

Les sous-espaces propres d'un endomorphisme hermitien sont en somme directe orthogonale.

Si est un endomorphisme hermitien et si est un sous-espace stable par alors est stable par qui induit sur cet espace un endomorphisme hermitien.

Si est un endomorphisme hermitien, alors est diagonalisable dans une certaine base orthonormale.

Démonstration: Même principe que dans le cas euclidien.

De même, si est une matrice complexe hermitienne, alors il existe unitaire telle que soit diagonale.