Bounded Operator on a Hilbert Space

A linear operator whose action does not increase vector norms by more than a fixed constant; equivalently, a continuous linear map.
Bounded Operator on a Hilbert Space

Let HH be a (complex) Hilbert space. A linear operator A:HHA:H\to H is bounded if there exists a constant C0C\ge 0 such that

AxCxfor all xH. \|Ax\|\le C\|x\| \quad \text{for all } x\in H.

The smallest such constant is the operator norm

A:=supx=1Ax. \|A\| := \sup_{\|x\|=1}\|Ax\|.

Bounded operators are the standard class of operators used to model physical transformations and observables in many finite-dimensional quantum settings.

Equivalent characterizations

For linear maps between normed vector spaces (in particular, Hilbert spaces), the following are equivalent:

  • AA is bounded.
  • AA is continuous (everywhere).
  • AA is continuous at 00.

In finite dimension (e.g. on a ), every is bounded.

Adjoint and basic properties

If AA is bounded on a Hilbert space, then there exists a unique bounded adjoint AA^\ast such that

x,Ay=Ax,yfor all x,yH. \langle x,Ay\rangle = \langle A^\ast x,y\rangle \quad \text{for all } x,y\in H.

Key norm identities/inequalities:

  • A=A\|A^\ast\|=\|A\|.
  • ABAB\|AB\|\le \|A\|\,\|B\|.
  • A2=AA\|A\|^2 = \|A^\ast A\|.

An operator AA is when A=AA=A^\ast.

Example (matrices)

On H=CnH=\mathbb{C}^n, every matrix ACn×nA\in \mathbb{C}^{n\times n} defines a bounded operator, and A\|A\| is the induced norm

A=supx0Ax2x2, \|A\|=\sup_{x\ne 0}\frac{\|Ax\|_2}{\|x\|_2},

equal to the largest singular value of AA.