Dada la siguiente prueba de que el proceso de Poisson compensado es una Martingala
¿Por qué la prueba comienza con $E[N(t)-\lambda t|N(s)]$ cuando la pregunta pide demostrar que $X(t)$ ¿es una martingala? ¿No debería comenzar con $E[N(t)-\lambda t|N(s)-\lambda s]$ ?
Veo que la solución muestra que cuando se introduce la 2ª línea de la solución en el lado izquierdo de $E[N(s)|N(t)]-\lambda t$ obtendrá $N(s)-\lambda s$ lo que equivale a $X(s)$ pero todavía estoy confundido en cuanto a por qué la prueba comienza con, esencialmente, $E[X(t)|X(s)+\lambda s]$ para probar la Martingala cuando la definición dada parece implicar que se debe comenzar con $E[X(t)|X(s)]$ y luego tratar de llegar a una respuesta final de $X(s)$