A Characterization of Formally Symmetric Unbounded Operators


Danko Jocić


We give necessary and sufficient conditions for an operator in a Hilbert space to be formally symmetric, symmetric or self-adjoint. This generalizes the well-known fact that a bounded operator $T$ is self-adjoint if and only if $T^\ast T\le(\operatorname{Re}T)^2$. The proof is based on a well-behaved extension of the corresponding symmetric operator.