確率論
数学の一分野
歴史
編集詳細は「確率の歴史」を参照
古典的確率論
編集「確率の古典的な定義」も参照
確率論は16世紀から17世紀にかけてカルダーノ、パスカル、フェルマー、ホイヘンス等によって数学の一分野としての端緒が開かれた。イタリアのカルダーノは賭博師でもあり、1560年代に﹃さいころあそびについて﹄︵羅: Liber de ludo aleae︶を執筆して初めて系統的に確率論を論じた。その書は彼の死後の1663年に出版された[2]。18世紀から19世紀にかけて、ラプラスはそれまでの確率論を統合する研究を行い、1814年2月に﹃確率の哲学的試論﹄を著し、古典的確率論と呼ばれる理論にまとめた[3]。
公理的確率論
編集「確率の公理」も参照
現代数学の確率論は、アンドレイ・コルモゴロフの﹃確率論の基礎概念﹄︵1933年︶[4]に始まる公理的確率論である。この確率論では﹁確率﹂が直接的に何を意味しているのかという問題は取り扱わず、﹁確率﹂が満たすべき最低限の性質をいくつか規定し、その性質から導くことのできる定理を突き詰めていく学問である。この確率論の基礎には集合論・測度論・ルベーグ積分があり、確率論を学ぶためにはこれらの知識が要求される。公理的確率論の必要性に関しては確率空間の項を参照。
現在、確率論は解析学の一分野として分類されている。特にルベーグ積分論や関数解析学とは密接なつながりがある。確率変数が可算型や連続型の場合でも、公理的確率により解析的に記述できるようになる。また、確率論は統計学を記述する際の言語や道具としても重要である。
基礎概念の概略
編集
確率論で使われるいくつかの重要な概念を簡単に解説する。詳しい内容は各項目のページを参照。
標本空間
起こりうる結果全体の集合。確率論においては、空集合でない。Ω と書く。Ω の元 ω それぞれには起こりやすさの割合が備わっていることを仮定する。
事象 (event)
標本空間の部分集合のうち確率をもつものを事象と呼ぶ。全ての事象を集めた集合族 は完全加法族になっている必要がある。それ以外に、 はできるだけ細分化されている必要がある。これ以上分解できない事象を根元事象または単純事象 (elementary event / simple event) 、複数の根元事象の和集合を複合事象 (compound event) という。つまり、 は、根元事象から生成される最小の完全加法族となっている。
確率空間
標本空間 Ω と事象の全体 と確率測度 Pの組を確率空間と呼ぶ。確率の問題を確率論的に定式化するということは、この確率空間を定めることである。しかし、通常はその問題にはどのような確率変数が存在するかということを調査し、必要となる確率変数をすべて含むことができるぐらい巨大な Ω を定める。
確率測度
各事象に対して 0 以上 1以下の数を対応させる関数を確率測度といい Pと書き、事象 Aの確率は P(A) となる。Ω 自体は常に全事象と呼ばれる事象であり、全事象の確率は 1でなければならない。P は確率測度の公理を満たすように定める必要がある。﹁確率﹂が何を意味しているかは議論の対象ではない[注釈1]。
確率変数
Ω 上で定義された実数値関数で、 可測であるものを確率変数と呼ぶ。確率変数は、例えば﹁サイコロの目﹂のように、根元事象に値を割り当てていることを定式化したものである。この定式化により、事象が起こることは、確率変数が︵各確率に応じて︶ランダムに値をとることと言い換えられる。 可測であるというのは、確率変数値を取る Ω の部分集合が必ず事象である︵すなわち必ず確率をもつ︶という意味である。
確率分布
確率変数の各々の値に対して、その起こりやすさの記述。
確率過程
時間とともに変化する確率変数。
基礎概念の数学的定義
編集現代確率論における基礎概念たちは測度論を基盤として次のように厳密に定義される。
確率空間
編集
● を可測空間とする。すなわち Ω は標本空間と呼ばれる空でない集合であり、 は ω 上の完全加法族である。
●完全加法族 とは、2Ω を Ω の部分集合の全体︵冪集合︶としたとき、 であって以下の性質を持つものである‥
(一)
(二) に対して
(三) に対して
●P を可測空間 上の確率測度とする。すなわち、写像 であって、以下の性質を持つものとする‥
(一)︵完全加法性︶‥ で を満たすものに対し、
(二)︵正規性︶‥P(Ω) = 1.
●このときの三つ組 を確率空間 (probability space) と呼び、可測集合 を事象 (event) と呼ぶ。
確率変数
編集
●確率空間 上の可測関数を確率変数 (random variable) と呼ぶ。すなわち、ある可測空間 に対して、写像 であって任意の に対して を満たすものをいう。多くの場合、E は位相空間であって、そのときの完全加法族 としてはボレル集合族 を採用する。 のとき、X を d次元確率変数といい、特に d= 1 のときは単に確率変数と呼ぶことが多い。
●確率変数 の確率分布 (probability distribution) 、または分布 (distribution)、法則 (law) とは、 によって定まる、可測空間 上の確率測度 PXのことをいう。すなわち、PX は確率変数 Xによる確率測度 Pの像測度 (image measure) 、押し出し測度 (push-forward measure) のことである。しばしば と略記される。一般的な 上の確率測度も分布と呼ばれる。
確率空間の例
編集コイントス
編集
コインを投げて裏と表が出る確率がそれぞれ 1/2 であることを、確率空間として表すと例えば次のようになる。
● ,
● ,
●
とする。0 を裏、1 を表と考えると確率空間 はコイントスのモデルとなっている。
ここでもう一つ違う表現を考える。
●
● ‥ボレル集合族、
● ‥ルベーグ測度
とする。さらに確率変数 を
と定義する。すると であり、X は確率空間 上に定義されたコイントスを表す確率変数であると言える。
ここで、さらに確率変数 を
と定義してみる。再び であるので、これもコイントスを表す確率変数である。実は、確率空間 上に同時に定義されたこの確率変数 Xと Yは二つの独立なコイントスを表している。例えば、二枚とも裏が出る確率は という具合になる。もう少し厳密に書くと、確率変数 を
と定義すると、Z が二枚の独立なコイントスを表しているということである。
期待値、分散
編集独立性
編集「独立 (確率論)」を参照
条件付き確率
編集「条件付き確率」を参照
特性関数
編集「特性関数 (確率論)」を参照
確率過程
編集「確率過程」を参照
確率分布
編集「確率分布」を参照
確率測度、確率変数の収束
編集「確率変数の収束」を参照
重要な定理
編集確率の乗法定理
編集事象 E, F に対して、それらの積事象 E ∩ F の生起確率が
となることを確率の乗法定理という[5]。
確率事象 E と F とが独立である場合に限り、次の関係が成り立つ。
脚注
編集注釈
編集出典
編集- ^ 日本数学会 2007, p. 157, 60 確率論.
- ^ Cardano 1961.
- ^ ラプラス 1997.
- ^ コルモゴロフ 2010.
- ^ 西岡 2013, p. 48, 4.3 乗法定理.
参考文献
編集
●Cardano, Girolamo (1961) [1663]. The book on games of chance (Liber de ludo aleae). New York, NY: Holt, Rinehart and Winston. ASIN B007T35V64
●コルモゴロフ, アンドレイ・N﹃確率論の基礎概念﹄坂本實翻訳、筑摩書房︿ちくま学芸文庫 ﹇Math & science﹈﹀、2010年7月7日。ISBN 978-4-480-09303-5。
●ラプラス, ピエール=シモン﹃確率の哲学的試論﹄岩波書店︿岩波文庫 青925-1﹀、1997年11月17日。ISBN 4-00-339251-5。
●西岡康夫﹃数学チュートリアル やさしく語る 確率統計﹄オーム社、2013年。ISBN 9784274214073。
●伏見康治﹃確率論及統計論﹄河出書房、1942年。ISBN 9784874720127。
● JIS Z 8101-1:1999 統計−用語と記号−第1部‥確率及び一般統計用語, 日本規格協会, (1999)
●日本数学会 編﹃数学辞典﹄︵第4版︶岩波書店、2007年。ISBN 9784000803090。