# Maximalinvariante Statistik

Eine maximalinvariante Statistik ist eine spezielle Abbildung in der mathematischen Statistik. Maximalinvariante Statistiken spielen eine wichtige Rolle bei der Reduktion durch Invarianz und der Konstruktion von optimalen invarianten Schätzern.

## Definition

Gegeben sei eine (multiplikativ geschriebene) Gruppe $({\mathcal {G}},\cdot )$ sowie eine Menge
    ${\mathcal {U}}=\{u_{\gamma }\mid \gamma \in {\mathcal {G}}\}$
von messbaren Transformationen auf den Messraum $(X,{\mathcal {A}}_{X})$. Dies bedeutet, dass
* Jede der Funktionen
    $u_{\gamma }\colon (X,{\mathcal {A}}_{X})\to (X,{\mathcal {A}}_{X})$
    bijektiv und bimessbar ist.
* Die Abbildung
    $\gamma \mapsto u_{\gamma }$
    ist ein Gruppenhomomorphismus von $({\mathcal {G}},\cdot )$ nach ${\mathcal {U}}$, versehen mit der Komposition von Funktionen $\circ$. Für alle $\gamma _{1},\gamma _{2}\in {\mathcal {G}}$ und alle $x\in X$ gilt also
    $u_{\gamma _{1}}(u_{\gamma _{1}}(x))=u_{\gamma _{1}\cdot \gamma _{2}}(x)$.
Sei $(Y,{\mathcal {A}}_{Y})$ ein weiterer Messraum. Dann heißt eine messbare Funktion
    $T\colon (X,{\mathcal {A}}_{X})\to (Y,{\mathcal {A}}_{Y})$
eine maximalinvariante Statistik, wenn gilt:
* $T$ ist invariant, das heißt, es gilt $T(u_{\gamma }(x))=T(x)$ für alle $x\in X$ und alle $\gamma \in {\mathcal {G}}$ (bzw. alle $u_{\gamma }\in {\mathcal {U}}$).
* Sind $x_{1},x_{2}\in X$, so dass $T(x_{1})=T(x_{2})$ gilt, so existiert ein $\gamma \in {\mathcal {G}}$ (bzw. ein $u_{\gamma }\in {\mathcal {U}}$), so dass $x_{1}=u_{\gamma }(x_{2})$ ist.

## Beispiel

Betrachte als Beispiel $(X,{\mathcal {A}}_{X})=(\mathbb {R} ^{n},{\mathcal {B}}(\mathbb {R} ^{n}))$ und $(Y,{\mathcal {A}}_{Y})=(\mathbb {R} ,{\mathcal {B}}(\mathbb {R} ))$. Die Gruppe ${\mathcal {G}}$ seien die reellen Zahlen $\mathbb {R}$, versehen mit der Addition $+$ als Verknüpfung. Für $\gamma \in \mathbb {R}$ definiere die bijektive, bimessbare Abbildung
    $u_{\gamma }(x)=x+\gamma \mathbf {1}$.
Hierbei bezeichnet $\mathbf {1}$ den Einsvektor. Die Abbildung $u_{\gamma }$ verschiebt also jeden Vektor $x$ um $\gamma$ entlang der Diagonalen.
Bezeichnet man mit ${\overline {x}}$ das arithmetische Mittel des Vektors $x$, so ist eine maximalinvariante Statistik gegeben durch
    $T(x)=x-{\overline {x}}\cdot \mathbf {1}$.
Denn das arithmetische Mittel ist verschiebungsäquivariant, erfüllt also
    ${\overline {x+\gamma \mathbf {1} }}={\overline {x}}+\gamma$,
woraus sich
    $T(u_{\gamma }(x))=T(x+\gamma \mathbf {1} )=x+\gamma \mathbf {1} -({\overline {x}}+\gamma )\mathbf {1} =x-{\overline {x}}\cdot \mathbf {1} =T(x)$
ergibt. Also ist $T$ invariant. Gilt nun $T(x_{1})=T(x_{2})$, so ist
    $x_{1}-{\overline {x}}_{1}\cdot \mathbf {1} =x_{2}-{\overline {x}}_{2}\cdot \mathbf {1}$,
woraus sich
    $x_{1}=x_{2}+({\overline {x}}_{1}-{\overline {x}}_{2})\mathbf {1}$
ergibt. Dies entspricht genau einer Verschiebung von $x_{2}$ um ${\tilde {\gamma }}=({\overline {x}}_{1}-{\overline {x}}_{2})$ entlang der Diagonalen. Somit gilt $x_{1}=u_{\tilde {\gamma }}(x_{2})$. Also ist $T$ maximalinvariant.

## Eigenschaften
### Verhalten auf Orbits

Bezeichne
    ${\mathcal {O}}_{x^{*}}:=\{x\in X\mid {\text{ es existiert ein }}\gamma \in {\mathcal {G}},{\text{ so dass }}u_{\gamma }(x^{*})=x\}$
den Orbit von $x^{*}$, also die Menge aller Elemente, die aus $x^{*}$ durch Gruppenoperationen hervorgeht. Dann bedeutet die Invarianz von $T$, dass $T$ auf einem gegebenen Orbit konstant ist. Sind also $x_{1},x_{2}\in {\mathcal {O}}_{x^{*}}$, so ist $T(x_{1})=T(x_{2})=T(x^{*})$.
Umgekehrt bedeutet das zweite Kriterium in der Definition, dass die Orbits eindeutig durch die Funktionswerte von $T$ identifiziert werden können. Die Niveaumengen von T
    ${\mathcal {N}}_{y}=\{x\in X\mid T(x)=y\}$
sind also eindeutig bestimmte Orbits (oder leer).

### Erzeugung invarianter Statistiken

Maximalinvariante Statistiken sind in dem Sinne maximal, als dass sie alle weiteren invarianten Statistiken erzeugen. Konkret bedeutet dies, dass wenn
    $T\colon (X,{\mathcal {A}}_{X})\to (Y,{\mathcal {A}}_{Y})$
eine maximalinvariante Statistik ist und
    $S\colon (X,{\mathcal {A}}_{X})\to (Z,{\mathcal {A}}_{Z})$
eine invariante Statistik, so existiert eine Funktion
    $h\colon Y\to Z$,
für die
    $S=h(T)$
gilt. Jede invariante Statistik ist somit die Komposition einer maximalinvarianten Statistik und einer weiteren Funktion $h$. Die Funktion $h$ ist im Allgemeinen jedoch nicht messbar.