Suppose that
0
≤<!-- ≤ -->
p
n
</msub>
≤<!-- ≤ -->
1
a
Micah Haynes
Answered question
2022-05-17
Suppose that and put . Show that if converges, then there exist on some discrete probability space events satisfying . In this section, it has already proved that for any sequence of measures on the class of all subsets of with finite support, there exist on some probability space a sequence of independent simple random variables whose distribution is . But the probability space constructed in that proof is just the unit interval and I am unable to modify it to meet the requirement of this problem.
Answer & Explanation
Gillian Kelly
Beginner2022-05-18Added 11 answers
First, we do this with a continuous probability space, then modify it to be discrete. Let be the unit interval [0,1] with Lebesgue measure, and define
You can check that indeed for all . To make this discrete, consider taking the unit interval and cutting it at every point . I claim that this divides the unit interval into at most countably many pieces. You can then collapse all of those pieces into a single outcome in a new probability space, where the probability of that outcome is the length of the piece. It is nontrivial to show the number of pieces is countable. For example, if the sequence enumerates the rational numbers in (0,1/2), then snipping the unit interval at these points would mean there would be one "piece" for every irrational number in (0,1/2). However, since converges, nothing like this can happen, as convergence implies the set each has a neighborhood which avoids all of the other for . In fact, is a much stronger assumption than is needed to do this construction. It suffices to assume has at most countably many accumulation points.