157 Matrices symétriques réelles, matrices hermitiennes.
Matrices symétriques réelles, matrices hermitiennes.
algebra
Soit ou et soit un entier.
Généralités
Espaces et
Notation 1. Soit . On note
Définition 2. Soit .
On dit que est symétrique si . On note l’ensemble des matrices symétriques à coefficients réels.
On dit que est antisymétrique si . On note l’ensemble des matrices antisymétriques à coefficients réels.
Proposition 3.
et sont des sous-espaces vectoriels de de dimensions respectives et .
.
Définition 4. Soit . On dit que est hermitienne si . On note l’ensemble des matrices hermitiennes à coefficients complexes.
Proposition 5.
Corollaire 6. est un sous-espace vectoriel du -espace vectoriel de dimension .
Positivité
Définition 7. Soit un produit scalaire sur .
Si , une matrice symétrique est dite positive si et elle est dite définie positive si l’inégalité précédente est stricte pour tout . On note respectivement et l’ensemble des matrices symétriques positives et définies positives.
Si , ces définitions sont valables. On note respectivement et l’ensemble des matrices hermitiennes positives et définies positives.
Proposition 8. Soit . Alors (resp. ) si et seulement si toutes ses valeurs propres sont positives (resp. strictement positives).
Corollaire 9. Soit . Alors si et seulement s’il existe telle que .
Théorème 10 (Critère de Sylvester). Une matrice symétrique est définie positive si et seulement si tous ses mineurs principaux sont strictement positifs.
Corollaire 11. est un ouvert de .
Lemme 12. Soit . Alors, où est l’application qui a une matrice y associe son rayon spectral.
homeomorphisme-de-l-exponentielle
Théorème 13. L’application est un homéomorphisme.
Lien avec l’algèbre bilinéaire
Soit un espace vectoriel sur de dimension .
Définition 14. Soit une application.
On dit que est une forme bilinéaire sur si pour tout , et pour tout , sont linéaires.
Si , on dit que est une forme sesquilinéaire sur si pour tout , est linéaire et pour tout , est antilinéaire (ie. , , et ).
Exemple 15.
Toute forme sesquilinéaire sur est une forme bilinéaire lorsque est considéré comme un espace vectoriel sur .
L’application est une forme sesquilinéaire sur .
Définition 16. On définit la matrice d’une forme bilinéaire (ou sesquilinéaire) dans une base de par
Remarque 17. Soit une base de . Soient et . Soit une forme bilinéaire ou sesquilinéaire, dont on note sa matrice dans le base . On a :
Définition 18. Soit une forme bilinéaire sur . On dit que :
est symétrique si .
est antisymétrique si .
Si , on dit que est hermitienne si .
Proposition 19.
Une forme bilinéaire est symétrique (resp. antisymétrique) si et seulement si sa matrice dans une base est symétrique (resp. antisymétrique).
Une forme sesquilinéaire est hermitienne si et seulement si sa matrice dans une base est hermitienne.
Définition 20. On appelle forme quadratique sur toute application de la forme où est une forme bilinéaire symétrique sur .
Proposition 21. Soit une forme quadratique sur . Il existe une unique forme bilinéaire symétrique telle que pour tout , .
est alors la forme polaire de , et on a
Exemple 22. La matrice symétrique définit la forme quadratique .
Réductions, décompositions
Réductions
Définition 23. Soit telle que .
Si , on dit que est orthogonale. On note l’ensemble des matrices orthogonales à coefficients réels.
Si , on dit que est unitaire. On note l’ensemble des matrices unitaires à coefficients complexes.
Théorème 24 (Spectral). Soit (resp. ). Alors il existe (resp. ) telle que où est une matrice diagonale réelle.
Remarque 25. En reprenant les notations précédentes, cela revient à dire qu’un endomorphisme ayant pour matrice dans une base est diagonalisable dans une base orthonormée.
Corollaire 26. Soient (resp. ) définies positives. Alors il existe inversible telle que où est une matrice diagonale réelle.
Application 27.
Comme application du Théorème 24, on a les résultats suivants.
Application 28 (Norme euclidienne sur ). Soit de valeurs propres . On a
Application 29 (Diagonalisation simultanée). Soit une famille de matrices symétriques. Alors, il existe telle que pour tout , la matrice est diagonale si et seulement si pour tout .
Application 30 (Racine carrée dans et ). et on a le même résultat en remplaçant par .
Théorème 31 (Loi d’inertie de Sylvester). Soit . Alors, il existe et un unique couple d’entiers tels que
Définition 32. Le couple précédent est la signature de .
Proposition 33. Soit une forme quadratique de forme polaire sur . Alors les conditions suivantes sont équivalentes :
est un produit scalaire.
est de signature .
La matrice de dans une base de est de la forme avec .
La matrice de dans une base de est de la forme avec triangulaire supérieure.
Remarque 34. Soit de signature . Alors, (resp. ) est le nombre de valeurs propres de strictement positives (resp. strictement négatives).
Corollaire 35. Soient . Alors et sont congruentes si et seulement si elles sont de même signature.
Application 36.
Décompositions
decomposition-polaire
Application 37 (Décomposition polaire). L’application est un homéomorphisme.
Corollaire 38. Tout sous-groupe compact de qui contient est .
Définition 39. Les sous-matrices principales d’une matrice sont les matrices où . Les déterminants principaux sont les déterminants des matrices , pour .
Théorème 40 (Décomposition lower-upper). Soit . Alors, admet une décomposition (où est une matrice triangulaire inférieure à diagonale unité et une matrice triangulaire supérieure) si et seulement si tous les déterminants principaux de sont non nuls. Dans ce cas, une telle décomposition est unique.
Corollaire 41. Soit . Alors, on a l’unique décomposition de : où est une matrice triangulaire inférieure et une matrice diagonale.
Application 42 (Décomposition de Cholesky). Soit . Alors, si et seulement s’il existe triangulaire inférieure telle que . De plus, une telle décomposition est unique si on impose la positivité des coefficients diagonaux de .
Exemple 43. On a la décomposition de Cholesky :
Applications
Géométrie différentielle
Lemme 44. Soit inversible. Alors il existe un voisinage de dans et une application de classe telle que
Lemme 45 (Morse). Soit une fonction de classe (où désigne un ouvert de contenant l’origine). On suppose :
.
La matrice symétrique est inversible.
La signature de est .
Alors il existe un difféomorphisme de classe entre deux voisinage de l’origine de et tel que et
Application 46. Soit la surface d’équation où est de classe au voisinage de l’origine. On suppose la forme quadratique non dégénérée. Alors, en notant le plan tangent à en :
Si est de signature , alors est au-dessus de au voisinage de .
Si est de signature , alors est en-dessous de au voisinage de .
Si est de signature , alors traverse selon une courbe admettant un point double en .
Résolution de systèmes linéaires
Proposition 47. Soit vérifiant les hypothèses du Théorème 40. On définit la suite où et , est la matrice obtenue à partir de à l’aide du pivot de Gauss sur la -ième colonne. Alors, est la matrice de la décomposition du Théorème 40.
Remarque 48. Pour résoudre un système linéaire , on se ramène à en . Puis, on résout deux
systèmes triangulaires en cascade
: ceux-ci demandant chacun opérations.