Satz von Ionescu-Tulcea

Der Satz von Ionescu-Tulcea ist ein mathematischer Satz der Wahrscheinlichkeitstheorie, der sich mit der Existenz von Wahrscheinlichkeitsmaßen für Wahrscheinlichkeitsexperimente beschäftigt, die aus abzählbar unendlich vielen Einzelexperimenten bestehen. Insbesondere können die Einzelexperimente dabei voneinander verschieden und abhängig sein. Somit geht die Aussage über die bloße Existenz von abzählbaren Produktmaßen hinaus. Der Satz wurde von Cassius Ionescu-Tulcea bewiesen.

Aussage

Gegeben sei ein Wahrscheinlichkeitsraum $({\mathrm{\Omega }}_0,{𝒜}_0,P_0)$ sowie Messräume $({\mathrm{\Omega }}_i,{𝒜}_i)$ für $i\in \mathbb{N}$. Mit der Notation

${\mathrm{\Omega }}^i:=\prod _{k=0}^i{\mathrm{\Omega }}_k\text{ und }{𝒜}^i:=\underset{k=0}{\overset{i}{⨂}}{𝒜}_k$

seien ${\kappa }_i$ Markow-Kerne von $({\mathrm{\Omega }}^{i-1},{𝒜}^{i-1})$ nach $({\mathrm{\Omega }}_i,{𝒜}_i)$ gegeben für $i\in \mathbb{N}$. Dann existieren die durch das Produkt der Kerne

$P_i:=P_0\otimes \underset{k=0}{\overset{i}{⨂}}{\kappa }_k$

definierte Wahrscheinlichkeitsmaße auf $({\mathrm{\Omega }}^i,{𝒜}^i)$ und es gibt ein eindeutig definiertes Wahrscheinlichkeitsmaß $P$ auf $(\prod _{k=0}^{\mathrm{\infty }}{\mathrm{\Omega }}_k,\underset{k=0}{\overset{\mathrm{\infty }}{⨂}}{𝒜}_k)$, so dass

$P_i(A)=P(A\times \prod _{k=i+1}^{\mathrm{\infty }}{\mathrm{\Omega }}_k)$

gilt für alle $A\in {𝒜}^i$ und $i\in \mathbb{N}$.

Verwendung

Der Satz von Ionescu-Tulcea findet weitreichende Verwendung. Beispielsweise liefert er die Existenz beliebiger zeitdiskreter stochastischer Prozesse. Alternativ kann man ihn auch verwenden, um die Existenz von unendlichen Produktmaßen oder von abzählbaren Familien von stochastisch unabhängigen Zufallsvariablen zu zeigen.

Verallgemeinerungen

Eine Verallgemeinerung der Satzes von Ionescu-Tulcea ist der Erweiterungssatz von Kolmogorow, der sich mit der Existenz von Wahrscheinlichkeitsmaßen auf überabzählbaren Produkträumen beschäftigt.

Literatur

• Vorlage:Literatur
• Vorlage:Literatur