第一章概率论基础和离散时间鞅论
中世纪欧洲盛行用掷骰子进行赌博,概率论就起源于研究与之相关的概率问题.但直到20世纪初概率论还未被认为是数学的一个分支.现代概率论的数学基础是Kolmogorov在1933年奠定的,他采纳Lebesgue的测度论框架创立了概率论公理化体系.本章首先介绍现代概率论的若干基本概念和结果,重点介绍与条件数学期望有关的结果;然后介绍离散时间鞅论,包括鞅变换和Snell包络.我们假定读者已经具备测度论的基础知识.
§1.1概率论的基本概念
§1.1.1事件与概率
考虑一项试验.用表示试验的所有可能的结果的集合,称为样本空间.每个结果称为基本事件.样本空间的子集,称为事件.本身称为必然事件.我们说事件发生,是指试验结果是的一个元素.如果试验结果是有限或可数多个,我们可以用组合数学来研究有关的概率问题.但如果试验结果是不可数无限多个,我们可能不好考虑单个试验结果,因为它们出现的概率可能为零.这时我们需要在测度论框架下研究概率问题.
在测度论中,我们用表示一个空间,它是我们事先界定的研究对象,它的元素用表示;或;分别表示;属于或不属于不含任何元素的集合称为空集,以记之.我们用或表示是的子集,用
分别表示与的交、并、差和对称差,即
我们用表示并称为(在中)的余集,于是有有时也用表示,称义与互不相交.显然有.
设为一由的子集为元素构成的集合.我们用和分别表示它们的并和交.设为一由的子集构成的有限或可数序列.若两两不相交(即),则常用表示.若,称为的一个划分.
对任一集列,令
若,称的极限存在,并用表示的同一上、下极限,称它为的极限.
以的某些子集为元素的集合称为上的)集类.称集类为代数(或域),如果,且对有限交及取余集运算封闭(由此推知对有限并及差运算封闭).称为我数,如果,且对可列交及取余集运算封闭(由此推知对可列并及差运算封闭).包含一集类的*小狀数称为由生成的代数,记为.
设为上的一代数,称序偶为一可测空间,中的元称为可测集.设为定义于取值于的函数.如果有可数可加性或可加性,即
则称为上的上的测度.若,则称为有限测度.如果存在的可数可测划分,使得对于每个,则称有限测度.若,则称为概率测度,并称三元组,为概率空间.以下我们用表示一概率测度.
设,为一概率空间,若,称为零概集.如果任何零概集的子集皆属于,称关于是完备的,并称为一完备概率空间.设为一概率空间,令
则为一完备概率空间,它是包含的*小完备概率空间.称的完备化,称;为关于的完备化.
§1.1.2独立性、0-1律和Borel-Cantelli引理
设义和为事件,如果,则称事件yl和B独立.一事件类称为独立事件类,如果对T的任何有限子集,我们有
这时称该事件类中的诸事件相互独立,这比两两独立条件强.
称事件类乂和事件类独立,如果中的任何事件和中的任何事件独立.更一般地,设为由事件类构成的族.如果从每个事件类中任取一事件,由它们组成的类都是独立事件类,则称该族为独立族,并称该族中的事件类相互独立.容易证明如下的
独立类扩张定理
下面的Kolmogorov0-1律是有关事件独立性的一个重要结果.
Kolmogorov0-1律
Borel-Cantelli引理
§1.1.3积分、随机变量的(数学)期望
§1.1.4收敛定理
下面定义随机变量序列的几种收敛.
定义1.1
(1)
(2)
(3)
(4)
(5)
展开