Apa artinya mengatakan bahwa suatu peristiwa “terjadi pada akhirnya”?

15

Pertimbangkan jalan acak 1 dimensi pada bilangan bulat dengan keadaan awal x Z :ZxZ

Sn=x+i=1nξi

di mana kenaikan adalah IID sehingga P { ξ i = 1 } = P { ξ i = - 1 } = 1ξi .P{ξi=1}=P{ξi=1}=12

Seseorang dapat membuktikan bahwa (1)

Px{Sn reaches +1 eventually}=1

di mana subscript menunjukkan posisi awal.

Biarkan menjadi waktu bagian pertama yang negara + 1 . Dengan kata lain, τ : = τ ( 1 ) : = min { n 0 : S n = 1 } . Orang juga dapat membuktikan bahwa (2)τ+1τ: =τ(1): =min{n0:Sn=1}

Eτ=+

Kedua bukti tersebut dapat ditemukan di http://galton.uchicago.edu/~lalley/Courses/312/RW.pdf . Melalui membaca artikel, saya mengerti kedua bukti.

Namun, pertanyaan saya adalah apa arti "akhirnya" dalam pernyataan pertama dan juga secara umum. Jika sesuatu terjadi "pada akhirnya", itu tidak harus terjadi dalam waktu yang terbatas, bukan? Jika demikian, apa sebenarnya perbedaan antara sesuatu yang tidak terjadi dan sesuatu yang tidak terjadi "pada akhirnya"? Pernyataan (1) dan (2) dalam beberapa hal bertentangan dengan saya. Apakah ada contoh lain seperti ini?


EDIT

Hanya ingin menambahkan motivasi untuk pertanyaan, yaitu, contoh langsung dari sesuatu yang terjadi "akhirnya", tetapi dengan waktu tunggu yang terbatas diharapkan.

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

Oleh karena itu kita tahu bahwa walker akan "akhirnya" bergerak ke kiri, dan waktu tunggu yang diharapkan sebelum melakukannya (yaitu, bergerak kiri) adalah .1/(1/2)=2

Melihat sesuatu yang terjadi "akhirnya" tetapi dengan "waktu tunggu" yang tak terbatas diharapkan cukup imajinasi saya. Bagian kedua dari respons @ whuber adalah contoh hebat lainnya.

Ye Tian
sumber
4
pada akhirnya tidak berarti dalam waktu yang terbatas. Itulah tepatnya yang dikontraskan: P terbatas, sementara harapan tau tidak terbatas
seanv507
Yah ada contoh kanonik distribusi Cauchy en.wikipedia.org/wiki/Cauchy_distribution .
seanv507
2
@ seanv507 - Ya, meskipun rata-rata distribusi Cauchy tidak terdefinisi daripada tidak terbatas (sampel rata-rata dari Cauchy dbn akan melompat-lompat ketika mendekati tak terhingga daripada terus-menerus bertemu + Infinity). Saya berpikir tentang distribusi Pareto ( en.wikipedia.org/wiki/Pareto_distribution ), yang memiliki mean = Infinity ketika parameter bentuknya α < = 1 dan memiliki fungsi distribusi probabilitas yang terdefinisi dengan baik. nα<=1
RobertF
@ RobertTF terima kasih - Saya seharusnya mengatakan Pareto
seanv507
2
Ada beberapa kenyamanan dalam semua ini: jika , maka E [ τ ] = , tetapi tidak sebaliknya. P(τ=)>0E[τ]=
Alex R.

Jawaban:

16

How would you demonstrate an event "eventually happens"? You would conduct a thought experiment with a hypothetical opponent. Your opponent may challenge you with any positive number p. If you can find an n (which most likely depends on p) for which the chance of the event happening by time n is at least 1p, then you win.

In the example, "Sn" is misleading notation because you use it both to refer to one state of a random walk as well as to the entire random walk itself. Let's take care to recognize the distinction. "Reaches 1 eventually" is meant to refer to a subset S of the set of all random walks Ω. Each walk SΩ has infinitely many steps. The value of S at time n is Sn. "S reaches 1 by time n" refers to the subset of Ω of walks that have reached the state 1 by time n. Rigorously, it is the set

Ω1,n={SΩS1=1 or S2=1 or  or Sn=1}.

In your response to the imaginary opponent, you are exhibiting some Ω1,n with the property that

Pξ(Ω1,n)1p.

Because n is arbitrary, you have available all elements of the set

Ω1,=n=1Ω1,n.

(Recall that Sn=1Ω1,n if and only if there exists a finite n for which SΩ1,n, so there aren't any infinite numbers involved in this union.)

Your ability to win the game shows this union has a probability exceeding all values of the form 1p, no matter how small p>0 may be. Consequently, that probability is at least 1--and therefore equals 1. You will have demonstrated, then, that

Pξ(Ω1,)=1.

One simple way to appreciate the distinction between "happening eventually" and having an infinite expected first passage time is to contemplate a simpler situation. For n any natural number, let ω(n) be the sequence

ω(n)=(0,0,,0n,1,1,)

in which n zeros are followed by an endless string of ones. In other words, these are the walks that stay at the origin and at some (finite) time step over to the point 1, then stay there forever.

Let Ω be the set of all these ω(n),n=0,1,2, with the discrete sigma algebra. Assign a probability measure via

P(ω(n))=1n+11n+2=1(n+1)(n+2).

This was designed to make the chance of jumping to 1 by the time n equal to 11/(n+1), which obviously approaches arbitrarily closely to 1. You will win the game. The jump eventually happens and when it does, it will be at some finite time. However, the expected time when it happens is the sum of the survival function (which gives the chances of not having jumped at time n),

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

which diverges. That is because a relatively large probability is given to waiting a long time before jumping.

whuber
sumber
Am I misunderstanding if I read your first section as boiling down to to an epsilon/delta argument, and thus basically just saying
limnPn=1
(where Pn is the probability of some event after n steps)?
jpmc26
1
@jpm It doesn't just boil down to it: it is an epsilon-delta argument. In this case "delta" is "n" and "epsilon" is written "p" as a reminder that it is a probability. The emphasis here is on the finiteness of n: limits are defined in terms of finite values and finite operations, not infinite ones.
whuber
I thank an anonymous user for suggesting the use of underbrace in the description of ω(n).
whuber
3

That something happens eventually means that there is some point in time at which it happens, but there is a connotation that one is not referring to any particular specified time before which it happens. If you say something will happen within three weeks, that is a stronger statement than that it will happen eventually. That it will happen eventually does not specify a time, such as "three weeks" or "thirty-billion years" or "one minute".

Michael Hardy
sumber