Vollständigkeit (Statistik)

Gegeben sei ein Messraum ${\displaystyle (X,{\mathcal {A}})}$ und eine Menge ${\displaystyle {\mathcal {P}}}$ von Wahrscheinlichkeitsmaßen auf diesem Messraum. Dann heißt ${\displaystyle {\mathcal {P}}}$ vollständig, wenn die Menge der ${\displaystyle {\mathcal {P}}}$ -Nullschätzer ${\displaystyle {\mathcal {P}}}$ -trivial ist. Sprich für alle

${\displaystyle f\in {\mathcal {L}}(X,{\mathcal {A}},{\mathcal {P}}){\text{ mit }}\operatorname {E} _{P}(f)=0\quad \mathrm {f{\ddot {u}}r\;alle\;} P\in {\mathcal {P}}}$

gilt

${\displaystyle f=0\quad {\mathcal {P}}-{\text{fast sicher}}}$ .

Dabei bezeichnet ${\displaystyle {\mathcal {L}}(X,{\mathcal {A}},{\mathcal {P}})}$ den Raum aller ${\displaystyle {\mathcal {P}}}$ -integrierbaren Funktionen (siehe Lp-Raum).

Eine Unter-σ-Algebra ${\displaystyle {\mathcal {T}}}$ von ${\displaystyle {\mathcal {A}}}$ heißt vollständig für ${\displaystyle {\mathcal {P}}}$ , wenn ${\displaystyle {\mathcal {P}}|_{\mathcal {T}}}$ vollständig auf dem Messraum ${\displaystyle (X,{\mathcal {T}})}$ ist. Dabei bedeutet ${\displaystyle {\mathcal {P}}|_{\mathcal {T}}}$ , dass man den Definitionsbereich aller Wahrscheinlichkeitsmaße in ${\displaystyle {\mathcal {P}}}$ auf die kleinere σ-Algebra ${\displaystyle {\mathcal {T}}}$ einschränkt.

Eine Statistik

${\displaystyle T:(X,{\mathcal {A}})\to (Y,{\mathcal {A}}^{*})}$

heißt vollständig, wenn die von ihr erzeugte σ-Algebra ${\displaystyle \sigma (T)}$ vollständig ist bzw. ${\displaystyle {\mathcal {P}}|_{\sigma (T)}}$ vollständig ist.

Häufig wird die Verteilungsklasse ${\displaystyle {\mathcal {P}}}$ mit einem Index ${\displaystyle \vartheta }$ versehen, man schreibt dann ${\displaystyle {\mathcal {P}}=(P_{\vartheta })_{\vartheta \in \Theta }}$ . Formuliert man in dieser Schreibweise die Vollständigkeit aus, so erhält man die gängige Definition:

Eine Statistik ${\displaystyle T}$ heißt vollständig, wenn für alle integrierbaren ${\displaystyle g}$ mit

${\displaystyle \operatorname {E} _{\vartheta }(g(T))=0\quad \mathrm {f{\ddot {u}}r\;alle\;} \vartheta \in \Theta }$

immer folgt, dass

${\displaystyle P_{\vartheta }(g(T)=0)=1\quad \mathrm {f{\ddot {u}}r\;alle\;} \vartheta \in \Theta }$ .

Intuitiv zugänglicher ist die folgende Definition der Vollständigkeit einer Verteilungsklasse: Eine Verteilungsklasse ist vollständig, genau dann wenn sie eine trennende Familie für ${\displaystyle {\mathcal {L}}(X,{\mathcal {A}},{\mathcal {P}})}$ ist. Das heißt, für beliebige ${\displaystyle f,g\in {\mathcal {L}}(X,{\mathcal {A}},{\mathcal {P}})}$ mit

${\displaystyle \int f\mathrm {d} P=\int g\mathrm {d} P\quad \mathrm {f{\ddot {u}}r\;alle\;} P\in {\mathcal {P}}}$

folgt

${\displaystyle f=g\quad {\mathcal {P}}-{\text{fast sicher}}}$

Die Verteilungsklasse ${\displaystyle {\mathcal {P}}}$ ist also groß genug, um alle Funktionen aus ${\displaystyle {\mathcal {L}}(X,{\mathcal {A}},{\mathcal {P}})}$ unterscheiden zu können.

Seien ${\displaystyle X_{1},X_{2}}$ unabhängig und identisch verteilte Zufallsvariablen mit Erwartungswert ${\displaystyle \vartheta }$ und beschränkter Varianz.

Dann ist ${\displaystyle \operatorname {E} [X_{1}-X_{2}]=\operatorname {E} [g(X_{1},X_{2})]=0}$ . Die Funktion ${\displaystyle g}$ ist also ein erwartungstreuer Schätzer von 0 und der Integrand ist nicht die Nullfunktion.

Sei ${\displaystyle B(X,{\mathcal {A}})}$ die Menge der beschränkten Funktionen auf ${\displaystyle (X,{\mathcal {A}})}$ . Eine Verteilungsklasse ${\displaystyle {\mathcal {P}}}$ heißt beschränkt vollständig, wenn sie vollständig für ${\displaystyle B(X,{\mathcal {A}})\cap L(X,{\mathcal {A}},{\mathcal {P}})}$ ist. Die Definitionen einer beschränkt vollständigen σ-Algebra und einer beschränkt vollständigen Statistik folgen wie oben.

Für eine gegebene Menge von Funktionen ${\displaystyle {\mathcal {L}}}$ heißt eine Verteilungsklasse ${\displaystyle {\mathcal {L}}}$ -vollständig, wenn sie vollständig für ${\displaystyle {\mathcal {L}}\cap L(X,{\mathcal {A}},{\mathcal {P}})}$ ist. Die Definitionen einer ${\displaystyle {\mathcal {L}}}$ -vollständigen σ-Algebra und einer ${\displaystyle {\mathcal {L}}}$ -vollständigen Statistik folgen wie oben.

Die beiden obigen Begriffe lassen sich auch kombinieren: Eine Verteilungsklasse heißt beschränkt ${\displaystyle {\mathcal {L}}}$ -vollständig, wenn sie vollständig für ${\displaystyle {\mathcal {L}}\cap B(X,{\mathcal {A}})\cap L(X,{\mathcal {A}},{\mathcal {P}})}$ ist. Die Definitionen einer beschränkt ${\displaystyle {\mathcal {L}}}$ -vollständigen σ-Algebra und einer beschränkt ${\displaystyle {\mathcal {L}}}$ -vollständigen Statistik folgen wie oben.

Statistische Vollständigkeit ist eine Voraussetzung für den Satz von Lehmann-Scheffé, in diesem Zusammenhang wurde der Begriff von E. L. Lehmann und H. Scheffé auch in die Statistik eingeführt. Die Sätze von Basu stellen einen Zusammenhang zwischen der Vollständigkeit, der Suffizienz und der Verteilungsfreiheit her.

• Ludger Rüschendorf: Mathematische Statistik. Springer Verlag, Berlin Heidelberg 2014, ISBN 978-3-642-41996-6, doi:10.1007/978-3-642-41997-3. 
• Claudia Czado, Thorsten Schmidt: Mathematische Statistik. Springer-Verlag, Berlin Heidelberg 2011, ISBN 978-3-642-17260-1, doi:10.1007/978-3-642-17261-8. 
• E.L. Lehmann, H. Scheffé: Completeness, similar regions, and unbiased estimation. I. In: Sankhyā. 10, Nr. 4, 1950, S. 305–340.
• E.L. Lehmann, H. Scheffé: Completeness, similar regions, and unbiased estimation. II. In: Sankhyā. 15, Nr. 3, 1955, S. 219–236.
• Helmut Pruscha: Vorlesungen über Mathematische Statistik. B. G. Teubner, Stuttgart 2000, ISBN 3-519-02393-8, Abschnitt II.3.