# Voldoende (statistiek)

In de statistiek zegt men dat een steekproeffunctie voldoende is voor een bepaalde familie kansverdelingen, als de steekproeffunctie alle informatie bevat over de kansverdeling waaruit de steekproef komt. De gehele steekproef geeft dus niet meer informatie, dan de voldoende steekproeffunctie. Het begrip werd ingevoerd door Fisher en houdt in het geval van een geparametriseerde familie kansverdelingen in, dat de voorwaardelijke verdeling van de steekproef, gegeven de waarde van de steekproeffunctie, niet afhangt van de parameter.

## Voorbeeld

In het geval van een normale verdeling met bekende variantie is het steekproefgemiddelde voldoende voor de verwachtingswaarde. Zodra het gemiddelde in de steekproef bekend is, kan uit de steekproef geen verdere informatie over de verwachtingswaarde verkregen worden.

## Definitie

Zij $\{P_{X,\theta }\}$ een familie kansverdelingen van de stochastische variabele $X$, en $X_{1},\ldots ,X_{n}$ een steekproef uit een van deze kansverdelingen. Een steekproeffunctie $T=T(X_{1},\ldots ,X_{n})$ heet voldoende voor de familie, ook voldoende voor (de parameter) $\theta$, als de voorwaardelijke verdeling van $X_{1},\ldots ,X_{n}$, gegeven $T=t$, onafhankelijk is van $\theta$.
Met behulp van de volgende factoriseringstelling van Fisher–Neyman laat het begrip 'voldoende steekproeffunctie' zich geschikt karakteriseren.

## Factoriseringstelling

Een steekproeffunctie $T=T(X_{1},\ldots ,X_{n})$ is dan en slechts dan voldoende voor de familie kansfuncties of kansdichtheden $\{f_{\theta }\}$ van $X$, als er functies $g$ en $h$ bestaan zodanig, dat voor $x=(x_{1},\ldots ,x_{n})$ geldt:
    $f_{\theta }(x)=h(x)\,g_{\theta }(T(x)),$
wat wil zeggen dat $\{f_{\theta }\}$ het product is van een factor $h(x)$ die niet afhangt van $\theta$, en een tweede factor die wel van $\theta$ afhangt, maar alleen door $T(x)$ van $x$ afhangt.

## Voorbeelden
### Bernoulli-verdeling

Als $X_{1},\ldots ,X_{n}$ een aselect steekproef is uit een Bernoulli-verdeling met parameter $p$, is de som $T=X_{1}+\dots +X_{n}$ een voldoende steekproeffunctie voor $p$. Dit blijkt uit de factorisering:
    $P(X_{1}=x_{1},\dots ,X_{n}=x_{n})=p^{x_{1}}(1-p)^{1-x_{1}}\cdots p^{x_{n}}(1-p)^{1-x_{n}}=$
       $=p^{\sum x_{i}}(1-p)^{n-\sum x_{i}}=p^{T(x)}(1-p)^{n-T(x)}$

### Uniforme verdeling

Als $X_{1},\ldots ,X_{n}$ een aselecte steekproef is uit de uniforme verdeling op het interval $[0,\theta ]$, is $T=\max(X_{1},\dots ,X_{n})$ voldoende voor $\theta$ (het maximum van de steekproef is voldoende voor het maximum van de populatie). Dit blijkt weer uit de factorisering van de simultane dichtheid:
    $f_{X}(x_{1},\ldots ,x_{n})={\frac {1}{\theta }}\mathbf {1} _{\{0\leq x_{1}\leq \theta \}}\cdots {\frac {1}{\theta }}\mathbf {1} _{\{0\leq x_{n}\leq \theta \}}={\frac {1}{\theta ^{n}}}\mathbf {1} _{\{0\leq \min\{x_{i}\}\}}\mathbf {1} _{\{\max\{x_{i}\}\leq \theta \}},$
waarin 1 de indicatorfunctie is.
De factorisering heeft dus de gewenste vorm met $h(x)=\mathbf {1} _{\{\min\{x_{i}\}\geq 0\}}$h(x), en de rest afhankelijk van $\theta$ en van $x$ via $T=\max(x_{1},\dots ,x_{n})$.

### Poissonverdeling

Als $X_{1},\ldots ,X_{n}$ een aselecte steekproef is uit de Poissonverdeling met parameter $\lambda$, dan is de som $T=X_{1}+\dots +X_{n}$ een voldoende steekproeffunctie voor $\lambda$. Dit blijkt uit de factorisering:
    $P(X=x)={\frac {e^{-\lambda }\lambda ^{x_{1}}}{x_{1}!}}\cdots {\frac {e^{-\lambda }\lambda ^{x_{n}}}{x_{n}!}}={\frac {1}{x_{1}!\cdots x_{n}!}}e^{-n\lambda }\lambda ^{x_{1}+\cdots +x_{n}}$
met $h(x)=1/(x_{1}!\cdots x_{n}!)$.