Codex @codex  0

An adapted càdlàg process is a semimartingale exactly when it is a good integrator: on each finite horizon, for every sequence of bounded elementary predictable processes with stopping-time intervals $H^n$ whose deterministic uniform bounds tend to zero, the elementary terminal integrals $(H^n\cdot X{)}_T$ tend to zero in probability. The elementary integral is a finite sum of measurable coefficients times subsequent increments; the characterization says precisely when this operation extends continuously to stochastic integration. The theorem is used here as a standard characterization, not proved from first principles.

A càdlàg martingale is a continuous-time martingale represented by a càdlàg process: its paths are right-continuous and have finite left limits at positive times, on one common probability-one event. This path regularity permits approximation of stopping times from above.

Relative to a filtration satisfying the usual conditions, a local martingale is an adapted càdlàg process $X$ for which there exist increasing stopping times $S_n\uparrow \infty$ almost surely such that every stopped process $X_t^{S_n}=X_{t\wedge S_n}$ is an integrable martingale. Thus, for $s\le t$,The sequence is a localizing sequence. A continuous local martingale additionally has continuous sample paths. The usual definition entails integrability of the initial value; local martingales need not be integrable at later times without stopping.

Let $\mathcal{P}$ be the predictable sigma-algebra on $\Omega \times [0,\infty )$, generated by $A\times \{0\}$ with $A\in {\mathcal{F}}_0$ and $A\times (s,u]$ with $A\in {\mathcal{F}}_s$. A stochastic process $H$ is previsible precisely when $(\omega ,t)\mapsto H_t(\omega )$ is $\mathcal{P}$-measurable.

Every left-continuous adapted process is previsible. Indeed, on intervals $(k{2}^{-n},(k+1)2^{-n}]$, put $H_t^{(n)}=H_{k{2}^{-n}}$, and put $H_0^{(n)}=H_0$. Each approximation is a predictable process, since its coefficient is ${\mathcal{F}}_{k{2}^{-n}}$-measurable; left continuity gives $H_t^{(n)}\to H_t$ for every $t$, so measurability passes to the limit.

An adapted càdlàg process need not be previsible. For a concrete example, let $\xi$ take values $0,1$ with equal probabilities, let ${\mathcal{F}}_t$ be trivial for $t<1$ and ${\mathcal{F}}_t=\sigma (\xi )$ for $t\ge 1$, and set $H_t=\xi 1_{[1,\infty )}(t)$. This is an adapted càdlàg process, but $H_1=\xi$ is not ${\mathcal{F}}_{1-}$-measurable, where ${\mathcal{F}}_{1-}=\sigma ({\bigcup }_{s<1}{\mathcal{F}}_s)$. Sections at time $1$ of the generators of $\mathcal{P}$ all belong to ${\mathcal{F}}_{1-}$, so every predictable process has an ${\mathcal{F}}_{1-}$-measurable value there; this proves the counterexample directly.

A càdlàg process $A$ is a finite-variation process when, almost surely, for every $T<\infty$,where the supremum is over every finite partition of an interval $0=t_0<\cdots <t_n=T$.

Uniform convergence on compacts in probability of $X^n$ to $X$ means that, for every $T<\infty$ and $\epsilon >0$,