Veo en wikipedia que es el producto de dos matrices definidas positivas simétricas definida positiva. ¿Tiene el mismo resultado para el producto de dos matrices semidefinite positivas?
Mi prueba de la caja definida positiva cae aparte para el caso semidefinite debido a la posibilidad de división por cero...