Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $(\Omega, \mathcal{F}, (\mathcal{F}_n)_{n\in\{0,1,2,\ldots,N\}}, P)$ be a stochastic basis, carrying an adapted and integrable stochastic process $X=X_n$. Show that X is a martingale iff $E[X_T]=E[X_S]$ for all bounded stopping times $S ≤T$.

I am stuck at this problem and don't know where to start. Could anyone give a help ?

share|cite|improve this question
up vote 1 down vote accepted

Optionnal stoppping time theorem gives you one implication.

For the other one, suppose $A \in \mathcal{F}_n$. One wants to prove that $E(1_A X_n) = E(1_A X_{n+1})$. Define $T$ by $T(\omega) = n$ if $\omega \in A$ and $T(\omega) = n+1$ otherwise, and let $S$ be constant equal to $n+1$.

What does the condition $E(X_T) = E(X_S)$ say ?

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.