24.01.2013 Aufrufe

Klenke Wahrscheinlichkeitstheorie

Klenke Wahrscheinlichkeitstheorie

Klenke Wahrscheinlichkeitstheorie

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

13.2 Schwache und vage Konvergenz 241<br />

lokalkompakt, so ist (M(E),τv) ein Hausdorffraum. Ist E zudem polnisch, so ist<br />

(M(E),τv) ebenfalls polnisch (siehe etwa [83, Sektion 15.7]). ✸<br />

Während bei der schwachen Konvergenz stets auch Konvergenz der Gesamtmassen<br />

gilt (schließlich ist 1 ∈ Cb(E)), kann bei der vagen Konvergenz ein Massendefekt<br />

im Limes auftreten, jedoch kein Massenzuwachs, wie das folgende Lemma zeigt.<br />

Lemma 13.15. Sei E ein lokalkompakter, polnischer Raum, und seien μ, μ1,μ2,...<br />

n→∞<br />

∈Mf (E) mit μn −→ μ vag. Dann gilt<br />

μ(E) ≤ lim sup μn(E).<br />

n→∞<br />

Beweis. Sei (fN )N∈N eine Folge in Cc(E; [0, 1]) mit fN ↑ 1. Dann gilt<br />

�<br />

�<br />

μ(E) =sup<br />

N∈N<br />

fN dμ =suplim<br />

N∈N n→∞<br />

�<br />

fN dμn<br />

≤ lim sup sup<br />

n→∞<br />

N∈N<br />

fN dμn = lim sup μn(E). ✸<br />

n→∞<br />

Die Folge (δ 1/n)n∈N von W-Maßen auf R konvergiert offenbar schwach gegen δ0,<br />

nicht jedoch in der Totalvariationsnorm: Für die abgeschlossene Menge (−∞, 0]<br />

gilt nämlich limn→∞ δ 1/n((−∞, 0]) = 0 < 1=δ0((−∞, 0]). Etwas lax gesagt,<br />

kann in abgeschlossene Mengen im schwachen Limes Masse an der Rändern einwandern<br />

(nicht jedoch auswandern). Die komplementäre Aussage gilt für offene<br />

Mengen, denn limn→∞ δ 1/n((0, ∞)) = 1 > 0=δ0((0, ∞)), hier kann also Masse<br />

auswandern, nicht jedoch einwandern. Tatsächlich kann man die schwache Konvergenz<br />

über diese Eigenschaft charakterisieren. Im folgenden Satz werden wir ein<br />

ganzes Bündel solcher Aussagen ” auf einen Kleiderbügel (französisch: portemanteau)<br />

hängen“.<br />

Für messbares g : Ω → R sei Ug die Menge der Unstetigkeitsstellen von g. Beachte,<br />

dass Ug Borel-messbar ist (nach Übung 1.1.3).

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!