Let $H$ be an infinite-dimensional, separable Hilbert space, and let $\gamma$ be a Radon probability measure on $H$ with mean zero and covariance operator the identity $I$.


Let $H^\*$ denote the space of continuous linear functionals on $H$. By the Riesz representation theorem, $$H^\* = \{ \langle k, \cdot \rangle : k \in H \}.$$ By the assumption that $\gamma$ has covariance operator $I$, for all $k \in H$, $$\int\_H |\langle k, h \rangle|^2 \, \mathrm{d}\gamma(h) = \langle k, k \rangle < \infty,$$ so $H^\*$ is contained in the [separable](https://mathoverflow.net/questions/46094/if-h-is-a-separable-hilbert-space-is-l2h-separable) Hilbert space $L^2(H)$.


**My question:** Is $H^\*$ dense in $L^2(H)$?



If $H$ is a separable Hilbert space, is its dual dense in $L^2(H)$?
(Rewritten to give an answer more useful to future visitors.)


First of all, as noted in comments, there is no (countably additive) Gaussian measure on $H$ with covariance operator the identity. 


However, if we take $\gamma$ to be some other Gaussian measure, the answer is no, $H^\*$ is not dense in $L^2(H, \gamma)$. One way to see this is that every $f \in H^\*$, considered as a random variable on $(H, \gamma)$, has a centered Gaussian distribution (in which we include the "degenerate" Gaussian distribution which is the constant 0). In particular $f$ has mean zero, and the mean-zero random variables are a proper closed subspace of $L^2(\gamma)$. (So for instance, the nonzero constants are not in the closure of $H^\*$.)


Indeed, $L^2$ limit of centered Gaussian random variables is again centered Gaussian (this actually holds if you replace "$L^2$" by "in distribution"). Thus every random variable in the $L^2$ closure of $H^\*$ is centered Gaussian, and hence non-Gaussian $L^2$ functions on $H$ are not in the closure of $H^\*$ either.


It is true that if you allow *polynomials* $F(x) = p(f\_1(x), \dots, f\_n(x))$ where $f\_1, \dots, f\_n \in H^\*$, then all such functions $F$ are in $L^2(H,\gamma)$, and they form a dense subspace. Indeed, if you let $p$ range over all Hermite polynomials of degree $n$, then the closed span of all corresponding $F$ gives you the space $\mathcal{H}\_n$ which is the $n$th Wiener chaos, and we have an orthogonal decomposition $L^2(H, \gamma) = \bigoplus \mathcal{H}\_n$. These spaces are also the eigenspaces of the Ornstein-Uhlenbeck operator $N$ (aka number operator).


Back to the "measure" with covariance operator $I$: we can consider such a "measure" as a finitely additive measure on the cylinder sets of $H$. I suppose it might be possible to study an $L^2$ space with respect to this finitely additive measure. I don't know much about such spaces, but I would guess that a similar argument would show that $H^\*$ is still not dense.


