Matrice définie positive - Définition
En algèbre linéaire, la notion de matrice définie positive est analogue à celle de nombre réel strictement positif.
On introduit tout d'abord les notations suivantes ; si a est une matrice à éléments réels ou complexes :
- aT désigne la transposée de a
- a * désigne la matrice transconjuguée de a (conjuguée de la transposée)
On rappelle que :
désigne le corps des nombres réels
désigne le corps des nombres complexes
Matrice symétrique réelle définie positive
Soit M une matrice symétrique réelle d'ordre n. Elle est dite définie positive si elle vérifie l'une des 3 propriétés équivalentes suivantes :
| 1. | Pour toute matrice colonne non nulle  à n éléments réels, on a
|
| 2. | Toutes les valeurs propres de M sont strictement positives, c'est-à-dire :
|
| 3. | La forme bilinéaire symétrique définie par la relation
est un produit scalaire sur |
0" />.![\ \mathrm{sp}(M) \subset\, ]0,\, +\infty[\,](https://static.techno-science.net/illustration/Definitions/autres/7/72bacc4282291424eb1bfc3ffecdb90e_adb88ad67a03e8ea117ffbc91f151a8d.png){kind=small}
.
Une matrice symétrique réelle est dite définie négative si son opposée (symétrique elle aussi) est définie positive.
La propriété 1 signifie que M définit une 
une forme quadratique définie positive, la propriété 2 que sur , vu comme espace euclidien avec le produit scalaire 
=\sum_{i=1}^nx_iy_i" />, M définit un opérateur auto-adjoint positif. L'équivalence entre 1 et 2 vient de cette double interprétation, à la lumière de la réduction de Gauss et du théorème spectral. Si 1 est vraie, sachant que les valeurs propres d'une matrice symétrique réelle sont réelles, on voit en appliquant 1 aux vecteurs propres que les valeurs propres sont strictement positives. Si 2 est vraie, il existe une matrice orthogonale 
telle que 
soit diagonale (parce que 
est symétrique réelle) à coefficients diagonaux positifs (c'est l'hypothèse 2 sur les valeurs propres). Mais comme Q − 1 = tQ, la matrice est aussi congrue à la matrice diagonale en question, donc la forme quadratique 
est définie positive.
Exemple : matrice de Hilbert
On appelle matrice de Hilbert la matrice (symétrique d'ordre n) 
, telle que 
. Elle est définie positive.
- En effet, soit une matrice colonne quelconque à n éléments réels
. - On remarque que
. Alors, par linéarité de l'intégrale : 
,- d'où enfin :
. - Dans cette dernière intégrale, l'intégrande est continu et à valeurs positives. Par conséquent :
;- si
, alors pour tout ![t \in\, [0,\, 1],\, \left(\sum_{i = 1}^nx_i\, t^{i - 1}\right)^2 = 0](https://static.techno-science.net/illustration/Definitions/autres/9/96cce4f327d06e4b1a2d5b320cf8b599_cfc443898ba5718a226bea39ded5bef2.png)
.
- Donc pour tout
![t \in\, [0,\, 1],\, \sum_{i = 1}^nx_i\, t^{i - 1} = 0](https://static.techno-science.net/illustration/Definitions/autres/d/da2dbaf428a077efc68b426d5caedf63_396f87cb98c78baab2d303e9fc657e03.png)
. - Il en résulte que les
, coefficients d'un polynôme admettant une infinité de racines, sont tous nuls, c'est-à-dire 
.
- Ceci prouve que
0" /> pour toute matrice colonne non nulle à n éléments réels.
Nota : ceci est un cas particulier d'une propriété des matrices de Gram. La matrice de Gram d'une famille de n vecteurs d'un espace préhilbertien (réel ou complexe) est définie positive si et seulement si la famille est libre.,
Matrice hermitienne définie positive
On étend les propriétés et définitions précédentes aux matrices complexes hermitiennes.
Soit M une matrice hermitienne d'ordre n. Elle est dite définie positive si elle vérifie l'une des 4 propriétés équivalentes suivantes :
| 1. | Pour toute matrice colonne non nulle  à n éléments complexes, on a
|
| 2. | Toutes les valeurs propres de M sont strictement positives, c'est-à-dire :
|
| 3. | La forme sesquilinéaire définie par la relation
est un produit scalaire sur |
0" />.
(identifié ici à l'espace vectoriel des matrices colonnes à Une matrice hermitienne est dite définie négative si son opposée (hermitienne elle aussi) est définie positive.
Propriétés
Les propriétés suivantes sont communes aux matrices symétriques réelles et aux matrices complexes hermitiennes.
- Toute matrice définie positive est inversible (à déterminant réel strictement positif), et son inverse est elle aussi définie positive.
- Si M est définie positive et r est un nombre réel strictement positif, alors rM est définie positive.
- Si M et N sont définies positives, alors M + N est définie positive.
- Si M et N sont définies positives, et si MN = NM (on dit qu'elles commutent), alors MN est définie positive.
- Une matrice M est définie positive si et seulement s'il existe une matrice définie positive A telle que A2 = M ; dans ce cas, la matrice définie positive A est unique, et on peut la noter A = M1 / 2
Critère de Sylvester
Pour qu'une matrice 
, symétrique réelle ou complexe hermitienne, soit définie positive, il faut et suffit que les les n matrices 
aient leur déterminant strictement positif.