Proof of the Central Limit Theorem from an Infinite Number of Convolutions

737 Views Asked by At

In every probability book I've looked at thus far, they talk about how the sum of $n$ independent and equally distributed random variables tends towards the normal distribution as $n$ tends towards infinity.

This is the Central Limit Theorem.

In the top answer to the following question...

Why do bell curves appear everywhere?

...the concept of convolutions of random variables is mentioned. Pretty much, the PMF of the sum of two independent random variables is the convolution of their individual PMFs.

I understand this, and its really nicely demonstrated in the answer to the following question:

density of sum of two uniform random variables $[0,1]$

Let's say we were to convolve the PMF of the sum of the two uniform random variables with another uniform random variable, and then with another, and then with another....

The Central Limit Theorem tells us we would arrive at the normal distribution.

Can someone please show this to me, and talk me through it?

I'd really like to understand why the convolution of the probability density functions of $n$ uniformly distributed independent random variables tends towards the normal as $n\rightarrow\infty$.

Thanks!

1

There are 1 best solutions below

0
On

If $(X_i)$ is any i.i.d sequence with finite variance and $S_n=X_1+X_2+...+X_n$ then we can write the distribution of $S_n$ in terms of the distribution $\mu $ of $X_1$ s follows: define the convolution of two probability measures $\lambda $ and $\nu$ by $(\lambda * \nu) (E)=\int \lambda(E-x)d\nu(x)$. Now let $\mu^{0}=\delta_0$, the degenerate measure at $0$, $\mu^{1}=\mu$ and $\mu^{n+1}=\mu^{n}*\mu$ for $n \geq 1$. Then $\mu^{n}$ is the distribution of $S_n$. The distribution of $S_n-nm$ is $\delta_{-nm}*\mu^{n}$ (where $m$ is the mean of $X_1$). If $\sigma^{2}$ is the variance of $X_1$ then we can write the distribution of $\frac {S_n-nm} {\sqrt n \sigma}$ as the measure $\nu_n$ defined by $\nu_n (E)= (\delta_{-nm}*\mu^{n})(\sqrt n \sigma E)$. CLT says that this converges $N(0,1)$.