Satz von Lehmann-Scheffé
# Satz von Lehmann-Scheffé

Der Satz von Lehmann-Scheffé ist ein zentrales Resultat der Schätztheorie, einem Teilgebiet der mathematischen Statistik. Die auf dem Satz von Rao-Blackwell aufbauende Aussage liefert Kriterien, unter denen erwartungstreue Punktschätzer auch gleichmäßig beste erwartungstreue Schätzer sind, also eine geringere Varianz als alle weiteren erwartungstreuen Schätzer besitzen.

Der Satz ist nach Erich Leo Lehmann und Henry Scheffé benannt.

## Aussage

Der Satz von Lehmann-Scheffé lässt sich auf unterschiedliche Weisen formulieren, die sich in ihrer Notation und den verwendeten Strukturen unterscheiden, inhaltlich aber identisch sind.

### Für σ-Algebren

Gegeben sei ein statistisches Modell $(X,{\mathcal {A}},{\mathcal {P}})$ und sei $D_{g}$ die Menge aller erwartungstreuer Schätzer mit endlicher Varianz für die Parameterfunktion $g$. Die Unter-σ-Algebra ${\mathcal {S}}\subset {\mathcal {A}}$ sei sowohl suffizient für ${\mathcal {P}}$ als auch vollständig für ${\mathcal {L}}^{2}(X,{\mathcal {A}},{\mathcal {P}})$.

Ist $T\in D_{g}$, dann ist die Rao-Blackwell-Verbesserung $T^{+}:=\operatorname {E} _{\bullet }(T|{\mathcal {S}})$ von $T$ bezüglich ${\mathcal {S}}$ gleichmäßig bester erwartungstreuer Schätzer für $g$. Sprich es gilt

    $\operatorname {Var} _{P}(T^{+})\leq \operatorname {Var} _{P}(K)\quad \mathrm {f{\ddot {u}}r\;alle\;} P\in {\mathcal {P}}$

und alle weiteren $K\in D_{g}$.

### Für Statistiken

Die Formulierung mittels Statistiken folgt direkt aus der obigen: Die suffiziente, vollständige σ-Algebra ${\mathcal {S}}$ wird durch eine suffiziente, vollständige Statistik $S$ ersetzt. Teils wird ${\mathcal {P}}$ auch als $(P_{\vartheta })_{\vartheta \in \Theta }$ notiert. Dies bedeutet nicht, dass die Aussage nur für parametrische Modelle gilt. Voll ausformuliert lautet die Aussage dann: $T^{+}:=\operatorname {E} _{\bullet }(T|S)$ ist ein gleichmäßig bester erwartungstreuer Schätzer für $g$, sprich es ist

    $\operatorname {Var} _{\vartheta }(T^{+})\leq \operatorname {Var} _{\vartheta }(K)\quad \mathrm {f{\ddot {u}}r\;alle\;} \vartheta \in \Theta$

und alle weiteren $K\in D_{g}$.

## Alternative Formulierungen

Mögliche Umformulierungen der obigen Aussagen sind:

* Ist ${\mathcal {S}}$ suffizient und vollständig für ${\mathcal {L}}^{2}(X,{\mathcal {A}},{\mathcal {P}})$ und ist $T\in {\mathcal {L}}^{2}(X,{\mathcal {S}},{\mathcal {P}})\cap D_{g}$, so ist $T$ gleichmäßig bester erwartungstreuer Schätzer für $g$.
* Ist $T$ eine vollständige suffiziente Statistik und existiert ein $h$, so dass $h\circ T$ ein erwartungstreuer Schätzer für $g$ ist, so ist $h\circ T$ ein gleichmäßig bester erwartungstreuer Schätzer für $g$. Dies gilt, da $\operatorname {E} _{\bullet }(h\circ T|T)=h\circ T$. Setzt man nun in der obigen Aussage $S=h\circ T$, so folgt diese Formulierung.

## Verallgemeinerungen

Eine Spezialisierung des Satzes von Lehmann-Scheffé ist der Satz von Barankin und Stein, der die Struktur lokal minimaler Schätzer beschreibt.

