We discuss spaces of Sobolev type which are defined by the operator with singularity: D = d / d x − ( c / x ) R \mathcal {D} = d/dx - (c/x)R , where R u ( x ) = u ( − x ) Ru(x) = u(-x) and c > 1 c > 1 . This operator appears in a one-dimensional harmonic oscillator governed by Wigner’s commutation relations. We study smoothness of u u and continuity of u / x β u / x^{\beta } ( β > 0 \beta > 0 ) where u u is in each space of Sobolev type, and obtain a generalization of the Sobolev embedding theorem. On the basis of a generalization of the Fourier transform, the proof is carried out. We apply the result to the Cauchy problems for partial differential equations with singular coefficients.