show/hide this revision's text 2 clarification

By Example 7.14.13 in Volume 2 of Bogachev's Measure Theory, every Radon measure on $H$ is separable, so that $L^2(H,\gamma)$ is also separable. It is not necessary that $H$ is a Hilbert space, just that every compact subset of $H$ be metrizable.

show/hide this revision's text 1

By Example 7.14.13 in Volume 2 of Bogachev's Measure Theory, every Radon measure is separable, so that $L^2(H,\gamma)$ is also separable. It is not necessary that $H$ is a Hilbert space, just that every compact subset of $H$ be metrizable.