Sobolev spaces associated to the harmonic oscillator

We define the Hermite--Sobolev spaces naturally associated to the harmonic oscillator $H= -\Delta +|x|^2.$ Structural properties, relations with the classical Sobolev spaces, boundedness of operators and almost everywhere convergence of solutions of the Schr\"odinger equation are also considered.