Lévy's continuity theorem

In probability theory, Lévy’s continuity theorem, or Lévy's convergence theorem,[1] named after the French mathematician Paul Lévy, connects convergence in distribution of the sequence of random variables with pointwise convergence of their characteristic functions. This theorem is the basis for one approach to prove the central limit theorem and it is one of the major theorems concerning characteristic functions.

Statement

Suppose we have

  • a sequence of random variables , not necessarily sharing a common probability space,
  • the sequence of corresponding characteristic functions , which by definition are
    where is the expected value operator.

If the sequence of characteristic functions converges pointwise to some function

then the following statements become equivalent:

  • converges in distribution to some random variable X
    i.e. the cumulative distribution functions corresponding to random variables converge at every continuity point of the c.d.f. of X;
  • is tight:
  • is a characteristic function of some random variable X;
  • is a continuous function of t;
  • is continuous at t = 0.

Proof

Rigorous proofs of this theorem are available.[1][2]

gollark: ++deleteq = rayo number↑(rayo number² ↑s)↑rayo number<@543131534685765673> q↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑q times
gollark: ++delete <@543131534685765673> rayo number↑↑↑↑↑↑rayo number times
gollark: ++delete <@543131534685765673> 3↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑3 times
gollark: ++delete <@543131534685765673> two octillion times
gollark: ++delete <@543131534685765673> twice

References

  1. Williams, D. (1991). Probability with Martingales. Cambridge University Press. section 18.1. ISBN 0-521-40605-6.
  2. Fristedt, B. E.; Gray, L. F. (1996). A modern approach to probability theory. Boston: Birkhäuser. Theorems 14.15 and 18.21. ISBN 0-8176-3807-5.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.