Math 2.0

Operator theory Spectral theory: foundations Theorem

Toeplitz–Hausdorff theorem

Builds on Numerical rangeHilbert spaceConvex set

Statement

Let HH be a complex Hilbert space and let T ⁣:H→HT \colon H \to H be a bounded linear operator. Then the numerical range W(T)={⟨Tx,x⟩:x∈H, ∥x∥=1}W(T) = \set{\ip{Tx}{x} : x \in H, \ \norm{x} = 1} is a convex subset of ℂ\C.

Remarks

Proof idea: take two points ⟨Tx,x⟩\ip{Tx}{x} and ⟨Ty,y⟩\ip{Ty}{y} of W(T)W(T) and let MM be the span of the unit vectors xx and yy. The numerical range of the compression PMT∣MP_M T|_M of TT to MM is contained in W(T)W(T) and contains both points, so it is enough to treat a 2×22 \times 2 matrix. For a 2×22 \times 2 matrix, a direct computation shows that the numerical range is a closed elliptical disc with foci at the two eigenvalues. The disc may degenerate to a segment or a point.

Example: for T=(100−1)T = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} on ℂ2\C^2 and a unit vector x=(x1,x2)x = (x_1, x_2), one gets ⟨Tx,x⟩=∣x1∣2−∣x2∣2\ip{Tx}{x} = \abs{x_1}^2 - \abs{x_2}^2, so W(T)=[−1,1]W(T) = [-1, 1], a convex set. The set {1,−1}\set{1, -1} of eigenvalues is not convex, but W(T)W(T) fills in the segment between them.

Going deeper

For a student

The numerical range contains the eigenvalues of TT, and its closure contains the spectrum. With convexity, the closure of W(T)W(T) contains the convex hull of the spectrum, with equality for normal operators. The numerical radius w(T)=sup⁡{∣z∣:z∈W(T)}w(T) = \sup \set{\abs{z} : z \in W(T)} satisfies 12∥T∥≤w(T)≤∥T∥\tfrac12 \norm{T} \le w(T) \le \norm{T}, so it is a norm on bounded operators equivalent to the operator norm.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Convex set concept
  2. Hilbert space concept
  3. Numerical range concept
  4. Toeplitz–Hausdorff theorem statement

Where this leads

1 page builds on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Numerical_range
About this page
Tag8TV0DJBBAY
URIm2://8TV0DJBBAY
Kindstatement, theorem
WritingW0 stub
MSC47A12, 15A60
StatusThis copy of the site has no build data. Run m2 status 8TV0DJBBAY.
AboutNumerical range
UsesNumerical range, Hilbert space, Convex set
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by