Lévy continuity theorem
From Wikipedia, the free encyclopedia
The Lévy continuity theorem in probability theory is the basis for one approach to prove the central limit theorem.
Suppose we have
- a sequence of random variables [Xn] NOT necessarily sharing a common probability space, and
- the corresponding sequence of characteristic functions [φn(t)] where
The theorem states that if the pointwise convergent φ(t) exists for the sequence of characteristic functions, i.e.
then the following statements become equivalent,
- in distribution for some random variable X, i.e.
- [Xn] is tight, i.e.
- φ(t) is a characteristic function of some random variable X
- φ(t) is a continuous function of t
- φ(t) is continuous at t = 0
An immediate corrollary that is useful in proving the central limit theorem is that, [Xn] converges in distribution to some random variable X all having the characteristic function φ(t) if φ(t) is the pointwise convergent continuous at t = 0 of [φn(t)].