尤度比検定（Neyman–Pearson 型）

定義 3.1（「検定と区間推定」§3）

定数 $k\ge0$ と $\gamma\in[0,1]$ に対し、

\varphi_{k,\gamma}(x)=\begin{cases}1&f_1(x)>k\,f_0(x)\\\gamma&f_1(x)=k\,f_0(x)\\0&f_1(x)<k\,f_0(x)\end{cases}

を尤度比検定という（ $f_0=0$ 、 $f_1>0$ の点では $f_1>kf_0$ として棄却する）。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。