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!