Gaussian series with square-summable coefficients
ID: gaussian-series-with-square-summable-coefficients
For independent standard Gaussian and , the partial sums are Cauchy in L2 space, since a tail's squared norm is the corresponding sum of coefficient squares. Completeness gives an limit. The finite-sum characteristic functions converge to , identifying the limit as Gaussian, including the zero-variance case. The identification needs convergence of distributions, not just agreement of the first two moments.
New to topics? Read the docs here!