Uncertainty and Probability Multiple Prior Martingale Theory

Doob Decomposition

Theorem

Let(St)be a multiple prior supermartingale.

Then there exists a multiple prior martingale M and a predictable,

nondecreasing process A with A 0 = 0such that S=M−A. Such a

decomposition is unique.

Remark

Standard proof goes through.