Give and two probability measures on it with, Suppose . Define on by
and we suppose for all , then we can define
suppose otherwise,
其中
一定有某个的测度大于0, 从而积分小于0. 这就证明了...
is a martingale.
for
give an example that is not absolutely continuous w.r.t.
In fact