# Ununterscheidbare stochastische Prozesse

Ununterscheidbare stochastische Prozesse, auch nicht-unterscheidbare stochastische Prozesse genannt, sind in der Wahrscheinlichkeitstheorie gewisse stochastische Prozesse, die nur auf sehr „kleinen“ und damit vernachlässigbaren Mengen nicht miteinander übereinstimmen. Ununterscheidbare Prozesse können somit mittels des vorgegebenen Wahrscheinlichkeitsmaßes nicht voneinander unterschieden werden, da die „kleinen“ Mengen die Wahrscheinlichkeit null besitzen. Motivation zur Einführung von ununterscheidbaren stochastischen Prozessen ist die Untersuchung der Pfade von stochastischen Prozessen, beispielsweise auf Stetigkeit. Diese Eigenschaften spielen eine wichtige Rolle in der Konstruktion von komplexeren stochastischen Prozessen wie beispielsweise der Brownschen Bewegung.
Eng verwandt und unter Umständen identisch mit der Ununterscheidbarkeit sind die Modifikationen eines stochastischen Prozesses.

## Definition

Gegeben seien zwei stochastische Prozesse $X$ und $Y$ auf dem Wahrscheinlichkeitsraum $(\Omega ,{\mathcal {A}},P)$ mit Zeitmenge $I$ und Zustandsraum $E$.
Die Prozesse $X$ und $Y$ heißen ununterscheidbar, wenn es eine P-Nullmenge $N\in {\mathcal {A}}$ gibt, so dass die Menge $\{X_{t}\neq Y_{t}\}$ für jedes $t\in I$ in $N$ enthalten ist.
Bemerkung: In der englischsprachigen Literatur findet sich neben „indistinguishable processes“ auch der Ausdruck „equivalent up to evanescence“. Eine Menge $A\subset \Omega \times [0,T]$ heißt evaneszent (lat. evanescere ‚verschwinden', ‚sich verflüchtigen'), wenn die Menge $\{\omega \in \Omega :\exists t\in [0,T]{\text{ mit }}(\omega ,t)\in A\}$ eine $P$-Nullmenge ist. Zwei Prozesse, die ununterscheidbar sind, stimmen also bis auf Evaneszenz überein.

## Eigenschaften

Ununterscheidbarkeit stochastischer Prozesse ist ein stärkerer Begriff als der der Modifikationen eines stochastischen Prozesses. Das bedeutet, dass ununterscheidbare Prozesse $X,Y$ stets Modifikationen voneinander sind. Denn nach der Definition ist bei Modifikationen $N_{t}=\{X_{t}\neq Y_{t}\}$ für jedes $t\in I$ eine Nullmenge. Bei ununterscheidbaren Prozessen gibt es aber eine Nullmenge $N$, so dass $\textstyle \bigcup _{t\in I}N_{t}\subset N$. Existiert nun solch eine Nullmenge $N$, so müssen die $N_{t}$ als Teilmengen einer Nullmenge alle Nullmengen sein. Sind aber umgekehrt $X,Y$ Modifikationen voneinander, so folgt im Allgemeinen nicht, dass die Prozesse auch ununterscheidbar sind. Dies liegt daran, dass beliebige Vereinigungen der Nullmengen $N_{t}$ im Allgemeinen keine Nullmenge mehr sind.
Ein Beispiel hierfür sind die Prozesse
    $X_{t}={\begin{cases}1&{\text{ falls }}Z=t\\0&{\text{ falls }}Z\neq t\end{cases}}$
sowie
    $Y_{t}=0$.
Hierbei sei $Z$ eine normalverteilte Zufallsvariable. Dann ist $P(X_{t}=Y_{t})=P(Z\neq t)=1$ für alle $t\in I$. Also sind $X$ und $Y$ Modifikationen voneinander. Aber es lässt sich zeigen, dass die Prozesse nicht ununterscheidbar sind.
Sind $X,Y$ Modifikationen eines Prozesses mit Indexmenge (Zeitmenge) $I$, so gilt unter folgenden Voraussetzungen auch der Umkehrschluss, also dass auch Modifikationen eines Prozesses ununterscheidbar sind. Die beiden Begriffe sind also unter den folgenden Umständen äquivalent:
* Die Indexmenge $I$ ist abzählbar, denn abzählbare Vereinigungen von Nullmengen sind wieder Nullmengen
oder
* Die Prozesse $X$ und $Y$ sind fast sicher rechtsseitig stetig und $I\subset \mathbb {R}$ ist ein Intervall, das aber durchaus unbeschränkt sein kann.