Eine stetige Funktion einer Folge von Zufallsvektoren konvergiert mit der Wahrscheinlichkeit gegen die Funktion der Grenze

7

Satz: Wenn eine Folge von k-dimensionalen Zufallsvektoren st und wenn eine kontinuierliche Abbildung ist, dann ist .{Xn}XnpXg:RkRmg(Xn)pg(X)

Beweis: Sei eine positive reelle Zahl. Dann geben wir ein wir haben Kϵ>0Geben Sie hier die Bildbeschreibung ein

Geben Sie hier die Bildbeschreibung ein

Ich verstehe nicht, warum einheitlich stetig ist und könnte ich einige zusätzliche Schritte / Erklärungen für die Einschlusserklärung haben, die sich daraus ergibt?g

Monolith
quelle
5
g ist gleichmäßig stetig auf da diese Menge kompakt ist und Kontinuität auf einer kompakten Menge eine einheitliche Kontinuität impliziert. {x:|x|K}
Monolite
1
Ich sehe nicht, wohin dieser Beweis führt. Es scheint ein "Sandwich to Zero" -Beweis zu sein, was bedeutet, dass der vorletzte Ausdruck auf der rechten Seite der letzten abgebildeten Reihe von Ungleichungen, dh die Summe von vier Wahrscheinlichkeiten, auf Null gehen sollte. Die erste und vierte Komponente gehen unter der Annahme einer Konvergenz der Wahrscheinlichkeit von auf Null , aber die zweite und dritte? Die tatsächliche Grenze kann alles sein. Was vermisse ich? XnX
Alecos Papadopoulos
1
@AlecosPapadopoulos Ich werde im Rest des Beweises bearbeiten.
Monolite

Antworten:

5

Dies alles beruht auf der axiomatischen und selbstverständlichen Tatsache, dass wenn und Ereignisse sind, dann . Alles andere ist nur Manipulation mit Mengen (die mit Venn-Diagrammen visualisiert werden können).ABP(AB)P(A)+P(B)


Um dies anzuwenden, muss die Notation dekodiert werden, was wiederum bedeutet, sich daran zu erinnern, dass das meiste davon eine Abkürzung für Teilmengen eines Beispielraums . Zu Beginn ist es zweckmäßig, das geordnete Paar als einzelne Zufallsvariable mit Werten im metrischen Raum .ΩZn=(Xn,X)M=Rk×Rk

Ich werde den größten Teil dieser Notation auf Aussagen über die inversen Bilder von Funktionen von bis reduzieren .ΩR

Definieren Sie zunächst

g:MR, g((X,Y))=g(X)g(Y).

Die funktionelle Zusammensetzung

gZn:ΩR, (gZn)(ω)=g(Zn(ω))

ist eine reelle Funktion von .Ω

Lassen

An={|g(Xn)g(X)|>ε}={ωΩ:|g(Xn(ω))g(X(ω))|>ε}.

Dies ist das umgekehrte Bild des Komplements des realen Intervalls :B(ε)=[ε,ε]

An=(gZn)1(RB(ε)).

Es sind nur ein paar Punkte in . Ω (In Worten: besteht aus allen Ergebnissen, bei denen sich die Werte von auf und zu stark unterscheiden.)AngXXn

(Um die Notation zu vereinfachen, schreiben wir Set-Ergänzungen in mit Überstrichen wie inR

B¯(ε)=RB(ε)

zum Beispiel.)

Ebenso lassen

B={XK}={ωΩ:X(ω)K}=X1(B(K))

(Dies sind die Ergebnisse, bei denen durch ) undXK

Bn={XnK}={ωΩ:Xn(ω)K}=Xn1(B(K))

(die Ergebnisse, bei denen durch ).XnK

Zum Schluss schreiben

d:MR, d((X,Y))=|XY|,

einstellen

Cn={|XnX|>γ(ε)}={ωΩ:|Xn(ω)X(ω)|>γ(ε)}=(dZn)1(B¯(γ(ε)))

(Die Ergebnisse, bei denen zu stark von abweicht ).XnX

Alle vier Mengen werden dabei als inverse Bilder von reellen Funktionen angesehen.

Denken Sie an die Beziehung zwischen inversen Bildern von Funktionen und Ergänzungen. Wenn eine Funktion zwischen Mengen und , dannf:ABCB

Af1(C)f1(BC).

Der Beweis ist einfach: Auf der linken Seite befinden sich alle Elemente , die nicht von an gesendet werden . Da - eine Funktion sein - für alle Elemente von , muss jedes solche an das Komplement von in , QED gesendet werden .xACffAxCB

Mit diesen mechanischen, satztheoretischen Vorbereitungen können wir den Text jetzt interpretieren. In der Aussage nach "da gleichmäßig stetig ist ..." sehen wirg

{|g(Xng(X)|>ε, XK, XnK}=AnBBn

und auf der rechten Seite befindet sich selbst. Im ersten Schritt nach "Daher" sehen wir solche Mengen wieCn

X>K"=X1(B¯(K))B¯

und

Xn>K"=Xn1(B¯(K))Bn¯.

Ihre Wahrscheinlichkeiten werden summiert. Dies legt nahe, dass wir die Beziehung zwischen betrachten

AnBBnCn

und

AnCnB¯Bn¯.

Die Klarheit dieser Notation macht jetzt deutlich, dass die erste Einbeziehung die zweite impliziert, da jedes , das nicht in mit Sicherheit darin liegtωAnBBn

Ω(BBn)=B¯Bn¯.

Zahl

Die linke Seite der Abbildung zeigt ein Venn-Diagramm mit in Grau, während die rechte Abbildung in grau. Der linke graue Bereich ist eindeutig im rechten grauen Bereich enthalten.AnBBnCnB¯Bn¯=Cn(Ω(BBn))

Wenn wir Wahrscheinlichkeiten anwenden, folgt sofort die erste Ungleichung nach "Daher", da die Wahrscheinlichkeit einer Vereinigung die Summe der Wahrscheinlichkeiten nicht überschreiten kann, wie eingangs erwähnt.

Die nächste Ungleichung wird auf die gleiche Weise abgeleitet: Ich überlasse die Zeichnung des Venn-Diagramms dem interessierten Leser.

whuber
quelle
1
Womit haben Sie diese großartigen Venn-Diagrammbilder gemacht?
Matthew Drury
@ Matthew Mathematica. Es ist nur eine Sammlung von RegionPlotObjekten, die überlagert sind Show, sehr schnell und schmutzig. Die Mengen selbst sind durch quadratische Ungleichungen definiert, so dass ein paar schnelle Richtungsänderungen von zwei von ihnen die linke Grafik zuverlässig in die rechte umwandeln.
whuber
3

Vorschlag. Wenn eine Folge von dimensionalen Zufallsvektoren ist, so dass setzt und ist stetig, dann setzt .{Xn}n1kXnPrXg:RkRmg(Xn)Prg(X)

Beweis . Für jedes , wenn , dann was entweder ergibt oder . Daher ist für jedes . Da eine stetige Funktion ist, ist es in der kompakten Menge gleichmäßig stetig . Daher existiert für jedes einK>0Xn(ω)>K

Xn(ω)X(ω)+X(ω)Xn(ω)X(ω)+X(ω)=Xn(ω)>K,
Xn(ω)X(ω)>K/2X(ω)>K/2
{ω:Xn(ω)>K}{ω:Xn(ω)X(ω)>K/2}{ω:X(ω)>K/2},
n1g{vRk:vK}ϵ>0δ>0 so dass für und , wenn , dann . Es folgt kontrapositiv, dass Definieren Sie außerdem und unter Verwendung der obigen Einschlüsse haben wir Xn(ω)KX(ω)KXn(ω)X(ω)<δg(Xn(ω))g(X(ω))<ϵ
{ω:g(Xn(ω))g(X(ω))ϵ,Xn(ω)K,X(ω)K}{ω:Xn(ω)X(ω)δ,Xn(ω)K,X(ω)K}{ω:Xn(ω)X(ω)δ}.
An={ω:Xn(ω)K}{ω:X(ω)K}
Pr{ω:g(Xn(ω))g(X(ω))ϵ}=Pr({ω:g(Xn(ω))g(X(ω))ϵ}An)+Pr({ω:g(Xn(ω))g(X(ω))ϵ}Anc)Pr{ω:Xn(ω)X(ω)δ}+Pr(Anc)Pr{ω:Xn(ω)X(ω)δ}+Pr{ω:Xn(ω)>K}+Pr{ω:X(ω)>K}Pr{ω:Xn(ω)X(ω)δ}+2Pr{ω:X(ω)>K/2}+Pr{ω:Xn(ω)X(ω)>K/2},
\ end {align} für jedes . Da nach Hypothese,n1XnPrX , daraus folgt, dass für jedes , und jeder (dies ist ein subtiler und entscheidender logischer Punkt!) . Da wir durch Erhöhen von beliebig klein machen können, gilt die Ungleichung für jedes wenn und nur wenn für jedes , was das ergibt
limnPr{ω:g(Xn(ω))g(X(ω))ϵ}2Pr{ω:X(ω)>K/2},()
ϵ>0 K>0 K2Pr{ω:X(ω)>K/2}()K>0
limnPr{ω:g(Xn(ω))g(X(ω))ϵ}=0,
ϵ>0g(Xn)Prg(X) .

Hinweis. Es ist viel einfacher, diesen Satz mit der Tatsache zu beweisen, dass genau dann, wenn für eine eine so dass fast sicher ist, wenn .XnPrX{ni}N{nij}{ni}XnijXj

Zen
quelle