The numerical range of a real matrix is an interval
Statement
Let and . Show that
Hint
Show that . Then use the Rayleigh principle for the endpoints, and connectedness of the unit sphere for the interior.
Show solutionHide solution
Solution
Step 1: only the symmetric part matters. is a real number, so it equals its transpose . Hence .
Step 2: the endpoints. is symmetric; let be its eigenvalues with an orthonormal eigenbasis . For a unit vector we have and
with equality at and . So and of on the sphere are and .
Step 3: no gaps. The function is continuous. For the unit sphere is connected, so its image is a connected subset of , i.e. an interval, and it is compact. An interval containing and and contained in is the whole of . (For the sphere is and both sides equal .)
Explicit path. For a direct proof, gives , which sweeps as .
Remark. For complex matrices the numerical range is a convex set in (Toeplitz-Hausdorff theorem), not an interval. The real quadratic form only sees , which is why a skew-symmetric has numerical range .