Aldous tightness criterion (source code)

= Aldous tightness criterion
{c}

For càdlàg processes on a finite horizon, compact containment together with uniformly small increments over pairs of bounded <stopping times> whose separation tends to zero is a sufficient criterion for tightness in the <Skorokhod J1 topology>. The increment condition is in probability, not merely at deterministic times. If in addition the largest jump tends to zero in probability, every limiting law is supported on continuous paths.