# Main limit theorems#

In this chapter we introduce the idea of convergence for random variables, which may be in either of the three senses: (1) in mean-square, (2) in probability or (3) in distribution. These three senses are non-equivalent and in fact one implies the next, in the order given above. We present important theorems involving limits of random variables, such as the law of large numbers, the central limit theorem and the large deviation theorem. We also present the continuity theorems for moment generating functions and characteristic functions.

## Convergence in mean-square#

We are often interested in the convergence of a sequence of random variables to another random variable. Unlike real sequences, where convergence has one meaning only, the convergence of a sequence of random variables can be defined in different ways. One such way is convergence in mean-square, as defined below.

(Mean-square convergence)

We say that a sequence of random variables \(X_1, X_2, ...\) converges in mean square to a limit variable \(X\) if

and write this as \(X_n \to X\) in mean square as \(n \to \infty\).

Note that for mean-square convergence to be meaningful, \(\mathbb{E}(X)\) as well as all \(\mathbb{E}\left[(X_n - X)^2\right]\) must exist. We can use this definition to state one version of the mean square law of large numbers as follows.

(Mean square law of large numbers)

Let \(X_1, X_2, ...\) be a sequence of independent random variables each with mean \(\mu\) and variance \(\sigma^2.\) Then

##
Proof: Mean-square law of large numbers

The partial sum \(S_N = X_1 + X_2 + ... + X_N\) has mean

and variance

Where we used the facts that \(\text{Var}(aX) = a^2\text{Var}(X),\) and that \(\text{Var}(Y_1 + Y_2) = \text{Var}(Y_1) + \text{Var}(Y_2)\) for any independent variables \(Y_1\) and \(Y_2\). Therefore as \(N \to \infty\), \(S_N \to \mu\) in mean square.

## Convergence in probability#

A weaker sense in which a sequence of random variables can converge is that of convergence in probability.

(Convergence in probability)

We say that a sequence of random variables \(X_1, X_2, ...\) converges in probability to \(X\) as \(n \to \infty\) if for all \(\epsilon > 0\)

and write this as \(X_n \to X\) in probability as \(n \to \infty.\)

Convergence in probability is a weaker condition than convergence in mean-square in the sense that the former implies the latter, as stated by the following theorem.

\(\implies\) convergence in probability)

(Convergence in mean squareIf \(X_1, X_2, ...\) is a sequence of random variables and \(X_n \to X\) in mean square, then \(X_n \to X\) in probability.

To prove the above we use Chebyshev’s inequality, a useful tool in probability theory, which is presented and proved below.

##
Proof: Convergence in mean square \(\implies\) convergence in probability

To show this result, we use Chebyshev’s inequality

which proved below. Now set \(Z = X_n - X\) and \(t = \epsilon > 0\) and let \(n \to \infty\) to obtain

where we have used the assumption that \(X_n \to X\) in mean square, so \(\mathbb{P}\left(|X_n - X| \geq \epsilon\right) \to 0\) as \(n \to \infty.\)

(Chebyshev’s inequality)

If \(X\) is a random variable and \(\mathbb{E}\left(X^2\right)\) is finite then

##
Proof: Chebyshev’s inequality

Considering that \(|X| \geq t \iff X^2 \geq t^2\) we have

by the Markov inequality, arriving at Chebyshev’s inequality.

Just as the law of large numbers can be stated in the mean-square sense, it can also be stated in the weaker sense of convergence in probability.

(Weak law of large numbers)

Let \(X_1, X_2, ...\) be a sequence of independent random variables each with mean \(\mu\) and variance \(\sigma^2.\) Then

This weak version is a direct implication of the fact that convergence in mean-square implies convergence in probability, as shown in the following proof.

##
Proof: Weak law of large numbers

We have shown that as (N \to \infty), the partial sum

converges to \(\mu\) in mean square. Convergence in mean square implies convergence in probability, therefore \(S_N\) converges to \(\mu\) in probability too.

Unlike the mean-square law of large numbers, the weak law holds even when \(\sigma^2\) is infinite, provided that the \(X_n\) all come from the same distribution.

## Central limit theorem#

(Central limit theorem)

Let \(X_1, X_2, \dots\) be a sequence of independent and identically distributed random variables, each with mean \(\mu\) and variance \(\sigma^2.\) Then the random variable

satisfies, as \(N \to \infty\),

(Continuity theorem with mgfs)

Let \(X_1, X_2, ...\) be a sequence of random variables with moment generating functions \(M_1, M_2 ...\) and suppose that as \(n \to \infty\)

Then

##
Proof: Central limit theorem

Let \(U_n = X_n - \mu\), so that the \(U_n\) are independent and identically distributed with mean \(0\) and variance \(\sigma^2\). We will show that the mgf of

converges to the mgf of the standard normal. Then, by applying the continuity theorem for mgfs, the distribution function of \(Z_N\) converges to the standard normal distribution. Writing out the mgf of \(Z_N\)

where we have used the fact that the mgf of a sum of independent random variables (\(U_n\) in this case) is equal to the product of the mgfs of the random variables. Now, taking the Taylor expansion of \(M_{U_n}(t)\) about \(0\)

so that

Therefore \(M_{Z_N}(t) \to e^{\frac{1}{2}t^2}\) as \(N \to \infty\) and by the continuity theorem for mgfs, the distribution function of \(Z_N\) converges to the standard normal distribution:

## Large deviations#

We are sometimes interested in the probability that a sum of i.i.d. random variables \(S_N = X_1 + X_2 + ... + X_N\) will deviate from its mean by an amount proportional to \(N\), i.e. \(\mathbb{P}(S_N - \mu N > aN).\) The large deviation theorem relates the probability of a large deviation to a quantity called the Fenchel-Legendre transform, defined below.

(Fenchel-Legendre transform)

Given a random variable \(X\), with moment generating function \(M\), its Fenchel-Legendre transform is

where \(\Lambda(t) = \log M(t).\)

The large deviation theorem then takes the following form.

(Large deviation theorem)

Let \(X_1, X_2, ...\) be independent, identically distributed random variables with mean \(0\) and a common generating function \(M(t) = \mathbb{E}(e^{tX})\) which is finite in some neighbourhood \([-\delta, \delta]\) of the origin. Let \(a > 0\) be such that \(\mathbb{P}(X > a) > 0\). Then \(\Lambda^*(a) > 0\) and

The proof of this theorem can be found in *Probability and Random Processes*[Grimmett and Stirzaker, 2001] (section 5.11), but is ommitted from the book and these notes. Instead we prove below that

##
Proof: Partial proof of the large deviation theorem

Let \(X_1, X_2, ...\) be a sequence of independent and identically distributed random variables with zero mean and common moment generating function \(M(t)\), and define \(S_N = X_1 + ... + X_N.\) For any strictly increasing function \(g: \mathbb{R} \to \mathbb{R}\), we have

The exponential function \(g(x) = e^x\) is strictly increasing and in addition it is non-negative, so

by the Markov inequality. Minimising over \(t\) we obtain

Taking a logarithm of each side, we arrive at the result

## Convergence in distribution#

(Convergence in distribution)

The sequence \(X_1, X_2, ...\) is said to converge in distribution, or to converge weakly, to \(X\) as \(n \to \infty\) if

where \(C\) is the set of reals at which the distribution function of \(X\) is continuous. If the above holds, we write \(X_n \implies X.\)

Convergence in distribution is a weaker condition than convergence in probability. If the condition \(x \in \mathbb{R}\) was used instead of \(x \in C\) above, there would exist examples of sequences of random variables that would converge in probability but not in distribution. By requiring that the criterion for convergence holds only where \(\mathbb{P}(X \leq x)\) is continuous, we avoid these cases and make convergence in probability a special case of the weaker criterion of convergence in distribution, as stated by the following theorem.

(Convergence in probability (\implies) convergence in distribution)

Let \(X_1, X_2, ...\) be a sequence of variables and \(X_n \to X\) in probability, then \(X_n \implies X\).

Below are two proofs for this result.
The first is a textbook proof from the book,[Grimmett *et al.*, 1986] based on inequalities.

##
Proof: (a) Convergence in probability \(\implies\) convergence in distribution

Let \(X_1, X_2, ...\) be a sequence of random variables which converges in probability to another random variable \(X\). Let \(x\) be any point where the distribution function of \(X\) is continuous. Now consider

Similarly we can switch the roles of \(X_n\) and \(X\) to obtain

Combining these two inequalities we obtain

and taking \(\epsilon\) to \(0\) we obtain

where we have used the facts that \(X_n \to X\) in probability and that \(\mathbb{P}(X \leq x)\) is continuous at \(x.\)

The second is an alternative proof which includes a diagram, that is hopefully more intuitive.

##
Proof (b) Convergence in probability \(\implies\) convergence in distribution

The set \(Z_n \leq z\) corresponds to the yellow, red, green and pink regions below, and the set \(Z \leq z\) corresponds to the blue, orange, green and pink regions. Therefore the difference \(\mathbb{P}(Z_n \leq z) - \mathbb{P}(Z \leq z)\) is equal to the sum of the probability measure on the blue and orange regions, minus that of the yellow and red regions. We wish to show this difference goes to \(0\) as \(n \to \infty.\)

Since \(|Z_n - Z| \geq \epsilon\) corresponds to \((\text{white + green + blue + yellow})\) and \(\mathbb{P}(|Z_n - Z| \geq \epsilon) \to 0\) as \(n \to \infty\), the yellow and blue areas have \(0\) probability in the \(n \to \infty\) limit. Assuming \(\mathbb{P}(Z \leq z)\) is continuous in \(z\) at \(z = z_0\), then the red and orange areas must also have \(0\) probability in the \(n \to \infty\) limit, otherwise the continuity condition would be contradicted. Therefore

and the variables converge in distribution.

\(c\) \(\implies\) convergence in probability to \(c\))

(Convergence in distribution toLet \(X_1, X_2, ...\) be a sequence of variables and which coverges in distribution to a constant \(c\). Then \(X_n\) converges to \(c\) in probability also.

## Limits of characteristic functions#

(Continuity theorem with characteristic functions)

Let \(X, X_1, X_2, ...\) be random variables with characteristic functions \(\phi, \phi_1, \phi_2 \dots .\) Then \(X_N \implies X\) as \(N \to \infty\) if and only if