仮説検定の基礎

公開日:

【2023年4月4週】 【B000】数理統計学 【B080】統計的仮説検定

この記事をシェアする
  • B!
サムネイル画像

本稿では、数理統計学における統計的仮説検定の基本事項についてまとめています。帰無仮説と対立仮説、検定・棄却域・検定関数、第1種の誤りと第2種の誤り、検出力と有意水準、P値などの定義の紹介が含まれます。

なお、閲覧にあたっては、以下の点にご注意ください。

  • スマートフォンやタブレット端末でご覧の際、数式が見切れている場合は、横にスクロールすることができます。
  • Zα,tα(n) はそれぞれ標準正規分布と自由度 nt分布の上側 100 α% 点を表しています。

統計的仮説検定

帰無仮説と対立仮説

統計モデル {f(x:θ):θΘR} からの無作為標本を X={X1,X2,,Xn} とする。 f(x:θ) は確率関数または確率密度関数である。 また、パラメータ空間を分割し、 Θ0ΘΘ1=ΘΘ0 つまり、 Θ0Θ1=Θ0Θ1=Θ とする。

パラメータ θ がパラメータ空間の部分集合 Θ0 に含まれるという仮説を帰無仮説 null hypothesis といい、 H0:θΘ0 と表わす。 また、 H1:θΘ1 対立仮説 alternative hypothesis という。

特に、部分集合 Θ0Θ1 が1つの要素からなるとき、それらに対する仮説を単純仮説 simple hypothesis という。部分集合 Θ0Θ1 の要素が2つ以上のときは、複合仮説 composite hypothesis という。

また、仮説を否定することを仮説を棄却する reject といい、仮説を棄却しないことを仮説を受容する accept という。

検定・棄却域・検定関数

データがどの値のときに帰無仮説を採択して、どの値のときに棄却するかという規則を一般に検定 test という。実際には、データ x={x1,x2,,xn} C に入るときには帰無仮説を棄却し、そうでないときは、採用するという Rn の部分集合 C を決めておく。このとき、部分集合 C棄却域 critical region という。

実際に棄却域を、ある統計量を使って表わすこともある。このような検定に使われる統計量を検定統計量 test statistic という。また、棄却域の補集合 CC採択域 acceptance region ということもある。

棄却域を次のような関数を使って表わすこともある。 φ(x)={1xC0xC このような関数を検定関数 test function, critical function という。検定関数 φ をもつ検定を単に検定 φ ということもある。

特に、対立仮説が H1:θ<θ0H1:θ>θ0 の形をしている場合を片側検定 one-sidedtest H1:θθ0 の形をしている場合を両側検定 two-sidedtest という。

第1種の誤りと第2種の誤り

このような検定では、実際に正しい判定をするか、または、2種類の誤りが生ずる。1つは、帰無仮説が正しいのにもかかわらず帰無仮説を棄却してしまうことで、これを第1種の誤り error of the first kind、またはタイプⅠの誤り type I error という。もう1つの誤りは、帰無仮説が正しくないにもかかわらず、帰無仮説を採択してしまうもので、これを第2種の誤り error of the second kind、またはタイプⅡの誤り type II error という。

タイプⅠの誤りの起こる確率は P(XC|θΘ0)orP(XC|H0) である。 つまり、帰無仮説の下でデータが棄却域に入る確率である。また、タイプⅡの誤りの確率は、 P(XCC|θΘ1)orP(XCC|H1) すなわち、対立仮説の下でデータが採択域に入る確率である。

たとえば、データの値にかかわらず常に帰無仮説を採択するという検定は、タイプⅠの誤りの確率は0であるが、タイプⅡの誤りの確率は1である。望ましい検定とはこれらの2つの誤りの確率が小さいものであるが、一般には、両方同時に小さくするような検定は存在しないので、1つの方法としてある決められたタイプⅠの誤りの確率をもち、その中でタイプⅡの誤りの確率を最小にする検定を選ぶやり方がある。

検出力と有意水準

すべての θΘ に対して、帰無仮説を棄却する確率 β(θ)=P(XC) 検出力関数 power function という。 特に、対立仮説の下で θ1Θ1 のときの β(θ1)θ1 に対する検出力 power という。

つまり、実際にパラメータの値が θ1 であるときに(帰無仮説が正しくないとき)、帰無仮説を棄却する確率を検出力という(帰無仮説が正しくないのに帰無仮説を採択する確率はタイプⅡの誤りの確率である)。また、θΘ0 のときの β(θ) は帰無仮説が正しいときに帰無仮説を棄却する確率、つまり、タイプⅠの誤りの確率である。

帰無仮説の下でのパラメータの中でタイプⅠの誤りの確率の最大のもの、つまり、 α=supθΘβ(θ) 検定の大きさ size of a test という。 検定を行なうとき、ある値 α0(0<α0<1) を前もって決め、検定の大きさが α0 より小さい検定を考えることがあるが、この α0 を検定の有意水準 level of significance または単に水準 level という。有意水準 α0 の検定とは、タイプⅠの誤りの確率が α0 以下の検定である。

φ(x) を検定関数とするとその検定の検定力は、 E[φ(X)] で表わすことができる。

有意確率

与えられたデータの値に対して、帰無仮説を棄却できる最小の有意水準を p値 p-value、または有意確率 significance probability という。

たとえば、ある観測値を得たところ、有意確率が0.08であったということは、有意水準が0.08以上の検定では、この観測値を基にした場合は、帰無仮説は棄却されるということで、有意水準が0.08以下の検定では、帰無仮説は棄却されないということである。有意確率は帰無仮説が正しいとしたとき、実際に得られた値(また、もっと極端な値)を観測する確率なので、有意確率はデータが帰無仮説とどのくらい一致しているか(または、食い違っているか)を示していると考えることもできる。

確率化検定

φ(x) をすべての観測値 xRn に対して区間 [0,1] の値をとる関数とする。もし、観測された値が x0 である場合は、確率 φ(x0) で帰無仮説を棄却する検定を確率化検定 randomized test という。

すなわち、ある実験をしたところ、x0 を観測したとする。そこで、表が出る確率が φ(x0) のコインを投げ、表が出たら帰無仮説を棄却し、裏が出たら棄却しないという検定がランダム検定である。実際には、ランダム検定は応用でよりも理論上で使われることが多い。

いままで見てきたような検定は、 φ(x)={1xC0xC の形である。 ランダム検定の場合も含めて、 φ:Rn[0,1] なる関数を検定関数という。

十分統計量にもとづいた検定

統計モデル {f(x:θ):θΘ} からの無作為標本を X={X1,X2,,Xn} とする。 S1,S2,,Sr θ に関する十分統計量とし、 φ(x) をある検定の検定関数とすると、 φ(s)=E{φ(X)|s1,s2,,sr} もまた検定関数であり、φ(x)φ(s) での検出力関数は同じである。

参考文献

  • 野田 一雄, 宮岡 悦良 著. 入門・演習数理統計. 共立出版, 1990, p.250-256
  • 久保川 達也 著, 新井 仁之, 小林 俊行, 斎藤 毅, 吉田 朋広 編. 現代数理統計学の基礎. 共立出版, 2017, p.144-147, p.159-160
  • 黒木 学 著. 数理統計学:統計的推論の基礎. 共立出版, 2020, p.181-188

関連記事

自己紹介

自分の写真

yama

大学時代に読書の面白さに気づいて以来、読書や勉強を通じて、興味をもったことや新しいことを学ぶことが生きる原動力。そんな人間が、その時々に学んだことを備忘録兼人生の軌跡として記録しているブログです。

このブログを検索

ブログ アーカイブ

QooQ