Existence of Independent and Identically Distributed Sequences
theoremProbabilitythm:existence-iid-sequence-2026aLet be a probability \reftext{def:measure-measure-space-2026a}{measure} on , with the \reftext{def:borel-sigma-algebra-real-line-2026a}{Borel -algebra}. Then there exist a \reftext{def:probability-space-random-variable-2026a}{probability space} and a \reftext{def:sequence-in-set-2026a}{sequence} of random variables on it that is \reftext{def:independence-events-rvs-2026a}{independent and identically distributed} with common \reftext{def:distribution-cdf-random-variable-2026a}{distribution} .
One may take , , and the restriction to of \reftext{thm:lebesgue-measure-real-line-2026a}{Lebesgue measure}, which is a probability measure since the interval has Lebesgue measure .
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
Authors
Loading…