Graph ›
Lévy's Continuity Theorem
Lévy's Continuity Theorem
foundations results depends_on (declared) depends_on (declared) depends_on (declared) depends_on (declared) depends_on (declared) depends_on (declared) depends_on (declared) depends_on (declared) depends_on (declared) definition A18.7: Tightness A18.7 Tightness theorem A18.1: Lévy's continuity theorem A18.1 Lévy's continuit… theorem A18.2: Dominated convergence A18.2 Dominated conver… theorem A18.3: Fubini's theorem, bounded case A18.3 Fubini's theorem… lemma A18.5: Dirichlet A18.5 Dirichlet theorem A18.6: Helly's selection theorem A18.6 Helly's selectio… lemma A18.8: Tightness makes the Helly limit proper A18.8 Tightness makes… lemma A18.9: Helly–Bray A18.9 Helly–Bray theorem A18.10: Fourier inversion for a distribution function A18.10 Fourier inversio… corollary A18.11: The characteristic function determines the
distribution A18.11 The characterist… lemma A18.12: Truncation estimate A18.12 Truncation estim… lemma A18.13: Tightness A18.13 Tightness corollary A18.14: The converse A18.14 The converse The chain of Lévy's Continuity Theorem: 13 of 13 objects, read left to right from what the chapter assumes to what tests it. Solid lines are declared logical edges, dashed ones were inferred from the structure of the source. Click any node to open its own chain.