確率論

確率論（かくりつろん、英: 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]に始まる公理的確率論である。この確率論では「確率」が直接的に何を意味しているのかという問題は取り扱わず、「確率」が満たすべき最低限の性質をいくつか規定し、その性質から導くことのできる定理を突き詰めていく学問である。この確率論の基礎には集合論・測度論・ルベーグ積分があり、確率論を学ぶためにはこれらの知識が要求される。公理的確率論の必要性に関しては確率空間の項を参照。

現在、確率論は解析学の一分野として分類されている。特にルベーグ積分論や関数解析学とは密接なつながりがある。確率変数が可算型や連続型の場合でも、公理的確率により解析的に記述できるようになる。また、確率論は統計学を記述する際の言語や道具としても重要である。

基礎概念の概略[編集]

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

標本空間: 起こりうる結果全体の集合。確率論においては、空集合でない。 $Ω$ と書く。 $Ω$ の元 $ω$ それぞれには起こりやすさの割合が備わっていることを仮定する。

事象 (event): 標本空間の部分集合のうち確率をもつものを事象と呼ぶ。全ての事象を集めた集合族 ${\mathcal {F}}$ は完全加法族になっている必要がある。それ以外に、 ${\mathcal {F}}$ はできるだけ細分化されている必要がある。これ以上分解できない事象を根元事象または単純事象 (elementary event / simple event) 、複数の根元事象の和集合を複合事象 (compound event) という。つまり、 ${\mathcal {F}}$ は、根元事象から生成される最小の完全加法族となっている。

確率空間: 標本空間 $Ω$ と事象の全体 ${\mathcal {F}}$ と確率測度 $P$ の組を確率空間と呼ぶ。確率の問題を確率論的に定式化するということは、この確率空間を定めることである。しかし、通常はその問題にはどのような確率変数が存在するかということを調査し、必要となる確率変数をすべて含むことができるぐらい巨大な $Ω$ を定める。

確率測度: 各事象に対して $0$ 以上 $1$ 以下の数を対応させる関数を確率測度といい $P$ と書き、事象 $A$ の確率は $P (A)$ となる。 $Ω$ 自体は常に全事象と呼ばれる事象であり、全事象の確率は $1$ でなければならない。 $P$ は確率測度の公理を満たすように定める必要がある。「確率」が何を意味しているかは議論の対象ではない^{[注釈 1]}。

確率変数: $Ω$ 上で定義された実数値関数で、 ${\mathcal {F}}$ 可測であるものを確率変数と呼ぶ。確率変数は、例えば「サイコロの目」のように、根元事象に値を割り当てていることを定式化したものである。この定式化により、事象が起こることは、確率変数が（各確率に応じて）ランダムに値をとることと言い換えられる。 ${\mathcal {F}}$ 可測であるというのは、確率変数値を取る $Ω$ の部分集合が必ず事象である（すなわち必ず確率をもつ）という意味である。

確率分布: 確率変数の各々の値に対して、その起こりやすさの記述。

確率過程: 時間とともに変化する確率変数。

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

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

確率空間[編集]

$(\Omega ,{\mathcal {F}})$ を可測空間とする。すなわち $Ω$ は標本空間と呼ばれる空でない集合であり、 ${\mathcal {F}}$ は $ω$ 上の完全加法族である。
完全加法族 ${\mathcal {F}}$ とは、 $2 Ω$ を $Ω$ の部分集合の全体（冪集合）としたとき、 ${\mathcal {F}}\subset 2^{\Omega }$ であって以下の性質を持つものである：

$\Omega \in {\mathcal {F}},$
$A\in {\mathcal {F}}$ に対して $A^{c}=\Omega \setminus A\in {\mathcal {F}},$
$(A_{n})_{n\in \mathbb {N} }\subset {\mathcal {F}}$ に対して $\textstyle \bigcup \limits _{n=1}^{\infty }A_{n}\in {\mathcal {F}}.$

$P$ を可測空間 $(\Omega ,{\mathcal {F}})$ 上の確率測度とする。すなわち、写像 $P:{\mathcal {F}}\to [0,1]$ であって、以下の性質を持つものとする：

（完全加法性）： $A_{n}\in {\mathcal {F}},n=1,2,\ldots$ で $A_{i}\cap A_{j}=\emptyset \ (\forall i\neq j)$ を満たすものに対し、
$P{\Bigl (}\textstyle \bigcup \limits _{n=1}^{\infty }A_{n}{\Bigr )}=\sum \limits _{n=1}^{\infty }P(A_{n}).$
（正規性）： $P (Ω) = 1$ .

このときの三つ組 $(\Omega ,{\mathcal {F}},P)$ を確率空間 (probability space) と呼び、可測集合 $A\in {\mathcal {F}}$ を事象 (event) と呼ぶ。

確率変数[編集]

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

確率空間の例[編集]

コイントス[編集]

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

$\Omega :=\{0,1\}$ ,
${\mathcal {F}}:=2^{\Omega }=\{\emptyset ,\{0\},\{1\},\{0,1\}\}$ ,
$P(\{0\})=P(\{1\})={\frac {1}{2}}$

とする。 $0$ を裏、 $1$ を表と考えると確率空間 $(\Omega ,{\mathcal {F}},P)$ はコイントスのモデルとなっている。

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

${\tilde {\Omega }}:=[0,1],$
${\tilde {\mathcal {F}}}$ ：ボレル集合族、
${\tilde {P}}$ ：ルベーグ測度

とする。さらに確率変数 $X:{\tilde {\Omega }}\rightarrow \{0,1\}$ を

X(\omega )={\begin{cases}0&{\text{if }}\omega \in [0,1/2]\\1&{\text{if }}\omega \in (1/2,1]\end{cases}}

と定義する。すると ${\tilde {P}}_{X}=P$ であり、 $X$ は確率空間 $({\tilde {\Omega }},{\tilde {\mathcal {F}}},{\tilde {P}})$ 上に定義されたコイントスを表す確率変数であると言える。

ここで、さらに確率変数 $Y:{\tilde {\Omega }}\rightarrow \{0,1\}$ を

Y(\omega )={\begin{cases}0&{\text{if }}\omega \in [0,1/4]\cup (1/2,3/4]\\1&{\text{if }}\omega \in (1/4,1/2]\cup (3/4,1]\end{cases}}

と定義してみる。再び ${\tilde {P}}_{Y}=P$ であるので、これもコイントスを表す確率変数である。実は、確率空間 $({\tilde {\Omega }},{\tilde {\mathcal {F}}},{\tilde {P}})$ 上に同時に定義されたこの確率変数 $X$ と $Y$ は二つの独立なコイントスを表している。例えば、二枚とも裏が出る確率は ${\tilde {P}}(X=0,Y=0)={\tilde {P}}([0,1/4])=1/4$ という具合になる。もう少し厳密に書くと、確率変数 $Z\colon {\tilde {\Omega }}\rightarrow \{0,1\}^{2}$ を

Z(\omega ):=(X(\omega ),Y(\omega ))

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

期待値、分散[編集]

「期待値」および「分散 (統計学)」を参照

独立性[編集]

「独立 (確率論)」を参照

条件付き確率[編集]

「条件付き確率」を参照

特性関数[編集]

「特性関数 (確率論)」を参照

確率過程[編集]

「確率過程」を参照

確率分布[編集]

「確率分布」を参照

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

「確率変数の収束」を参照

重要な定理[編集]

確率の乗法定理[編集]

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

\operatorname {P} (E\cap F)=\operatorname {P} (E)\operatorname {P} _{E}(F)

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

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

\operatorname {P} (E\cap F)=\operatorname {P} (E)\operatorname {P} (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。

外部リンク[編集]

古屋茂『確率』 - コトバンク
『確率論』 - コトバンク

[5] 確率測度は、客観確率の持ついくつかの性質を選んだものであるが、ベイズ統計学のような主観確率も確率測度の条件を満たす。

[FOOTNOTE日本数学会200715760_確率論-1] 日本数学会 2007, p. 157, 60 確率論.

[FOOTNOTECardano1961-2] Cardano 1961.

[FOOTNOTEラプラス1997-3] ラプラス 1997.

[FOOTNOTEコルモゴロフ2010-4] コルモゴロフ 2010.

[FOOTNOTE西岡2013484.3_乗法定理-6] 西岡 2013, p. 48, 4.3 乗法定理.

[1]

[2]

[3]

[4]

[注釈 1]

[5]

表話編歴数学
主要分野	数理論理学集合論圏論代数学初等線型多重線型抽象算術/数論解析学/微分積分学関数解析学行列解析幾何学代数微分有限離散位相代数的位相表現論リー理論（英語版）微分方程式線型微分方程式複素微分方程式常微分方程式偏微分方程式積分微分方程式力学系組合せ数学数理物理学ゲーム理論グラフ理論最適化問題数理最適化計算理論確率論数理統計学（英語版）制御理論三角法
トピックス	数学史和算算道数理哲学美未解決問題算数・数学教育算数教科
賞	ボッチャー記念賞コール賞フィールズ賞ヴェブレン賞サレム賞スティール賞ウルフ賞クラフォード賞クレイ研究賞ガウス賞アーベル賞ラマヌジャン賞 SASTRAラマヌジャン賞チャーン賞数学ブレイクスルー賞
応用	情報理論折紙の数学囲碁と数学数値解析精度保証付き数値計算計算機援用証明数値線形代数常微分方程式の数値解法偏微分方程式の数値解法
学会・団体	国際数学者会議国際数学連合国際産業数理・応用数理会議国際産業数理・応用数理評議会（英語版）アメリカ数学会 SIAM ヨーロッパ数学会ロンドン数学会日本応用数理学会日本数学会数学教育協議会
競技	国際数学オリンピック日本数学オリンピック日本ジュニア数学オリンピック広中杯近畿大学数学コンテスト人の最大の力を競う算数・数学の大会
研究所	京都大学数理解析研究所統計数理研究所アンリ・ポアンカレ研究所オーバーヴォルファッハ数学研究所クレイ研究所 CIMAT数学研究センターステクロフ数学研究所
一覧数学定数数関数図形数学記号数学者エポニムカテゴリポータル

典拠管理データベース
国立図書館	ドイツ日本チェコ
その他	現代ウクライナ百科事典

確率論