Las matrices A, B y C satisfacen ABC=B.
La condición para que se cumpla el signo de igualdad de la desigualdad de Sylvester es: las matrices A, B y C satisfacen ABC=B. La desigualdad de Sylvester, también conocida como desigualdad de Frobenius, se refiere a la importante relación entre el rango de un producto matricial y los rangos de sus factores.