Starke Suffizienz
# Starke Suffizienz

Die starke Suffizienz ist in der mathematischen Statistik eine Abwandlung der Suffizienz und damit wichtig für die Beantwortung der Frage, ob Informationen verlustfrei komprimiert werden können. Wie bei der (gewöhnlichen) Suffizienz definiert man zuerst die stark suffiziente σ-Algebra, um darauf aufbauend die stark suffiziente Statistik zu definieren. Starke Suffizienz und Suffizienz hängen zusammen, sind aber im Allgemeinen nicht identisch. Die starke Suffizienz geht zurück auf eine Arbeit von David Blackwell aus dem Jahr 1951, siehe Abschnitt Literatur.

## Definition

Gegeben sei ein statistisches Modell $(\Omega ,{\mathcal {A}},{\mathcal {P}})$ und eine σ-Algebra ${\mathcal {S}}$ mit ${\mathcal {S}}\subset {\mathcal {A}}$. Dann heißt ${\mathcal {S}}$ eine stark suffiziente σ-Algebra für ${\mathcal {P}}$, wenn ein Markow-Kern $\kappa$ von $(\Omega ,{\mathcal {S}})$ nach $(\Omega ,{\mathcal {A}})$ existiert, so dass
    $\kappa (\omega ,A)=P(A|{\mathcal {S}})(\omega )=\operatorname {E} _{P}(\mathbf {1} _{A}|{\mathcal {S}})(\omega )$
für alle $A\in {\mathcal {A}}$ und alle $P\in {\mathcal {P}}$.
Eine Statistik $T$ heißt eine stark suffiziente Statistik, wenn die von der Statistik erzeugte σ-Algebra $\sigma (T)$ eine stark suffiziente σ-Algebra ist.

## Beziehung zur Suffizienz

Auf borelschen Räumen fallen starke Suffizienz und Suffizienz zusammen. Denn ist ${\mathcal {S}}$ stark suffizient, so ist $\kappa (\cdot ,A)=f_{A}$ genau die von der Wahl von $P\in {\mathcal {P}}$ unabhängige ${\mathcal {S}}$-messbare Funktion, die bei der Definition der Suffizienz verlangt wird. Ist umgekehrt ${\mathcal {S}}$ suffizient auf einem Borelraum, so existiert der bei der Definition der starken Suffizienz geforderte Markow-Kern immer; er ist genau der Kern, der die reguläre bedingte Verteilung definiert, die auf borelschen Räumen immer existiert.

## Verwendung

Die starke Suffizienz wird beispielsweise in der Entscheidungstheorie verwendet. Hier werden Entscheidungen mittels Markow-Kernen modelliert, den sogenannten randomisierten Entscheidungsfunktionen. Um den Schaden einer Entscheidungsfunktion zu bemessen, wird eine Risikofunktion definiert, die bei vorliegendem, aber unbekannten Parameter, und einer gegebenen Entscheidungsfunktion das Risiko für eine Entscheidung bemisst. Ist nun ${\mathcal {S}}$ eine stark suffiziente σ-Algebra, so lässt sich die Entscheidungsfunktion anstelle auf der großen σ-Algebra ${\mathcal {A}}$ auf ${\mathcal {S}}$ definieren, ohne dass sich die Risikofunktion ändert. Somit enthält die stark suffiziente σ-Algebra bereits alle für die Risikofunktion nötigen Informationen.