Projektive Familie von Wahrscheinlichkeitsmaßen

Eine projektive Familie von Wahrscheinlichkeitsmaßen, kurz projektive Familie, manchmal auch konsistente Familie (von Wahrscheinlichkeitsmaßen) genannt, ist in der Wahrscheinlichkeitstheorie eine Familie von Wahrscheinlichkeitsmaßen, an deren Verteilungen der Projektionen auf die Komponenten besondere Anforderungen gestellt werden. Projektive Familien finden beispielsweise Verwendung bei dem Beweis des Satzes von Andersen-Jessen oder der Formulierung des Erweiterungssatzes von Kolmogorov, der die Existenz von Wahrscheinlichkeitsmaßen mit vorgegebenen Eigenschaften auf überabzählbaren Produkträumen garantiert und dadurch auch wichtige Existenzaussagen für stochastische Prozesse liefert.

Definition

Gegeben sei eine beliebige nichtleere Indexmenge $I$ und Messräume $({\mathrm{\Omega }}_i,{𝒜}_i)$ für $i\in I$. Für beliebiges $K\subset I$ sei

$({\mathrm{\Omega }}^K,{𝒜}^K):=(\prod _{i\in K}{\mathrm{\Omega }}_i,\underset{i\in K}{⨂}{𝒜}_i)$

das Produkt der Messräume und

${\pi }_L^J:{\mathrm{\Omega }}^J\to {\mathrm{\Omega }}^L\text{ definiert durch }{\pi }_L^J(\omega )=\omega {|}_L$

die Projektion auf die Komponenten der Indexmenge $L\subset J\subset I$. Des Weiteren sei $ℰ(I)$ die Menge aller nichtleeren, endlichen Teilmengen von $I$.

Eine Familie $(P_J{)}_{J\in ℰ(I)}$ von Wahrscheinlichkeitsmaßen heißt dann eine projektive Familie von Wahrscheinlichkeitsmaßen, wenn für jede Teilmenge $L\subset J$ der endlichen Menge $J$ gilt, dass

$P_L=P_J\circ ({\pi }_L^J{)}^{-1}$

ist. Die Wahrscheinlichkeitsmaße der kleineren Indexmenge sollen also mit der Verteilung der Wahrscheinlichkeitsmaße der großen Indexmenge unter der Projektion auf die Komponenten übereinstimmen.

Beispiel

Gegeben sei eine beliebige Indexmenge $I$ und ein Messraum

$(\prod _{i\in I}{\mathrm{\Omega }}_i,\underset{i\in I}{⨂}{𝒜}_i)$

versehen mit einem Wahrscheinlichkeitsmaß $P$. Aufgrund der Eigenschaften der Projektion gilt ${\pi }_L^I={\pi }_L^J\circ {\pi }_J^I$ für $I\supset J\supset L$. Somit ist jede Familie

$(P_J:=P\circ ({\pi }_J^I{)}^{-1}{)}_{J\in ℰ(I)}$

projektiv.

Bemerkung

Das obige Beispiel zeigt, dass die Projektivität einer Familie von Wahrscheinlichkeitsmaßen notwendig für die Existenz eines Wahrscheinlichkeitsmaßes auf dem Produktraum ist. Für Borel’sche Räume liefert der Erweiterungssatz von Kolmogorov auch die Umkehrung. Hier bestimmt die projektive Familie ein Wahrscheinlichkeitsmaß auf dem Produktraum bereits eindeutig.

Literatur

• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur