Estoy tratando de demostrar el lema de Doob sobre el cruce y el primer paso requiere demostrarlo: Si $X$ es un submartingale, entonces $(X-a)_+$ es un submartingale. Lo encontré intuitivo pero no pude probarlo. Aquí está mi intento:
$\mathbb{E}[(X_{n+1}-a)_+|\mathscr{F_n}]\\=\mathbb{E}[(X_{n+1}-a)|\mathscr{F_n}]+\mathbb{E}[(X_{n+1}-a)_-|\mathscr{F_n}]\\>(X_{n}-a)+\mathbb{E}[(X_{n+1}-a)_-|\mathscr{F_n}]\\=(X_{n}-a)_+-(X_{n}-a)_-+\mathbb{E}[(X_{n+1}-a)_-|\mathscr{F_n}]\\=(X_{n}-a)_++(\mathbb{E}[(X_{n+1}-a)_-|\mathscr{F_n}]-(X_{n}-a)_-)$
Si $(X_{n}-a)_-$ es una martingala o submartingala esto está bien. ¿Y si es una supermartingala?