title: Completeness (statistics)
text: # Completeness (statistics)
  
  In statistics, completeness is a property of a statistic in relation to a parameterised model for a set of observed data.
  
  A complete statistic T is one for which any proposed distribution on the domain of T is predicted by one or more prior distributions on the model parameter space. In other words, the model space is 'rich enough' that every possible distribution of T can be explained by some prior distribution on the model parameter space. In contrast, a sufficient statistic T is one for which any two prior distributions will yield different distributions on T. (This last statement assumes that the model space is identifiable, i.e. that there are no 'duplicate' parameter values. This is a minor point.)
  
  Put another way: assume that we have an identifiable model space parameterised by $\theta$, and a statistic $T$ (which is effectively just a function of one or more i.i.d. random variables drawn from the model). Then consider the map $f:p_{\theta }\mapsto p_{T|\theta }$ which takes each distribution on model parameter $\theta$ to its induced distribution on statistic $T$. The statistic $T$ is said to be complete when $f$ is surjective, and sufficient when $f$ is injective.
  
  ## Definition
  
  Consider a random variable X whose probability distribution belongs to a parametric model $P_θ$ parametrized by θ.
  
  Say T is a statistic; that is, the composition of a measurable function with a random sample $X_1,...,X_n.$
  
  The statistic T is said to be complete for the distribution of X if, for every measurable function g,:
  
  ${\text{if }}\operatorname {E} _{\theta }(g(T))=0{\text{ for all }}\theta {\text{ then }}\mathbf {P} _{\theta }(g(T)=0)=1{\text{ for all }}\theta .$
  
  The statistic T is said to be boundedly complete for the distribution of X if this implication holds for every measurable function g that is also bounded.
  
  ### Example 1: Bernoulli model
  
  The Bernoulli model admits a complete statistic. Let X be a random sample of size n such that each $X_i$ has the same Bernoulli distribution with parameter p. Let T be the number of 1s observed in the sample, i.e. $\textstyle T=\sum _{i=1}^{n}X_{i}$. T is a statistic of X which has a binomial distribution with parameters (n,p). If the parameter space for p is (0,1), then T is a complete statistic. To see this, note that
  
      $\operatorname {E} _{p}(g(T))=\sum _{t=0}^{n}{g(t){n \choose t}p^{t}(1-p)^{n-t}}=(1-p)^{n}\sum _{t=0}^{n}{g(t){n \choose t}\left({\frac {p}{1-p}}\right)^{t}}.$
  
  Observe also that neither p nor 1 − p can be 0. Hence $E_{p}(g(T))=0$ if and only if:
  
      $\sum _{t=0}^{n}g(t){n \choose t}\left({\frac {p}{1-p}}\right)^{t}=0.$
  
  On denoting p/(1 − p) by r, one gets:
  
      $\sum _{t=0}^{n}g(t){n \choose t}r^{t}=0.$
  
  First, observe that the range of r is the positive reals. Also, E(g(T)) is a polynomial in r and, therefore, can only be identical to 0 if all coefficients are 0, that is, g(t) = 0 for all t.
  
  It is important to notice that the result that all coefficients must be 0 was obtained because of the range of r. Had the parameter space been finite and with a number of elements less than or equal to n, it might be possible to solve the linear equations in g(t) obtained by substituting the values of r and get solutions different from 0. For example, if n = 1 and the parameter space is {0.5}, a single observation and a single parameter value, T is not complete. Observe that, with the definition:
  
      Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): g(t)=2(t-0.5),\,
  
  then, E(g(T)) = 0 although g(t) is not 0 for t = 0 nor for t = 1.
  
  ## Relation to sufficient statistics
  
  For some parametric families, a complete sufficient statistic does not exist (for example, see Galili and Meilijson 2016).
  
  For example, if you take a sample sized n > 2 from a $N(θ,θ^2)$ distribution, then $\left(\sum _{i=1}^{n}X_{i},\sum _{i=1}^{n}X_{i}^{2}\right)$ is a minimal sufficient statistic and is a function of any other minimal sufficient statistic, but $2\left(\sum _{i=1}^{n}X_{i}\right)^{2}-(n+1)\sum _{i=1}^{n}X_{i}^{2}$ has an expectation of 0 for all θ, so there cannot be a complete statistic.
  
  If there is a minimal sufficient statistic then any complete sufficient statistic is also minimal sufficient. But there are pathological cases where a minimal sufficient statistic does not exist even if a complete statistic does.
  
  ## Importance of completeness
  
  The notion of completeness has many applications in statistics, particularly in the following two theorems of mathematical statistics.
  
  ### Lehmann–Scheffé theorem
  
  Completeness occurs in the Lehmann–Scheffé theorem, which states that if a statistic that is unbiased, complete and sufficient for some parameter θ, then it is the best mean-unbiased estimator for θ. In other words, this statistic has a smaller expected loss for any convex loss function; in many practical applications with the squared loss-function, it has a smaller mean squared error among any estimators with the same expected value.
  
  Examples exists that when the minimal sufficient statistic is not complete then several alternative statistics exist for unbiased estimation of θ, while some of them have lower variance than others.
  
  See also minimum-variance unbiased estimator.
  
  ### Basu's theorem
  
  Bounded completeness occurs in Basu's theorem, which states that a statistic that is both boundedly complete and sufficient is independent of any ancillary statistic.
  
  ### Bahadur's theorem
  
  Bounded completeness also occurs in Bahadur's theorem. In the case where there exists at least one minimal sufficient statistic, a statistic which is sufficient and boundedly complete, is necessarily minimal sufficient. Another form of Bahadur's theorem states that any sufficient and boundedly complete statistic over a finite-dimensional coordinate space is also minimal sufficient.
  
  