Satz: Wenn eine Folge von k-dimensionalen Zufallsvektoren st und wenn eine kontinuierliche Abbildung ist, dann ist .
Beweis: Sei eine positive reelle Zahl. Dann geben wir ein wir haben
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?
time-series
probability
convergence
asymptotics
Monolith
quelle
quelle
Antworten:
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).A B P(A∪B)≤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
Die funktionelle Zusammensetzung
ist eine reelle Funktion von .Ω
Lassen
Dies ist das umgekehrte Bild des Komplements des realen Intervalls :B(ε)=[−ε,ε]
Es sind nur ein paar Punkte in .Ω (In Worten: besteht aus allen Ergebnissen, bei denen sich die Werte von auf und zu stark unterscheiden.)An g X Xn
(Um die Notation zu vereinfachen, schreiben wir Set-Ergänzungen in mit Überstrichen wie inR
zum Beispiel.)
Ebenso lassen
(Dies sind die Ergebnisse, bei denen durch ) undX K
(die Ergebnisse, bei denen durch ).Xn K
Zum Schluss schreiben
einstellen
(Die Ergebnisse, bei denen zu stark von abweicht ).Xn X
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:A→B C⊂B
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 .x∈A C f f A x C B
Mit diesen mechanischen, satztheoretischen Vorbereitungen können wir den Text jetzt interpretieren. In der Aussage nach "da gleichmäßig stetig ist ..." sehen wirg
und auf der rechten Seite befindet sich selbst. Im ersten Schritt nach "Daher" sehen wir solche Mengen wieCn
und
Ihre Wahrscheinlichkeiten werden summiert. Dies legt nahe, dass wir die Beziehung zwischen betrachten
und
Die Klarheit dieser Notation macht jetzt deutlich, dass die erste Einbeziehung die zweite impliziert, da jedes , das nicht in mit Sicherheit darin liegtω∈An B∩Bn
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.An∩B∩Bn Cn∪B¯∪Bn¯=Cn∪(Ω∖(B∩Bn))
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.
quelle
RegionPlot
Objekten, die überlagert sindShow
, 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.Vorschlag. Wenn eine Folge von dimensionalen Zufallsvektoren ist, so dass setzt und ist stetig, dann setzt .{Xn}n≥1 k Xn→PrX g:Rk→Rm g(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>0 ∥Xn(ω)∥>K
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 .Xn→PrX {ni}⊂N {nij}⊂{ni} Xnij→X j→∞
quelle