Eigenvalues are bounded by the operator norm
Statement
Show that for every complex eigenvalue of a real matrix . In other words, .
Hint
If is non-real, take a complex eigenvector with .
Because is real, with real; compute .
Show solutionHide solution
Solution
Idea. For a real eigenvalue the claim is immediate from . For a non-real one, we cannot apply the definition of (a supremum over *real* vectors) directly, so we split the complex eigenvector into its real and imaginary parts.
Step 1: real eigenvalues. If with , then , so .
Step 2: general case. Let with and . The Hermitian norm is . Since is real, with , so
Dividing by gives .
Example. For the rotation , the eigenvalues are with : the bound is sharp. For , .
Remark. The same proof works for every induced norm provided it is extended to complex vectors; the Euclidean case is the easiest because the Hermitian norm splits as above. This inequality is the basic step towards the Gelfand bound .