Localizing sequence
= Localizing sequence
A localizing sequence for a <local martingale> $M$ is an increasing sequence of <stopping times> $T_n\uparrow\infty$ almost surely such that every stopped process $M^{T_n}$ is a true martingale. One can often choose the times so that the stopped processes are bounded.