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
Soit . On note
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.
et sont des sous-espaces vectoriels de de dimensions respectives et .
.
Soit . On dit que est hermitienne si . On note l’ensemble des matrices hermitiennes à coefficients complexes.
est un sous-espace vectoriel du -espace vectoriel de dimension .
Positivité
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.
Soit . Alors (resp. ) si et seulement si toutes ses valeurs propres sont positives (resp. strictement positives).
Soit . Alors si et seulement s’il existe telle que .
Critère de SylvesterUne matrice symétrique est définie positive si et seulement si tous ses mineurs principaux sont strictement positifs.
est un ouvert de .
Soit . Alors, où est l’application qui a une matrice y associe son rayon spectral.
homeomorphisme-de-l-exponentielle
L’application est un homéomorphisme.
Lien avec l’algèbre bilinéaire
Soit un espace vectoriel sur de dimension .
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 ).
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 .
On définit la matrice d’une forme bilinéaire (ou sesquilinéaire) dans une base de par
Soit une base de . Soient et . Soit une forme bilinéaire ou sesquilinéaire, dont on note sa matrice dans le base . On a :
Soit une forme bilinéaire sur . On dit que :
est symétrique si .
est antisymétrique si .
Si , on dit que est hermitienne si .
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.
On appelle forme quadratique sur toute application de la forme où est une forme bilinéaire symétrique sur .
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
La matrice symétrique définit la forme quadratique .
Réductions, décompositions
Réductions
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 spectralSoit (resp. ). Alors il existe (resp. ) telle que où est une matrice diagonale réelle.
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.
Soient (resp. ) définies positives. Alors il existe inversible telle que où est une matrice diagonale réelle.
Comme application du 24, on a les résultats suivants.
Norme euclidienne sur Soit de valeurs propres . On a
Diagonalisation simultanéeSoit une famille de matrices symétriques. Alors, il existe telle que pour tout , la matrice est diagonale si et seulement si pour tout .
Racine carrée dans et et on a le même résultat en remplaçant par .
Loi d’inertie de SylvesterSoit . Alors, il existe et un unique couple d’entiers tels que
Le couple précédent est la signature de .
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.
Soit de signature . Alors, (resp. ) est le nombre de valeurs propres de strictement positives (resp. strictement négatives).
Soient . Alors et sont congruentes si et seulement si elles sont de même signature.
Décompositions
decomposition-polaire
Décomposition polaire. L’application est un homéomorphisme.
Tout sous-groupe compact de qui contient est .
Les sous-matrices principales d’une matrice sont les matrices où . Les déterminants principaux sont les déterminants des matrices , pour .
Décomposition lower-upperSoit . 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.
Soit . Alors, on a l’unique décomposition de : où est une matrice triangulaire inférieure et une matrice diagonale.
Décomposition de CholeskySoit . 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 .
On a la décomposition de Cholesky :
Applications
Géométrie différentielle
Soit inversible. Alors il existe un voisinage de dans et une application de classe telle que
Lemme de MorseSoit 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 voisinages de l’origine de et tel que et
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
Soit vérifiant les hypothèses du 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 40.
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.