Abstract. We discuss the concept of Sobolev space associated to the Laguerre operator Lα = −y d 2 dy 2 − d dy + y 4 + α 2 4y , y ∈ (0, ∞). We show that the natural definition does not agree with the concept of potential space defined via the potentials (Lα) −s . An appropriate Laguerre-Sobolev space is defined in order to achieve that coincidence. An application is given to the almost everywhere convergence of solutions of the Schrödinger equation. Other Laguerre operators are also considered.1. Introduction. We start with a naive description of our aim in writing this paper. Let L be a linear second order differential operator, selfadjoint with respect to a certain measure µ. Different techniques (see for example (2)) allow us to define the "Riesz potentials" L −s , s > 0. Therefore, we can consider the "potential space" L p s , 1 < p < ∞, as L −s/2 (L p (µ)), the collection of functions f such that there exists g ∈ L p (µ) with f = L −s/2 (g).In general, the second order operator L admits a certain factorization