Existence of Independent Sequences with Prescribed Distributions
theoremProbabilitythm:existence-independent-sequence-2026aLet be a sequence of probability measures on , where is the set of real numbers, is the Borel -algebra, and is the set of natural numbers. Then there exist a probability space and a sequence of random variables on it that is independent and such that has distribution for every .
One may take , , and the restriction to of Lebesgue measure, as in Existence of Independent and Identically Distributed Sequences; taking all equal to a fixed probability measure recovers the statement of that theorem.
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.