Inegalitatea lui Sylvester este raportul dintre rangul produsului matricelor cu rangurile matricelor originale :
,unde este numărul de coloane ale matricei și numărul de rânduri ale matricei . Numit după matematicianul englez din secolul al XIX-lea James Sylvester .
Rezultatul rezultă direct din inegalitatea Frobenius ( este matricea identităţii ): [1] .