What is the difference between $\mathbb E[Z|\mathcal G]=Y$ and $\mathbb E[Z|\mathcal G]\stackrel{\text{a.s.}}{=}Y$?

122 Views Asked by At

I'm somewhat confused by the definition of martingale:

Let $(\Omega, \mathcal F, \mathcal F_n, \mathbb P)$ be a filtered probability space. We call $(X_n)_{n\in\mathbb N}$ martingale if for all $n\in\mathbb N$ holds:

  1. $X_n \in \mathcal L^1(\mathbb P)$

  2. $X_n$ is $\mathcal F_n$-measurable

  3. $\mathbb E[X_{n+1}|\mathcal F_n]\stackrel{\text{a.s.}}{=}X_n$

Why do we need "a.s." in the 3rd part? Isn't $\mathbb E[Z|\mathcal G]$ always unique only up to "a.s." anyway? How would we check the 3rd part without knowing that the 2nd part holds? (I.e. doesn't the 3rd imply the 2nd?) Why do we separate the points 2 and 3? Wouldn't it be enough to just ask for $\mathbb E[X_{n+1}|\mathcal F_n]=X_n$ instead?

1

There are 1 best solutions below

4
On BEST ANSWER

In general, 3 does not imply 2

Suppose $g$ is $\mathcal{F}$-measruable and $h=g$ almost surely, it does not imply $h$ is also $\mathcal{F}$-measurable.

Take a set $A$ which is contained in $B \in \mathcal{F}$ with $P(B) = 1$, but $A$ is not itself in $\mathcal{F}$. By definition, $h = 1_{A}$ is alomst surely equal to the constant variable $g \equiv 0$. But $h$ is not $\mathcal{F}$-measurable, since $h^{-1}(\{1\}) = A \not\in \mathcal{F}$.

If $\mathcal{F}$ has been completed and the filtration is augmented by $\mathbb{P}$, then (2) is indeed unnecessary. That's one of the reason of completion and augmentation: to make sure modification on a null set doesn't cause measurability problem.