Soient
A et
B deux matrices hermitiennes avec
A définie positive.
Montrer que
AB est semblable à une matrice hermitienne qui est définie positive si
B l'est.
Si, au lieu d'être définie positive,
A est juste définie semi-positive, alors
AB n'a pas besoin d'être diagonalisable.