统计推断 完备性与完备统计量的思想与历史渊源

因为这一年来有很多人问统计推断里的完备性到底要怎么理解，和泛函分析里的完备性是不是一回事之类的问题，所以今天结合数理统计学史给大家介绍一下完备性的渊源。我去除了大部分需要测度论的内容，但保留了一些测度论的概念，好让大家知道这篇文章确实是关于高等数理统计的。

完备性的定义

用$P_{\theta }$代表一个分布族，比如 P θ = { N ( θ , 1 ) : θ ∈ R } P_{\theta}=\{N(\theta,1):\theta \in \mathbb{R}\} Pθ​={ N(θ,1):θ∈R}就表示方差为1的正态均值分布族，假设随机变量$X\sim P_{\theta }$；另外，用$\mathcal{F}$表示某一类函数的集合。

定义1 完备性(completeness) 称分布族$P_{\theta }$是$\mathcal{F}$-完备的，如果$\forall f\in \mathcal{F}$，$E_{\theta }[f(X)]=\int f(x)d{P}_{\theta }(x)=0$对所有$\theta \in \Theta$成立，可以推出$P_{\theta }(f(X)=0)={\int }_{}$