定義 2.1(柯爾莫哥洛夫公理):
設 Ω {\displaystyle \Omega } 為一個集合,設 F {\displaystyle {\mathcal {F}}} 為 Ω {\displaystyle \Omega } 的子集的代數。進一步設 P : F → [ 0 , 1 ] {\displaystyle P:{\mathcal {F}}\to [0,1]} 為一個滿足以下條件的函式
則三元組 ( Ω , F , P ) {\displaystyle (\Omega ,{\mathcal {F}},P)} 稱為機率空間。
特別注意
因為 P ( Ω ) = P ( Ω + ∅ ) = P ( Ω ) + P ( ∅ ) {\displaystyle P(\Omega )=P(\Omega +\emptyset )=P(\Omega )+P(\emptyset )} 。
請注意,機率空間通常被定義為子集的代數是一個σ-代數。我們將在後面重新討論這些概念,並限制在上述定義中,這似乎很好地捕捉了機率的直觀概念。
在下文中, ( Ω , F , P ) {\displaystyle (\Omega ,{\mathcal {F}},P)} 將始終是一個機率空間。
引理 2.2:
對於 A ∈ F {\displaystyle A\in {\mathcal {F}}} ,
引理 2.3:
對於 A 1 , … , A n ∈ F {\displaystyle A_{1},\ldots ,A_{n}\in {\mathcal {F}}} ,
引理 2.4:
對於 A , B ∈ F {\displaystyle A,B\in {\mathcal {F}}} ,