Hilbert-space Gaussian series (source code)

= 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)$.