Why we care about domains of unbounded operators: The Hellinger-Toeplitz theorem


Here is a sufficient condition for a linear operator to be bounded:

Theorem (Hellinger-Toeplitz theorem)
Let A be an everywhere defined linear operator on a Hilbert space X with (x,Ay) = (Ax,y) for all x and y in X. Then A is bounded.

This theorem states that an everywhere defined linear operator on a Hilbert space H that is symmetric everywhere on H is always bounded. The Hellinger-Toeplitz theorem implies that an unbounded symmetric operator cannot be defined on all of H! It tells you that when dealing with unbounded operators it is very important to specify the domain on which the operator is defined.

Continue reading ⊕