Proposition. (weak version of Weyl’s Inequality)

For two square matrices , the following inequality is true:

Similarly,

Proof.

Recall the well-known fact about spectral norm:

Then, using the fact that spectral norm is a well-defined norm, we can simply leverage the triangle inequality:

Let’s define some new matrices: , such that . Plugging these new matrices into our inequality (1),

Then, we need only realize that , which implies that

Putting inequalities (1) and (2) together, we get that

The case is similar, but we unfortunately can’t use the triangle inequality directly as is not a norm. But, we can use the triangle inequality indirectly in the following way:

This step is justified since for all . Then,

We can use some clever substitutions as we did earlier for the case to show that is a lower bound for .


For Hermitian matrices and , it is true that

for all . This is Weyl’s Inequality.

A particularly interesting application of these inequalities is in matrix perturbation: if is some small perturbation matrix (with small singular values), then the maximum and minimum singular values of cannot deviate much from the singular values of the original matrix . For Hermitian matrices, since the inequality applies for all the singular values, we know that the entire spectrum must stay stable under perturbation.

Resources: Terry Tao’s blog