「確率論って何?」と訊かれるときとかあると思います。ないけど。そんなときのためにダイジェスト版にしました。
相手のセリフは固定(グレー四角部分)なので協力を仰いでください。
なお、セミナー進度の都合上、以下の本の最初3分の1くらいの内容です。もっと進んで加筆することが出てきたら足します。
はじめての確率論 測度から確率へ : 佐藤 坦
相手のセリフは固定(グレー四角部分)なので協力を仰いでください。
なお、セミナー進度の都合上、以下の本の最初3分の1くらいの内容です。もっと進んで加筆することが出てきたら足します。
はじめての確率論 測度から確率へ : 佐藤 坦
確率って「コインを2回投げて2回とも裏が出る確率は4分の1」とか、「コインを投げて表が出ると10点もらえるとして、2回投げたときの得点の期待値は20点」みたいな、パターンの数え上げで考える話じゃなかったの?
- 中高ではそう。ある試行の結果起こりうること全体(標本空間)が (表, 表), (表, 裏), (裏, 表), (裏, 裏) のように有限個だったら数え上げでいい。それで何も困らない。
- そもそも中高までの確率とは、「サイコロをふって偶数の目が出る確率は2分の1」のように、「事象の要素数 ÷ 標本空間の要素数」だった。
- 「サイコロをふって偶数の目が出る確率」では、標本空間は で、事象(標本空間の任意の部分集合)はこの場合は になる。確率は になる( を、集合の要素数をとる記号とする)。
- でもこの考え方だと の要素数が有限個ではなくなったとき困る。例えば「コインを無限回投げる」とか、「0~1の任意の実数を返す乱数おみくじを引く」という試行のように。
- でも直感的には、「コインを無限回投げて最初の1回だけ表がでる確率は2分の1だろう」「0~1の乱数おみくじを引いて0~0.5が出る確率は2分の1だろう」というように、これらの試行にも確率が考えられないということはない。このような場合でも確率を定義できるようにしたいという望みがある。
じゃあ一般的な確率はどう考えるの?
- 任意の について確率 を考えようとするのはやめる。そもそも、(乱数おみくじを引く例だと)「 [0, 1) の任意の部分集合」なんていってもどんな集合族になるのかよくわからない。任意の部分集合ではなく、[0, 0.5) [0, 1) のような、いま興味のある部分集合の上にだけ確率が定義されていればいい。 の部分集合で興味のあるものたちを集めて とし、 なる に対してだけ確率 を定義することを考える。
- じゃあ、 は の部分集合族として自分で勝手に決めていいのかというとそういうわけにはいかない。なぜなら、「確率というものはこうあってほしい」という素朴な願いがあるから。 を勝手に決めるとそれが満たされない。なので、以下の3つの願いが満たされるように、 に3つの条件を課す。
- 「全事象に対して確率がとれてほしい。」
- 「ある事象の確率がとれるなら、その余事象にも確率がとれてほしい。」
- 「確率がとれるような事象の有限和や、有限和の極限にも確率がとれてほしい。つまり、無限和にも確率がとれてほしい。」
- 上の3つの条件を満たす を 上の -集合体(-加法族)という。 に対して の取り方は色々ある。
- を組にして、可測空間という。可測空間の上に確率が測れる。
- じゃあ に対して確率 はどう決めるのかというと、やっぱり「確率というものはこうあってほしい」という願いがあるので、好き勝手には決められない。以下の3つを満たすように決める。
- 「確率は0以上1以下であってほしい。」
- 「全事象に対する確率は1であってほしい。」
- 「 がすべて互いに同時に起こらない事象だったら、『 か か か が起こる確率』は の和であってほしい。かつ、単調連続であってほしい
( のとき、先に事象の極限をとってから確率を求めても、先に確率をとってからその極限をとっても、同じ確率に収束してほしい)。」
- この3つ目の条件を可算加法性という。上の3条件を満たす を可測空間 上の確率測度という。
- を組にして、確率空間という。
これで期待値なども扱えるようになるの?
- まだ確率空間の上に積分を定義していない。例えば「期待値をとる」という操作は、 上に定義された関数 に、確率の重みをつけて積分することに相当するが、我々はまだ 上の積分を知らない。
- 逆に、積分を考えやすい関数から考えることにする。例えば、 が で有限に分割(※)できるとして、 上の関数 が 上でそれぞれ実数値 をとるような関数だったら、 の期待値は容易に考えられる。つまり、 の期待値は になる。このような形に書ける関数を 上の単関数(単純関数;simple function)という。
※ 互いに共通部分をもたない部分集合に分けること。 - 単関数だとなんかカクカクした しか考えられないので、単関数列の極限として表せる関数 も考える。このような関数を 上の可測関数という(可測関数自体はふつう別の特徴付けで定義されるが、結果的に「単関数列の極限として表せる関数」と同値になる)。
- それで、可測関数として表せる関数 に対して積分を定義することにする。単関数列の個々の積分値の極限になるわけだが、可測関数 に近づく単関数列は一意ではない(分割が一意ではないし、近づき方も一意ではない)ので、どんな単関数列をとっても同じ値に収束することはちゃんと確認しないといけない(これは証明できる)。
金融や他の実用分野での要請から確率論を学ぶ非数学民もあると思うんですが、そういう自分のような実用分野から来た必然性厨(「何の役に立つの?」厨ともいう)は、ややもすると「なんで-集合体じゃないといけないの?」「可測関数じゃないと駄目なんですか?」ってなると思う。別に駄目ではなく、そう考えたかった/やりやすかっただけ。ルベーグ空間なども、いま考えている中で確率空間を完備化して目いっぱい広げたらそうなっただけ。が区別できるとやりやすいとおもいます。