https://www.ms.u-tokyo.ac.jp/~aida/lecture/20/self-adjoint1.pdf