Stopping time

Summary

A stopping time is a random time $\tau$ with the following property. At each time $t$, one can decide whether $\tau$ has already happened using only the information available at time $t$. First hitting times of sets by adapted processes are the main examples. Stopping times are central in martingale theory, through the optional stopping theorem, and in the strong Markov property and optimal stopping.