Maths WorkshopMaths problems with full solutions
Exercise 660Topology › Topology of Mn(ℝ) › Rank, spectrum and normsL2Added 6 Nov 2026

The numerical range of a real matrix is an interval

#Rayleigh quotient#connectedness#compactness#symmetric part

Statement

Let A∈Mn(R)A\in M_n(\mathbb{R}) and S=A+AT2S=\frac{A+A^T}2. Show that
{xTAx: x∈Rn, ∣x∣=1}=[λmin⁡(S),λmax⁡(S)].\{x^TAx:\ x\in\mathbb{R}^n,\ |x|=1\}=[\lambda_{\min}(S),\lambda_{\max}(S)].

Hint

Show that xTAx=xTSxx^TAx=x^TSx. 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. xTAxx^TAx is a real number, so it equals its transpose xTATxx^TA^Tx. Hence xTAx=12(xTAx+xTATx)=xTSxx^TAx=\frac12(x^TAx+x^TA^Tx)=x^TSx.

Step 2: the endpoints. SS is symmetric; let λ1≤⋯≤λn\lambda_1\le\dots\le\lambda_n be its eigenvalues with an orthonormal eigenbasis v1,…,vnv_1,\dots,v_n. For a unit vector x=∑civix=\sum c_iv_i we have ∑ci2=1\sum c_i^2=1 and
xTSx=∑iλici2∈[λ1,λn],x^TSx=\sum_i\lambda_ic_i^2\in[\lambda_1,\lambda_n],
with equality at x=v1x=v_1 and x=vnx=v_n. So min⁡\min and max⁡\max of xTSxx^TSx on the sphere are λmin⁡\lambda_{\min} and λmax⁡\lambda_{\max}.

Step 3: no gaps. The function x↦xTSxx\mapsto x^TSx is continuous. For n≥2n\ge2 the unit sphere Sn−1S^{n-1} is connected, so its image is a connected subset of R\mathbb{R}, i.e. an interval, and it is compact. An interval containing λmin⁡\lambda_{\min} and λmax⁡\lambda_{\max} and contained in [λmin⁡,λmax⁡][\lambda_{\min},\lambda_{\max}] is the whole of [λmin⁡,λmax⁡][\lambda_{\min},\lambda_{\max}]. (For n=1n=1 the sphere is {±1}\{\pm1\} and both sides equal {a}\{a\}.)

Explicit path. For a direct proof, x(t)=cos⁡t v1+sin⁡t vnx(t)=\cos t\,v_1+\sin t\,v_n gives x(t)TSx(t)=λ1cos⁡2t+λnsin⁡2tx(t)^TSx(t)=\lambda_1\cos^2t+\lambda_n\sin^2t, which sweeps [λ1,λn][\lambda_1,\lambda_n] as t∈[0,π/2]t\in[0,\pi/2].

Remark. For complex matrices the numerical range is a convex set in C\mathbb{C} (Toeplitz-Hausdorff theorem), not an interval. The real quadratic form only sees SS, which is why a skew-symmetric AA has numerical range {0}\{0\}.