Lévy’s continuity theorem
E1020437
Lévy’s continuity theorem is a fundamental result in probability theory that characterizes convergence in distribution of random variables via pointwise convergence of their characteristic functions.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Lévy’s continuity theorem canonical | 1 |
Statements (45)
| Predicate | Object |
|---|---|
| instanceOf |
result in measure-theoretic probability
ⓘ
theorem in probability theory ⓘ |
| alternativeName | continuity theorem for characteristic functions ⓘ |
| appearsIn |
graduate-level probability textbooks
ⓘ
measure-theoretic treatments of probability ⓘ |
| appliesTo |
random vectors in ℝ^d
ⓘ
real-valued random variables ⓘ |
| assumes |
existence of characteristic functions for all measures
ⓘ
sequence of probability measures on ℝ^d ⓘ tightness is implied by convergence of characteristic functions with continuity at 0 ⓘ |
| characterizes |
convergence in distribution
ⓘ
weak convergence of probability measures ⓘ |
| concerns |
Fourier transforms of probability distributions
ⓘ
weak topology on space of probability measures ⓘ |
| concludes | weak convergence if characteristic functions converge pointwise and limit is continuous at 0 ⓘ |
| equivalenceBetween |
pointwise convergence of characteristic functions on ℝ
ⓘ
weak convergence of associated probability measures ⓘ |
| field |
measure theory
ⓘ
probability theory ⓘ |
| generalizedTo | locally compact abelian groups ⓘ |
| hasFormulation |
if μ_n ⇒ μ then φ_n(t) → φ(t) for all t
ⓘ
if φ_n(t) → φ(t) for all t and φ is continuous at 0, then μ_n ⇒ μ ⓘ |
| holdsIn | Euclidean spaces ℝ^d NERFINISHED ⓘ |
| implies | uniqueness of probability measure determined by its characteristic function ⓘ |
| importance |
connects analytic properties of characteristic functions with probabilistic convergence
ⓘ
fundamental tool for analyzing convergence of distributions ⓘ |
| isUsedFor |
establishing convergence of stochastic processes in distribution
ⓘ
proving Donsker’s theorem ⓘ proving central limit theorems ⓘ proving functional central limit theorems ⓘ proving invariance principles ⓘ studying limit distributions of sums of independent random variables ⓘ |
| namedAfter | Paul Lévy NERFINISHED ⓘ |
| relatedTo |
Bochner’s theorem
NERFINISHED
ⓘ
Helly–Bray theorem NERFINISHED ⓘ Lévy–Khintchine formula NERFINISHED ⓘ Portmanteau theorem NERFINISHED ⓘ |
| relates |
convergence in distribution of random variables
ⓘ
pointwise convergence of characteristic functions ⓘ |
| requiresCondition |
continuity at 0 of the pointwise limit of characteristic functions
ⓘ
pointwise convergence of characteristic functions at every real argument ⓘ |
| typeOfConvergence |
convergence in law
ⓘ
weak convergence ⓘ |
| usesConcept |
Fourier transform of probability measures
ⓘ
characteristic function ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.