ヒルベルト空間
Self-adjoint operators on Hilbert space.