Teorema de la Parada Opcional

El teorema de la parada opcional establece que, bajo condiciones que descartan una espera ilimitada, detener un juego justo en un momento aleatorio inteligentemente elegido no puede cambiar su valor esperado.

Definition

El teorema de la parada opcional afirma que para una martingala y un tiempo de parada que satisfacen condiciones adecuadas de integrabilidad o acotación, el valor esperado de la martingala en el tiempo de parada es igual a su valor esperado inicial, por lo que una martingala detenida sigue siendo una martingala.

Scope

Este tema cubre los tiempos de parada y el proceso detenido, el enunciado del teorema de la parada opcional y sus hipótesis, como los tiempos de parada acotados, las martingalas acotadas o la integrabilidad uniforme, contraejemplos como la estrategia de duplicación que muestran por qué se necesitan las hipótesis, y aplicaciones a la ruina del jugador, las probabilidades de impacto de los paseos aleatorios y las identidades de Wald.

Core questions

• ¿Qué es un tiempo de parada y qué significa detener un proceso en uno?
• ¿Bajo qué condiciones la parada opcional preserva la expectativa?
• ¿Por qué algunas estrategias de parada parecen vencer a un juego justo y qué hipótesis falla?
• ¿Cómo produce el teorema las probabilidades de impacto y los tiempos de impacto esperados?

Key theories

Parada opcional bajo condiciones suficientes

Si un tiempo de parada está acotado, o la martingala está acotada, o la familia de valores detenidos es uniformemente integrable, entonces la expectativa de la martingala en el tiempo de parada es igual a su valor inicial, preservando la propiedad del juego justo.

Identidades de Wald y problemas de ruina

La aplicación de la parada opcional a la martingala del paseo aleatorio produce las identidades primera y segunda de Wald que relacionan la suma detenida con el tiempo de parada y proporciona probabilidades explícitas de ruina del jugador y duraciones esperadas.

Clinical relevance

La parada opcional es la razón rigurosa por la que ningún sistema de apuestas puede vencer a un juego justo, proporciona derivaciones claras de las probabilidades de ruina y de impacto para los paseos aleatorios, y en la estadística secuencial controla el error de las pruebas que se detienen de forma adaptativa a medida que llegan los datos.

History

Doob formuló el muestreo opcional en las décadas de 1940 y 1950, generalizando las identidades de análisis secuencial de Wald de la década de 1940, y el teorema con sus cuidadosas hipótesis, ilustrado por el fracaso de la estrategia de duplicación, se convirtió en una piedra angular de la teoría de martingalas aplicada y las finanzas matemáticas.

Key figures

• Joseph Doob
• Abraham Wald
• David Williams

Seminal works

• doob1953

Frequently asked questions

¿Puede una regla de parada inteligente vencer a un juego justo?

No, siempre que se cumplan las condiciones del teorema de la parada opcional; las estrategias que parecen ganar, como duplicar las apuestas, requieren capital ilimitado o un tiempo esperado infinito, lo que viola las hipótesis del teorema.

¿Qué es un tiempo de parada?

Es un tiempo aleatorio cuya ocurrencia puede decidirse utilizando solo la información disponible hasta ese momento, sin mirar al futuro, como la primera vez que un proceso alcanza un nivel dado.