Random sequences have several kinds of limits
In ordinary calculus, a sequence $a_n$ either moves toward a number or it does not. In probability, $X_n$ is random, so there are several meaningful ways to say $X_n$ approaches $X$.
Compare definitions
| Mode | Definition | Intuition |
|---|---|---|
| $X_n\to X$ in probability | $P(|X_n-X|>\varepsilon)\to0$ for all $\varepsilon>0$ | Large errors become rare. |
| $X_n\to X$ in distribution | $F_{X_n}(t)\to F_X(t)$ at continuity points of $F_X$ | The shape of the distribution stabilizes. |
| $X_n\to X$ in $L^1$ | $E|X_n-X|\to0$ | Mean absolute error goes to zero. |
| $X_n\to X$ in $L^2$ | $E[(X_n-X)^2]\to0$ | Mean squared error goes to zero. |
Common implication map
The reverse implications usually fail. The rare-spike example below is a good warning: probability convergence does not automatically control moments.
$X_n=n^a$ with probability $1/n^b$
This generalizes the course example $X_n=n$ with probability $1/n^2$ and $0$ otherwise.
Formula
Probability vs. moments
Blue curve: $P(|X_n|>\varepsilon)$. Other curves show $E[X_n]$ and $E[X_n^2]$. When moments do not shrink, convergence in probability still may hold.
Bernoulli CDF convergence
Let $X_n\sim\mathrm{Bernoulli}(p_n)$ with $p_n=1/2+1/n$. Compare it with $X\sim\mathrm{Bernoulli}(1/2)$.
Step CDFs
Convergence is checked only at continuity points of the limiting CDF. The Bernoulli limiting CDF jumps at $0$ and $1$.
Sample mean stabilizes
Choose a distribution and watch the running average $\bar X_n$ move toward $\mu$.
Running mean path
Discrete sum approximation
Use the course example $P(X_i=0)=0.2$, $P(X_i=1)=0.5$, $P(X_i=2)=0.3$. Then $\mu=1.1$ and $\sigma=0.7$.
CLT formulas
Normalized sums
The histogram shows simulated $Z_n=(S_n-n\mu)/(\sigma\sqrt n)$ with the standard normal curve overlaid.
Self-check questions
Q1
If $X_n\to X$ in $L^2$, must $X_n\to X$ in probability?
Q2
In the rare-spike example $X_n=n$ with probability $1/n^2$, does $X_n\to0$ in probability?
Q3
Why use a $0.5$ continuity correction for $P(S_n\le k)$?