2.概率的公理化
概率的公理化
1.概率的公理化
1.1 概率的广义定义
一般的古典概型只对样本空间 含有限个样本点, 且每个样本点发生的可能性相同的情况定义了概率,为了能够量化表达更加普遍情况的概率问题,下面将概率的定义进行推广:
我们引入如下定义的集合类 :
样本空间 上的集合类 如果满足:
①:
②:若 ,则
③:若 , 则
则称集合类 为 上的 代数或 域
对于试验 的事件 , 我们用 之间的数 表示事件 发生的可能性的大小. 对于每个事件 , 是一个实数. 是事件 的函数。
定义于集合之上的取值为实值的函数称为集函数。
定义在 域 之上的集函数 ,若它满足如下的 公理化体系:即
①:非负性: 对于任何事件 ,
②:完全性:
③:可列可加性: 对于互不相容的事件 , 有:
则称 P 是试验 S 之为概率(Probability),不满足公理化条件的 不是概率。
而满足上述公理化体系的一个三元组: 叫做概率空间
1.2 概率的性质
由概率的公理化体系,可以得到有关概率的一些性质:
①:
②:有限可加性: 若 且两两互斥,则:
③:可减性: 若 且 ,则
④:单调性: 若 且 ,则
1.3 加法原理
概率的有限可加性和可列可加性是概率 的最基本性质, 由此推出概率的加法公式:
⑤:
⑥:Jordan公式:对任意的 , 有:
⑦:次可加性:对任意的 , 有:
1.4 概率的连续性
如果 , 就称事件序列 是单调增的;
反之,如果 , 就称事件序列 是单调减的.
我们把单调增序列和单调减序列统称为单调序列.
⑧:下连续性:若 且 ,(即为单调增序列),则
⑨:上连续性:若 且 ,(即为单调减序列),则
通常称这些为单调序列 的极限,且对任意的事件:,有:
