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 .