Lehmann Scheffe 的充分性

机器算法验证 数理统计 umvue
2022-03-26 03:04:00

我们想知道 Lehmann Scheffe 定理需要什么充分性。我们的理由是:

  1. 如果一个无偏估计量与所有为 0 的无偏估计量不相关,则它是 UMVUE
  2. 如果估计量来自一个完整的家庭,它与所有 0 的无偏估计量不相关
  3. 因此,来自完整家族的无偏估计量是 UMVUE
  4. UMVUE 是独一无二的

那么,充足究竟是为了什么?为什么完整性不够?

如果有人能指出我们推理中的缺陷并进行解释,那就太好了!

3个回答

正如其他人所指出的,问题是(2)。和方差的 iid 正态分布统计量是完备的,因为正态族是完备的。的所有无偏估计量并非不相关的无偏估计量时,我们可以使用整个数据,而完整性只是的边际分布的一个属性。X1,...,Xnθ1T(X1,...,Xn)=X100^=X1X20T(X1,...,Xn)

Casella 和 Berger 中的逻辑是这样的:如果就足够了,那么在寻找无偏估计量时这就是充分性给你的东西——它允许你忽略除之外的所有东西。因此足以证明,如果对于是无偏的,的每个无偏估计不相关 [注意:由于充分性,我们减少了显示与每个估计量的不相关性,只需要为仅依赖于的估计量显示它T=T(X1,...,Xn)TTg(T)θg(T)00^(T)0T但是如果是完整的,那么除了与之外,没有无偏估计量,所以我们完成了。当然,既然我们已经确定是 UMVUE,它遵循后验的所有无偏估计量不相关,即取决于整个样本。T0^(T)0g(T)g(T)g(T)00^(X1,...,Xn)

如果您的的统一最小方差无偏估计不是充分统计量的函数(as),那么根据 Rao-Blackwell 定理,随机变量将是的无偏估计量,其方差一致小于的一致最小方差无偏估计量这一事实相矛盾没有充分性假设的 Lehmann-Scheffé 风格的结果将使该窗口打开。UθSV=Eθ[US]θUUθ

尽管这是一个老问题,但我认为获得更详细的答案会有所帮助。

步骤 2 仅在您的完整估计量也足够时才能确定。假设的任意随机变量。然后 注意这个结果取决于充分性,因为需要对所有,所以通常它不能依赖于因此 取上面那个人的例子。我们有,一个依赖于TUE(U)=0

E(E(U|T))=E(U)=0E(U|T)=0
E(U|T)θθ
Cov(T,U)=E(TU)E(T)E(U)=E(TU)=E(TE(U|T))=E(T0)=0.
E(U|T)=E(X1X2|X1)=X1θθ,因此我们不一定会得到每个均值零随机变量的零协方差。