0
$\begingroup$

This question came up in a course on measure theoretic probability theory. We have had lots of information on the existence of distribution, but no examples of how to find/construct them. Here's the problem:

Let $X_1,X_2,\dots$ be an $iid$ sequence of Bernoulli random variables, defined on $(\Omega,\mathcal{F},\mathbb{P})$ with $\mathbb{P}(X_1=1)=\frac{1}{2}$. Let

$X = \sum_{k=1}^\infty2^{-k}X_k.$

Find the distribution of $X$.

Clearly $F(x) = \mathbb{P}(X \leq x) = \int_{-\infty}^xX\,d\mathbb{P}$, but how to go from hear I have no idea. I also tried the path $P(\sum_{k=1}^\infty2^{-k}X_k \leq x) = \mathbb{P}(X = 1)\mathbb{P}(\sum_{k=2}^\infty2^{-k}X_k\leq x - \frac{1}{2}) + \mathbb{P}(X=0)\mathbb{P}(\sum_{k=2}^\infty2^{-k}X_k \leq x)$ but this seems to be a dead end.

Any tips tips how to tackle this?

  • 0
    I understand your point, as the limit of that sum can be irrational.2012-10-14

1 Answers 1

1

Let $x\in[0,1]$. Then we can write $x=\sum_{k\ge 1}\frac{b_k}{2^k}\;,$ where each $b_k\in\{0,1\}$; this is simply the binary expansion of $x$. To avoid any ambiguity, we represent positive dyadic rationals (numbers of the form $\frac{m}{2^n}$ for integers $m,n>0$) by their non-terminating expansions in which $b_k=1$ for all sufficiently large $k$.

Then $X iff there is an $n\in\Bbb Z^+$ such that $X_k=b_k$ for $1\le k and $X_n. For any $k\in\Bbb Z^+$, $\Bbb P(X_k=b_k)=\frac12$, and $\Bbb P(X_k

Thus,

$\begin{align*} \Bbb P(X

Looks like a uniform distribution to me.

  • 0
    @BallzofFury: You’re welcome!2012-10-14