La desigualdad de Sylvester es la razón del rango del producto de matrices con los rangos de las matrices originales :
,donde es el número de columnas de la matriz y el número de filas de la matriz . Llamado así por el matemático inglés del siglo XIX James Sylvester .
El resultado se sigue directamente de la desigualdad de Frobenius ( es la matriz identidad ): [1] .