1確率と積分
「確率」というものは、ここで改めて説明するまでもなく日常的に使われていて、例えばコインの表が出る確率は![](/s/1.png)
![](/s/slash.png)
とか、サイコロの
が出る確率は![](/s/1.png)
![](/s/slash.png)
などと理解していることだと思います。
![](/s/1.png)
![](/s/slash.png)
![](/s/2.png)
![](/s/5.png)
![](/s/1.png)
![](/s/slash.png)
![](/s/6.png)
しかし特に無限大が絡んでくると、直感的な定義では本当に正しい確率が求まっているのかが判らなくなることがあります。 そこで現代の数学では、第8回で説明した「測度」や「ルベーグ積分」を使って確率を定義することで、直感から離れて厳密に計算できるようになっています。
1.1素朴な確率の定義
まずは測度を使わない、素朴な確率の定義を見ていきましょう。
まず、発生しうる結果を「標本」といい、標本全体の集合を「標本空間」といいます。 例えばサイコロを振る場合、標本は「![](/s/1.png)
![](/s/comma.png)
![](/s/2.png)
![](/s/comma.png)
![](/s/3.png)
![](/s/comma.png)
![](/s/4.png)
![](/s/comma.png)
![](/s/5.png)
![](/s/comma.png)
」です。 また標本空間を
で表すと、![](/s/tlomega.png)
![](/s/eq.png)
![](/s/bcl.png)
![](/s/1.png)
![](/s/comma.png)
![](/s/2.png)
![](/s/comma.png)
![](/s/3.png)
![](/s/comma.png)
![](/s/4.png)
![](/s/comma.png)
![](/s/5.png)
![](/s/comma.png)
![](/s/6.png)
となります。
![](/s/1.png)
![](/s/comma.png)
![](/s/2.png)
![](/s/comma.png)
![](/s/3.png)
![](/s/comma.png)
![](/s/4.png)
![](/s/comma.png)
![](/s/5.png)
![](/s/comma.png)
![](/s/6.png)
![](/s/tlomega.png)
![](/s/tlomega.png)
![](/s/eq.png)
![](/s/bcl.png)
![](/s/1.png)
![](/s/comma.png)
![](/s/2.png)
![](/s/comma.png)
![](/s/3.png)
![](/s/comma.png)
![](/s/4.png)
![](/s/comma.png)
![](/s/5.png)
![](/s/comma.png)
![](/s/6.png)
![](/s/bcr.png)
このうち例えば、「サイコロを振って目が
か
か
の場合」を考えると、これは標本空間の部分集合になります。 このような標本空間の部分集合のことを「事象」といいます。 この例では事象を
とすると![](/s/l_a.png)
![](/s/eq.png)
![](/s/bcl.png)
![](/s/2.png)
![](/s/comma.png)
![](/s/4.png)
![](/s/comma.png)
![](/s/6.png)
と書けます。
![](/s/2.png)
![](/s/4.png)
![](/s/6.png)
![](/s/l_a.png)
![](/s/l_a.png)
![](/s/eq.png)
![](/s/bcl.png)
![](/s/2.png)
![](/s/comma.png)
![](/s/4.png)
![](/s/comma.png)
![](/s/6.png)
![](/s/bcr.png)
以上を元に、確率を図1-1のように定義します。
どの標本が発生することも同程度に確からしいとき、事象が発生する確率
は、
である。 ただし、
とは、それぞれ
の元の数とする。
例えばサイコロを振って偶数が出る確率は、「![](/s/1.png)
![](/s/comma.png)
![](/s/2.png)
![](/s/comma.png)
![](/s/3.png)
![](/s/comma.png)
![](/s/4.png)
![](/s/comma.png)
![](/s/5.png)
![](/s/comma.png)
」のどの標本が発生することも同程度に確からしいとすると、![](/s/abs.png)
![](/s/tlomega.png)
![](/s/abs.png)
![](/s/eq.png)
![](/s/abs.png)
![](/s/bcl.png)
![](/s/1.png)
![](/s/comma.png)
![](/s/2.png)
![](/s/comma.png)
![](/s/3.png)
![](/s/comma.png)
![](/s/4.png)
![](/s/comma.png)
![](/s/5.png)
![](/s/comma.png)
![](/s/6.png)
![](/s/bcr.png)
![](/s/abs.png)
![](/s/eq.png)
、![](/s/abs.png)
![](/s/l_a.png)
![](/s/abs.png)
![](/s/eq.png)
![](/s/abs.png)
![](/s/bcl.png)
![](/s/2.png)
![](/s/comma.png)
![](/s/4.png)
![](/s/comma.png)
![](/s/6.png)
![](/s/bcr.png)
![](/s/abs.png)
![](/s/eq.png)
より、![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/abs.png)
![](/s/l_a.png)
![](/s/abs.png)
![](/s/slash.png)
![](/s/abs.png)
![](/s/tlomega.png)
![](/s/abs.png)
![](/s/eq.png)
![](/s/3.png)
![](/s/slash.png)
![](/s/6.png)
![](/s/eq.png)
です。
![](/s/1.png)
![](/s/comma.png)
![](/s/2.png)
![](/s/comma.png)
![](/s/3.png)
![](/s/comma.png)
![](/s/4.png)
![](/s/comma.png)
![](/s/5.png)
![](/s/comma.png)
![](/s/6.png)
![](/s/abs.png)
![](/s/tlomega.png)
![](/s/abs.png)
![](/s/eq.png)
![](/s/abs.png)
![](/s/bcl.png)
![](/s/1.png)
![](/s/comma.png)
![](/s/2.png)
![](/s/comma.png)
![](/s/3.png)
![](/s/comma.png)
![](/s/4.png)
![](/s/comma.png)
![](/s/5.png)
![](/s/comma.png)
![](/s/6.png)
![](/s/bcr.png)
![](/s/abs.png)
![](/s/eq.png)
![](/s/6.png)
![](/s/abs.png)
![](/s/l_a.png)
![](/s/abs.png)
![](/s/eq.png)
![](/s/abs.png)
![](/s/bcl.png)
![](/s/2.png)
![](/s/comma.png)
![](/s/4.png)
![](/s/comma.png)
![](/s/6.png)
![](/s/bcr.png)
![](/s/abs.png)
![](/s/eq.png)
![](/s/3.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/abs.png)
![](/s/l_a.png)
![](/s/abs.png)
![](/s/slash.png)
![](/s/abs.png)
![](/s/tlomega.png)
![](/s/abs.png)
![](/s/eq.png)
![](/s/3.png)
![](/s/slash.png)
![](/s/6.png)
![](/s/eq.png)
![](/s/1_div_2.png)
しかしこの定義では、例えばサイコロを何回振るか判らないときに、無限回を考慮する必要が出て![](/s/abs.png)
![](/s/tlomega.png)
が無限大になって計算できなかったり、また「どの標本が発生することも同程度に確からしいとき」以外の確率が計算できないという問題があります。
![](/s/abs.png)
![](/s/tlomega.png)
![](/s/abs.png)
1.2測度論による確率の定義
そこで、測度を使ってここまでの定義を一般化します。 結局確率とは、
から
の区間のうちどれだけを占めるかという「長さ」の問題になりますので、測度や積分の話に還元できることになります。
![](/s/0.png)
![](/s/1.png)
測度を使った確率の定義は図1-2の通りです。
測度空間において、
であるとき、
を確率空間と呼び、
を確率と呼ぶ。
よく解らないと思いますので、第8回で説明した測度をおさらいしつつ補足します。 サイコロを振って偶数が出る確率を求めてみましょう。
まず測度空間![](/s/pl.png)
![](/s/tlomega.png)
![](/s/comma.png)
![](/s/dlf.png)
![](/s/comma.png)
![](/s/l_p.png)
とは、任意の集合「
」と、測れる仕組みを整えた
-加法族「
」と、それらに対して測り方を定めた測度「
」を一組にしたものでした。
![](/s/pl.png)
![](/s/tlomega.png)
![](/s/comma.png)
![](/s/dlf.png)
![](/s/comma.png)
![](/s/l_p.png)
![](/s/pr.png)
![](/s/tlomega.png)
![](/s/sigma.png)
![](/s/dlf.png)
![](/s/l_p.png)
ここで集合
は、標本空間としておきます。 サイコロの場合、![](/s/tlomega.png)
![](/s/eq.png)
![](/s/bcl.png)
![](/s/1.png)
![](/s/comma.png)
![](/s/2.png)
![](/s/comma.png)
![](/s/3.png)
![](/s/comma.png)
![](/s/4.png)
![](/s/comma.png)
![](/s/5.png)
![](/s/comma.png)
![](/s/6.png)
です。
![](/s/tlomega.png)
![](/s/tlomega.png)
![](/s/eq.png)
![](/s/bcl.png)
![](/s/1.png)
![](/s/comma.png)
![](/s/2.png)
![](/s/comma.png)
![](/s/3.png)
![](/s/comma.png)
![](/s/4.png)
![](/s/comma.png)
![](/s/5.png)
![](/s/comma.png)
![](/s/6.png)
![](/s/bcr.png)
![](/s/sigma.png)
![](/s/dlf.png)
![](/s/tlomega.png)
![](/s/dlf.png)
![](/s/eq.png)
![](/s/bcl.png)
![](/s/empty.png)
![](/s/comma.png)
![](/s/bcl.png)
![](/s/1.png)
![](/s/bcr.png)
![](/s/comma.png)
![](/s/bcl.png)
![](/s/2.png)
![](/s/bcr.png)
![](/s/comma.png)
![](/s/dots.png)
![](/s/comma.png)
![](/s/bcl.png)
![](/s/6.png)
![](/s/bcr.png)
![](/s/comma.png)
![](/s/bcl.png)
![](/s/1.png)
![](/s/comma.png)
![](/s/1.png)
![](/s/bcr.png)
![](/s/comma.png)
![](/s/bcl.png)
![](/s/1.png)
![](/s/comma.png)
![](/s/2.png)
![](/s/bcr.png)
![](/s/comma.png)
![](/s/dots.png)
![](/s/comma.png)
![](/s/bcl.png)
![](/s/1.png)
![](/s/comma.png)
![](/s/2.png)
![](/s/comma.png)
![](/s/3.png)
![](/s/comma.png)
![](/s/4.png)
![](/s/comma.png)
![](/s/5.png)
![](/s/comma.png)
![](/s/6.png)
![](/s/bcr.png)
![](/s/bcr.png)
測度
は、
-加法族の任意の部分集合に対し、長さを返す関数です。 ![](/s/l_p.png)
![](/s/pl.png)
![](/s/bcl.png)
![](/s/1.png)
![](/s/comma.png)
![](/s/4.png)
![](/s/bcr.png)
などとすると何らかの長さを返すイメージです。
![](/s/l_p.png)
![](/s/sigma.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/bcl.png)
![](/s/1.png)
![](/s/comma.png)
![](/s/4.png)
![](/s/bcr.png)
![](/s/pr.png)
また先ほどの定義に「![](/s/l_p.png)
![](/s/pl.png)
![](/s/tlomega.png)
![](/s/pr.png)
![](/s/eq.png)
であるとき
を確率と呼ぶ」とありますが、これは確率として当然のことで、各標本の確率を全部合わせると
であることを意味しています。 例えば、素朴な確率の定義で示した「![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/abs.png)
![](/s/l_a.png)
![](/s/abs.png)
![](/s/slash.png)
![](/s/abs.png)
![](/s/tlomega.png)
」を測度だとみなすと、![](/s/l_p.png)
![](/s/pl.png)
![](/s/tlomega.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/abs.png)
![](/s/tlomega.png)
![](/s/abs.png)
![](/s/slash.png)
![](/s/abs.png)
![](/s/tlomega.png)
![](/s/abs.png)
![](/s/eq.png)
となりますので一つの確率だといえます。
![](/s/l_p.png)
![](/s/pl.png)
![](/s/tlomega.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/l_p.png)
![](/s/1.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/abs.png)
![](/s/l_a.png)
![](/s/abs.png)
![](/s/slash.png)
![](/s/abs.png)
![](/s/tlomega.png)
![](/s/abs.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/tlomega.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/abs.png)
![](/s/tlomega.png)
![](/s/abs.png)
![](/s/slash.png)
![](/s/abs.png)
![](/s/tlomega.png)
![](/s/abs.png)
![](/s/eq.png)
![](/s/1.png)
測度空間![](/s/pl.png)
![](/s/tlomega.png)
![](/s/comma.png)
![](/s/dlf.png)
![](/s/comma.png)
![](/s/l_p.png)
があれば、実際に確率が求まります。 例えばサイコロを振って偶数が出る確率を求めたい場合、
-加法族
の部分集合![](/s/bcl.png)
![](/s/2.png)
![](/s/comma.png)
![](/s/4.png)
![](/s/comma.png)
![](/s/6.png)
に対し、![](/s/l_p.png)
![](/s/pl.png)
![](/s/bcl.png)
![](/s/2.png)
![](/s/comma.png)
![](/s/4.png)
![](/s/comma.png)
![](/s/6.png)
![](/s/bcr.png)
を計算すれば求まるという流れです。 ![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
の定義を工夫すると、「どの標本が発生することも同程度に確からしい」とはいえない場合の確率も定義できます。 例えば、
に
が属しているときには![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/eq.png)
、属していないときには![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/eq.png)
と定義することで、「必ず
が出るサイコロの確率」といったものも定義できます。
![](/s/pl.png)
![](/s/tlomega.png)
![](/s/comma.png)
![](/s/dlf.png)
![](/s/comma.png)
![](/s/l_p.png)
![](/s/pr.png)
![](/s/sigma.png)
![](/s/dlf.png)
![](/s/bcl.png)
![](/s/2.png)
![](/s/comma.png)
![](/s/4.png)
![](/s/comma.png)
![](/s/6.png)
![](/s/bcr.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/bcl.png)
![](/s/2.png)
![](/s/comma.png)
![](/s/4.png)
![](/s/comma.png)
![](/s/6.png)
![](/s/bcr.png)
![](/s/pr.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/l_a.png)
![](/s/6.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/0.png)
![](/s/6.png)
2確率の主な性質
さて、確率の主な性質について説明します。
2.1積の法則
まずサイコロを
回振って、「
回目に
が出る場合」と「
回目に偶数が出る場合」の確率を考えましょう。
![](/s/2.png)
![](/s/1.png)
![](/s/5.png)
![](/s/2.png)
「
回目に
が出る事象」を
とし、「
回目に偶数が出る事象」を
とします。 すると、それぞれの確率は![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/slash.png)
![](/s/6.png)
![](/s/comma.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/3.png)
![](/s/slash.png)
![](/s/6.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/slash.png)
と求まります。
![](/s/1.png)
![](/s/5.png)
![](/s/l_a.png)
![](/s/2.png)
![](/s/l_b.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/slash.png)
![](/s/6.png)
![](/s/comma.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/3.png)
![](/s/slash.png)
![](/s/6.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/slash.png)
![](/s/2.png)
このとき、「
回目に
が出て、かつ
回目に偶数が出る確率」は、
回目に出た目が
回目に出る目の確率に影響しないため、図2-1のように
と
が重なった部分の面積で求まります。
![](/s/1.png)
![](/s/5.png)
![](/s/2.png)
![](/s/1.png)
![](/s/2.png)
![](/s/l_a.png)
![](/s/l_b.png)
![確率の積](/images/mathematics/basic9/686036562133_ja.png)
この例のように、事象
と事象
が互いの確率に影響を与えない場合、
と
は互いに「独立」であるといいます。 一般に、独立な事象![](/s/l_a.png)
![](/s/comma.png)
に対し、
と
が両方とも起こる確率![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/cap.png)
![](/s/l_b.png)
とは、「![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/cap.png)
![](/s/l_b.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/mul.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
」のように確率の掛け算で求まります。
![](/s/l_a.png)
![](/s/l_b.png)
![](/s/l_a.png)
![](/s/l_b.png)
![](/s/l_a.png)
![](/s/comma.png)
![](/s/l_b.png)
![](/s/l_a.png)
![](/s/l_b.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/cap.png)
![](/s/l_b.png)
![](/s/pr.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/cap.png)
![](/s/l_b.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/mul.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/pr.png)
2.2条件付き確率
次に、
回目に
が出たことが確定した上で、
回目に偶数が出る確率の求め方を説明します。
![](/s/1.png)
![](/s/5.png)
![](/s/2.png)
![](/s/1.png)
![](/s/x.png)
![](/s/2.png)
![](/s/y.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/comma.png)
![](/s/y.png)
![](/s/pr.png)
![](/s/tlomega.png)
![](/s/eq.png)
![](/s/bcl.png)
![](/s/pl.png)
![](/s/1.png)
![](/s/comma.png)
![](/s/1.png)
![](/s/pr.png)
![](/s/comma.png)
![](/s/pl.png)
![](/s/1.png)
![](/s/comma.png)
![](/s/2.png)
![](/s/pr.png)
![](/s/comma.png)
![](/s/dots.png)
![](/s/comma.png)
![](/s/pl.png)
![](/s/1.png)
![](/s/comma.png)
![](/s/6.png)
![](/s/pr.png)
![](/s/comma.png)
![](/s/pl.png)
![](/s/2.png)
![](/s/comma.png)
![](/s/1.png)
![](/s/pr.png)
![](/s/comma.png)
![](/s/pl.png)
![](/s/2.png)
![](/s/comma.png)
![](/s/2.png)
![](/s/pr.png)
![](/s/comma.png)
![](/s/dots.png)
![](/s/comma.png)
![](/s/pl.png)
![](/s/6.png)
![](/s/comma.png)
![](/s/6.png)
![](/s/pr.png)
![](/s/bcr.png)
ここで、「既に
が起こったとして
が起こる事象」を「![](/s/l_b.png)
![](/s/abs.png)
」と表すことにします。 すると、そのときの確率![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/abs.png)
![](/s/l_a.png)
、つまり「既に
回目に
が出たとして
回目に偶数が出る確率」は図2-2のように求まります。
![](/s/l_a.png)
![](/s/l_b.png)
![](/s/l_b.png)
![](/s/abs.png)
![](/s/l_a.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/abs.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/1.png)
![](/s/5.png)
![](/s/2.png)
![2つのサイコロの条件付き確率](/images/mathematics/basic9/577645705712_ja.png)
このように、既に
が起こったとして
が起こる確率![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/abs.png)
![](/s/l_a.png)
は、「既に
が起こった」と考えて
の確率を
に引き延ばすことにより、![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/abs.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/cap.png)
![](/s/l_b.png)
![](/s/pr.png)
![](/s/slash.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
で計算できます。
![](/s/l_a.png)
![](/s/l_b.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/abs.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/l_a.png)
![](/s/l_a.png)
![](/s/1.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/abs.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/cap.png)
![](/s/l_b.png)
![](/s/pr.png)
![](/s/slash.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/pr.png)
サイコロの例では、
と
が独立だったため、![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/abs.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/slash.png)
と![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/slash.png)
は一致しましたが、例えば「1組のトランプから2回カードを抜き取って両方ともハートである確率」を考えると、1回目に抜き取ったカードが2回目には無くなっているため、1回目に起こった結果が2回目の確率に影響を与えて、![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/abs.png)
![](/s/l_a.png)
と![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
は一致しません。
![](/s/l_a.png)
![](/s/l_b.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/abs.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/slash.png)
![](/s/2.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/slash.png)
![](/s/2.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/abs.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/pr.png)
2.3ベイズの定理
さて、![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/abs.png)
![](/s/l_a.png)
とは、既に
が起こったとして
が起こる確率のことでした。 逆に、既に
が起こったとして
が起こる確率![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/abs.png)
![](/s/l_b.png)
を考えてみましょう。 図2-3の問題です。
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/abs.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/l_a.png)
![](/s/l_b.png)
![](/s/l_b.png)
![](/s/l_a.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/abs.png)
![](/s/l_b.png)
![](/s/pr.png)
![事後確率の例題](/images/mathematics/basic9/642102434242_ja.png)
先ほどの![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/abs.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/cap.png)
![](/s/l_b.png)
![](/s/pr.png)
![](/s/slash.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
の式を変形させていくと、「![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/abs.png)
![](/s/l_b.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/abs.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/slash.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
」という式が導出できます(図2-4)。
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/abs.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/cap.png)
![](/s/l_b.png)
![](/s/pr.png)
![](/s/slash.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/abs.png)
![](/s/l_b.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/abs.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/slash.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/pr.png)
(1) を変形させて、
。
(2) を変形させて、
。
(1)と(2)の式を組み合わせて、より、
。
この「![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/abs.png)
![](/s/l_b.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/abs.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/slash.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
」の式を「ベイズの定理」といいます。 このベイズの定理を使って、例題を解きましょう。
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/abs.png)
![](/s/l_b.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/abs.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/slash.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/pr.png)
![](/s/l_a.png)
![](/s/l_b.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/slash.png)
![](/s/2.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/pr.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/1.png)
![](/s/slash.png)
![](/s/2.png)
![](/s/pr.png)
![](/s/pl.png)
![](/s/1.png)
![](/s/slash.png)
![](/s/4.png)
![](/s/pr.png)
![](/s/add.png)
![](/s/pl.png)
![](/s/1.png)
![](/s/slash.png)
![](/s/2.png)
![](/s/pr.png)
![](/s/pl.png)
![](/s/2.png)
![](/s/slash.png)
![](/s/4.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/3.png)
![](/s/slash.png)
![](/s/8.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/abs.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/4.png)
![](/s/1.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/abs.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/slash.png)
![](/s/4.png)
以上をベイズの定理に代入し、「![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/abs.png)
![](/s/l_b.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/abs.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/slash.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/1.png)
![](/s/slash.png)
![](/s/4.png)
![](/s/pr.png)
![](/s/pl.png)
![](/s/1.png)
![](/s/slash.png)
![](/s/2.png)
![](/s/pr.png)
![](/s/slash.png)
![](/s/pl.png)
![](/s/3.png)
![](/s/slash.png)
![](/s/8.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/slash.png)
」が答えです。
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/abs.png)
![](/s/l_b.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/abs.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/slash.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/1.png)
![](/s/slash.png)
![](/s/4.png)
![](/s/pr.png)
![](/s/pl.png)
![](/s/1.png)
![](/s/slash.png)
![](/s/2.png)
![](/s/pr.png)
![](/s/slash.png)
![](/s/pl.png)
![](/s/3.png)
![](/s/slash.png)
![](/s/8.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/slash.png)
![](/s/3.png)
2.4加法定理
また、確率の主要な定理として図2-5があります。
事象に対し、
が成り立つ。
「![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/add.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
」は
と
の重複部分の確率が2回計上されているため、その部分の確率![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/cap.png)
![](/s/l_b.png)
を引いたものが![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/cup.png)
![](/s/l_b.png)
と一致するイメージです。 例えば、「サイコロの
以下または奇数が出る確率」
「
以下が出る確率」
「奇数が出る確率」
「
以下かつ奇数が出る確率」です。
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/pr.png)
![](/s/add.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_b.png)
![](/s/pr.png)
![](/s/l_a.png)
![](/s/l_b.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/cap.png)
![](/s/l_b.png)
![](/s/pr.png)
![](/s/l_p.png)
![](/s/pl.png)
![](/s/l_a.png)
![](/s/cup.png)
![](/s/l_b.png)
![](/s/pr.png)
![](/s/3.png)
![](/s/eq.png)
![](/s/3.png)
![](/s/add.png)
![](/s/sub.png)
![](/s/3.png)
3確率変数と期待値
3.1確率変数
さて、ここからは標本に対して何らかの値が定まっているケースについて扱います。 例えば、サイコロを振って奇数が出たら![](/s/1.png)
![](/s/0.png)
円、偶数が出たら![](/s/5.png)
![](/s/0.png)
円のお金が貰えるとしたとき、標本に対して値を返す関数
は図3-1のようになります。
![](/s/1.png)
![](/s/0.png)
![](/s/0.png)
![](/s/5.png)
![](/s/0.png)
![](/s/0.png)
![](/s/f.png)
標本空間と、標本
に対し、
のとき、
のとき、
この
のように、各標本に対して決まった実数を返す関数を、「確率変数」といいます。 名前に「変数」と付いていてややこしいですが、基本的に関数と考えてください。
![](/s/f.png)
3.2分布関数
一方、確率変数の値に対してそれが起こる確率を返す関数を、「分布関数」といい、それぞれの確率を「分布」といいます。 例えば「サイコロを振って奇数が出たら![](/s/1.png)
![](/s/0.png)
円、偶数が出たら![](/s/5.png)
![](/s/0.png)
円のお金が貰える」という場合、このときの分布関数を
とすると、それぞれの分布は![](/s/mu.png)
![](/s/pl.png)
![](/s/1.png)
![](/s/0.png)
![](/s/0.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/1_div_2.png)
![](/s/comma.png)
![](/s/mu.png)
![](/s/pl.png)
![](/s/5.png)
![](/s/0.png)
![](/s/0.png)
![](/s/pr.png)
![](/s/eq.png)
となります。
![](/s/1.png)
![](/s/0.png)
![](/s/0.png)
![](/s/5.png)
![](/s/0.png)
![](/s/0.png)
![](/s/mu.png)
![](/s/mu.png)
![](/s/pl.png)
![](/s/1.png)
![](/s/0.png)
![](/s/0.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/1_div_2.png)
![](/s/comma.png)
![](/s/mu.png)
![](/s/pl.png)
![](/s/5.png)
![](/s/0.png)
![](/s/0.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/1_div_2.png)
X軸を確率変数の値とし、Y軸を確率として、分布関数を図示すると、確率がどのように「分布」しているかが把握しやすくなります(図3-2)。
![図示された分布](/images/mathematics/basic9/225262805504.png)
3.3期待値
それでは、「サイコロを振って奇数が出たら![](/s/1.png)
![](/s/0.png)
円、偶数が出たら![](/s/5.png)
![](/s/0.png)
円のお金が貰える」という例を考えた場合、いくらぐらい貰えそうだと「期待」することが妥当でしょうか。
![](/s/1.png)
![](/s/0.png)
![](/s/0.png)
![](/s/5.png)
![](/s/0.png)
![](/s/0.png)
一つの方法としては、
の確率で![](/s/1.png)
![](/s/0.png)
円が貰え、残りの
の確率で![](/s/5.png)
![](/s/0.png)
円が貰えるため、確率で重み付けした平均を計算して、![](/s/1_div_2.png)
![](/s/mul.png)
![](/s/1.png)
![](/s/0.png)
![](/s/0.png)
![](/s/add.png)
![](/s/1_div_2.png)
![](/s/mul.png)
![](/s/5.png)
![](/s/0.png)
![](/s/0.png)
![](/s/eq.png)
![](/s/3.png)
![](/s/0.png)
円くらいだと考えることができそうです。
![](/s/1_div_2.png)
![](/s/1.png)
![](/s/0.png)
![](/s/0.png)
![](/s/1_div_2.png)
![](/s/5.png)
![](/s/0.png)
![](/s/0.png)
![](/s/1_div_2.png)
![](/s/mul.png)
![](/s/1.png)
![](/s/0.png)
![](/s/0.png)
![](/s/add.png)
![](/s/1_div_2.png)
![](/s/mul.png)
![](/s/5.png)
![](/s/0.png)
![](/s/0.png)
![](/s/eq.png)
![](/s/3.png)
![](/s/0.png)
![](/s/0.png)
このような方法で計算される値を、「期待値」といいます。 別の例では、サイコロを振って、
以下が出たら![](/s/1.png)
![](/s/0.png)
円、
か
が出たら![](/s/3.png)
![](/s/0.png)
円、
が出たら![](/s/6.png)
![](/s/0.png)
円が貰えるとき、期待値は![](/s/pl.png)
![](/s/3.png)
![](/s/slash.png)
![](/s/6.png)
![](/s/pr.png)
![](/s/mul.png)
![](/s/1.png)
![](/s/0.png)
![](/s/0.png)
![](/s/add.png)
![](/s/pl.png)
![](/s/2.png)
![](/s/slash.png)
![](/s/6.png)
![](/s/pr.png)
![](/s/mul.png)
![](/s/3.png)
![](/s/0.png)
![](/s/0.png)
![](/s/add.png)
![](/s/pl.png)
![](/s/1.png)
![](/s/slash.png)
![](/s/6.png)
![](/s/pr.png)
![](/s/mul.png)
![](/s/6.png)
![](/s/0.png)
![](/s/0.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/5.png)
円となります。
![](/s/3.png)
![](/s/1.png)
![](/s/0.png)
![](/s/0.png)
![](/s/4.png)
![](/s/5.png)
![](/s/3.png)
![](/s/0.png)
![](/s/0.png)
![](/s/6.png)
![](/s/6.png)
![](/s/0.png)
![](/s/0.png)
![](/s/pl.png)
![](/s/3.png)
![](/s/slash.png)
![](/s/6.png)
![](/s/pr.png)
![](/s/mul.png)
![](/s/1.png)
![](/s/0.png)
![](/s/0.png)
![](/s/add.png)
![](/s/pl.png)
![](/s/2.png)
![](/s/slash.png)
![](/s/6.png)
![](/s/pr.png)
![](/s/mul.png)
![](/s/3.png)
![](/s/0.png)
![](/s/0.png)
![](/s/add.png)
![](/s/pl.png)
![](/s/1.png)
![](/s/slash.png)
![](/s/6.png)
![](/s/pr.png)
![](/s/mul.png)
![](/s/6.png)
![](/s/0.png)
![](/s/0.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/5.png)
![](/s/0.png)
これは図で表すと、第8回で説明した積分と同じであることが判ります(図3-3)。
![期待値と積分](/images/mathematics/basic9/863160558076_ja.png)
図のように、期待値は面積と考えることができます。 よって厳密には、期待値は図3-4のように積分を使って定義されています。
標本空間、標本
、確率変数
、確率
に対し、
のとき、期待値
を
と定義する。 また、
が負にならない関数で
のとき、
と定義する。
数式はややこしいですが、確率で重み付けして面積を求めているだけです。 このように積分を使うことで、無限がかかわる場合にも計算できるようになります。
3.4分散
さて、「![](/s/1.png)
![](/s/slash.png)
![](/s/1.png)
![](/s/0.png)
の確率で![](/s/1.png)
![](/s/0.png)
![](/s/comma.png)
![](/s/0.png)
![](/s/0.png)
円が貰え、それ以外では貰えない」という場合と、「必ず![](/s/1.png)
![](/s/0.png)
円貰える」という場合とでは、期待値は両方とも![](/s/1.png)
![](/s/0.png)
円で同じですが、貰え方にはばらつきがあります。
![](/s/1.png)
![](/s/slash.png)
![](/s/1.png)
![](/s/0.png)
![](/s/0.png)
![](/s/1.png)
![](/s/0.png)
![](/s/comma.png)
![](/s/0.png)
![](/s/0.png)
![](/s/0.png)
![](/s/1.png)
![](/s/0.png)
![](/s/0.png)
![](/s/1.png)
![](/s/0.png)
![](/s/0.png)
そこで、このばらつきを数式で表すことを考えます。 「期待値との差の二乗を平均したもの」で計算し、これを「分散」といいます。
例えば、「![](/s/1.png)
![](/s/slash.png)
![](/s/1.png)
![](/s/0.png)
の確率で![](/s/1.png)
![](/s/0.png)
![](/s/comma.png)
![](/s/0.png)
![](/s/0.png)
円が貰え、それ以外では貰えない」場合の分散を計算すると、期待値は![](/s/1.png)
![](/s/0.png)
ですので、「平均する重み×期待値との差の二乗」を足して、「![](/s/pl.png)
![](/s/1.png)
![](/s/slash.png)
![](/s/1.png)
![](/s/0.png)
![](/s/0.png)
![](/s/pr.png)
![](/s/mul.png)
![](/s/pl.png)
![](/s/1.png)
![](/s/0.png)
![](/s/0.png)
![](/s/0.png)
![](/s/0.png)
![](/s/sub.png)
![](/s/1.png)
![](/s/0.png)
![](/s/0.png)
![](/s/pr.png)
![](/s/sup_2.png)
![](/s/add.png)
![](/s/pl.png)
![](/s/9.png)
![](/s/9.png)
![](/s/slash.png)
![](/s/1.png)
![](/s/0.png)
![](/s/0.png)
![](/s/pr.png)
![](/s/mul.png)
![](/s/pl.png)
![](/s/0.png)
![](/s/sub.png)
![](/s/1.png)
![](/s/0.png)
![](/s/0.png)
![](/s/pr.png)
![](/s/sup_2.png)
![](/s/eq.png)
![](/s/9.png)
![](/s/9.png)
![](/s/0.png)
![](/s/0.png)
![](/s/0.png)
」となります。
![](/s/1.png)
![](/s/slash.png)
![](/s/1.png)
![](/s/0.png)
![](/s/0.png)
![](/s/1.png)
![](/s/0.png)
![](/s/comma.png)
![](/s/0.png)
![](/s/0.png)
![](/s/0.png)
![](/s/1.png)
![](/s/0.png)
![](/s/0.png)
![](/s/pl.png)
![](/s/1.png)
![](/s/slash.png)
![](/s/1.png)
![](/s/0.png)
![](/s/0.png)
![](/s/pr.png)
![](/s/mul.png)
![](/s/pl.png)
![](/s/1.png)
![](/s/0.png)
![](/s/0.png)
![](/s/0.png)
![](/s/0.png)
![](/s/sub.png)
![](/s/1.png)
![](/s/0.png)
![](/s/0.png)
![](/s/pr.png)
![](/s/sup_2.png)
![](/s/add.png)
![](/s/pl.png)
![](/s/9.png)
![](/s/9.png)
![](/s/slash.png)
![](/s/1.png)
![](/s/0.png)
![](/s/0.png)
![](/s/pr.png)
![](/s/mul.png)
![](/s/pl.png)
![](/s/0.png)
![](/s/sub.png)
![](/s/1.png)
![](/s/0.png)
![](/s/0.png)
![](/s/pr.png)
![](/s/sup_2.png)
![](/s/eq.png)
![](/s/9.png)
![](/s/9.png)
![](/s/0.png)
![](/s/0.png)
![](/s/0.png)
![](/s/0.png)
「必ず![](/s/1.png)
![](/s/0.png)
円貰える」場合の分散を計算すると、「![](/s/1.png)
![](/s/mul.png)
![](/s/pl.png)
![](/s/1.png)
![](/s/0.png)
![](/s/0.png)
![](/s/sub.png)
![](/s/1.png)
![](/s/0.png)
![](/s/0.png)
![](/s/pr.png)
![](/s/sup_2.png)
![](/s/eq.png)
」となります。
![](/s/1.png)
![](/s/0.png)
![](/s/0.png)
![](/s/1.png)
![](/s/mul.png)
![](/s/pl.png)
![](/s/1.png)
![](/s/0.png)
![](/s/0.png)
![](/s/sub.png)
![](/s/1.png)
![](/s/0.png)
![](/s/0.png)
![](/s/pr.png)
![](/s/sup_2.png)
![](/s/eq.png)
![](/s/0.png)
このように分散を計算することで、ばらつきの大きさが分かります。 数式で書くと、分散は図3-5のように定義されます。
確率変数に対し、期待値
とすると、分散
を
と定義する。
3.5大数の法則
「サイコロを振って6が出たら![](/s/1.png)
![](/s/comma.png)
![](/s/2.png)
![](/s/0.png)
円、それ以外なら![](/s/6.png)
![](/s/0.png)
円のお金が貰える」という場合を繰り返すと、![](/s/1.png)
![](/s/comma.png)
![](/s/2.png)
![](/s/0.png)
円が貰えたり![](/s/6.png)
![](/s/0.png)
円が貰えたりしますが、何度も繰り返すうちに貰えた額の平均は期待値の![](/s/7.png)
![](/s/0.png)
円に近づいていくことが分かります。 実際に手元で![](/s/1.png)
![](/s/comma.png)
![](/s/0.png)
![](/s/0.png)
![](/s/0.png)
![](/s/comma.png)
![](/s/0.png)
![](/s/0.png)
回試したところ、表3-1のようになりました。
![](/s/1.png)
![](/s/comma.png)
![](/s/2.png)
![](/s/0.png)
![](/s/0.png)
![](/s/6.png)
![](/s/0.png)
![](/s/0.png)
![](/s/1.png)
![](/s/comma.png)
![](/s/2.png)
![](/s/0.png)
![](/s/0.png)
![](/s/6.png)
![](/s/0.png)
![](/s/0.png)
![](/s/7.png)
![](/s/0.png)
![](/s/0.png)
![](/s/1.png)
![](/s/comma.png)
![](/s/0.png)
![](/s/0.png)
![](/s/0.png)
![](/s/comma.png)
![](/s/0.png)
![](/s/0.png)
![](/s/0.png)
回数 | 平均 |
---|---|
![]() |
![]() ![]() ![]() ![]() |
![]() ![]() |
![]() ![]() ![]() |
![]() ![]() ![]() |
![]() ![]() ![]() |
![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
貰えた額の平均が期待値の「![](/s/7.png)
![](/s/0.png)
」に近づくことが分かると思います。
![](/s/7.png)
![](/s/0.png)
![](/s/0.png)
このように、試行回数を増やすと平均が期待値に近づくという現象を「大数の法則」といいます。
正確には「大数の法則」には2種類あり、多くのケースに適用できる「大数の弱法則」と、特定のケースにしか適用できない代わりにより強い形で表される「大数の強法則」があります。
「大数の弱法則」は図3-6のように定義されます。
確率変数の列とそれらの期待値
があり、任意の
に対して、
が成り立つとき、「大数の弱法則」が成り立つという。
式で表すと難しそうですが、平たく言うと大数の弱法則とは「試行を増やすと、平均と期待値に差がある確率が限りなく
に近づく」ことを意味します。 つまり平均はどんどん期待値に近づくニュアンスですが、あくまで近づいているのはそうなるという確率である点に注意してください。
![](/s/0.png)
そこでもっと素直に「平均は限りなく期待値に近づく」と言えないかと考え、大数の強法則が現れました。 「大数の強法則」は図3-7のように定義されます。
確率変数の列とそれらの期待値
があり、
が成り立つとき、「大数の強法則」が成り立つという。
平たく言うと大数の強法則とは「試行を増やすと平均が期待値に限りなく近づく確率が
」であることを意味します。
![](/s/1.png)
そして「大数の弱法則」と「大数の強法則」は、それぞれ確率変数の列によって成り立ったり成り立たなかったりします。 成り立つことを示すために比較的よく使われる定理には、図3-8があります。
互いに独立で分布が同じ確率変数の列があり、いずれの分散も
でないとき、「大数の弱法則」が成り立つ。
例えば「サイコロを振って6が出たら![](/s/1.png)
![](/s/comma.png)
![](/s/2.png)
![](/s/0.png)
円、それ以外なら![](/s/6.png)
![](/s/0.png)
円のお金が貰える」という試行を何度も繰り返した場合を考えると、それぞれの試行は互いに独立で分布が同じで分散が有限なため、「大数の弱法則」が成り立ちます。 つまり、平均はどんどん期待値の![](/s/7.png)
![](/s/0.png)
円に近づく(そうならない確率が0に近づく)ことが数学的に言えます。
![](/s/1.png)
![](/s/comma.png)
![](/s/2.png)
![](/s/0.png)
![](/s/0.png)
![](/s/6.png)
![](/s/0.png)
![](/s/0.png)
![](/s/7.png)
![](/s/0.png)
![](/s/0.png)
4統計学
ここまでは、標本空間が分かっているときに、そこから様々な確率や期待値などを計算してきました。
ここからは、標本空間が分からないときに、実際に起こったいくつかの標本から標本空間を推測する方法について説明します。
4.1母集団と標本
例えば、部品を製造している工場が不良品を作ってしまう確率を計算したいと考えた場合、正確には限りなく多い部品を製造してそのすべてをチェックする必要がありますが、現実には不可能なので製造した部品の一部をチェックしてそこから全体の確率を推測します。
このとき、最終的に推測したい全体を「母集団」と呼び、推測に使うためのいくつかのデータの集まりを「標本」と呼びます。 つまり例では、限りなく多い部品が「母集団」で、実際にチェックする部品が「標本」です。
そして標本から母集団を推測することを「推定」といい、母集団が直接調べられないときに様々な分野で活用されています。 普通は、標本は偏らないようにできるだけ無作為に選びます。
4.2平均と分散
母集団や標本を扱う分野では、期待値のことは「平均」と呼びます。 そして母集団における平均は「母平均」、標本における平均は「標本平均」といいます。
また、母集団における分散は「母分散」、標本における分散は「標本分散」といいます。
それでは、標本から母平均や母分散を推定してみましょう。
4.3点推定と区間推定
標本平均や標本分散から母平均や母分散を推定するには、「点推定」と「区間推定」の2つの方法があります。
「点推定」とは、標本平均や標本分散などの既知の値から、母集団の未知の値を推定する方法です。
標本の選ばれ方によって標本平均や標本分散にはばらつきが出てきます。 そこでそれら複数の標本に対し、「標本平均の平均」や「標本分散の平均」が母集団での値と一致するようにし、かつそれらの「標本平均の分散」や「標本分散の分散」が最小になるようにすると、母集団に近づいていきそうです。 このような式を作ると、最終的に図4-1の式が得られます。
標本の値をとし、それらの平均を
、分散を
とすると、母平均
は
で推定できる。 また母分散
は
で推定できる。
例えば、学校で![](/s/1.png)
![](/s/comma.png)
![](/s/0.png)
![](/s/0.png)
人にテストを行ったとして、そこから無作為に![](/s/1.png)
人分を抜き出して平均と分散を計算したところ、平均は![](/s/6.png)
点、分散は![](/s/1.png)
![](/s/8.png)
になったとします。 すると先ほどの式より、![](/s/1.png)
![](/s/comma.png)
![](/s/0.png)
![](/s/0.png)
人全員の平均は![](/s/6.png)
点、分散は![](/s/1.png)
![](/s/8.png)
![](/s/0.png)
![](/s/mul.png)
![](/s/pl.png)
![](/s/1.png)
![](/s/0.png)
![](/s/slash.png)
![](/s/pl.png)
![](/s/1.png)
![](/s/0.png)
![](/s/sub.png)
![](/s/1.png)
![](/s/pr.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/0.png)
と推定できます。
![](/s/1.png)
![](/s/comma.png)
![](/s/0.png)
![](/s/0.png)
![](/s/0.png)
![](/s/1.png)
![](/s/0.png)
![](/s/6.png)
![](/s/0.png)
![](/s/1.png)
![](/s/8.png)
![](/s/0.png)
![](/s/1.png)
![](/s/comma.png)
![](/s/0.png)
![](/s/0.png)
![](/s/0.png)
![](/s/6.png)
![](/s/0.png)
![](/s/1.png)
![](/s/8.png)
![](/s/0.png)
![](/s/mul.png)
![](/s/pl.png)
![](/s/1.png)
![](/s/0.png)
![](/s/slash.png)
![](/s/pl.png)
![](/s/1.png)
![](/s/0.png)
![](/s/sub.png)
![](/s/1.png)
![](/s/pr.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/0.png)
![](/s/0.png)
この点推定に対し、「区間推定」とは、未知の母集団の値がどの区間にあるかを推定する方法です。 既知の標本の値と、自由に決めた「信頼度」という値を元に、母集団の値が存在しそうな区間が得られます。 信頼度が高いほど得られた区間に母集団の値が入る確率が高くなりますが、区間の幅も大きくなります。
例えば、無作為に選んだ![](/s/1.png)
人分のテストの結果から、信頼度を![](/s/0.png)
![](/s/dot.png)
![](/s/9.png)
として学校全体での平均点を区間推定すると、![](/s/5.png)
![](/s/4.png)
![](/s/dot.png)
点以上![](/s/6.png)
![](/s/5.png)
![](/s/dot.png)
点以下などの区間が得られるというイメージです。 この場合、信頼度で与えた![](/s/0.png)
![](/s/dot.png)
![](/s/9.png)
の確率で、母平均がこの区間にあることを意味します。
![](/s/1.png)
![](/s/0.png)
![](/s/0.png)
![](/s/dot.png)
![](/s/9.png)
![](/s/5.png)
![](/s/5.png)
![](/s/4.png)
![](/s/dot.png)
![](/s/6.png)
![](/s/6.png)
![](/s/5.png)
![](/s/dot.png)
![](/s/4.png)
![](/s/0.png)
![](/s/dot.png)
![](/s/9.png)
![](/s/5.png)
また推定のほかにも、標本をもとにある結論が言えるかどうかを判断する方法として「検定」というものもあります。 例えば、「コインを![](/s/1.png)
回投げると
回が表だったとき、これは偶然ではなくコインが歪んでいると言えるか」といった場面で検定が使えます。
![](/s/1.png)
![](/s/0.png)
![](/s/9.png)
今回は、確率について説明しました。 次回は、複数の数をひとまとめにする「ベクトル」と「行列」について解説します!