Thread: 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!

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.

Tried to use your advice.
This is what I get:



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?

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

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

instead of . (it hold for a non-zero measure set).