十分性

統計学用語辞典

十分性

　母数 θ を持つ母集団から，大きさ n の標本 X1，X2，... ，Xn が抽出されたとする。
　この標本について統計量 Tn = T（ X1，X2，... ，Xn ）を考える。
　次式が成り立つとき，母数 θ に関する情報は f1（ X1， ... ，Xn ) には含まれておらず，Tn を通してのみ与えられることになる。
　　
　このとき，Tn を 十分統計量 と呼ぶ。
　例えば，母平均 μ，母分散 1 の正規分布 N（μ，1） に従う母集団から n 標本をとり，μ を で推定するとき， は母数 θ（ = μ ）に関する十分統計量となる。
　　

ウィキペディア

十分統計量

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/30 09:09 UTC 版)

十分統計量（じゅうぶんとうけいりょう）とは、十分性を持つ統計量を指す。統計量が十分性を持つ、また十分であるとは、その統計量が下記の性質を満たすことを指す。

ある統計データに対し、それが従う確率分布を示す母数 θ に対応するその統計量の値が決められた条件下で、データが出現する条件付き確率分布が、もはやθ にはよらない。

直感的にいうと、「母数θ（直接は求められず、推定しかできない）に対する十分統計量は、θ の統計学的推定に関する限り、データから得られる情報を漏らさず含んでいる」ということになる。

十分統計量はロナルド・フィッシャーによって導入された、統計学的推定において基本的な概念である。

定義

確率変数X に対する統計量T(X) の値が与えられた条件下で、データx の従う条件付き確率分布が母数 θ と独立である場合、かつその場合に限り、「T(X)はθ に対して十分である」という。すなわち：

$\Pr(X=x\mid T(X)=t,\,\theta )=\Pr(X=x\mid T(X)=t)$

簡単に書けば $\Pr(x\mid t,\,\theta )=\Pr(x\mid t)$ である。従って

$\Pr(x\mid \theta )=\Pr(x,t\mid \theta )=\Pr(x\mid t,\,\theta )\cdot \Pr(t\mid \theta )=\Pr(x\mid t)\cdot \Pr(t\mid \theta )$

である。

フィッシャーの因子分解定理

十分統計量を決定する基準として、フィッシャーの因子分解定理がある。これは、

X の確率密度関数（離散的な場合には確率質量関数）をf(x ;θ) （これは尤度関数に等しい）とすると、ある関数 g と h が次の関係にある場合、かつその場合に限り、T はθ に対して十分である：

$f(x;\,\theta )=h(x)\,g(T(x);\,\theta )$

つまり、密度関数 f が分解できて、1つの因子 h が θ に依存せず、またもう1つの因子が T(x) を通してのみ x に依存するようにできる

というものである。これは次のように考えるとわかりやすい。T(X) の値を一定に保ちながらデータ x の値を変え、このような変化が θ に関する推定に影響するかどうかを考えてみる。上の式が成り立つならば、尤度関数 f のθ に対する依存性は変化しないから、影響はないのである。

これが成立するならこの統計量は良いものであるというわけではない。しかし、少なくともこの条件を満たしていない統計量に良い結果は望めない。

例

ベルヌーイ分布

$X_{1},\dots ,X_{n}$ をベルヌーイ分布に従う独立な確率変数、その期待値を $p$とすると、和 $T(X)=X_{1}+\dots +X_{n}$ が、 $p$に対する十分統計量となる（ここで「成功」は $X_{i}=1$ に、「失敗」は $X_{i}=0$ に当たる。従って $T$ は総成功回数である）。

これは次の同時確率分布をみればわかる：

$\Pr(X=x)=P(X_{1}=x_{1},X_{2}=x_{2},\ldots ,X_{n}=x_{n})$

各観察は独立だから、次のように書き換えられる：

$p^{x_{1}}(1-p)^{1-x_{1}}p^{x_{2}}(1-p)^{1-x_{2}}\cdots p^{x_{n}}(1-p)^{1-x_{n}}\,\!$

そしてp と 1 − p の累乗を集めて、

$p^{\sum x_{i}}(1-p)^{n-\sum x_{i}}=p^{T(x)}(1-p)^{n-T(x)}\,\!$

これは因子分解基準に合致し、h(x)=1 となる。

特に注目すべきは、不明の母数p が、統計量 T(x) = Σ x_i を通じてのみ、観察値 x に関係することである。

一様分布

X₁, ...., X_n を、一様分布に従う独立な確率変数（[0,θ]の値をとる）とすると、T(X) = max(X₁, ...., X_n )が、θ に対する十分統計量である。

これは次の同時確率分布をみればわかる：

$\Pr(X=x)=P(X_{1}=x_{1},X_{2}=x_{2},\ldots ,X_{n}=x_{n})$

観察値は互いに独立だから、次のように書き換えられる：

${\frac {\operatorname {H} (\theta -x_{1})}{\theta }}\cdot {\frac {\operatorname {H} (\theta -x_{2})}{\theta }}\cdot \,\cdots \,\cdot {\frac {\operatorname {H} (\theta -x_{2})}{\theta }}\cdot \,\cdots \,\cdot {\frac {\operatorname {H} (\theta -x_{n})}{\theta }}\,\!$

ここで H(x) はヘヴィサイドの階段関数である。さらに書き換えて：

${\frac {\operatorname {H} \left(\theta -\max _{i}\{\,x_{i}\,\}\right)}{\theta ^{n}}}\,\!$

これはθ だけの関数と見なすことができ、max_i(X_i) = T(X) となる。これから因子分解条件が成り立ち、今回も h(x) = 1 となる。

ポアソン分布

X₁, ...., X_n を、母数λ のポアソン分布に従う独立な確率変数とする。和 T(X) = X₁ + ... + X_n が λ に対する十分統計量である。同時確率は：

$\Pr(X=x)=P(X_{1}=x_{1},X_{2}=x_{2},\ldots ,X_{n}=x_{n}).$

観察は独立であるから、次のように書き換えられる：

${e^{-\lambda }\lambda ^{x_{1}} \over x_{1}!}\cdot {e^{-\lambda }\lambda ^{x_{2}} \over x_{2}!}\cdot \,\cdots \,\cdot {e^{-\lambda }\lambda ^{x_{n}} \over x_{n}!}\,\!$

さらに

$e^{-n\lambda }\lambda ^{(x_{1}+x_{2}+\cdots +x_{n})}\cdot {1 \over x_{1}!x_{2}!\cdots x_{n}!}=e^{-n\lambda }\lambda ^{T(x)}\cdot {1 \over x_{1}!x_{2}!\cdots x_{n}!}\,\!$

これから因子分解条件が成り立ち、h(x) は全変数の階乗の積の逆数である。

ラオ・ブラックウェルの定理

十分統計量 T(X) が与えられればX の条件付き分布はθ によらないので、T(X) が与えられた条件での任意の関数（ただし条件付き期待値が定義できるとする）g(X) の条件付き期待値も母数θ にはよらない。従ってこのような条件付き期待値も統計量であり、推定に用いることができる。

十分性に関して重要な定理に、ラオ・ブラックウェルの定理がある。この定理は、「g(X) をθ の推定量（どんな種類の推定量でもよい）とすれば、十分統計量T(X) のもとでのg(X) の条件付き期待値はθ のよい推定量（他の推定量より悪くなることはない）である」というものである。

これを利用して、大雑把な推定量 g(X) が得られたら、これから条件付き期待値を求めることで、最適な推定量が得られる。

関連記事

• 推測統計学
• 確率分布
• 確率密度関数
• 統計量
• 母数
• 推定量
• 条件付き確率
• 尤度関数

ウィキペディア小見出し辞書

十分性

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/15 19:25 UTC 版)

「租税」の記事における「十分性」の解説

歳入（税収）は十分であるべきこと。

Weblio日本語例文用例辞書

「十分性」の例文・使い方・用例・文例

• 彼は人知の十分性を質問をした
• 相手の弁護における法的な十分性を攻撃する弁解