# Produktmodell (Stochastik)

Ein Produktmodell, teilweise auch Produktexperiment ist ein Begriff aus der Stochastik, einem Teilbereich der Mathematik. Ein Produktmodell formalisiert die Vorstellung, dass ein Versuch, beispielsweise ein Münzwurf, beliebig oft unabhängig hintereinander ausgeführt werden kann. In diesem Zusammenhang spricht man auch von dem Produkt von Wahrscheinlichkeitsräumen.

## Definition

Gegeben sei eine endliche oder abzählbar unendliche Indexmenge $I$, also $I=\{1,\dots ,n\}$ oder $I=\mathbb {N}$ und für jedes $i\in I$ sei ein Wahrscheinlichkeitsraum $(\Omega _{i},{\mathcal {A}}_{i},P_{i})$ gegeben. Dabei ist $\Omega _{i}$ die Ergebnismenge, ${\mathcal {A}}_{i}$ das Ereignissystem, eine σ-Algebra, und $P_{i}$ ein Wahrscheinlichkeitsmaß. Dann heißt der Wahrscheinlichkeitsraum
    $\left(\prod _{i=1}^{|I|}\Omega _{i},\bigotimes _{i=1}^{|I|}{\mathcal {A}}_{i},\bigotimes _{i=1}^{|I|}P_{i}\right)$
das Produkt der Wahrscheinlichkeitsräume $(\Omega _{i},{\mathcal {A}}_{i},P_{i})$ oder einfach ein Produktexperiment oder Produktmodell. Hierbei ist
    $\prod _{i=1}^{|I|}\Omega _{i}$
das kartesische Produkt der Ergebnismengen,
    $\bigotimes _{i=1}^{|I|}{\mathcal {A}}_{i}$
die Produkt-σ-Algebra der σ-Algebren ${\mathcal {A}}_{i}$ und
    $\bigotimes _{i=1}^{|I|}P_{i}$
das Produktmaß der Wahrscheinlichkeitsmaße $P_{i}$.

## Beispiele

Es sei $I=\{1,\dots ,5\}$ und für jedes $i\in I$ ist $\Omega _{i}=\{0,1\},\,{\mathcal {A}}_{i}={\mathcal {P}}(\{0,1\})$ und $P_{i}(\{1\})={\tfrac {1}{2}}=P_{i}(\{0\})$. Jedes der Einzelexperimente ist also ein fairer Münzwürf. Das fünffache Produktexperiment ist dann also das fünffache unabhängige Werfen einer Münze, der Produktraum ist dann $\left(\{0,1\}^{5},{\mathcal {P}}(\{0,1\}^{5}),P\right)$, wobei das Wahrscheinlichkeitsmaß definiert ist durch die Gleichverteilung auf $\Omega =\{0,1\}^{5}$, also $P(\{\omega \})={\tfrac {1}{2^{5}}}$ für alle $\omega \in \Omega$.

## Eigenschaften und Bemerkungen

* Sind die $(\Omega _{i},{\mathcal {A}}_{i},P_{i})$ alle gleich, so schreibt man auch $(\Omega _{i}^{I},{\mathcal {A}}_{i}^{\otimes I},P_{i}^{\otimes I})$ für den Produktraum.
* Ist $X_{i}$ die Projektion von der $i$-ten Komponente des Produktraumes nach $(\Omega _{i},{\mathcal {A}}_{i})$, so nennt man die Verteilung von $X_{i}$ auch eine Marginalverteilung oder eine Randverteilung.

## Existenz

Probleme bei der Konstruktion eines allgemeinen Produktmodells bilden vor allem die Produktmaße. Im Falle von endlich vielen Wiederholungen garantiert der Maßerweiterungssatz von Carathéodory die Existenz. Außerdem gibt es Existenzaussagen für abzählbar unendliche Produkte von endlichen Wahrscheichlichkeitsräumen. Erst der Satz von Andersen-Jessen löst den allgemeinen Fall für abzählbar oder überabzählbar viele Produkte von Wahrscheinlichkeitsmaßen.

## Verwendung

Produktexperimente finden vielfältige Anwendung in der Statistik und Stochastik. So bilden sie beispielsweise die Basis für die Definition einiger Wahrscheinlichkeitsmaße, die sich als Wartezeitverteilungen definieren lassen wie die geometrische Verteilung. In der Statistik ermöglichen sie das Modellieren von Situationen, in denen Stichproben sukzessive vergrößert werden, um dadurch beispielsweise Aussagen über die Qualität von Schätzern treffen zu können.