O que significa dizer que um evento "acontece eventualmente"?


15

Considere uma caminhada aleatória unidimensional nos números inteiros com o estado inicial : x ZZxZ

Sn=x+i=1nξi

onde os incrementos são IID tais que . P { ξ i = 1 } = P { ξ i = - 1 } = 1ξiP{ξi=1}=P{ξi=1}=12

Pode-se provar que (1)

Px{Sn reaches +1 eventually}=1

onde o subscrito indica a posição inicial.

τ+1τ:=τ(1):=min{n0:Sn=1}

Eτ=+

Ambas as provas podem ser encontradas em http://galton.uchicago.edu/~lalley/Courses/312/RW.pdf . Ao ler o artigo, compreendo as duas provas.

Minha pergunta é, no entanto, qual é o significado de "eventualmente" na primeira afirmação e também em geral. Se algo acontece "eventualmente", não precisa ocorrer em tempo finito, não é? Se sim, qual é realmente a diferença entre algo que não acontece e algo que não acontece "eventualmente"? As afirmações (1) e (2), em certo sentido, estão se contradizendo para mim. Existem outros exemplos como este?


EDITAR

Só quero adicionar uma motivação para a pergunta, ou seja, um exemplo direto de algo que acontece "eventualmente", mas com tempo de espera finito .

P{walker eventually moves left}=1P{walker never moves left}=1limn12n=1

Portanto, sabemos que o caminhante "eventualmente" se moverá para a esquerda e o tempo de espera esperado antes de fazê-lo (isto é, se mover para a esquerda) é .1/(1/2)=2

Ver algo que acontece "eventualmente", mas com um "tempo de espera" infinito e esperado, foi um exagero para minha imaginação. A segunda metade da resposta do @ whuber é outro ótimo exemplo.


4
eventualmente não significa em tempo finito. Isso é precisamente o que está sendo contrastada: P é finito, enquanto expectativa de tau é infinito
seanv507

Bem, há o exemplo canônico da distribuição Cauchy en.wikipedia.org/wiki/Cauchy_distribution .
seanv507

2
@ seanv507 - Sim, embora a média da distribuição de Cauchy seja indefinida em vez de infinita (uma média de amostra do db de Cauchy saltará à medida que aproxima do infinito em vez de convergir constantemente para + infinito). Eu estava pensando na distribuição Pareto ( en.wikipedia.org/wiki/Pareto_distribution ), que tem mean = Infinity quando seu parâmetro de forma e ainda tem uma função de distribuição de probabilidade bem definida. α < = 1nα<=1
robertf

@RobertF thanks - Eu deveria ter dito Pareto #
seanv507

2
Existe algum conforto nisso tudo: se , então , mas não o contrário. E [ τ ] = P(τ=)>0E[τ]=
Alex R.

Respostas:


16

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 - ppnpn1p

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)1p.

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 , nSn=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 11pp>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+11n+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 n11/(n+1)1n

E(τ)=11+12+13+,

que diverge. Isso ocorre porque é dada uma probabilidade relativamente grande de esperar muito tempo antes de pular.


Estou entendendo errado se eu li sua primeira seção como resumindo-se a um argumento epsilon / delta e, assim, basicamente dizendo apenas (onde é a probabilidade de algum evento após etapas) ?
limnPn=1
Pnn
jpmc26

11
@jpm Não se resume apenas a ele: é um argumento epsilon-delta. Nesse caso, "delta" é " " e "epsilon" é escrito " " como um lembrete de que é uma probabilidade. A ênfase aqui está na finitude de : os limites são definidos em termos de valores finitos e operações finitas, não infinitos. npn
whuber

Agradeço a um usuário anônimo por sugerir o uso de underbracena descrição de . ω(n)
whuber

3

Que algo aconteça eventualmente significa que há algum ponto no tempo em que isso acontece, mas há uma conotação de que alguém não está se referindo a nenhum tempo específico especificado antes do qual isso acontece. Se você diz que algo acontecerá dentro de três semanas, é uma afirmação mais forte do que acontecerá eventualmente. Que isso aconteça eventualmente não especifica um tempo, como "três semanas" ou "trinta bilhões de anos" ou "um minuto".

Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.