はじめに
一様分布の最尤推定~尤度方程式の罠~ #統計検定 - jiku logにおいて,定義関数を紹介した。定義関数は,
\begin{equation}
I_{[A]}=
\begin{cases}
1 & \text{if $A$ is true,} \\
0 & \text{otherwise}
\end{cases}
\end{equation}
で定義される。
この定義関数は,マルコフの不等式やチェビシェフの不等式といった確率不等式とかかわりが深いので,これらについて紹介する。
定義関数と確率密度関数・累積分布関数
定義関数の具体例として,として,
\begin{equation}
I_{[x \geq c]}=
\begin{cases}
1 & \text{if $x \geq c$,} \\
0 & \text{if $x \lt c$}
\end{cases}
\end{equation}
確率密度関数 (ただし,)が与えられたときに,定義関数の期待値を考えよう。
ここで,は,において0になる。すなわち,定義関数には積分範囲を制限するという性質があるといえる。
となり確率が出てくる。つまり定義関数の期待値は確率になる。
マルコフの不等式
マルコフの不等式は,確率の値を期待値(1次モーメント)で比較するための不等式である。
を非負の確率変数で,,とする。
マルコフの不等式 :
この不等式は,分布関数の全体像が分かっていなくても,期待値さえ分かっていれば,確率の値の範囲を評価することができるという不等式である。
マルコフの不等式を導出するためには,
- 定義関数による積分範囲の絞り込み
- 変数→定数による値の絞り込み
という2段階の評価を行なう。
チェビシェフの不等式
チェビシェフの不等式は,大数の弱法則を証明する際に用いられる公式で,確率の値を分散(2次モーメント)で評価する不等式である。
確率変数について,平均と分散が存在すると仮定したときに成り立つ。
チェビシェフの不等式 :
証明にはマルコフの不等式を用いればよく,マルコフの不等式において,とおけばよい。
チェルノフの不等式
最後にチェルノフの不等式を紹介する。チェルノフの方程式は,確率の値をモーメント母関数で評価する不等式である。
について,が非負の単調増加関数であるため,
チェルノフの不等式 :
チェルノフの不等式と統計検定
このチェルノフの不等式だが,離散分布・確率母関数版が,2019年の統計検定1級 統計数理 問1に出題されている。
books.jitsumu.co.jp
まとめ
数理統計学の分野でよく用いられる定義関数をスタート地点として,マルコフ・チェビシェフ・チェルノフの各不等式について説明した。マルコフの不等式の導出のポイントは
- 定義関数による積分範囲の絞り込み
- 変数→定数による値の絞り込み
の2点である。
またチェビシェフ・チェルノフの各不等式は,マルコフの不等式から導出できる。
参考文献
確率不等式の話題は,杉山将 著 「機械学習プロフェッショナルシリーズ 機械学習のための確率と統計」に詳細に説明されている。
www.kspub.co.jp