A vector is smooth if and only it lies in S . Sufficiency is clear. For necessity, smoothness implies that the partial derivatives of W(z)u lie in L (R) and hence also D u for all positive k. Hence u lies in the intersection of the H k, so in S .