Hilbert-space Gaussian series
= Hilbert-space Gaussian series
If $Ke_j=\lambda_je_j$ with $\lambda_j\geq0$ and $\sum_j\lambda_j<\infty$, then
$$
U=m+\sum_j\sqrt{\lambda_j}\,\xi_je_j
$$
converges in mean square and almost surely in the Hilbert space, and has Gaussian law $N(m,K)$.