Deje que $A$ una matriz spd (simétrica positiva definitiva) y $B$ una matriz definida seminegativa simétrica. Es tr $AB \leq 0$ y más general es $AB$ seminegativo definitivo?
Conozco ese tr $AB \leq 0$ sigue de $AB$ seminegativo definido desde los valores propios $ \lambda $ de $AB$ son no positivos y por lo tanto tr $AB= \sum_ { \lambda \in spec\ A} \lambda \leq 0$ . Pero no sé cómo averiguar algo sobre la definición de $AB$ . Creo que en general no hay nada que pueda decir sobre los valores propios de $AB$ .
¡Gracias de antemano!