Almost sure convergence criterion for an independent Gaussian series

ID: almost-sure-convergence-criterion-for-an-independent-gaussian-series

For independent standard Gaussian random variables, the partial sums have characteristic functions , where . A finite almost-sure limit implies convergence of these characteristic functions to one continuous at zero; would instead give zero at every nonzero . Conversely, bounded makes the partial sums an martingale bounded in L2 space, which converges almost surely and in L2 space.

New to topics? Read the docs here!