Satz von Prochorow

Der Satz von Prochorow ist ein Satz aus der Maßtheorie, einem Teilgebiet der Mathematik, das sich der Untersuchung von abstrahierten Volumenbegriffen widmet. Diese bilden die Basis für die Stochastik und die Integrationstheorie. Teilweise findet sich auch die aus dem Englischen übernommenen Schreibung Satz von Prohorov oder Satz von Prokhorov. Der Satz liefert Kriterien, unter denen Mengen von Maßen relativ folgenkompakt bezüglich der schwachen Konvergenz sind. Somit besitzen Folgen von Maßen aus solchen Mengen immer eine schwach konvergente Teilfolge. Der Satz ist nach Juri Wassiljewitsch Prochorow benannt, der ihn 1956 veröffentlichte.

Aussage

Gegeben sei ein metrischer Raum (X,d) und ${\mathcal {M}}$ eine Familie von endlichen Maßen auf der zugehörigen Borelschen σ-Algebra $\mathcal B (X)$ . Dann gilt:

Ist die Familie ${\mathcal {M}}$ straff und beschränkt, so ist sie auch relativ folgenkompakt bezüglich der schwachen Konvergenz.
Ist ein polnischer Raum, so gilt auch die Umkehrung. Daraus folgt, dass unter diesen Voraussetzungen ${\mathcal {M}}$ genau dann straff und beschränkt ist, wenn ${\mathcal {M}}$ schwach relativ folgenkompakt ist.

Dabei heißt eine Menge von Maßen ${\mathcal {M}}$ beschränkt, wenn die Menge der Totalvariationsnormen $\{\|\mu \| \; | \; \mu \in \mathcal M \}$ in $\mathbb {R}$ beschränkt ist.

Varianten

In der Wahrscheinlichkeitstheorie wird der Satz teilweise nur für Mengen von Wahrscheinlichkeitsmaßen formuliert, auf die Beschränktheitsbedingung wird dann verzichtet, da sie immer erfüllt ist.

Ein Spezialfall hiervon für Wahrscheinlichkeitsmaße auf den reellen Zahlen ist, den Satz von Prochorow nur für Verteilungsfunktionen im Sinne der Wahrscheinlichkeitstheorie zu formulieren und dann die Verbindung zur schwachen Konvergenz auf $\mathbb {R}$ über den Satz von Helly-Bray zu schlagen. Eine Familie $\mathcal F = (F_i)_{i \in I}$ von Verteilungsfunktionen heißt eine straffe Familie von Verteilungsfunktionen, wenn zu jedem $\varepsilon >0$ ein $C \in \R$ existiert, so dass

$\inf _{i\in I}\{F_{i}(C)-F_{i}(-C)\}>1-\varepsilon$

ist. Da $\mathbb {R}$ polnisch ist, lautet der Satz von Prochorow dann, dass eine Familie von Verteilungsfunktionen genau dann straff ist, wenn jede Folge aus dieser Familie eine schwach konvergente Teilfolge von Verteilungsfunktionen besitzt.

Basierend auf einem Artikel in:

Wikipedia.de