ひよこ統計

チェビシェフの不等式

統計検定2級

正規分布 なら「平均から標準偏差2つぶんの範囲に約95%が入る」と言えました。では、分布の形がまったく分からないときは何も言えないのでしょうか。実は、平均と標準偏差さえ分かっていれば、形を問わず成り立つ言い分があります。

有限な平均 μ \mu と、0<σ<∞0<\sigma<\infty を満たす標準偏差 σ \sigma をもつ確率変数 X X について、任意の k>0 k > 0 で次が成り立ちます。

P(∣X−μ∣≥kσ)≤1k2P\left( \left| X - \mu \right| \ge k\sigma \right) \le \frac{1}{k^2}
∣X−μ∣ \left| X - \mu \right| :平均からの離れぐあい、k k :標準偏差の何個ぶんかを表す数

平均から標準偏差 k k 個ぶん以上離れる確率は、多くても 1k2 \frac{1}{k^2} にしかならない。裏返せば、μ±kσ \mu \pm k\sigma の範囲に少なくとも 1−1k2 1 - \frac{1}{k^2} は入る、ということです。分布が左右対称でも、裾を引いていても、山が2つあっても成り立ちます。

k≤1 k \le 1 では 1k2≥1 \frac{1}{k^2} \ge 1 となり、「確率は1以下」という当たり前のことしか言っていません。式そのものは k≤1 k \le 1 でも成り立っていますが、中身のある主張になるのは k>1 k > 1 、つまり標準偏差1つぶんより外側を問うときだけです。

ただし、その代償として言えることはかなり弱くなります。正規分布のときの実際の値と並べてみます。

k = 2k = 3k = 4
チェビシェフの上限0.25000.11110.0625
正規分布での実際0.04550.00270.0001

k=3 k = 3 で比べると、上限は 0.111 なのに正規分布での実際は 0.003 と、40倍近い開きがあります。この緩さは欠陥ではなく設計どおりです。あらゆる分布に通用させる以上、最も都合の悪い場合に合わせるほかありません。分布の形が分かっているなら、その分布から直接求めたほうがはるかに鋭い答えが出ます。

あるテストの平均が 50 点、標準偏差が 5 点だと分かっています。得点の分布がどんな形かは知りません。この状態で、35 点から 65 点のあいだにいる人の割合について何が言えるでしょうか。

35 と 65 は平均からちょうど 15 点、標準偏差 3 個ぶん離れた位置なので k=3 k = 3 です。外側にいる割合は多くても 19=0.111 \frac{1}{9} = 0.111 、したがって内側には少なくとも 1−19≈0.889 1 - \frac{1}{9} \approx 0.889 、およそ89%が入ります。

同じように 40 点から 60 点なら k=2 k = 2 で、少なくとも 1−14=0.75 1 - \frac{1}{4} = 0.75 。分布の形をひとつも仮定せずに、ここまでは言い切れます。

この「少なくとも」を「ちょうど」と読み替えてはいけません。得点が正規分布に従うなら実際には 99.7% と 95.4% が入るので、89% や 75% という数字は大きく下回っています。不等式が保証しているのは下限であって、実際の値ではないからです。

とはいえ、この下限がゆるみきっているわけでもありません。次の3つの値しかとらない分布を考えます。

とる値405060
確率1/83/41/8

平均は 50、分散は 100×18+0×34+100×18=25 100 \times \frac{1}{8} + 0 \times \frac{3}{4} + 100 \times \frac{1}{8} = 25 なので標準偏差は 5 で、先ほどのテストと同じ条件です。しかし k=2 k = 2 の外側にいる確率は 18+18=14 \frac{1}{8} + \frac{1}{8} = \frac{1}{4} で、上限 14 \frac{1}{4} にぴったり届いています。

つまり、これ以上きつい上限を「どんな分布でも」と言い切ることはできません。ゆるく見えるのは、こういう極端な分布まで含めて成り立たせているからです。

入門問題

全 4 問
問 1

ある製品の重さは平均 100 g、標準偏差 8 g です。分布の形は分かっていません。80 gから120 gに入る割合について、チェビシェフの不等式から得られる最も強い保証はどれですか。

問 2

チェビシェフの不等式についての説明として正しいものはどれですか。

問 3

平均 20、標準偏差 3 の分布について、チェビシェフの不等式から「少なくとも 89 \frac{8}{9} が入る」と言える範囲はどれですか。

問 4

分布の形が分からない量について、μ±kσ \mu \pm k\sigma の範囲に少なくとも 96% が入ることを保証したいとします。k k はいくつ以上必要ですか。