# Thread: when supermartingale is a martingale

1. ## when supermartingale is a martingale

Hello, guys!

Can anybody give a hint on how to prove that (on continuous time setting with t in [0,T]) if M is a supermartingale such that E[M(T)] = M(0), then M is in fact a martingale.
Would appreciate any help. Thanks!

2. ## Re: when supermartingale is a martingale

In the definition of super martingale, look what happen if you assume that the inequality is strict (on a non-zero measure set) and you take expectation.

3. ## Re: when supermartingale is a martingale

This is what I get:

$E_s$M(T)$ < M(s) \Rightarrow E$E_s\[M(T)$ \] < E$M(s)$ \Rightarrow E$M(T)$ < E$M(s)$ \Rightarrow M(0) < E$M(s)$$

So if this is correct last inequality is a contradiction to M being supermartingale. So strict inequallity does not hold, but equality must hold.
Am I right now?

4. ## Re: when supermartingale is a martingale

Yes, it's correct. Maybe in the first inequality you have to precise that it's true on a set of positive measure, and that the inequality is large outside the set (but not necessarily strict).

5. ## Re: when supermartingale is a martingale

You mean I have to add that this holds for non-zero measure sets? And what does "inequality is large" mean?

6. ## Re: when supermartingale is a martingale

$\leq$ instead of $<$. (it hold for a non-zero measure set).