title: Teorema de la parada opcional
text: # Teorema de la parada opcional
  
  En teoría de la probabilidad, el teorema de la parada opcional (o teorema del muestreo opcional de Doob) afirma que, bajo ciertas condiciones, la esperanza de una martingala en un tiempo de parada es igual a su valor esperado inicial. Dado que las martingalas pueden utilizarse para modelizar la riqueza de un apostador que participa en un juego justo, el teorema de la parada opcional dice que, en promedio, no puede obtenerse ninguna ganancia parando el juego en base a la información disponible hasta el momento (es decir, sin conocer el resultado futuro).
  
  El teorema de la parada opcional es una importante herramienta en matemática financiera en el contexto del teorema fundamental de valoración de activos.
  
  ## Enunciado (en tiempo discreto)
  
  Sea $(\Omega ,{\mathcal {F}},\mathbb {F} =({\mathcal {F}}_{t})_{t\in \mathbb {N} _{0}},P)$ un espacio de probabilidad filtrado, donde $\mathbb {N} _{0}=\mathbb {N} \cup \{0\}$. Sea $X=(X_{t})_{t\in \mathbb {N} _{0}}$ una $(\mathbb {F} ,P)$-martingala, y sea $\tau$ un $\mathbb {F}$-tiempo de parada. Suponemos que se da una de las siguientes tres condiciones:
  
      (a) El tiempo de parada $\tau$ es casi seguramente acotado, es decir, existe una constante $c\in \mathbb {N}$ tal que $\tau \leq c$ casi seguramente.
      (b) El tiempo de parada $\tau$ tiene esperanza finita, y las esperanzas condicionales del valor absoluto de los incrementos de $X$ son casi seguramente acotadas; más precisamente, $E[\tau ]<\infty$ y existe una constante $c$ tal que $E[|X_{t+1}-X_{t}|{\big \vert }{\mathcal {F}}_{t}]\leq c$ casi seguramente en el suceso $\{\tau >t\}$, para todo $t\in \mathbb {N} _{0}$.
      (c) Existe una constante $c$ tal que $|X_{\tau \land t}|\leq c$ casi seguramente para todo $t\in \mathbb {N} _{0}$, donde $\land$ denota el operador mínimo.
  
  Entonces $X_{\tau }$ es una variable aleatoria casi seguramente bien definida, y $E[X_{\tau }]=E[X_{0}]$.
  
  Análogamente, si el proceso estocástico $X=(X_{t})_{t\in \mathbb {N} _{0}}$ es una submartingala o una supermartingala, y una de las condiciones anteriores se cumple, entonces
  
      $E[X_{\tau }]\geq E[X_{0}]$
  
  o
  
      $E[X_{\tau }]\leq E[X_{0}]$,
  
  respectivamente.
  
  ### Observación
  
  Bajo la condición (c), es posible que el suceso $\tau =\infty$ tenga probabilidad estrictamente positiva. En este suceso, $X_{\tau }$ se define como el límite puntual de $(X_{t})_{t\in \mathbb {N} _{0}}$ cuando $t\rightarrow \infty$, que existe casi seguramente por el teorema de convergencia de martingalas de Doob.
  
  * Datos: Q2027347
  