Esta pregunta se refiere al comportamiento aparentemente peculiar en torno a cero del proceso de Poisson definido sobre el todo línea real R .
Un proceso de Poisson N(A) con medida media μ en un espacio de medidas topológico general (Ω,B,P) se define de forma que para todo A∈B Satisfaciendo a μ(A)<∞ , P(N(A)=n)=e−μ(A)(μ(A))nn! y para la disyuntiva A1,…,Ak El N(Ai) son mutuamente independientes.
Si Ω=[0,∞) y μ es proporcional a la medida de Lebesgue, entonces podemos construir el proceso N a través de una secuencia {Ti} de iid Exp(λ) variables aleatorias con Xn=T1+⋯+Tn y N(t)=#{n:Xn≤t} .
Si Ω=(−∞,∞) Una simple modificación de la construcción anterior funciona. Tomamos un segundo iid Exp(λ) secuencia {Ui} independiente de los puntos primero y lugar en X−n=−(U1+⋯+Un) . Parece fácil ver que esto satisface la definición general de un proceso de Poisson. Sólo tenemos que preocuparnos si A contiene puntos a ambos lados del cero. Por lo tanto, si A es cualquier conjunto de Borel en R lo descomponemos como A=(A∩(−∞,0))∪(A∩[0,∞)) y luego utilizar el hecho de que la construcción en cada media línea era independiente de la otra y que las sumas de Poissons independientes son Poisson.
" Paradoja ": Cada el tiempo de llegada es Exp(λ) independientemente unos de otros excepto para el tiempo de interllegada que está a caballo entre cero, es decir X1−X−1 que sigue siendo independiente de todos los demás tiempos de llegada, pero es Γ(2,λ) ya que es la suma de dos independientes Exp(λ) variables aleatorias.
¿Cómo se explica este peculiar comportamiento del proceso en torno a cero?
(Me doy cuenta de que esto no es una paradoja propiamente dicha, lo que explica las comillas).