確率の話 | 有限集合の話 | 測度論 |
---|---|---|
全事象 | 有限集合 X | 集合 X |
(暗黙) | ベキ集合 Pow(X) | シグマ集合代数 ΣX |
(暗黙) | (暗黙) | 測度空間 (X, ΣX) |
事象 | Xの部分集合 A∈Pow(X) | 可測集合 A∈ΣX |
確率 | 確率加法的関数 μ | 確率測度 μ |
同義語と省略
- 分布 = 測度 例:質量分布
- 確率 := 確率{測度 | 分布} = μ
- Aの確率 := μ(A)
曖昧語、=< は意味の分岐を表す。
- 積事象 =< {ミート事象 | 直積事象}
同義語
- 確率変数 = {単なる関数@有限集合文脈 | 可測関数@測度論文脈}
記号の約束
- P ある時点の人の集合
- g:P→{男, 女} 性別関数 = 性別確率変数
- a:P→N 年齢関数 = 年齢確率変数
成人男性という事象〈部分集合〉を考える。
P で考えると:
- 成人である事象 = a-1({n∈N | n ≧20})
- 男性である事象 = g-1({男})
- 成人男性である事象 = 成人である事象∩男性である事象 = g-1({男})∩a-1({n∈N | n ≧20})
{男, 女}, N それぞれで考えてから一緒にすると
- 成人である事象 = {男} ⊆ {男, 女}
- 男性である事象 = {n∈N | n ≧20} ⊆ N
- 成人男性である事象 = {男}×{n∈N | n ≧20} ⊆ {男, 女}×N
{男, 女}×N で考えると
- 成人である事象 = {男, 女}×{n∈N | n ≧20}
- 男性である事象 = {男}×N
- 成人男性である事象 = {男}×{n∈N | n ≧20}
成人であることと、男性であることは、通常は独立と考える。プロレスファンであることと、男性であることは、おそらく独立ではないだろう。男性が早死する世界では、70歳以上であることと、男性であることは独立ではないだろう。