## 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 be an everywhere defined linear operator on a Hilbert space with for all and in . Then is bounded.

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

The Hellinger-Toeplitz theorem is an immediate consequence of the closed graph theorem. The graph of a linear operator is defined as follows:

Definition (Graph)
Let be a linear map from one normed linear space into another. Its graph is the set

The closed graph theorem states:

Theorem (Closed graph theorem)
Let be a linear operator mapping from one Banach space into another. Then is bounded if and only if its graph is closed.

One can show that for an everywhere defined linear operator the symmetry implies that the graph is closed and hence, the closed graph theorem gives that the operator is bounded.