样本空间 Ω 中的哪些子集不能看做事件?

今天在看书时遇到一个问题,一直想不明白:随机实验中所有可能结果组成的集合称为样本空间,但并非样本空间Ω的任何子集可以看做事件,然后又定义了事件域,只有…
关注者
52
被浏览
18,365

7 个回答

补充一下@王相及 的回答。

一般我们构建概率空间的时候,会先在一些特殊的集合上定义概率(比如对于实轴R,找一个分布函数,定义区间的概率),然后再拓展这个概率的定义。这样我们可以挑出那些性质良好的集合,可以证明这些集合是个sigma-代数。这个sigma-代数里面的集合就叫做可测集,都可以看做事件。

然而这个sigma-代数可能不能包含样本空间的所有子集,比如下面这个例子:



改写评论区指正,我之前把问题完全看错了


概率空间的定义 (\Omega,\mathcal F, P)

  1. 样本空间 \Omega : 即所有可能的结果
  2. 事件空间 \mathcal F :包含了所有事件,包括空集,有些事件可能不会发生
  3. 概率方程 P :一个映射或者说函数,为事件空间中每个事件分配一个概率,概率取值都在0到1之间

补充下,上面定义说的比较简单,事实上,事件空间 \mathcal F 也叫 \sigma-algebra (sigma代数), P 也称为概率测度,所以函数 P:\mathcal F \rightarrow[0,1] 。一个集合X上的sigma代数 \Sigma ,必须满足

  1. X in \Sigma ;
  2. 对于补集闭合,即如果A in \Sigma , A^c in \Sigma ;
  3. 对于有限个并集闭合,即如果 A_1,A_2,...,A_n in \Sigma, A_1\bigcup A_2\bigcup A_3..., A_n in \Sigma

也就是说,如果事件空间 \mathcal F 是sigma代数,在 \mathcal F 里面的才是事件。

举个例子可能好理解一点,

如果X={1,2,3}, \Sigma_{1} = \{\phi , \{1\},\{2,3\}, \{1,2,3\}\} , \Sigma_{2} = \{\phi , \{2\},\{1,3\}, \{1,2,3\}\} ,那么根据sigma代数定义, \Sigma_{1}\Sigma_{2} 都是X上的sigma代数。

但是 \Sigma_{1} \bigcup \Sigma_{2} = \{\phi ,\{1\}, \{2\},\{2,3\}, \{1,3\}, \{1,2,3\}\} 就不是一个sigma代数,因为 \{1\}\bigcup \{2\} = \{1,2\} 不在 \Sigma_{1} \bigcup \Sigma_{2} 里面