Développement : Équation de Sylvester : AX + BX = C

Détails/Enoncé :

Soient $A, B \in M_n(\mathbb{R})$ telles que $Sp_\mathbb{C}(A) \bigcup Sp_\mathbb{C}(B)= \{ \lambda : Re(\lambda) < 0 \}$. Alors pour tout $C \in M_n(\mathbb{R})$ l'équation $AX + BX = C$ admet une unique solution dans $M_n(\mathbb{R})$.

Autres années :