公理主義的確率

確率の概念を解釈する先験的確率や経験的確率などの他にも存在しますが、いずれも一長一短であり、結局のところ、確率とは何かという議論の最終的な結論は見えそうにありません。そこでコルモゴロフは、確率の概念を具体的に解釈するのではなく、最初にいくつかの公理を設定して、それらを満たす対象を確率とみなす公理主義的立場を採用しました。

公理主義的確率

試行によって起こり得る結果を標本空間や事象などを用いて表現しました。確率とは現象の起こりやすさを数字で表したものであり、それは個々の事象に数字を割り当てることを通じて表現可能であるということで、確率の定め方として先験的確率や経験的確率などを紹介しました。これらは確率をどのように解釈すべきか示唆を与えてくれる一方で、ともに短所を持っています。確率の概念を解釈する方法は他にも存在しますが、それらもやはり一長一短であり、結局のところ、確率とは何かという議論の最終的な結論は見えそうにありません。そこで、確率とは何かという問題は保留にしておいて、仮に確率というものが定まるならばそこからどのような議論が展開可能であるかという方向へと発想を切り替えたのがアンドレイ・ニコラエヴィッチ・コルモゴロフ(Andrey Nikolaevich Kolmogorov)です。コルモゴロフは確率の概念を具体的に解釈するのではなく、最初にいくつかの公理(axiom)を設定して、それらを満たす対象を確率とみなす公理主義的立場を採用しました。

公理主義的確率論においては、確率に関するあらゆる言明は、最初に設定した公理系のみから演繹的に導かれてはじめて正しいものとみなされます。言い換えると、確率という概念を表現すると思われる命題群を事前に設定した上で、そこを出発点として数学的にどのようなことが導かれるかを明らかにするのが公理主義的確率論の立場です。

 

確率空間

公理主義的確率論の舞台は確率空間(probability space)と呼ばれる数学的概念として定式化されます。確率について考えることは、ある試行のもとで起こり得る様々な事象の起こりやすさを特定することを意味します。したがって、確率を記述するためには、まず、試行に関する標本空間\(\Omega \)が必要です。

私たちが知りたいのはそれぞれの事象\(A\subset \Omega \)の起こりやすさですが、まずは考察の対象となる事象の範囲を特定する必要があります。そこで、確率の測定対象となる事象からなる集合族を\(\mathcal{F}\subset 2^{\Omega }\)で表し、これを事象空間(event space)と呼びます。事象空間\(\mathcal{F}\)に属するそれぞれの事象に対して確率を付与するのですが、できることなら任意の事象の確率を測定したいため、事象空間としては標本空間のベキ集合\(\mathcal{F}=2^{\Omega }\)を採用できれば理想的です。実際、\(\Omega \)が有限集合や可算集合である場合には\(\mathcal{F}=2^{\Omega }\)としても問題ありません。一方、\(\Omega \)が非可算集合である場合には\(\mathcal{F}=2^{\Omega }\)とした上でそれぞれの事象に自然な形で確率を付与すると不都合が生じることが知られているため、一定の公理を満たす\(\Omega \)の部分集合族を\(\mathcal{F}\)として採用することになります。この点については場を改めて詳しく解説します。

確率を記述するために残された課題は、\(\mathcal{F}\)に属するそれぞれの事象に対して、その起こりやすさを特定することです。そこで、それぞれの事象\(A\in \mathcal{F}\)に対して、それが起こる確率に相当する実数\(P\left( A\right) \in \mathbb{R}\)を 1 つずつ割り当てる集合関数\(P:\mathcal{F\rightarrow \mathbb{R} }\)を導入します。この\(P\)にどのような公理を付与するかが問題になります。

以上の 3 つの要素からなる組\((\Omega ,\mathcal{F},P)\)が公理主義的確率論の舞台です。あとは、この\((\Omega ,\mathcal{F},P)\)に対してどのような条件や公理を設けるかが問題となりますが、それについては次章から具体的に解説します。いずれにせよ、一定の条件と公理を満たす\((\Omega ,\mathcal{F},P)\)を確率空間と呼び、これを確率の定義とするのが公理主義的確率論の立場です。

次回から公理主義的確率論について具体的に解説します。

次へ進む 質問・コメントを投稿する 演習問題(プレミアム会員限定)

ワイズをさらに活用するための会員サービス

ユーザー名とメールアドレスを入力して一般会員に無料登録すれば、質問やコメントを投稿できるようになります。さらに、有料(500円/月)のプレミアム会員へアップグレードすることにより、プレミアムコンテンツ(命題の証明や演習問題、解答など)にアクセスできます。
会員サービス

ディスカッションに参加しますか?

質問やコメントを投稿するにはログインが必要です。
ログイン

コメントを残す

アカウント
ログイン