Math 2.0

Operator theory Invariant subspaces and dilations Theorem

von Neumann's inequality

Builds on Hilbert spacePolynomial function

Statement

Let HH be a complex Hilbert space and let T ⁣:H→HT \colon H \to H be a bounded linear operator with ∥T∥≤1\norm{T} \le 1. Then for every polynomial pp with complex coefficients, ∥p(T)∥≤sup⁡{∣p(z)∣:z∈ℂ, ∣z∣≤1}.\norm{p(T)} \le \sup \set{\abs{p(z)} : z \in \C, \ \abs{z} \le 1}.

Remarks

Proof idea: by Sz.-Nagy's dilation theorem there is a unitary UU on a larger space K⊇HK \supseteq H with Tn=PHUn∣HT^n = P_H U^n|_H for n≥0n \ge 0, so p(T)=PH p(U)∣Hp(T) = P_H \, p(U)|_H. Hence ∥p(T)∥≤∥p(U)∥\norm{p(T)} \le \norm{p(U)}. Since UU is unitary, its spectrum lies on the unit circle. So ∥p(U)∥\norm{p(U)} is the maximum of ∣p∣\abs{p} on the spectrum, which is at most the maximum of ∣p∣\abs{p} on the closed unit disc.

Example: for the nilpotent contraction T=(0100)T = \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix} and p(z)=1+zp(z) = 1 + z, one has p(T)=(1101)p(T) = \begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix} with norm 1+52≈1.618\tfrac{1 + \sqrt 5}{2} \approx 1.618, which is at most max⁡∣z∣≤1∣1+z∣=2\max_{\abs{z} \le 1} \abs{1 + z} = 2.

The Hilbert space structure matters. On a Banach space a contraction need not satisfy the inequality. The inequality extends to two commuting contractions (Andô's theorem) but fails in general for three commuting contractions.

Going deeper

For a student

The inequality lets one define f(T)f(T) for every ff in the disc algebra, the uniform closure of the polynomials on the closed disc, with ∥f(T)∥≤∥f∥∞\norm{f(T)} \le \norm{f}_\infty. This is the start of the holomorphic functional calculus of contractions developed by Sz.-Nagy and Foias. Its failure for three commuting contractions shows that multivariable operator theory differs from the one-variable theory.

Reading path

To understand this page from the ground up, read these 3 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. Hilbert space concept
  2. Polynomial function concept
  3. von Neumann's inequality statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Von_Neumann%27s_inequality
About this page
Tag7KS1W5K54S
URIm2://7KS1W5K54S
Kindstatement, theorem
WritingW0 stub
MSC47A63, 47A20
StatusThis copy of the site has no build data. Run m2 status 7KS1W5K54S.
AboutHilbert space
UsesHilbert space, Polynomial function
Same as
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

No page links to this page yet.