theorem 15.45 Lévy's continuity theorem

open in the book · parts/02-mathematical-methods/09-probability-statistics.tex:1172 · p. 424

Rests on

depends_on definition 15.42 Characteristic function ¶
proves proof ch:09-probability-statistics@prooflink-1 ¶

Supports

depends_on theorem 15.46 Central limit theorem, Lindeberg–Lévy ¶
- depends_on phenomenon 120.44 A large-scale dipole above $8\times10^{18}$ electronvolts ¶
- depends_on theorem 15.67 Asymptotics of the MLE ¶
  - depends_on proposition 15.72 Nuisance parameters cost information ¶
  - depends_on theorem 15.88 Wilks ¶
    - depends_on corollary 15.89 Degrees of freedom with nuisance parameters ¶
      - depends_on example 15.107 Degrading a local five sigma ¶
      - depends_on proposition 15.93 $Z=\sqrt{q}$ ¶
      - depends_on remark 15.90 Failure I: a parameter on the boundary ¶
depends_on theorem 15.48 Lindeberg–Feller ¶

Neighborhood

Every logical edge within two steps of this node.

declared and complete
partly declared
a check failed
not graded
declared in the source
inferred from structure

Edges

type	direction	node	provenance	where
`depends_on`	→	Characteristic function	declared	parts/02-mathematical-methods/09-probability-statistics.tex:1177
`depends_on`	←	Central limit theorem, Lindeberg–Lévy	declared	parts/02-mathematical-methods/09-probability-statistics.tex:1206
`depends_on`	←	Lindeberg–Feller	declared	parts/02-mathematical-methods/09-probability-statistics.tex:1293
`proves`	←	ch:09-probability-statistics@prooflink-1	declared	parts/02-mathematical-methods/09-probability-statistics.tex:1189