Lévy's continuity theorem¶
Lévy's continuity theorem equates convergence in distribution of probability measures with pointwise convergence of their characteristic functions, subject to continuity of the limiting function at zero.
Core Idea¶
Lévy's continuity theorem turns pointwise information about characteristic functions into convergence in distribution, and conversely. If random variables \(Xn\) converge in distribution to \(X\), then their characteristic functions \(\varphin(t)=\mathbb E[e^{itXn}]\) converge to \(\varphiX(t)\) at every real \(t\). In the converse direction, if \(\varphin(t)\) converges pointwise to a function \(\varphi(t)\) that is continuous at zero, then \(\varphi\) is the characteristic function of some probability distribution and the corresponding distributions converge weakly to it. The continuity-at-zero condition is load-bearing: an arbitrary pointwise limit need not describe a probability law.
Scope of Application¶
-
Weak-limit identification. Pointwise transform convergence plus continuity at zero identifies a limiting probability law and yields convergence in distribution.
-
Sums of independent variables. Products of characteristic functions make normalized sums and convolutional limits tractable.
-
Central-limit arguments. Expanding or controlling characteristic functions provides a standard path to Gaussian weak convergence.
-
Triangular arrays. Rowwise products can establish distributional limits when the array's normalization and infinitesimal conditions are explicit.
-
Reverse implication. Already-proved weak convergence guarantees pointwise convergence of characteristic functions.
Clarity¶
Lévy's continuity theorem distinguishes a merely convergent sequence of complex-valued functions from a sequence whose limits genuinely encode weak convergence of probability laws. Naming the theorem directs attention to three separate checks: pointwise convergence of characteristic functions, continuity of the limiting function at zero, and identification of the resulting law. It thereby prevents transform calculations from silently being treated as stronger modes of random-variable convergence.
Manages Complexity¶
Lévy's continuity theorem compresses convergence of entire probability laws into the behavior of one bounded transform at each real argument plus a decisive regularity check at zero. Instead of controlling probabilities on every continuity set or distribution-function value directly, the analyst computes characteristic functions, takes a pointwise limit, and checks continuity at the origin.
Abstract Reasoning¶
Transform move. Replace direct probability calculations for sums or convolutions with characteristic functions, perform multiplication and limiting analysis there, and translate the result back to distributions. Admissibility move. From pointwise transform convergence plus continuity at zero, infer that the limit is a characteristic function and that the distributions converge weakly. Boundary move. If continuity at zero is absent, withhold the probabilistic conclusion even when every pointwise limit exists. Distinction move.
Knowledge Transfer¶
Within the home domain. Lévy's continuity theorem transfers literally across probability models on Euclidean spaces and compatible generalizations wherever characteristic functions represent probability laws. Pointwise convergence, continuity at the origin, weak convergence, and identification of the limiting law retain their exact roles. Beyond the home domain (C — theorem/instrument). The theorem applies wherever its measure-theoretic hypotheses are met, regardless of application area. Its reach must not be overstated: convergence of transforms without the required continuity or positive-definite limit need not yield a probability distribution, and weak convergence does not imply convergence of moments, densities, or sample paths.
Relationships to Other Abstractions¶
Current abstraction Lévy's continuity theorem Domain-specific
Parents (1) — more general patterns this builds on
-
Lévy's continuity theorem is a kind of Convergence Prime
Lévy's continuity theorem is a domain-specific kind of Convergence: Lévy's continuity theorem equates convergence in distribution of probability measures with pointwise convergence of their characteristic functions, subject to continuity of the limiting function at zero.
Hierarchy path (1) — routes to 1 parentless root
- Lévy's continuity theorem → Convergence
Neighborhood in Abstraction Space¶
Lévy's continuity theorem sits in a sparse region of the domain-specific corpus (80th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Foundations of Probability & Inference (29 abstractions)
Nearest neighbors
- Random Variable — 0.85
- Dispersion Function — 0.83
- Kolmogorov's Three-Series Theorem — 0.83
- Schur's property — 0.82
- Cramér's Theorem (Large Deviations) — 0.82
Computed from structural-signature embeddings · 2026-10-08