更新:2025/01/26

確率空間の意味と性質、具体例について

はるか
はるか
確率空間の基本、理解してる?
ふゅか
ふゅか
うん!でも改めて整理したいな。特に全体をどう見るかってところ!
はるか
はるか
標本空間を意識する。まずはそれが要。

1. 確率空間

確率空間(かくりつくうかん)は、確率論の基本的な概念で、ランダムな事象を数学的にモデル化するための枠組みです。確率空間は次の3つの要素で構成されます。

  • 標本空間
  • 事象集合
  • 確率測度

2. 標本空間(Sample Space, 記号: Ω \Omega

標本空間はランダムな実験や試行のすべての可能な結果の集合を表します。標本空間の要素のことを根元事象と呼びます。

2.1. 例:

  • サイコロを1回振る場合:Ω={1,2,3,4,5,6} \Omega = \{ 1, 2, 3, 4, 5, 6 \}
  • コインを1回投げる場合: Ω={,} \Omega = \{ \text{表}, \text{裏} \}
はるか
はるか
標本空間は実験の結果の全パターン。コインなら表と裏。サイコロなら1から6。

3. 事象集合(Event Space, 記号: F \mathcal{F}

標本空間の部分集合からなる集合です。これらの部分集合は「事象」と呼ばれ、確率を割り当てる対象になります。

F \mathcal{F} は、特定の条件を満たす「集合の集合」として構成されます。この集合のことをσ-加法族(シグマ代数)と呼びます。

3.1. σ-加法族

σ-加法族とは

  1. 空集合を含む:
    ϕF \phi \in \mathcal{F} 空集合(何も含まない集合)は必ず F \mathcal{F} に含まれます。
  2. 補集合を含む:
    AF    ACF A \in \mathcal{F} \implies A^C \in \mathcal{F} F \mathcal{F} に含まれる任意の集合 A A の補集合 AC A^C も必ず F \mathcal{F} に含まれます。

    • 補集合:AC={xΩxA} A^C = \{ x \in \Omega \mid x \notin A \}
  3. 和集合を含む: AiF,iN    i=1AiF A_i \in \mathcal{F}, \, i \in \mathbb{N} \implies \bigcup_{i=1}^\infty A_i \in \mathcal{F} F \mathcal{F} に含まれる任意の部分集合列 {A1,A2,} \{ A_1, A_2, \dots \} の可算和集合(無限の和集合)も F \mathcal{F} に含まれます。

3.2. 標本空間 Ω={1,2,3} \Omega = \{1, 2, 3\} の例

σ加法族の条件を満たしているか確認してみましょう。

  1. F={ϕ,{1},{2,3},{1,2,3}} \mathcal{F} = \{\phi, \{1\}, \{2, 3\}, \{1, 2, 3\}\} を考えます。
  2. この F \mathcal{F} は次を満たします:
    • ϕF \phi \in \mathcal{F} (空集合を含む)
    • A={1}F    AC={2,3}F A = \{1\} \in \mathcal{F} \implies A^C = \{2, 3\} \in \mathcal{F}
    • {1},{2,3}F    {1}{2,3}={1,2,3}F \{1\}, \{2, 3\} \in \mathcal{F} \implies \{1\} \cup \{2, 3\} = \{1, 2, 3\} \in \mathcal{F}

4. 確率測度(Probability Measure, 記号: P P

各事象に対して「確率」を割り当てる関数です。確率測度は次の3つを満たします:

  1. 確率は 0 以上である(非負性):P(A)0P(A) \geq 0
  2. 標本空間全体の確率は 1 である:P(Ω)=1 P(\Omega) = 1
  3.  互いに排反(重なりがない)な事象 A1,A2, A_1, A_2, \dots の和集合の確率は、各事象の確率の和に等しい(加法性):

    P(i=1Ai)=i=1P(Ai)P\left(\bigcup_{i=1}^\infty A_i\right) = \sum_{i=1}^\infty P(A_i)

5. 確率空間の記法

確率空間は、次のように記述されます: (Ω,F,P) (\Omega, \mathcal{F}, P)

  • Ω \Omega :標本空間
  • F \mathcal{F} :事象集合(σ-加法族)
  • P P :確率測度
PR