title: Teorema di arresto opzionale di Doob
text: # Teorema di arresto opzionale di Doob
  
  Nella teoria della probabilità, il teorema di arresto opzionale di Doob afferma che, sotto certe condizioni, il valore atteso di una martingala ad un certo tempo di arresto coincide con il suo valore atteso iniziale.
  
  Il teorema prende il nome dal matematico Joseph Leo Doob.
  
  ## Enunciato
  
  Sia $(X_{n})_{n\geq 0}$ una martingala su $\Omega$ e sia $\tau$ un tempo di arresto per X. Supponiamo che valga una delle seguenti condizioni:
  
  * $\tau$ è limitato, ovvero esiste una costante $c$ tale che $\tau <c$ quasi certamente.
  * $\mathbb {E} (\tau )<\infty$ ed esiste una costante $K\in \mathbb {R}$ tale che
  
      $|X_{n}(\omega )-X_{n-1}(\omega )|\leq K\qquad \forall (n,\omega )$.
  * X è limitato, ovvero esiste $K\in \mathbb {R}$ tale che
  
      $|X_{n}(\omega )|\leq K\qquad \forall (n,\omega )$
      e $\tau$ è finito quasi certamente.
  
  Allora
  
      $\mathbb {E} (X_{\tau })=\mathbb {E} (X_{0})$
  
  Allo stesso modo, se $(X_{n})_{n\geq 0}$ è una supermartingala, si avrà
  
      $\mathbb {E} (X_{\tau })\leq \mathbb {E} (X_{0})$
  
  Se invece è una sottomartingala
  
      $\mathbb {E} (X_{\tau })\geq \mathbb {E} (X_{0})$.
  