Sylvesterova nerovnost je poměr hodnosti součinu matic k hodnostem původních matic :
,kde je počet sloupců matice a počet řádků matice . Pojmenováno po anglickém matematikovi 19. století Jamesi Sylvesterovi .
Výsledek vyplývá přímo z Frobeniovy nerovnosti ( je matice identity ): [1] .