En el estudio de los procesos estocásticos en matemáticas , un momento de acierto (o tiempo de primer acierto ) es la primera vez que un proceso dado "golpea" un subconjunto dado del espacio de estados. Los tiempos de salida y de regreso también son ejemplos de tiempos de golpe.
Sea T un conjunto de índices ordenados como los números naturales , N , los números reales no negativos , [0, + ∞), o un subconjunto de estos; los elementos t ∈ T se pueden considerar como "tiempos". Dado un espacio de probabilidad (Ω, Σ, Pr) y un estado mensurable espacio S , dejar que X : Ω × T → S sea un proceso estocástico , y dejar que A sea un subconjunto medible del espacio de estado S . Entonces, el primer tiempo de acierto τ A : Ω → [0, + ∞] es la variable aleatoria definida por
El primer tiempo de salida (de A ) se define como la primera vez golpe para S \ A , el complemento de A en S . Confusamente, esto es también a menudo se representa por τ A . [1]
El primer tiempo de retorno se define como el primer tiempo de acierto para el conjunto singleton { X 0 ( ω )}, que suele ser un elemento determinista dado del espacio de estados, como el origen del sistema de coordenadas.
El tiempo de golpear de un conjunto F también es conocido como el debut de F . El teorema de Début dice que el tiempo de impacto de un conjunto F mensurable , para un proceso progresivamente mensurable , es un tiempo de parada. Los procesos progresivamente mensurables incluyen, en particular, todos los procesos adaptados continuos de derecha e izquierda . La prueba de que el debut es mensurable es bastante complicada e involucra propiedades de conjuntos analíticos . El teorema requiere que el espacio de probabilidad subyacente sea completo o, al menos, universalmente completo.
Lo contrario del teorema de Début establece que cada tiempo de parada definido con respecto a una filtración sobre un índice de tiempo de valor real puede representarse por un tiempo de golpe. En particular, para esencialmente cualquier tiempo de parada de este tipo existe un proceso adaptado, no creciente con trayectos de càdlàg (RCLL) que toma los valores 0 y 1 únicamente, de modo que el tiempo de activación del conjunto por este proceso es el tiempo de parada considerado. La prueba es muy sencilla. [2]