Es una constante de martingala $M$ finito de la variación de la constante?
Sabemos que existe una secuencia de tiempos de parada $T_n\nearrow \infty$.s. como $n\to\infty$ de manera tal que el proceso detenido $M^{T_n}$ es un continuo delimitado martingala. Y $M^{T_n}$ ha finito de variación, debido a que $M$ ha finito de variación.
Ya que si $X$ es un continuo delimitado martingala con finito de variación, a continuación,$X=X_0$.s. Por lo $M_t^{T_n}=M_0^{T_n}$.s. $\forall t\ge 0$ y dejando $n\to\infty$ obtenemos que $M\equiv M_0$.
Es mi razonamiento correcto?
La declaración de "continuo delimitado martingala con finito de variación implica la constante" es un lema de mis notas, pero no nos lo demuestran. ¿Cómo se podía demostrarlo?