Sylvesters ojämlikhet är förhållandet mellan rangen för produkten av matriser och rangordningen för de ursprungliga matriserna :
,där är antalet kolumner i matrisen och antalet rader i matrisen . Uppkallad efter den engelske matematikern James Sylvester från 1800-talet .
Resultatet följer direkt av Frobenius-ojämlikheten ( är identitetsmatrisen ): [1] .