Sigma-algebras. Countable intersections and distributivity

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?

-

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$.

-