数理統計の問題
を未知の母数とし、( は正の整数)は互いに独立に、区間 上の一様分布に従うとする。 を定数とし、帰無仮説 、対立仮説 の検定として、
とおき「 のとき を棄却する」検定を考える。この検定の検出力関数を と定める。
このとき
(すなわちこの検定のサイズは )であり、さらにすべての に対して
が成り立つ(対立仮説のもとでの検出力は常に を超える)ことを証明せよ。
この問題で使うもの
- 最大値・最小値の分布(順序統計量)(説明と入口の問題)
- 検定の有意水準と検出力(説明と入口の問題)
- 一様分布・指数分布(説明と入口の問題)
この問題を解けるようになるまで(78 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 樹形図で数え上げる
- 積の法則と和の法則
- 和の法則・積の法則と樹形図
- 順列・円順列・重複順列
- 組合せ
- 確率の定義と和事象・余事象
- 期待値
- 確率変数と確率分布
- 平均と合計
- 平均値・中央値・最頻値
- 代表値(平均値・中央値・最頻値)
- 分散と標準偏差
- 変量の変換と平均・分散
- 確率変数の期待値・分散と
- 確率変数の和と積(独立な場合)
- 分数のたし算・ひき算
- 小数の四則計算
- 正負の数の加法・減法
- 分数のかけ算・わり算
- 四則の混じった計算の順序
- 正負の数の乗除・累乗と四則混合
- 分配法則を使った計算のくふう
- 文字式の計算(同類項・分配法則)
- 乗法公式による展開
- 因数分解
- 3 次式までの展開と因数分解
- 微分係数と導関数の定義
- 多項式の微分
- 多項式の不定積分
- 等間隔にならんだ数の和
- 等差・等比数列の和と Σ
- 数列の極限
- 関数の極限
- 積と商の微分
- 合成関数の微分
- 円の周の長さと面積
- おうぎ形の弧の長さと面積
- 弧の長さからおうぎ形の中心角と面積を求める
- 三角形・四角形の面積
- 約数の見つけ方
- 素因数分解と約数の個数
- 平方根の意味と根号の簡単化
- 三平方の定理
- 特別な直角三角形の辺の比
- 弧度法と単位円による三角関数
- の極限
- 加法定理と 2 倍角・半角・積和の公式
- 三角関数の導関数
- 根号の乗除と加減
- 指数の拡張と指数関数
- 対数の定義と性質
- 自然対数の底
- 指数関数・対数関数の導関数
- 基本的な関数の不定積分
- 置換積分
- 部分積分
- 定積分の計算
- 定積分の置換・部分積分と偶関数・奇関数
- 重積分と累次積分
- 同時分布・周辺分布と独立性
- 偏微分と全微分
- 多変数の連鎖律
- 重積分の変数変換とヤコビアン
- 確率変数の変換
- 連続型確率変数と確率密度関数
- 広義積分
- 一様分布・指数分布
- 最大値・最小値の分布(順序統計量)
- 正規分布と標準化
- 標本平均の分布
- 母平均・母比率の区間推定
- 独立な試行と反復試行
- 二項分布
- 二項分布の正規近似
- 仮説検定
- ガウス積分
- 正規分布の密度と積率
- 検定の有意水準と検出力
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
検出力関数 を の式として具体的に求め、帰無仮説の範囲と対立仮説の範囲でそれぞれ評価する。
ヒント 2
独立性から 、 なら 。また で である。
ヒント 3
と で場合分けすると、 または となる。 の範囲で最大になるのはどこかを考える。
採点の観点と模範解答
自分で証明を書いてから、採点の観点で見比べてください。
採点の観点を見る
独立性を使って ()、 で となることを示している(2 点)
と を確認し、 と に場合分けして を求めている(3 点)
のすべてで を示し、 で等号が成り立つことから上限が であると結論している(3 点)
では に当たることを確かめ、 から を導いている(2 点)
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
模範解答を読む
ステップ 1: の分布関数。
を固定する。 のとき、 は「すべての で 」と同値であり、 は独立で なので
また のときは がすべての で成り立つ(確率 )ので である。
ステップ 2: の範囲。
より なので、 は を満たし、 である。
ステップ 3:検出力関数の計算。
である。 と の大小で場合分けする。
- のとき: なのでステップ 1 より 、よって 。
- のとき: なのでステップ 1 より 、よって 。
ステップ 4:サイズが であること。
の範囲を、ステップ 2 の に注意して 2 つに分ける。
- では 。
- では より なので 。
したがって のすべてで であり、しかも ( なので第 2 の場合に入る)で となり上界が達成される。よって 。
ステップ 5:対立仮説のもとでの検出力。
のとき なので、ステップ 3 の第 2 の場合より 。さらに と より なので
以上より、この検定のサイズは であり、すべての で が成り立つ。
(補足: で 、また を大きくしても を固定すれば となる。)