Probability theory and stochastic processes Expectation, moments and transforms Theorem
Cramér–Wold theorem
Builds on Convergence in distributionDot productCharacteristic functionLévy's continuity theorem
Statement
Let , and let be random vectors in . Then converges in distribution to if and only if, for every , the real random variables converge in distribution to . Here is the dot product of and .
Remarks
Proof idea: the characteristic function of at is , which is the characteristic function of at . So the condition gives pointwise convergence of the characteristic functions of , and Lévy's continuity theorem concludes. The converse holds because is continuous. A special case: the law of a random vector is determined by the laws of all its one-dimensional projections . Convergence of the coordinates alone is not enough. If is standard normal, then and have the same marginals but different laws. So the constant sequence has coordinates that converge in law to those of , but it does not converge in law to .
Going deeper
For a student
The standard use is the multivariate central limit theorem: for i.i.d. random vectors with finite covariance matrix, each projection obeys the one-dimensional theorem, and the Cramér–Wold theorem lifts this to a multivariate normal limit. It is also called the Cramér–Wold device.
Reading path
To understand this page from the ground up, read these 59 pages in order. The foundations come first.
- Characteristic function concept
- Complex numbers object
- Construction of the reals from Cauchy sequences concept
- Convergence in distribution concept
- Dot product concept
- Element definition
- Integers object
- Ordered field definition
- Proposition concept
- Random experiment concept
- Rational numbers object
- Real numbers object
- Euler's formula statement
- Set definition
- Ring of integers statement
- Disjunction definition
- Implication definition
- Predicate definition
- Ordered pair definition
- Union definition
- Existential quantifier definition
- Sample space definition
- Universal quantifier definition
- The rationals form a field statement
- Cartesian product definition
- Uniqueness quantifier definition
- Subset definition
- The rationals form an ordered field statement
- Binary relation definition
- Universal set definition
- Power set definition
- Order on the reals definition
- Function definition
- Complement definition
- Interval definition
- Injective function definition
- Preimage of a set definition
- Sigma-algebra definition
- Countable set definition
- Event definition
- Borel sigma-algebra definition
- Probability axioms concept
- Probability measure definition
- Probability distribution definition
- Probability space definition
- Random variable definition
- Cumulative distribution function definition
- Discrete random variable definition
- Law of a random variable definition
- Random variable with a density definition
- Convergence in distribution definition
- Probability mass function definition
- Expected value definition
- Probability density function definition
- Law of the unconscious statistician statement
- Characteristic function definition
- The characteristic function determines the distribution statement
- Lévy's continuity theorem statement
- Cramér–Wold theorem statement
Further reading
About this page
| Tag | 3HFP9ZQ580 |
|---|---|
| URI | m2://3HFP9ZQ580 |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 60E10, 60F05, 60B10 |
| Status | This copy of the site has no build data. Run m2 status 3HFP9ZQ580. |
| About | Convergence in distribution |
| Uses | Convergence in distribution, Dot product, Characteristic function, Lévy's continuity theorem |
| Same as | |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.