MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

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

Let $\{\mathcal B_i:i\in I\}$ be a family of $\sigma$-algebras (over the same set $\Omega$) which are totally ordered by inclusion, in the sense that for any $i,j\in I$ either $\mathcal B_i\subset\mathcal B_j$ or $\mathcal B_j\subset\mathcal B_i$. I think this can be called a filtration with time $I$.

Let $\mathcal B=\sigma\left(\bigcup_{i\in I}\mathcal B_i\right)$ be the $\sigma$-algebra generated by all the $\mathcal B_i$, let $\mu$ be a probability on $\mathcal B$ and let $X\in L^2(\mathcal B,\mu)$ be a bounded random variable.

In what senses (if any) does the family $\{\mathbb{E}[X\mid\mathcal B_i];i\in I\}$ approximate $X$? More precisely:

Is it true that for every $\epsilon>0$ there is some $i\in I$ such that $\|X-\mathbb{E}[X\mid\mathcal B_i]\|_{L^2}<\epsilon$? ($L^2$ convergence)

Is it true that there exists a set $A\in\mathcal B$ with $\mu(A)=1$ and for every $\epsilon>0$ there is some $i\in I$ such that for each $\omega\in A$ we have $|X(\omega)-\mathbb{E}[X\mid\mathcal B_i](\omega)|<\epsilon$? (almost sure convergence)

share|cite|improve this question
I think you'll want to look at Williams' Probability with Martingales: – Steve Huntsman Nov 21 '12 at 17:49
That book, although quite nice for learning, doesn't seem to deal with uncountable time, which is what I was looking for. – Joel Moreira Nov 29 '12 at 2:32
up vote 4 down vote accepted

The sigma algebra generated by $X$ is countably generated. Thus $X$ is measurable for $$ \sigma\left(\bigcup_{k=1}^\infty \mathcal{B}_{i_k}\right) $$ for some increasing sequence $i_1 \le i_2 \le \dots$ in $I$. So some of your desired results follow from the usual martingale convergence theory.

The almost sure convergence will fail, in general, for uncountable $I$. A reasonable replacement is called "essential convergence". That is what Sucheston and I used for such things in our book.

[plug: G. Edgar, L. Sucheston, Stopping Times and Directed Processes (Cambridge University Press 1992)]

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.