Let \(\mu \) and \(\nu \) be probability measures on \((\mathbb {R},\mathcal {B}(\mathbb {R}))\). Let \(\lambda =\frac {1}{2}\mu +\frac {1}{2}\nu \). Let \(\mathcal {F}\) be a \(\sigma \)-algebra contained in \(\mathcal {B}(\mathbb {R})\). Let \(\mu _{\mathcal {F}}\), \(\nu _{\mathcal {F}}\), and \(\lambda _{\mathcal {F}}\) be the restrictions of \(\mu \), \(\nu \), and \(\lambda \) to \(\mathcal {F}\), respectively.
- Prove that \(\mu _{\mathcal {F}}\ll \lambda _{\mathcal {F}}\) and \(\nu _{\mathcal {F}}\ll \lambda _{\mathcal {F}}\).
- What is \(f_\mu =\frac {d\mu _{\mathcal {F}}}{d\lambda _{\mathcal {F}}}\) in terms of \(\frac {d\mu }{d\lambda }\)? Of course, a similar relationship holds for \(f_\nu =\frac {d\nu _{\mathcal {F}}}{d\lambda _{\mathcal {F}}}\).
- For a bounded \(\mathcal {B}(\mathbb {R})\)-measurable function \(g\), compute \(\mathbb {E}^\lambda [g\mid \mathcal {F}]\) in terms of \(\mathbb {E}^\mu [g\mid \mathcal {F}]\), \(\mathbb {E}^\nu [g\mid \mathcal {F}]\), \(f_\mu \), and \(f_\nu \)?