Si es una matriz hermítica, entonces es definida positiva si y sólo si sus principales principales menores tienen determinante positivo, es decir, las siguientes matrices tienen determinante positivo:
Me preguntaba si en el caso semidefinido positivo, la condición equivalente en todas las matrices anteriores sería no negativa (determinante 0).
Para una matriz hermitiana para ser positivo semidefinido, es necesario que sus principales principales menores sean no negativos, pero no es suficiente como muestra el siguiente ejemplo:
Considere la matriz
Para comprobar si una matriz hermítica es positivo semidefinido, se debe probar si todos los principales menores (no solo los principales principales menores) son no negativos. ( prueba )
Si nos fijamos en el ejemplo anterior, los menores principales son
Vemos eso es negativa, por lo que la matriz no es semidefinida positiva.
Sam