Was bedeutet es zu sagen, dass ein Ereignis „irgendwann passiert“?

15

Betrachten Sie eine eindimensionale Zufallsbewegung auf den ganzen Zahlen mit dem Anfangszustand : x ZZxZ

Sn=x+i=1nξi

wobei die Inkremente IID sind, so dass . P { ξ i = 1 } = P { ξ i = - 1 } = 1ξiP{ξi=1}=P{ξi=1}=12

Man kann beweisen, dass (1)

Px{Sn reaches +1 eventually}=1

wobei der Index die Anfangsposition bezeichnet.

Sei die erste Durchgangszeit für den Zustand . Mit anderen Worten, . Man kann auch beweisen, dass (2)+ 1 τ : = τ ( 1 ) : = min { n 0 : S n = 1 }τ+1τ:=τ(1):=min{n0:Sn=1}

Eτ=+

Beide Beweise finden Sie unter http://galton.uchicago.edu/~lalley/Courses/312/RW.pdf . Durch das Lesen des Artikels verstehe ich beide Beweise.

Meine Frage ist jedoch, was die Bedeutung von "schließlich" in der ersten Aussage sowie im Allgemeinen ist. Wenn etwas "irgendwann" passiert, muss es nicht in endlicher Zeit geschehen, oder? Wenn ja, was ist wirklich der Unterschied zwischen etwas, was nicht passiert, und etwas, das nicht "irgendwann" passiert? Aussagen (1) und (2) widersprechen sich in gewissem Sinne mir. Gibt es noch andere Beispiele dafür?


BEARBEITEN

Ich möchte nur eine Motivation für die Frage hinzufügen, dh ein einfaches Beispiel für etwas, das "irgendwann" passiert, aber mit endlich zu erwartender Wartezeit.

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

Daher wissen wir, dass der Läufer "irgendwann" nach links wandern wird und die erwartete Wartezeit davor (dh nach links) .1/(1/2)=2

Etwas zu sehen, was "irgendwann" passiert, aber mit unendlich erwarteter "Wartezeit", war eine ziemliche Anstrengung für meine Vorstellungskraft. Die zweite Hälfte von @ whubers Antwort ist ein weiteres gutes Beispiel.

Ye Tian
quelle
4
Nein bedeutet schließlich in endlicher Zeit. Genau das wird kontrastiert: P ist endlich, während die Erwartung von Tau unendlich ist
seanv507
Nun, es gibt das kanonische Beispiel der Cauchy-Distribution en.wikipedia.org/wiki/Cauchy_distribution .
Seanv507
2
@ seanv507 - Ja, obwohl der Mittelwert der Cauchy-Verteilung undefiniert und nicht unendlich ist (ein Stichprobenmittelwert aus der Cauchy-Datenbank springt herum, wenn unendlich geht und nicht stetig gegen + unendlich konvergiert). Ich dachte an die Pareto-Verteilung ( en.wikipedia.org/wiki/Pareto_distribution ), die Mittelwert = Unendlichkeit hat, wenn ihr Formparameter und dennoch eine genau definierte Wahrscheinlichkeitsverteilungsfunktion hat. α < = 1nα<=1
RobertF
@ RobertF danke - ich hätte sagen sollen, Pareto
Seanv507
2
All dies bietet ein gewisses Maß an Komfort: Wenn , dann ist , aber nicht umgekehrt. E [ τ ] = P(τ=)>0E[τ]=
Alex R.

Antworten:

16

Wie würden Sie ein Ereignis demonstrieren, das "irgendwann passiert"? Sie würden ein Gedankenexperiment mit einem hypothetischen Gegner durchführen. Ihr Gegner kann Sie mit einer beliebigen positiven Zahl herausfordern .Wenn Sie ein (was höchstwahrscheinlich von abhängt ), für das die Wahrscheinlichkeit, dass das Ereignis zum Zeitpunkt eintritt, mindestens beträgt , dann gewinnen Sie.n p n 1 - ppnpn1p

In diesem Beispiel ist " " eine irreführende Schreibweise, da Sie damit sowohl einen Zustand eines Zufallsrundgangs als auch den gesamten Zufallsrundgang selbst bezeichnen. Lassen Sie uns darauf achten, den Unterschied zu erkennen. "Erreicht irgendwann" bezieht sich auf eine Teilmenge der Menge aller zufälligen Wanderungen . Jeder Gang hat unendlich viele Stufen. Der Wert von zum Zeitpunkt ist . " erreicht Zeitpunkt " bezieht sich auf die Teilmenge von von Wanderungen, die zum Zeitpunkt den Zustand erreicht haben 1 S Ω S Ω S n S n S 1 n Ω 1 nSn1SΩSΩSnSnS1nΩ1n. Genau genommen ist es das Set

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

In Ihrer Antwort auf den imaginären Gegner zeigen Sie einige mit der Eigenschaft, dassΩ1,n

Pξ(Ω1,n)1p.

Da beliebig ist, stehen Ihnen alle Elemente der Menge zur Verfügungn

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

(Denken Sie daran, dass genau dann vorhanden ist, wenn es ein endliches für das gilt Unendlich viele, die an dieser Vereinigung beteiligt sind.) n S Ω 1 , nSn=1Ω1,n nSΩ1,n

Ihre Fähigkeit, das Spiel zu gewinnen, zeigt, dass diese Vereinigung mit einer Wahrscheinlichkeit größer ist als alle Werte der Form , egal wie klein mag. Folglich ist diese Wahrscheinlichkeit mindestens entspricht daher . Dann haben Sie es bewiesenp > 0 1 11pp>011

Pξ(Ω1,)=1.

Eine einfache Möglichkeit, den Unterschied zwischen "schließlich geschehen" und einer unendlichen erwarteten ersten Durchgangszeit zu erkennen, besteht darin, eine einfachere Situation zu betrachten. Für jede natürliche Zahl sei die Folgeω ( n )nω(n)

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

in denen Nullen von einer endlosen Folge von Einsen gefolgt werden. Mit anderen Worten, dies sind die Spaziergänge, die am Ursprung bleiben und zu einem (endlichen) Zeitpunkt zum Punkt übergehen und dann für immer dort bleiben.1n1

Sei die Menge all dieser mit der diskreten Sigmaalgebra. Ordnen Sie über ein Wahrscheinlichkeitsmaß zuω ( n ) , n = 0 , 1 , 2 , Ωω(n),n=0,1,2,

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

Dies wurde entwickelt , um die Möglichkeit des Springens zu machen von der Zeit gleich zu , die offensichtlich nähert sich beliebig nahe an . Sie werden das Spiel gewinnen. Der Sprung passiert irgendwann und wenn, wird es irgendwann endlich sein. Die erwartete Zeit , zu der dies geschieht, ist jedoch die Summe der Überlebensfunktion (die die Wahrscheinlichkeit angibt, zum Zeitpunkt nicht gesprungen zu sein ).n 1 - 1 / ( n + 1 ) 1 n1 n11/(n+1)1n

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

was divergiert. Das liegt daran, dass es relativ wahrscheinlich ist, lange vor dem Springen zu warten.

whuber
quelle
Verstehe ich das falsch, wenn ich Ihren ersten Abschnitt so lese, dass er sich auf ein Epsilon / Delta-Argument zusammensetzt, und damit im Grunde nur sage (wobei die Wahrscheinlichkeit eines Ereignisses nach Schritten ist)? ? P n n
limnPn=1
Pnn
jpmc26
1
@jpm Es geht nicht nur darum, sondern es ist ein Epsilon-Delta-Argument. In diesem Fall ist "Delta" " " und "Epsilon" wird " " geschrieben, um daran zu erinnern, dass es sich um eine Wahrscheinlichkeit handelt. Der Schwerpunkt liegt hier auf der Endlichkeit von : Grenzen werden als endliche Werte und endliche Operationen definiert, nicht als unendliche. p nnpn
Whuber
Ich danke einem anonymen Benutzer, der die Verwendung von underbracein der Beschreibung von . ω(n)
Whuber
3

Dass irgendwann etwas passiert, bedeutet, dass es irgendwann passiert, aber es gibt eine Konnotation, dass man sich nicht auf einen bestimmten festgelegten Zeitpunkt bezieht, vor dem es passiert. Wenn Sie sagen, dass innerhalb von drei Wochen etwas passieren wird, ist das eine stärkere Aussage, als dass es irgendwann passieren wird. Dass es irgendwann passieren wird, gibt keine Zeit an, wie "drei Wochen" oder "dreißig Milliarden Jahre" oder "eine Minute".

Michael Hardy
quelle