Movatterモバイル変換

コンテンツにスキップ

確率論

リンクを編集

出典: フリー百科事典『ウィキペディア（Wikipedia）』

確率論

コルモゴロフの公理
確率空間標本空間根元事象事象確率変数確率測度
排反同時分布周辺分布条件付き確率
独立条件付き独立全確率の法則大数の法則ベイズの定理ブールの不等式
ベン図樹形図
表話編歴

確率論（かくりつろん、英: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 ∩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).

脚注

[脚注の使い方]

注釈

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

出典

参考文献

出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。 記事の信頼性向上にご協力をお願いいたします。（2016年4月）

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。https://www.chikumashobo.co.jp/product/9784480093035/。
ラプラス, ピエール＝シモン『確率の哲学的試論』岩波書店〈岩波文庫青925-1〉、1997年11月17日。ISBN 4-00-339251-5。http://www.iwanami.co.jp/.BOOKS/33/5/3392510.html。
西岡康夫『数学チュートリアルやさしく語る確率統計』オーム社、2013年。ISBN 9784274214073。
伏見康治『確率論及統計論』河出書房、1942年。ISBN 9784874720127。http://ebsa.ism.ac.jp/ebooks/ebook/204。
JIS Z 8101-1:1999 統計−用語と記号−第1部：確率及び一般統計用語, 日本規格協会, (1999), http://kikakurui.com/z8/Z8101-1-1999-01.html
日本数学会編『数学辞典』（第4版）岩波書店、2007年。ISBN 9784000803090。

関連項目

外部リンク

ウィキメディア・コモンズには、確率論に関連するカテゴリがあります。

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

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

確率の歴史

確率の定義

客観確率	統計的確率古典的確率公理的確率
主観確率	ベイズ確率
確率の拡張	外確率負の確率

基礎概念

モデル	試行結果事象標本空間確率測度確率空間
確率変数	確率変数の収束
確率分布	離散確率分布連続確率分布同時分布周辺分布条件付き確率分布独立同分布
関数	確率質量関数確率密度関数累積分布関数特性関数
用語	独立期待値モーメント条件付き確率条件付き期待値

確率の解釈

問題

法則・定理

確率微分方程式

伊藤の補題

応用

数理ファイナンス	ブラック–ショールズ方程式確率的ボラティリティモデル
系統学	ベイズ法

カテゴリ

「https://ja.wikipedia.org/w/index.php?title=確率論&oldid=105429562」から取得

隠しカテゴリ:

[8]ページ先頭

©2009-2025 Movatter.jp