確率変数 の期待値は 、分散は である。 の分布についてはこれ以外に何もわかっていない。チェビシェフの不等式
を用いると、確率 の上限が得られる。この不等式の右辺の値を求めよ。
マルコフの不等式・チェビシェフの不等式
マルコフの不等式・チェビシェフの不等式で、確率の上限を見積もれる
前提
- 一様分布・指数分布 (大学数学 確率・統計)
この技能までの道筋(60 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 樹形図で数え上げる (算数 場合の数)
- 積の法則と和の法則 (算数 場合の数)
- 和の法則・積の法則と樹形図 (数学A 場合の数と確率)
- 順列・円順列・重複順列 (数学A 場合の数と確率)
- 組合せ (数学A 場合の数と確率)
- 確率の定義と和事象・余事象 (数学A 場合の数と確率)
- 期待値 (数学A 場合の数と確率)
- 確率変数と確率分布 (数学B 統計的な推測)
- 平均と合計 (算数 いろいろな文章題)
- 平均値・中央値・最頻値 (中学数学 データの活用)
- 代表値(平均値・中央値・最頻値) (数学I データの分析)
- 分散と標準偏差 (数学I データの分析)
- 変量の変換と平均・分散 (数学I データの分析)
- 確率変数の期待値・分散と (数学B 統計的な推測)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 3 次式までの展開と因数分解 (数学I 数と式)
- 微分係数と導関数の定義 (数学II 微分法と積分法)
- 多項式の微分 (数学II 微分法と積分法)
- 多項式の不定積分 (数学II 微分法と積分法)
- 定積分の計算 (数学II 微分法と積分法)
- 連続型確率変数と確率密度関数 (数学B 統計的な推測)
- 等間隔にならんだ数の和 (算数 計算と数のきまり)
- 等差・等比数列の和と Σ (数学B 数列)
- 数列の極限 (数学III 極限)
- 関数の極限 (数学III 極限)
- 積と商の微分 (数学III 微分法)
- 合成関数の微分 (数学III 微分法)
- 円の周の長さと面積 (算数 平面図形)
- おうぎ形の弧の長さと面積 (算数 平面図形)
- 弧の長さからおうぎ形の中心角と面積を求める (中学数学 平面図形)
- 三角形・四角形の面積 (算数 平面図形)
- 約数の見つけ方 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 平方根の意味と根号の簡単化 (中学数学 数と式)
- 三平方の定理 (中学数学 相似と三平方の定理)
- 特別な直角三角形の辺の比 (中学数学 相似と三平方の定理)
- 弧度法と単位円による三角関数 (数学II 三角関数)
- の極限 (数学III 極限)
- 加法定理と 2 倍角・半角・積和の公式 (数学II 三角関数)
- 三角関数の導関数 (数学III 微分法)
- 根号の乗除と加減 (中学数学 数と式)
- 指数の拡張と指数関数 (数学II 指数関数と対数関数)
- 対数の定義と性質 (数学II 指数関数と対数関数)
- 自然対数の底 (数学III 極限)
- 指数関数・対数関数の導関数 (数学III 微分法)
- 基本的な関数の不定積分 (数学III 積分法)
- 置換積分 (数学III 積分法)
- 部分積分 (数学III 積分法)
- 定積分の置換・部分積分と偶関数・奇関数 (数学III 積分法)
- 広義積分 (大学数学 微分積分)
- 一様分布・指数分布 (大学数学 確率・統計)
説明
マルコフの不等式とチェビシェフの不等式を使うと、確率分布の形がわからなくても、期待値や分散だけから「大きな値をとる確率」「平均から大きく外れる確率」の上限を見積もれます。分布が複雑で確率を正確に計算できないときや、どんな分布でも成り立つ安全側の評価がほしいときに使います。大数の法則など、確率論の多くの議論の出発点にもなる不等式です。
なぜそうしてよいのか
マルコフの不等式: が 以上の値だけをとる確率変数で、期待値 が存在するとき、任意の に対して が成り立ちます。連続型で確率密度関数を とすると、 で なので、積分範囲を に狭めると値は小さくなるか等しく、さらにその範囲では です。よって となり、両辺を で割れば得られます(離散型でも積分を和に置き換えて同じです)。直観的には「平均が小さいのに大きな値をとる確率が高いと、平均が押し上げられて矛盾する」ということです。
チェビシェフの不等式: の期待値を 、分散を とすると、任意の に対して が成り立ちます。理由は、 が 以上の確率変数で であること、そして と が同じ事象であることです。 にマルコフの不等式を で使うと となります。
どちらも「どんな分布でも成り立つ」代わりに、評価はかなり粗く、実際の確率よりずっと大きい上限になることが多いです。また右辺が 以上になるときは、確率が 以下という当たり前のこと以上の情報はありません。
手順
求めたい確率が「 の確率」か「平均からのずれ の確率」かを見分ける。
マルコフを使うときは であることと を確認し、 を求める。
チェビシェフを使うときは期待値 と分散 を求め(標準偏差が与えられたら 2 乗する)、求めたい事象を ()の形に書き直す。
不等式に代入する: または 。
得られた値が上限であって確率そのものではないこと、 以上なら意味のない評価であることを確認する。
例題
確率変数 が、確率密度関数 、 の指数分布に従うとする。チェビシェフの不等式を用いて得られる の上限の値を求めよ。
例題の解答
手順1: 求めたいのは平均からのずれの確率なので、チェビシェフの不等式を使う。
手順3: パラメータ の指数分布なので、期待値は 、分散は 。事象はすでに の形で、、 である。
手順4:
手順5: なので意味のある評価である。なお、 より は と同じで、実際の確率は となり、上限 より確かに小さい(チェビシェフの評価は粗いことがわかる)。
よって求める上限は 。
答え:
よくある誤り
負の値もとる確率変数にマルコフの不等式を使ってしまう誤り。例えば の に使うと となりおかしい。正しくはマルコフの不等式は のときだけ使え、ずれを見たいなら に使う(チェビシェフ)。
標準偏差をそのまま分子に入れたり、 を 2 乗し忘れたりして や としてしまう誤り。正しくは で、例えば なら 。
不等式の右辺を確率そのものだと思ってしまう誤り。例題では上限は だが実際の確率は 。正しくは右辺はあくまで上限であり、等号が成り立つとは限らない。
片側の事象では上限が半分になると考えて としてしまう誤り。分布が左右対称とは限らないので一般には成り立たない。正しくは までしか言えない。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
確率変数 の期待値は 、分散は であることだけがわかっていて、分布の形はわからないとする。チェビシェフの不等式
(, )を用いると、確率 の上限が得られる。この不等式の右辺の値を求めよ。確率変数 の期待値が 、分散が であることだけがわかっている。チェビシェフの不等式を用いて、確率 の上限を求めよ。すなわち、チェビシェフの不等式から得られる
の右辺 の値を求めよ。確率変数 は互いに独立で、どれも
に従うとする(公平な硬貨を 回投げ、表なら 、裏なら とする)。 は正の整数とし、標本平均を
とおく。にチェビシェフの不等式を用いると、
が成り立つ。この右辺の値が 以下となるような最小の正の整数 を求めよ。1 個のさいころを 回投げ、 回目に出た目を とする。 は正の整数であり、 は互いに独立で、どれも から の各値を確率 ずつとるものとする。標本平均を
とおく。チェビシェフの不等式
を として用いると、 の上界 が得られ、これは で に近づく(大数の弱法則)。この上界 が 以下となるような最小の正の整数 を求めよ。1 個のさいころを 回投げ、 回目に出た目を とする。 は互いに独立で、どれも から の目が同様に確からしく出るものとする。
とおく。このとき、任意の正の実数 に対して
が成り立つような定数 がただ 1 つ存在する。 の値を求めよ。
この技能を使う問題
を確率空間 上の実数値確率変数とし、その特性関数を
とする。 を互いに素な正の整数とし、
が成り立つとする。このとき であることを証明せよ。とし、, とおく。 を独立同分布な確率変数列で , を満たすものとし、, とおく。 を自明な -加法族、 とする。正の整数 を固定し、
とおく。 のとき、 に到達するまでの経路の「面積」を
で定める。このとき a.s. であり、 は可積分で
であることを証明せよ。なお、-マルチンゲール と -停止時刻 に対して、各 で が成り立つこと(有界な停止時刻に対する任意抽出定理)、マルコフの不等式、単調収束定理(項別積分を含む)、優収束定理は用いてよい。
を正の整数とし、 を互いに独立で、いずれも区間 上の一様分布(確率密度関数が で 、それ以外で )に従う確率変数とする。 とおく。このとき、すべての正の実数 に対して
が成り立つことを証明せよ。ただし、次の事実は用いてよい。
- 期待値の線形性と、マルコフの不等式(確率 で を満たし期待値が有限な確率変数 と に対して )
- 互いに独立な有界な確率変数 に対して であること、および が独立ならば、実数値関数 による も独立であること
- 指数関数のマクローリン展開
この技能の次に学べること
- 大数の弱法則 (大学数学 確率・統計)