メインメニューを開く

確率論(かくりつろん、: probability theory, : théorie des probabilités, : Wahrscheinlichkeitstheorie)とは、偶然現象に対して数学的な模型(モデル)を与え、解析する数学の一分野である。

もともとサイコロ賭博といった賭博の研究として始まった[1]。現在でも保険投資などの分野で基礎論として使われる。

なお、確率の計算を問題とする分野を指して「確率論」と呼ぶ用例もあるが、本稿では取り扱わない。

目次

歴史編集

古典的確率論編集

確率論は16世紀から17世紀にかけてカルダーノパスカルフェルマーホイヘンス等によって数学の一分野としての端緒が開かれた。イタリアのカルダーノは賭博師でもあり、1560年代に『さいころあそびについて』(: Liber de ludo aleae)を執筆して初めて系統的に確率論を論じた。その書は彼の死後の1663年に出版された[2]。18世紀から19世紀にかけて、ラプラスはそれまでの確率論を統合する研究を行い、1814年2月に『確率の哲学的試論』を著し、古典的確率論と呼ばれる理論にまとめた[3]

公理的確率論編集

現代数学の確率論は、アンドレイ・コルモゴロフの『確率論の基礎概念』(1933年[4]に始まる公理的確率論である。この確率論では「確率」が直接的に何を意味しているのかという問題は取り扱わず、「確率」が満たすべき最低限の性質をいくつか規定し、その性質から導くことのできる定理を突き詰めていく学問である。この確率論の基礎には集合論測度論ルベーグ積分があり、確率論を学ぶためにはこれらの知識が要求される。公理的確率論の必要性に関しては確率空間の項を参照。

現在、確率論は解析学の一分野として分類されている。特にルベーグ積分論や関数解析学とは密接なつながりがある。もちろん離散数学との関係も依然として深いが、離散的な場合であってもその内容は解析的なものであることが多い[要出典]​。また、確率論は統計学を記述する際の言語や道具としても重要である。

基礎概念の概略編集

確率論で使われるいくつかの重要な概念を簡単に解説する。詳しい内容は各項目のページを参照。

標本空間
(確率論においては)空集合でない集合。Ω と書く。意味としては、起こる最小のことがらを全て集めてきた集合である。このため、通常は非常に巨大な集合となる。ことが起こること(試行の結果)は、Ω から1つの元 ω が、それぞれ一定の比重を持った上で選ばれることに等しい。
事象 (event)
標本空間の部分集合のうち確率をもつものを事象と呼ぶ。全ての事象を集めた集合族  完全加法族になっている必要がある。それ以外に、  はできるだけ細分化されている必要がある。これ以上分解できない事象を根元事象または単純事象 (elementary event / simple event)、複数の根元事象の和集合を複合事象 (compound event) という。つまり、  は、根元事象から生成される最小の完全加法族となっている。
確率空間
標本空間 Ω と事象の全体   と確率測度 P の組を確率空間と呼ぶ。確率の問題を確率論的に定式化するということは、この確率空間を定めることである。しかし、通常はその問題にはどのような確率変数が存在するかということを調査し、必要となる確率変数をすべて含むことができるぐらい巨大な Ω を定める。
確率測度
各事象に対して 0 以上 1 以下の数を対応させる関数を確率測度といい P と書き、事象 A の確率は P(A) となる。Ω 自体は常に全事象と呼ばれる事象であり、全事象の確率は 1 でなければならない。P は確率測度の公理を満たすように定める必要がある。「確率」が何を意味しているかは議論の対象ではない[5]
確率変数
Ω 上で定義された実数値関数で、  可測であるものを確率変数と呼ぶ。確率変数は、例えば「サイコロの目」のように、根元事象に値を割り当てていることを定式化したものである。この定式化により、事象が起こることは、確率変数が(各確率に応じて)ランダムに値をとることと言い換えられる。  可測であるというのは、確率変数値を取る Ω の部分集合が必ず事象である(すなわち必ず確率をもつ)という意味である。
確率分布
確率変数の各々の値に対して、その起こりやすさの記述。
確率過程
確率過程は、時間とともに変化する確率変数。

基礎概念の数学的定義編集

現代確率論における基礎概念たちは測度論を基盤として次のように厳密に定義される。

確率空間編集

  •  可測空間とする。すなわち Ω標本空間と呼ばれる空でない集合であり、 ω 上の完全加法族である。
  • 完全加法族   とは、2ΩΩ の部分集合の全体(冪集合)としたとき、  であって以下の性質を持つものである:
  1.  
  2. 任意の   に対して  
  3. 任意の   に対して
     
  • P を可測空間   上の確率測度とする。すなわち、写像   であって、以下の性質を持つものとする:
  1. 完全加法性):   を満たすものに対し、
     
  2. 正規性):P(Ω) = 1.
  • このときの三つ組  確率空間 (probability space) と呼び、可測集合  事象 (event) と呼ぶ。

確率変数編集

  • 確率空間   上の可測関数確率変数 (random variable) と呼ぶ。すなわち、ある可測空間   に対して、写像   であって任意の   に対して   を満たすものをいう。多くの場合、E位相空間であって、そのときの完全加法族   としてはボレル集合  を採用する。  のとき、Xd 次元確率変数といい、特に d = 1 のときは単に確率変数と呼ぶことが多い。
  • 確率変数  確率分布 (probability distribution)、または分布 (distribution)、法則 (law) とは、  によって定まる、可測空間   上の確率測度 PX のことをいう。すなわち、PX は確率変数 X による確率測度 P の像測度 (image measure)、押し出し測度英語版 (push-forward measure) のことである。しばしば   と略記される。一般的な   上の確率測度も分布と呼ばれる。

確率空間の例編集

コイントス編集

コインを投げて裏と表が出る確率がそれぞれ 1/2 であることを、確率空間として表すと例えば次のようになる。

  •  ,
  •  ,
  •  

とする。0 を裏、1 を表と考えると確率空間   はコイントスのモデルとなっている。

ここでもう一つ違う表現を考える。

  •  
  •  :ボレル集合族、
  •  :ルベーグ測度

とする。さらに確率変数  

 

と定義する。すると   であり、X は確率空間   上に定義されたコイントスを表す確率変数であると言える。

ここで、さらに確率変数  

 

と定義してみる。再び   であるので、これもコイントスを表す確率変数である。実は、確率空間   上に同時に定義されたこの確率変数 XY は二つの独立なコイントスを表している。例えば、二枚とも裏が出る確率は   という具合になる。もう少し厳密に書くと、確率変数  

 

と定義すると、Z が二枚の独立なコイントスを表しているということである。

期待値、分散編集

独立性編集

条件付き確率編集

特性関数編集

確率過程編集

確率分布編集

確率測度、確率変数の収束編集

重要な定理編集

確率の乗法定理編集

事象 E, F に対して、それらの積事象 EF の生起確率が

 

となることを確率の乗法定理という[6]

確率事象 EF とが独立である場合に限り、次の関係が成り立つ。

 

脚注編集

[ヘルプ]
  1. ^ 日本数学会 2007, p. 157, 60 確率論.
  2. ^ Cardano 1961.
  3. ^ ラプラス 1997.
  4. ^ コルモゴロフ 2010.
  5. ^ 確率測度は、客観確率の持ついくつかの性質を選んだものであるが、ベイズ統計学のような主観確率も確率測度の条件を満たす。
  6. ^ 西岡 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), http://kikakurui.com/z8/Z8101-1-1999-01.html 
  • 『数学辞典』日本数学会岩波書店、2007年、第4版。ISBN 9784000803090

関連項目編集

外部リンク編集