前回記事Rにさいころをたくさん振らせて、さいころの平均を求めてみる - わかばめにっきでは、Rの擬似乱数を使って標本平均が母平均の一致推定量であることを示しました。今回は後で述べる不偏標本分散という量が母分散の不偏推定量であることを調べていきます。
ところで母平均と母分散の定義ってなんだっけ?
確率変数 が離散型、つまり実現値の個数が 個であって、それぞれの確率が のときを考えます。このとき、母平均 、母分散 はそれぞれ
により与えられます。一方で確率変数 の連続型のときは、確率密度を とすると、母平均 、母分散 はそれぞれ
により与えられます。母平均は確率変数の期待値を、母分散はどれくらい散らばりやすい確率変数かを表しています。
理想的なさいころの母平均と母分散はどうなる?
確率変数 が理想的な確率分布 に従うとき、そのまま計算すれば、
となり母平均は 3.5、母分散はおおむね 2.917 くらいということがわかります。わたしたちはこれから、この数値を推定していくにあたり、不偏推定量という概念を導入します。
推定量が不偏ってどういうことさ?
不偏性 | 統計用語集 | 統計WEBによると、不偏性とは「その推定量が平均的に過大にも過小にも母数を推定しておらず、推定量の期待値が母数に等しいこと」です。ですが初めてこれを読んでも意味を理解するのは難しいのではないでしょうか。
そこで、「さいころを5個しか振れない」という条件のもとで、母分散を調べることを試みましょう。まずは前回と同様にさいころを計算機に振らせます。
> x = as.integer(runif(n,1,7)) > x [1] 2 1 5 1 2
わたしたちは5個の数字の羅列 しか知らないので、母分散の定義に含まれる母平均すら現時点では推定の対象です。ひとまず標本の平均値 とおき、二乗誤差の平均値
を用いて分散を推定していきましょう。
> sum((x-mean(x))^2)/5 [1] 2.16
このステップを何度か繰り返してみましょう。
> x = as.integer(runif(n,1,7)) > sum((x-mean(x))^2)/5 [1] 3.44 > x = as.integer(runif(n,1,7)) > sum((x-mean(x))^2)/5 [1] 1.76 > x = as.integer(runif(n,1,7)) > sum((x-mean(x))^2)/5 [1] 3.76 > x = as.integer(runif(n,1,7)) > sum((x-mean(x))^2)/5 [1] 1.76 > x = as.integer(runif(n,1,7)) > sum((x-mean(x))^2)/5 [1] 1.84 > x = as.integer(runif(n,1,7)) > sum((x-mean(x))^2)/5 [1] 2.16
当然ですがブレまくりますね。それに、こころなしか小さめに出ているような気がします。そこで、数学を使ってこの推定の筋がいいかを考えましょう。つまり、「5個の標本から計算した標本分散」を確率変数とみなして、確率変数が持つ性質の1つである平均を求め、それがもとの母分散に一致しているかを調べます。これが一致していたらそんなに悪い指標ではないと言えそうですよね。
また、話を一般化するために標本の大きさを5でなく とします。すなわち と同分布な確率変数 を各々独立であるとし、標本平均と標本誤差平均をそれぞれ
と定めます。それでは、母分散を推定するために定めた標本誤差平均の平均値である を求めましょう。ここでの計算は は連続型、すなわち確率密度 を持つものとします。このとき独立性の仮定から、 に対して
が成立します。ただしここで 、 はそれぞれ確率変数 の1次モーメント、2次モーメント:
を表すものとします。実際、 の確率密度は なので、例えば
となることから理解できます。また、を用いると、 に対して
に注意することにより、
を得ます。第1項は独立の仮定から に一致します。第2項は相異なる 、 の組み合わせは 個あることにより
となり、分散の定義から により
を得ます。したがって は平均して母分散の値より 倍だけ小さく現れてしまいます*1。
実際にデータで確かめてみよう。
確率変数 の平均値を求めるために、 の実現値を10000回求めてみます。
ss = c() M = 10000 n = 5 for (i in 1:M){ x = as.integer(runif(n,1,7)) m = mean(x) y = (x - m)^2 S2 = sum(y)/5 ss <- append(ss, S2) } hist(ss)
は離散値なので、でこぼこなヒストグラムが現れました*2。この平均を求めてみましょう。
> mean(ss) [1] 2.322912
たしかに真の平均とくらべて 4/5 倍くらいの大きさになっていそうです。
したがって、 個の数値データを持つ標本から母分散を求めるには、
なる確率変数を推定量とすればよいことがわかりました。このように定めた を不偏標本分散と呼びます。
さらに、 のように期待値を取れば母数に一致するような推定量を、その母数の不偏推定量であると呼びます。
例えば標本平均 は母平均 の不偏推定量です。試しにこれを示してみてください。