Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

It's kind of a classical problem with simple formulation but it turned out to be quite difficult for me.

$(\Omega,\mathscr{F},P)$ is a probability space. If $(\mathscr{D}_n,\;n\geqslant 0)$ is a decreasing sequence of sub-$\sigma$-fields of $\mathscr{F}$: $\mathscr{D}_0\supset\mathscr{D}_1\supset\ldots$, $\mathscr{C}$ is another sub-$\sigma$-field of $\mathscr{F}$ independent of $\mathscr{D}_0$, then

$$\bigcap\limits_n(\mathscr{C}\vee\mathscr{D}_n)=\mathscr{C} \vee \Bigl(\bigcap\limits_n\mathscr{D}_n\Bigr).$$

Note 1: $\mathscr{C}\vee\mathscr{D}_n$ is a $\sigma$-algebra generated by $\mathscr{C}\cup\mathscr{D}_n$.

Inclusion $\bigcap\limits_n(\mathscr{C}\vee\mathscr{D}_n)\supseteq\mathscr{C} \vee \Bigl(\bigcap\limits_n\mathscr{D}_n\Bigr)$ is obvious. But the other one is not.

Note 2: I found this problen in Revuz, Yor and there is a hint: show, that if $C\in\mathscr{C}$ and $D\in\mathscr{D}_0$ then $\lim\limits_{n\rightarrow\infty}P(CD|\mathscr{C}\vee\mathscr{D}_n)$ is $[\mathscr{C}\vee(\cap_n\mathscr{D}_n)]$-measurable.

First, I don't really understand how to prove that the limit will be [some $\sigma$-algebra]-measurable. Second, with martingale convergence $E(I_C I_D|\bigcap\limits_n(\mathscr{C}\vee\mathscr{D}_n))$ is $[\mathscr{C} \vee (\cap_n\mathscr{D}_n)]$-measurable, what's next?

share|cite|improve this question
up vote 1 down vote accepted

The solution can be found on p.46 of the book "Exercises in Probability A Guided Tour from Measure Theory to Random Processes, via Conditioning" by L. Chaumont and M. Yor. I must notice that it's really a very interesting and useful book.

If we want to show that $\sigma$-algebras are equal up to $P$-negligible sets then the equality $$E(X|\mathscr{A})=E(X|\mathscr{B}),\;\forall X - \text{bounded}, \mathscr{A}\vee\mathscr{B}\text{-measurable r.v.}$$ is what we need (it's nearly obvious, try to replace $X$ with indicators).

So we want to show that $$E(X|\cap_n(\mathscr{C}\vee\mathscr{D}_n))=E(X|\mathscr{C}\vee\mathscr{D}),\; \mathscr{D}=\cap_n\mathscr{D}_n$$ holds for all $\mathscr{C}\vee\mathscr{D}_0$-measurable r.v. Using monotone class theorem for functions (Revuz, Yor p. 3) and the equality $\mathscr{C}\vee\mathscr{D}_0 = \sigma\{AB,\;A\in\mathscr{C},\,B\in\mathscr{D}_0\}$ we can show that it's enough to consider $X=fg$, $f$ and $g$ are bounded and respectively $\mathscr{C}$-measurable and $\mathscr{D}_0$-measurable.

\begin{multline} E(X|\mathscr{C}\vee\mathscr{D}_n)=\text{$f$ is $\mathscr{C}\vee\mathscr{D}_n$-measurable}=fE(g|\mathscr{C}\vee\mathscr{D}_n) \end{multline}

Again, using monotone class theorem and conditional independence of $\mathscr{C}$ and $\mathscr{D}_0$ given $\mathscr{D}_n, \forall\,n$, which holds because $\mathscr{D}_n\subset \mathscr{D}_0$, we can show that $E(g|\mathscr{C}\vee\mathscr{D}_n)=E(g|\mathscr{D}_n)$. So we have $$E(X|\mathscr{C}\vee\mathscr{D}_n)=fE(g|\mathscr{D}_n).$$

By martingale convergence theorem $E(g|\mathscr{D}_n)\rightarrow E(g|\mathscr{D})$, therefore $$E(X|\mathscr{C}\vee\mathscr{D}_n)\rightarrow fE(g|\mathscr{D})=E(X|\mathscr{C}\vee\mathscr{D}),$$ because $\mathscr{C}$ and $\mathscr{D}_0$ are independent conditionally on $\mathscr{D}$. Martingale convergence theorem implies that $$E(X|\mathscr{C}\vee\mathscr{D}_n)\rightarrow E(X|\cap_n(\mathscr{C}\vee\mathscr{D}_n))$$ We deduce the equality from the uniqueness of limit in $L^1$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.