定义 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}}} ,