By the Helinger-Toeplitz Theorem, we know that the Consider and let be the set of all functions such that . For define an operator by Then is clearly unbounded since if

Domain of an Operator

Closed Operator

An operator T\colon \H_{1}\to \H_{2} between two Hilbert spaces is called closed if its graph is closed in \H_{1}\times \H_{2}.

Extension

Let T_{1},T_{2}\colon \H_{1}\to \H_{2} be operators between two Hilbert spaces. We say that is an extension of if their graphs satisfy and we write .

Proposition

if and only if and for all .

Proof

Closable

An operator

Stone's Theorem

Let be a strongly continuous one-parameter unitary group on a Hilbert space \newcommand{\H}{\mathcal{H}}\H. Then, there is a self-adjoint operator on \H so that for all .