Infunctional analysis, a branch ofmathematics, theHellinger–Toeplitz theorem states that an everywhere-definedsymmetric operator on aHilbert space withinner product isbounded. By definition, an operatorA issymmetric if
for allx,y in the domain ofA. Note that symmetriceverywhere-defined operators are necessarilyself-adjoint, so this theorem can also be stated as follows: an everywhere-defined self-adjoint operator is bounded. The theorem is named afterErnst David Hellinger andOtto Toeplitz.
This theorem can be viewed as an immediate corollary of theclosed graph theorem, as self-adjoint operators areclosed. Alternatively, it can be argued using theuniform boundedness principle. One relies on the symmetric assumption, therefore the inner product structure, in proving the theorem. Also crucial is the fact that the given operatorA is defined everywhere (and, in turn, the completeness of Hilbert spaces).
The Hellinger–Toeplitz theorem reveals certain technical difficulties in themathematical formulation of quantum mechanics.Observables in quantum mechanics correspond to self-adjoint operators on some Hilbert space, but some observables (like energy) are unbounded. By Hellinger–Toeplitz, such operators cannot be everywhere defined (but they may be defined on adense subset). Take for instance thequantum harmonic oscillator. Here the Hilbert space isL2(R), the space of square integrable functions onR, and the energy operatorH is defined by (assuming the units are chosen such that ℏ = m = ω = 1)
This operator is self-adjoint and unbounded (itseigenvalues are 1/2, 3/2, 5/2, ...), so it cannot be defined on the whole of L2(R). In other words, it will map some functions in L2(R) to functions that are no longer square integrable. One such function could be