3
$\begingroup$

Let $(\Omega ,\mathcal F ,P) := \bigl((0,1],\mathcal B((0,1]),u \bigr)$, where $u$ is the Lebesgue measure restricted to $\mathcal B((0 ,1])$. Let $X\colon\Omega\to\mathbb R$ be defined by $X(\omega) := \omega^2$. $\mathcal F_n:=\sigma(\mathcal E_n)$. $\mathcal E_n=\{(\frac{k-1}{2^n} , \frac k{2^n}]\mid 1 \le k \le 2^n\}$

(a)Determine $H^+(\Omega,\mathcal F)$ and $E(X\mid \mathcal F_1)$

(b)for each $n$, determine a version $Y_n$ of $E[X\mid \mathcal F_n]$.

(c)Show that $E[Y_n\mid\mathcal F_m]= Y_m$ a.s for all $m\le n$.

This is a question from my recent homework. Can anyone give me a hint? By $H^+(\Omega,\mathcal F)$, I mean the set of nonnegative measurable functions .

  • 0
    keji: Any luck with an answer below?2012-06-21

2 Answers 2

3

This is a special case of the more general result below.

Consider a sigma-algebra $\mathcal G$ generated by a partition $(A_k)_k$ of $\Omega$. Hence, $\Omega=\bigcup\limits_kA_k$, $A_k\cap A_i=\varnothing$ for every $k\ne i$, and $A_k$ is in $\mathcal F$ for every $k$. Assume furthermore that $\mathrm P(A_k)\ne0$ for every $k$. Then, for every measurable and integrable random variable $X$ on $(\Omega,\mathcal F,\mathrm P)$,

$ \mathrm E(X\mid \mathcal G)=\sum\limits_{k}\mathrm P(A_k)^{-1}\mathrm E(X:A_k)\cdot\mathbf 1_{A_k}=\sum\limits_{k}\mathrm E(X\mid A_k)\cdot\mathbf 1_{A_k}. $

In the present case, $\mathcal F_n$ is generated by the sets $A(k,n)=(2^{-n}(k-1),2^{-n}k]$ for $1\leqslant k\leqslant 2^n$ and $\mathrm P(A(k,n))=2^{-n}$ for every $k$, hence $ \mathrm E(X\mid \mathcal F_n)=2^n\sum\limits_{k=1}^{2^n}\mathrm E(X:A(k,n))\cdot\mathbf 1_{A(k,n)}. $

1

Hint: Try to think how the $\mathcal{F}_n$'s look like. Are they countable or uncountable as sets? Then look in your definition of conditional expectation for the case you are in.

I also think that $H^{+}(\Omega,\mathcal{F})$ should read $H^{+}(\Omega,\mathcal{F}_n)$ for some $n \geq 1$ because else that is a pretty difficult set.

Another Hint: measurable functions with respect to finite $\sigma$-algebras (major hint...) have to be constant on the sets of the $\sigma$-algebra.