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