proof of basic criterion for self-adjointness
- 1.
If is self-adjoint and , then
so . Similarly we prove that implies . That is closed follows from the fact that the adjoint of an operator is always closed.
- 2.
If holds, then , so that is dense in . Also, since is symmetric, for ,
because .Hence , so that given a sequence such that , we have that is a Cauchy sequence
and thus itself is a Cauchy sequence. Hence converges to some and since is closed it follows that and . This proves that , so that is closed (and similarly, is closed. Thus .
- 3.
Suppose . If , then there is such that . Since is symmetric, , so that . But since , it follows that , so that . Hence , and therefore is self-adjoint.