Como você demonstraria um evento "eventualmente acontece"? Você conduziria um experimento mental com um oponente hipotético. Seu oponente pode desafiá-lo com qualquer número positivo . Se você encontrar um (que provavelmente depende de ) para o qual a chance do evento acontecer no tempo é pelo menos , você vence.n p n 1 - ppnpn1−p
No exemplo, " " é uma notação enganosa, porque você as usa para se referir a um estado de uma caminhada aleatória, bem como a toda a caminhada aleatória em si. Vamos ter o cuidado de reconhecer a distinção. "Alcança eventualmente" significa que se refere a um subconjunto do conjunto de todos os passeios aleatórios . Cada passeio tem infinitos passos. O valor de no tempo é . " atinge por tempo " refere-se ao subconjunto de de caminhadas que atingiram o estado por tempo 1 S Ω S ∈ Ω S N S N S 1 n Ω 1 nSn1SΩS∈ΩSnSnS1nΩ1n. Rigorosamente, é o conjunto
Ω1,n={S∈Ω∣S1=1 or S2=1 or ⋯ or Sn=1}.
Na sua resposta ao oponente imaginário, você está exibindo alguns com a propriedade queΩ1,n
Pξ(Ω1,n)≥1−p.
Como é arbitrário, você tem disponível todos os elementos do conjunton
Ω1,∞=⋃n=1∞Ω1,n.
(Lembre-se de que se, e somente se, houver um finito para o qual , não haverá qualquer número infinito envolvido nesta união.) n S ∈ Ω 1 , nS∈⋃∞n=1Ω1,n nS∈Ω1,n
Sua capacidade de vencer o jogo mostra que essa união tem uma probabilidade superior a todos os valores da forma , não importa quão pequeno seja . Consequentemente, essa probabilidade é pelo menos e, portanto, é igual a . Você terá demonstrado, então, quep > 0 1 11−pp>011
Pξ(Ω1,∞)=1.
Uma maneira simples de apreciar a distinção entre "acontecer eventualmente" e ter um tempo infinito esperado na primeira passagem é contemplar uma situação mais simples. Para qualquer número natural, seja a sequênciaω ( n )nω(n)
ω(n)=(0,0,…,0n,1,1,…)
em que zeros são seguidos por uma sequência interminável de unidades. Em outras palavras, esses são os passeios que permanecem na origem e, em algum momento (finito), passam para o ponto e ficam lá para sempre.1n1
Seja o conjunto de todos esses com a álgebra sigma discreta. Atribua uma medida de probabilidade viaco ( n ) , n = 0 , 1 , 2 , ...Ωω(n),n=0,1,2,…
P(ω(n))=1n+1−1n+2=1(n+1)(n+2).
Isso foi projetado para ter a chance de pular para no tempo igual a , que obviamente se aproxima arbitrariamente de perto de . Você ganhará o jogo. O salto finalmente acontece e, quando isso acontecer, será em algum momento finito. No entanto, o tempo esperado em que ocorre é a soma da função de sobrevivência (que oferece as chances de não ter saltado no tempo ),n 1 - 1 / ( n + 1 ) 1 n1 n1−1/(n+1)1n
E(τ)=11+12+13+⋯,
que diverge. Isso ocorre porque é dada uma probabilidade relativamente grande de esperar muito tempo antes de pular.