- 1. 样本空间与概率
- 2. 离散随机变量
- 3. 一般随机变量
- 4. 随机变量的深入内容
- 5. 极限理论
- 6. 马尔科夫链
- 7. 贝叶斯统计推断
- 8. 经典统计推断
1. 样本空间与概率
1.1. 概率率性质
考虑一个概率律,令 A , B 和 C 为事件.
1.2. 条件概率
对于等概率模型的情况,下面关于条件概率的定义是合适的:
条件概率的定义为:设事件 满足
,则给定
之下,事件
的条件概率由下式给出
1.2.1. 乘法规则
假定所有涉及的条件概率都是正的,我们有
1.3. 全概率公式
设 是一组互不相容的事件,它形成样本空间的一个分割(每一个实验结果必定使得其中一个事件发生)。又假定对每一个
。则对于任何事件
,下列公式成立:
直观上,将样本壁间分割成若干事件 的并
,然后任意事件
的概率等于事件
在
发生的情况下的条件概率的加权平均,而权数刚好等于这些事件
的无条件概率。
1.4. 推理和贝叶斯准则
全概率定理是与著名的贝叶斯准则联系在一起的.贝叶斯准则将形如 的条件概率与形如
的条件概率联系了起来
1.4.1. 贝叶斯准则:
设 是一组互不相容的事件,它形成样本空间的一个分割(每一个试验结果必定使得其中一个事件发生 ! )。又假定对每一个
,
于任何事件
, 只要它满足
,下列公式成立:
贝叶斯准则还可以用来进行因果推理.有许多"原因"可以造成某一"结果"。现在设我们观察到某一结果,希望推断造成这个结果出现的"原因“。现在设事件是原因,而
代表由原因引起的结果 .
表示在因果模型中由"原因 "A‘造成结果
出现的概率. 当观察到结果
的时候,我们希望反推结果
是由原因
造成的概率
。
为由于新近得到的信息
之后
出现的概率,称之为后验概率,而原来的
就称为先验概率.
1.5. 独立性
当事件 的发生并没有给事件
带来新的信息,它没有改变事件
发生的概率,即:
在上述等式成立的情况下,我们称事件 是独立于事件
的.注意,由条件概率的定义可知
,上式等价于:
1.5.1. 条件独立
前面已经提到在给定某事件的条件下,诸事件的条件概率形成符合要求的概率律。因此我们可以讨论在条件概率律下的独立性。特别地,在给定 之下,若事件
和事件
满足
则称 和
在给定
之下条件独立。为了导出条件独立的另一个特征,利用条件概率的定义和乘法规则,得到:
比较前面两组等式的最右端,只要 ,那么
这个因子就可以消掉,得到:
这是条件独立的另一个等价定义(要求 )。 这个等式说明在给定
发生的条件之下,进一步假定
也发生,并不影响事件
的条件概率。
1.5.2. 二项概率
现在设试验有一系列独立并且相同的小试验组成,称这种试验为独立试验序列。当每个阶段的小试验只有两种可能结果的时候,就称为独立的伯努利试验序列。此处的两种可能结果可以是任何结果,例如"下雨"和"不下雨"。但是,在学术讨论中,我们通常用抛掷硬币的两个结果"(H)正面"和"反面" (T) 作为代表。
在长度为 的独立伯努利试验序列中,任何试验结果的概率为
,其中
为试验结果中正面出现的次数 ,
的取值可以从
到
。
现在我们要计算概率,这个概率在概率论中处于十分重要的地位.由于任何包含
次正面向上的结果的概率都是
, 我们得到
数 就是有名的二项系数,称为
选
的组合数,概率
就是有名的二项概率。利用计数法可以得到
此处记号 表示正整数
的阶乘。
由于二项概率的总和必须为1,这样二项公式
1.5.3.
选
排列
假定 个不同的对象组成一个集合。令
是一个正整数 ,
,现在我们希望找出从
个对象中顺序地选出
个对象的方法数,或
个不同对象的序列数。
这时,这些序列称为 取
排列,特别,当
的时候,简称为排列。
1.5.4. 组合
在 对象取
个对象的组合中,每一个组合对应了
个不同的排列。这样在
对象取
个对象的排列数
等于组合数乘以
因此,从
个元素的集合中选
个元素的组合数为:
二项系数定义为 次抛掷硬币时,正面向上次数为
的可能的试验结果数。我们注意到,确定一个
次向上的试验结果等价于在所有 n 次抛掷结果(正面向上或反面向上)选出
次(正面向上)来。因此二项系数刚好等于从
个元素选择
个元素的组舍数。这样:
1.5.5. 分割
给定一个元素个数为 的集舍,并设
为非负整数,其总和为
现在考虑将具有
个元素的集合分解成
个不相交的子集,使得第
个子集元素个数刚好是
。分解的方法总数为:
等于
化简得:
这个数称为多项系数,并且用下列记号表示:
2. 离散随机变量
2.1. 分布列
离散随机变量的取值概率是随机变量的最重要的特征我们用分布列表示这种特征,并且用 表示随机变量
的分布列。设
是随机变量
的取值,则
取值为
的概率定义为事件
的概率,即所有与
对应的试验结果所组成的事件的概率。用
表示
对于分布列有:
对于任意一个 的可能值的集合
, 下式成立:
2.1.1. 伯努利随机变量
考虑抛掷一枚硬币,设正面向上的概率为,反面向上的概率为
. 伯努利随机变量在试验结果为正面向上时取值为
,在试验结果为反面向上时取值为
,即
它的分布列为
2.1.2. 二项随机变量
将一枚硬币抛掷 次,每次抛掷,正面出现的概率为
, 反面出现的概率为
,而且各次抛掷是相互独立的.令
为
次抛掷得到正面的次数我们称
为二项随机变量,其参数为
和
。
的分布列就是二项概率:
且
2.1.3. 几何随机变量
在连续抛掷硬币的试验中,每次抛掷,正面出现的概率为, 反面出现的概率为
, 而且各次抛掷是相互独立的。令
为连续地抛掷一枚硬币,直到第一次出现正面所需要抛掷的次数。
就称为几何随机变量。前
次抛掷的结果为反面向上,第
次抛掷的结果为正面向上的概率为
. 因此
的分布列为
2.1.4. 泊松随即变量
设随机变量 x 的分布列由下式给出
当二项随机变量的很大,
很小的时候,泊松分布与二项随机变量分布相近:
2.2. 随机变量的函数
设 是一个随机变量。对
施行不同的变换,可以得到其他的随机变量。作为例子,用
表示今天的气温(单位为摄氏度)。 作变换
得到华氏温度的读数。 在这个例子中 是
的线性函数
,其中
和
是数值。我们也可以考虑
的非线性函数
例如可以考虑对数度量,此时可用变换
设 是随机变量
的函数,由于对每一个试验结果,也对应一个 (
的)数值,故
本身也是一个随机变量如果
是离散的随机变量,其对应的分布列为
, 则
也是离散随机变量,其分布列可通过
的分布列进行计算.实际上,对固定的自值,
的值可以通过下式计算
2.3. 期望、均值和方差
假定一共转动幸运轮 次,而其中有
次转动的结果为
. 你所得到的总钱数为
每次转动所得到的钱数为
现在假定k是很大的一个数,我们有理由假定概率与频率相互接近。即:
这样你每次转动幸运轮所期望得到的钱数是:
由此引出期望的定义:
2.3.1. 方差、矩和随机变量的函数的期望规则
期望是随机变量及其分布列的重要特征。此外,还有其他重要的特征量。例如随机变量 的二阶矩定义为随机变量
的均值。进一步
阶矩
定义为
的期望值。这样均值本身就刚好是一阶矩。
除了均值,随机变量 的最重要的特征量是方差,记作
。 它由下式定义:
用矩表达的方差公式为:
这个周矩表达的方差公式的证明可以通过下列等式完成 :
由于 只能取非负值,故方差只能取非负值.方差提供了
在期望周围分散程度的一个测度。分散程度的另一个测度是标准差,它由下式定义
随机变量的函数的期望规则:设随机变量 的分布列为
, 又设
是
的一个函数,则
的期望由下列公式得到
2.3.2. 均值和方差的性质
随机变量的线性函数的均值和方差
设为随机变量,令:
其中为给定的常数,则:
2.3.3. 某些常用随机变量的均值和方差
2.3.3.1. 伯努利随机变量的均值和方差
均值、二阶矩和方差的计算公式:
2.3.3.2. 离散均匀随机变量
按定义离散均匀随机变量的取值范围是由相邻的整数所组成的有限集,而取每个整数的概率都是相等的这样它的分布列为:
均值:
为计算 的方差,先考虑
和
的简单情况.利用归纳法可以证明:
对于 和
的一般情况,实际上在区间
上的均匀分布与在区间
上的分布之间的差异,只是一个分布是另-个分布的推移,因此两者具有相同的方差(此处区间
,是指处于
和
之间的整数的集合).这样,在一般情况下 ,
的方差只需将简单情况下公式中的
替换成
,即:
2.3.3.3. 泊松随机变量的均值
设的分布列为泊松分布列,即:
其中,为常数,其均值可以从下列等式得到:
2.4. 多个随机变量的联合分布列
现在设在同一个试验中有两个随机变量 和
它们的取值概率可以用它们的联合分布列刻画,并且用
表示.设
是
和
的可能取值 ,
的概率质量定义为事件
的概率:
利用联合分布列可以确定任何由随机变量 和
所刻画的事件的概率.例如
是某些
所形成的集合,则
事实上,我们还可以利用 和
的联合分布列计算
或
的分布列
称 或
为边缘分布列.
2.4.1. 多个随机变量的函数
存在多个随机变量的情况下,就有可能从这些随机变量出发构造出新的随机变量.特别地,从二元函数 可以确定一个新的随机变量.这个新的随机变量的分布列可以从联合分布列通过下式计算
进一步地,关于随机变量的函数的期望规则可以推广成下列形式
别地,当 是形如
的线性函数的时候,我们有
2.5. 条件
2.5.1. 某个事件发生的条件下的随机变量
在某个事件 发生的条件下,随机变量
的条件分布列由下式定义·
2.5.2. 给定另-个随机变量的值的条件下的随机变量
设某一个试验中有两个随机变量 和
. 我们假定随机变量
已经取定一个值
,这个
值提供了关于
取值的部分信息.这些信息包含于
的给定
的值的条件分布列
中,所谓条件分布列就是
, 其中事件
就是事件
:
利用条件概率的定义,我们有
条件分布列也可以用于计算边缘分布列,即有
这是另一种表达方式的全概率公式
2.5.3. 条件期望
条件分布列就是一个通常的分布列,不过它的样本空间由条件所限定的试验结果组成,相应的事件的概率变成条件概率.同样的原因,条件期望就是通常的期望,不过试验结果的空间由条件所限定的试验结果所组成.相应的概率和分布列都换成条件概率和条件分布列(关于条件方差的处理是完全类似的).下面列出有关的定义和性质.
设 和
为某一试验中的两个随机变量
- 设
为某事件 ,
随机变量
在给定
发生的条件下的条件期望为
- 对于函数
,我们有
- 给定
的条件下
的条件期望由下式定义
- 设
是互不相容的事件并且形成样本空间的一个分割,假定
对一切
成立.则
进一步假定事件满足一切
,则
- 我们有
上述最后的三个等式适用于不同的场合,但它们本质上是相互等价的,它们都可以称为全期望定理。这些定理表达了这样的一个事实:"无条件平均可以由条件平均再求平均得到。"通过全期望定理可利用条件概率或条件期望计算无条件期望.
3. 一般随机变量
3.1. 连续随机变量和概率密度函数
对于随机变量 , 若存在一个非负函数
, 使得
对每一个实数轴上的集合 都成立,则称
为连续的随机变量,函数
就称为
的概率密度函数,或简称
.
的概念与离散随机变量的分布列是相对应的特别,当
是一个区间的时候
一个函数能够成为 PDF,它必须是非负的,即 对一切
成立,同时它还必须满足下面的归一性条件
3.1.1. 期望
连连续随机变量的期望的定义与离散随机变量的情况完全相似,只须将定义中的分布列置换成概率密度函数 (PDF),求和置换成积分。
- 连续随机变量 X 的期望或均值是由下式定义的:
- x 是一个连续随机变量,其 PDF 为 fx(吟,则 X 的任意函数 Y =g(X) 也是一个随机变量。无论是离散的或连续的结果,下述的期望规则总是成立的:
-
的方差由下式给出:
- 设
, 其中
和
为常数, 则
3.1.2. 指数随机变量
若随机变量 X 的 PDF 具有下列形式:
则称 是指数随机变量,其中
是分布的参数,
. 这个函数是合法的密度函数,其原因是
- 均值方差:
3.2. 分布函数
我们分别用分布列(离散情况)和概率密度函数(连续情况)来刻画随机变量 的取值规律-现在我们希望用一个统一的数学工具去刻画随机变量的取值规律.分布函数(用记号 CDF 表示简称)就能完成这个任务.
的 CDF 是一个
的函数,对每一个 x ,
定义为
. 特别地,当
为离散或连续的情况下:
分布函数又称累积分布函数,累积意味着 将
取值的概率由
累计到
.
3.3. 正态随机变量
一个连续随机变量 X 称为正态的或高斯的,若它的密度函数具有下列形式
其中 和
是密度函数的两个参数,
还必须是正数.
正态随机变量的均值和方差可由下式给出
线性变换之下随机变量的正态性保持不变
设正态随机变量 的期望为
,方差为
,则
称为标准正态随机变量以
记为它的分布函数 :
利用标准正态随机变量的概率密度函数的对称性,可将自 时
的值推导出来
设 x 是正态随机变量,期望为 μ,方差为 σ2 将 X 标准化成为新的随机变量 Y:
由于Y是X的线性函数,所以Y也是正态随机变量:
这样, 就是一个标准正态随机变量利用这个事实,可以计算关于
的事件的概率.将关于
的事件化成由
表达的事件,再利用标准正态分布表,就可以计算关于
的事件的概率
3.4. 多个随机变量的联合概率密度
设 和
为在同一个试验中的两个随机变量.若它们存在联合的概率密度函数,则称
和
是联合连续的.那么联合的概率密度函数是如何定义的呢?非负的二元函数
称为
和
的联合概率密度函数,如对任意的平面上的二元集合
, 下式成立:
上式的积分是二重积分,积分区域为 . 特别地,若
, 则上式变成
多个随机变量的联合概率分布不再记录,用到再补
3.5. 条件
3.5.1. 以事件为条件的随机变量
一个连续随机变量 在给定条件
下的条件概率密度函数
是这样定义的:它是一个非负函数,并且对一切直线上的集合
,满足
特别地,当 B 取成全部实数集合的时候,得到归一化等式
当我们将事件 取成
的形式以后
,由条件概率的定义得到
将这个式子与前面的关于条件密度函数的定义比较,可知
设 为互不相容的
个事件,对每个
,
,并且这些事件形成样本空间的一个分割.则
这是全概率公式的一种变形
3.5.2. 一个随机变量对另一个随机变量的条件
设 和
为联合连续的随机变量,其联合概率密度函数为
. 对任何满足
的自值,在给定
的情况下,
的条件概率密度函数由下式定义
与离散情况下的公式 完全相似.
而其中一个变量的边缘概率密度为:
关于条件概率,我们有:
3.5.3. 条件期望
对于连续随机变量,给定事件
的条件期望
的定义与无条件期望的定义相似,不过现在我们利用条件分布密度函数
来定义.类似地,条件期望
;是通过条件概率密度函数
进行定义的.关于期望的各种性质可以原封不动地搬到条件期望中来回要注意的是,此处所有的公式与离散情况的公式是完全相似的,只是将离散情况下的求和号变成积分号,分布列改成概率密度函数.
记 和
为联合连续的随机变量 ,
是满足
的事件.
-
在给定事件
之下的条件期望由下式定义
- 给定
之下的条件期望由下式定义
- 期望规则仍然有效:
- 全期望定理·设
为互不相容的
个事件,对每个
,并且这些事件形成样本空间的一个分割.则:
相似的:
3.5.4. 独立性
与离散的情况完全相似,若 和
为联合概率密度函数是它们各自的边缘概率密度函数的乘积,即
则称 和
相互独立.比较公式
可知,独立性条件与下式是等价的 :
基于对称性,下列条件也与独立性条件等价:
若和
相互独立,则:
对任意函数 和
, 若
和
相互独立,则
3.6. 连续贝叶斯准则
在许多实际问题中,我们会遇到未观察到的对象用一个随机变量 代表这种未观察到的量,设其概率密度函数为
. 我们能够观察的量是经过燥声干扰的量
,
的分布律是条件分布律,其条件概率密度函数为
当
的值被观察到以后,它包含
的多少信息呢?
注意,当观察到事件 以后,所有的信息都包含在条件概率密度函数
中.现在只须计算这个条件概率密度函数,利用公式
可以得到
这就是我们所求的公式与之等价的表达式为
3.6.1. 关于离散随机变量的推断
在实际问题中,未观察到的随机变量可能是离散的随机变量.我们研究一种情况,未观察到的是一个事件 . 我们不知道
是否发生了,事件
的概率
是己知的.设
是一个连续的随机变量,并且假定条件概率密度函数
和
是已知的我们感兴趣的是事件
的条件概率
. 这个量代表得到观察值
以后关于事件
的信息.
由于事件 是一个零概率事件,我们转而考虑事件
,其中
是一个很小的正数,然后令
趋向于 0. 利用贝叶斯准则,并令
,我们得到
利用全概率公式,可将上式的分母写成
这样,得到
令事件 具有形式
,其中
是一个离散随机变量,代表未观察的随机变量记
为
的分布列.令
为连续随机变量,对任意
的取值
,
具有条件概率密度函数
这样上面的公式变成
利用下面的全概率定理
得到
3.6.2. 基于离散观察值的推断
与前面的情况相反,现在观察值是离散的.我们可以反解前面的关于 的公式,得到
其相应的等价的表达式为
这个公式可以用于对 的推断,当事件
发生的时候,全部关于
的信息都包含
在这个条件密度中.当事件 的形式的时候,可以得到相应的公式,其中
是一个观察到的离散随机变量,该离散随机变量在条件概率
下依赖于
.
4. 随机变量的深入内容
4.1. 随机变量函数的分布密度函数
本节考虑连续随机变量 的函数
的分布密度函数,即在己知
的概率密度函数 (PDF) 的情况下,我们计算
的 PDF (也称为导出的密度函数) .主要考虑如下的两步方法
(1) 使用如下公式计算 的分布函数 (CDF)
(2) 对 求导,得到
的 PDF:
4.1.1. 线性函数
随机变量 x 的线性函数的分布密度函数:
假设 是连续变量,密度函数为
是实数且
,定义
则
4.1.2. 单调函数
连续随机变量 的严格单调函披
的分布密度函数计算公式:
假设 是严格单调函数,其逆函数
满足:对
的取值空间内任意一点
,
而且函数 是可微的,则
在支撑集
内的密度函数是
4.1.3. 两个随机变量的函数
和一个随机变量的情形一样,我们采用两步法:先计算分布函数,然后微分得到概率密度函数.
4.1.4. 独立随机变量和----卷积
设 和
是两个独立的随机变量,考虑它们的和
的分布.首先,我们推导当
和
都是离散的情况下 ,
的分布函数.
设 和
是仅取整数值的独立随机变量,它们的分布列分别为
和
. 则
对于任意整数 z
得到的分布列 称为
和
的分布列的卷积.
现在我们假设 和
为独立的连续型随机变量,它们的概率密度函数分别为
和
. 我们希望求出
的概率密度函数,为此,我们首先求出
和
的联合概率密度函数,然后通过积分求出
的概率密度函数:
首先注意到,
第二个等号由 和
的独立性所致.两边同时取
的微分,可见
利用乘法法则,有
由上式可推得:
这个公式和离散情况下的公式是完全类似的,只是用积分替代了求和,用概率密度函数代替了分布列.
卷积的普通公式表示是:
4.2. 协方差和相关
和
的协方差记为
, 其定义如下:
当 时,我们说
和
是不相关的.
粗略地说,一个正或者负的协方差表示在一个试验中的 和
的值"趋向"有相同或者相反的符号(见图 4.11). 因此,协方差的符号提供了一个
和
之间关系的重要定量指标
协方差的另一种表达为
从协方差的定义出发,我们还可以推导出协方差的一些性质,对任意的随机变量 和
, 以及任意实数
和
,
如果 和
是相互独立的,则
,即有
因此,如果
和
是相互独立的,它们是不相关的但是,逆命题不成立.
两个方差非零的随机变量 和
的相关系数
的定义如下:
它可视为协方 的标准化,且事实上,可证明
取值在 -1 到 1 之间
随机变量和的方差
协方差可以用于计算多个随机变量(不必独立)之和的方差.特别地,设随机变量具有有限的方差,则
4.3. 再论条件期望和条件方差
一个随机变量 的条件期望
的值,依赖于
的值
.因为
是
的函数,所以
是
的函数,因此也成为一个随机变量,它的分布依赖于
的分布.
是一个随机变量,那么就应该有自己的期望
. 使用期望法则,可得
根据全期望定理,上面公式的右侧都等于.可以得出如下结论:不管随机变量
是离散的、连续的、或混合的,只要随机变量
具有有限的期望
,下面的法则成立
重期望法则:
4.3.1. 条件期望作为估计量
如果我们将 视为能提供
信息的观测值, 则我们很自然地将条件期望作为给定
的条件下,对
的估计,记为
这样,估计误差就定义为
显然估计误差也是随机变量,且满足
所以随机变量 恒为
: 对任意的
,
. 运用重期望法则,还可以得到
这就表明估计误差没有系统性的正或负的偏倚
下面接着证明 具有另一个有趣的性质:它与估计误差
是不相关的.事实
上,运用重期望法则,可得
因为完全是
的函数,
中
是给定
对
积分,所以
提出来得到:
从而:
故 与
是不相关的
基于 这个结论,又注意到
,两边取方差,我们可以得到
4.3.2. 条件方差
首先:
这是一个关于 的函数,所以,对于给定的
值目,它等于在己知
价的条件下,
的条件方差为
利用结论: 和重期望法则,我们可以将估计误差的方差写成
所以,等式就可以写成如下形式
全方差法则
5. 极限理论
在本章里,我们讨论随机变量序列的渐近性质.设 ,为一个独立同分布的随机变量序列,其公共分布的均值为
,方差为
,定义
为这个随机变量序列的前 项之和.本章的极限理论研究
以及与
相关的变量在
时的极限性质.
由随机变量序列的各项之间的相互独立性可知
所以,当时 ,
是发散的,不可能有极限,但是样本均值
却不同.经过简单计算就可以得到
所以当 时 ,
的方差趋于
. 也就是说,
的分布大部分就必然与均值
特别接近.这种现象就是大数定律的内容,即随机变量序列
,从大样本意义上看,收敛于
; 的均值
. 按通常的解释,当样本量很大的时候,从
抽取的样本平均值就是
,大数定律就为此提供了一个数学理论基础.
下面考虑另一个随机变量序列.用减去
,可以得到零均值随机变量序列
,然后再除以
页,就得到随机变量序列
易证明 .
因为 的均值和方差不依赖于样本容量
, 所以它的分布既不发散,也不收敛于一点.中心极限定理就研究
的分布的渐近性质,并且得出结论:当
充分大的时候,
的分布就接近标准正态分布
5.1. 马尔可夫和切比雪夫不等式
马尔可夫不等式.
粗略地讲,该不等式是指,一个非负随机变量如果均值很小时,则该随机变量取大值的概率也非常小.
设随机变量 只取非负值,则对任意
切比雪夫不等式
粗略地讲,切比雪夫不等式是指如果一个随机变量的方差非常小的话,那么该随机变量取远离均值 的概率也非常小.注意的是:切比雪夫不等式并不要求所涉及的随机变量非负.
设随机变量 的均值为
,方差为
,则对任意
5.2. 弱大数定律
弱大数定律是指独立同分布的随机变量序列的样本均值,在大样本的情况下,以很大的概率与随机变量的均值非常接近.
考虑独立同分布随机变量序列,公共分布的均值为
,方差为
定义样本均值
前面已经得到:
利用切比雪夫不等式可得
对任意固定的 ,上面不等式的右边在
时,趋于
,于是就得到弱大数定律.
5.3. 依概率收敛
设 是随机变量序列(不必相互独立),
为一实数,如果对任意的
,都有
则称 依概率收敛于
.
如果随机变量序列有分布列或者概率密度,且依概率收敛于
. 则根据依概率收敛的定义,对充分大的
,
的概率密度函数或分布列的大部分"质量"集中在
的
邻域
内.所以依概率收敛的定义也可以这样描述:对任意的
和
, 存在
, 使得对所有的
,都有
称 为精度,
为置信水平
5.4. 中心极限定理
设 是独立同分布的随机变量序列,序列的每一项的均值为
,方
差为 记
则 的分布函数的极限分布为标准正态分布函数
即
这个定理不仅在理论上,而且在实践中也非常重要.从理论上看,该定理表明大样本的独立随机变量序列和大致是正态的.所以当人们遇到的随机量是由许多影响小但是独立的随机因素的总和的情况,此时根据中心极限定理就可以判定这个随机量的分布是正态的例如在许多自然或工程系统中的自噪声就是这种情况
从应用角度看,中心极限定理可以不必考虑随机变量具体服从什么分布,避免了分布列和概率密度函数的繁琐计算.而且,在具体计算的时候,人们只需均值和方差的信息以及简单查阅标准正态分布表即可.
5.4.1. 基于中心极限定理的近似
中心极限定理允许人们可以将 的分布看成正态分布,从而可以计算与
相关的随机变量的概率问题.因为正态分布在线性变换下仍然是正态分布,所以可以将
视为均值为
,方差为
的正态随机变量.
令 , 其中
是独立同分布,均值为
,方差为
的随机变量序列.当
充分大时,概率
可以通过将
视为正态随机变量来近似计算.步骤如下:
(1) 计算的均值
和方差
;
(2) 计算归一化后的值 ;
(3) 计算近似值
5.4.2. 二项分布的橡莫弗-拉普拉斯近似
用到再补
5.5. 强大数定律
设 是均值为
的独立同分布随机变量序列,则样本均值
以概率 1 收敛于
,即
6. 马尔科夫链
在本章中,我们将考虑未来会依赖于过去的过程,并且能够在某种程度上通过过去发生的情况预测未来.我们强调的模型里,过去对未来的影响归结为对状态的影响,它的概率分布随时间变化.进一步地,我们讨论的模型中,假设变量取值的状态只取有限个值.我们将分析状态值序列的概率性质.
6.1. 离散时间的马尔科夫链
考虑离散时间的马尔可夫链,其中状态在确定的离散时间点上发生变化,由于时间已经离散化,通常使用变量 来表示时刻.在任意时刻
, 用
表示链的状态,并且假定所有可能状态组成有限集合
, 称该集合为状态空间.不失一般性,除非另有陈述,我们用
表示这个状态雪间,其中
为某一个正整数.马尔可夫链由转移概率
所描述: 即当状态是
时,下一个状态等于
的概率是
. 数学上表示为
马尔可夫链的核心假设是只要时刻 的状态为
,不论过去发生了什么,也不论链是如何到达状态
的,下一个时刻转移到状态
的概率就一定是转移概率
.数学上,马尔可夫链的特征称为马尔可夫性质,即满足:对于任意的时间
, 对任意的状态
, 以及任意之前可能的状态序列
均有
所以,下一个状态 的概率分布只依赖于前一个状态
转移概率 一定是非负的,且其和为 1 ,即:
马尔可夫链可以由转移概率矩阵所刻画,它是一个简单的二元矩阵,其第 行,第
列的元素为
:
6.1.1. 路径的概率
给定一个马尔可夫链模型,我们可以计算未来任何-个给定状态序列的概率.
图形上,一个状态序列能表示为在转移概率图中一个转移弧线序列,并且在给定初始状态下,该路径的概率等于每个弧线上转移概率的乘积
6.1.2.
步转移概率
许多马尔可夫链问题要求计算在当前状态的条件下,未来某个时期状态的概率分布.这个概率称为 步转移概率,定义为:
表示在给定当前状态
的条件下 ,
个时间段后的状态将是
的概率.它可以通过下面的基本迭代公式计算,该公式被称为查普曼一科尔莫戈罗夫方程(Chapman-Kolmogorov 方程,也即 C-K 方程).
步转移概率利用迭代公式求得:
其中:
7. 贝叶斯统计推断
统计推断是从观测数据推断未知变量或未知模型的有关信息的过程,本章和下一章旨在:
- (a) 评价统计学中两种主要方法(贝叶斯统计推断和经典统计推断)的优缺点,
区别和类似之处; - (b) 介绍统计推断的主要内容(参数估计、假设经验和显著性检验);
- (c) 讨论统计学中最重要的方法(最大后验概率准则,最小均方估计,最大似然
估计,回归,似然比检验,等等); - (d) 举例说明如何运用理论.
7.1. 贝叶斯推断与后验分布
贝叶斯推断过程
- 起点是未知随机变量
的先验分布
或者
.
- 得到观测向量
的
或者
- 一旦
的一个特定值
观测到后,运用贝叶斯法则计算
的后验分布.
离散型数据的贝叶斯形式:
遇到连续变量时,我们只须将分布列替换成密度函数,把求和换成积分.进一步地,如果。是多维的话,相应的求和或者积分就是多重求和或者多维积分.
7.2. 点估计,假设检验,最大后验概率准则
应用在点估计和假设检验问题中的一种简单但是普遍的贝叶斯推断方法是:给定观测值 , 选择
的一个取值,记为
,使得后验分布列
达到最大(若
连续则为后验分布密度
):
这就是最大后验概率准则.
最大后验概率估计量是观测到 , 在所有的
中选
使得后验分布达到最大,当有很多这样的取值时,
可在备选量中任意选定.
垃圾邮件过滤
一封电子邮件不是垃圾邮件就是正常邮件.我们引入参数取值为
和
,分别代表垃圾和正常,各自取值的概率分别为
,
.设
代表一些特殊的词(或者词的组合)形成的集合,它们出现后就表示邮件是垃圾的.对每个
,记
是伯努利随机变量,来定义
是否出现在信息中,即当
出现时,
,否则
. 假设条件概率
和
,
是己知的.简单起见,假设在给定
的条件下,随机变量
是相互独立的.
运用贝叶斯法则来计算垃圾邮件和正常邮件的后验概率.即
现在我们想根据响应向量 来判断一封邮件是垃圾还是正常的邮件最大后验概率准则是这样判断的,如果下面式子成立,则判断该邮件为垃圾邮件
或者等价地
因为中
的取值只有1和2,哪个大取哪个就可以使
这个目标在
取这个值的时候取最优值。
7.3. 贝叶斯最小均方估计
条件期望估计量有使可能的均方误差达到最小的性质(最小均方简称为 LMS)。
考虑在没杳观测值
的情况下用常数
来估计
这个简单的问题.估计误差
是随机的(因为
是随机的),但是均方误差
是一个由
所决定的数,可以达到最小.在这种准则下,最好的估计是
,下面来验证这一结论
对任何估计,有
现在注意到与
是无关的因此只要选择使
达到最小的
,也就是
假设现在我们由观测值
来估计
,同时要求均方误差最小.一旦得到
的值 x , 情况就变得和之前讨论的一样,但是所有的事情都取决于
所以可以把之前的结论拿过来并且得到结论 :条件期望
在所有常数
中使得条件均方误差
达到最小.
广义上来说,估计量为 的(非条件)均方估计误差定义为
罗密欧和朱丽叶
罗密欧和朱丽叶开始约会.但是朱丽叶在任何约会中都可能迟到,迟到时间记为随机变量 , 服从区间
上的均匀分布,参数
是未知的,是随机变量
的一个值。
是在 0 和 1 小时之间均匀分布.假设朱丽叶在第→次约会中迟到了
,那么罗密欧如何利用这个信息去更新
的分布.
这里的先验密度函数是:
以及观测值的条件密度函数是
注意, 只有当
时非零,运用贝叶斯法则可得:对任意的
,后验密度函数是
现在考虑前 次约会情况所引起的变化.假设朱丽叶迟到的时间记为
,在给定
条件下,它是区间
的均匀分布,且条件独立.记
,
, 类似于
的情形,我们有
其中 后验密度函数是
其中 是归一化常数,只依赖于
:
- 最大后验概率估计
考虑第一次约会迟到,对于给定的 ,
在
的取值范围
中随
增大而减小,因而最大后验概率估计就是
.注意这是一个很"乐观"的估计,如果朱丽叶在第一次约会时只迟到了一小会儿 (
),则未来约会迟到时间的估计是很小的.
- 条件期望估计
条件期望估计就没有这么乐观了,事实上,有
下图描绘了两个估计量随着 变化的函数 可以看出对任意的迟到时间
,
比
的最大后验概率估计要大(这里只是预估的迟到时间更长而已,并不是说哪个更准确)
- 条件均方误差
最大后验概率估计等于,最小均方估计是
.
下面来计算最大后验概率估计和最小均方估计的条件均方误差,给定 ,对于任意的
有
对于最大后验概率估计, ,条件均方误差是
对于最小均方估计, ,条件均方误差是
绘制两种估计(最大后验概率估计和最小均方估计)的条件均方误差.可以看出最小均方估计有一致的相对较小的均方误差.这是最小均方估计量的总体优良性能的体现
7.3.1. 估计误差的一些性质
将最小均方估计和相应的估计误差分别记为
估计误差的性质:
- 估计误差
是无偏的,具体说来它的条件期望和非条件期望都是 0:
- 估计误差
和估计量
是不相关的:
-
的方差可以分解为
7.3.2. 多次观测和多参数情况
前面的讨论都是建立在 是一元随机变量的基础之上.但是完整的论证和结论在
是随机向量
时也适用.因此,均方估计误差在选
作为估计量的时候达到最小,即
对于所有的估计量 都成立
这就对一般的最小均方估计给出了完整的解决方案,但是它一般很难实现.因此,实际中常常求助于条件期望的近似值,或者更关注于那些并不最优但是简单而易于实现的估计量.
7.4. 贝叶斯线性最小均方估计
在本节中,我们在一个较小的统计量的集合类中寻找统计量使得均方误差最小:那些观测值的线性函数的集合类.虽然这种统计量会导致较高的均方误差,但是在实际中有明显的优势:对计算要求简单,只包括均值、方差以及观测与参数之间的协方差.在最大后验估计量和最小均方估计量难以计算的情况下,这是个很有用的替代估计量.
基于观测 的
的线性估计量形式为
给定 相应的均方误差是
线性最小均方估计选择 使得上面的表达式取最小值.我们首先解决
的情况,然后再将解法推广
7.4.1. 一次观测的线性最小均方估计
现在我们感兴趣的问题是找到的线性估计
, 使得均方误差
达到最小假设已经选好了
,如何选
呢?这个问题等价于选择常数
来估计随机变量
,最好的选择是
选择了 之后,剩下的问题是选择
使得下面的表达式取最小值
将表达式写为
其中 和
分别是
和
的标准差,且
是和
的协方差.为使
(关于
的一个二次函数)达到最小,令表达式的导数为
,求解
. 得到
其中
是 和
的相关系数.根据
的选择,所选线性估计量
为:
均方估计误差是
罗密欧和朱丽叶
求基于 的
的线性最小均方估计.
根据重期望法则,X的期望为:
进一步,利用全方差法则:
计算 和
间的协方差,根据公式
和事实
于是
因此
线性最小均方估计量是
相应的条件均方误差:
再将 代入上式,就得到条件均方误差
7.5. 多次观测和多参数情形
现在将求线性最小均方估计的方法推广到多元观测的情形.由单次观察值的情形推广到多次观察值到情形并不带来本质上到困难,用完全相似的方法可推导得到线性最小均方估计的公式.线性估计的系数只和各观察值的均值、方差以及不同的随机变量对的协方差有关.
样的对于多参数。也估计,考虑准则
使其在所有估计量都是观测值的线性函数的情况下达到最小.这与寻找每个
使得
达到最小是等价的,因此本质上将问题化解成
个单参数的线性最小均方估计的求解问题.
在多元观测且相互独立的情况下,单个参数的线性最小均方估计量的公式可以简化如下.是均值为
方差为
的随机变量,
是具有如下形式的多次观测
其中观测误差是均值为 0 方差为
的随机变量.假设
是各不相关的,基于观测值
的
的线性最小均方估计量是
上面的结果的推导是非常简单的.我们的目标函数为
为求其最小值,令其关于 的偏导数分别为
. 经过计算得到前面线性最小均方估计量公式中的系数为
8. 经典统计推断
本章的主要术语、问题和方法
经典统计将未知参数看作是待确定的常数.对于未知参数的每个可能取值都假设一个单独的概率模型.
在参数估计中,希望找到在未知参数取任何可能值的情况下都基本正确的估计.
在假设检验中,未知参数对应于对立假设取有限的
个值.想要选择一个假设,使得在任何可能的假设下错误的概率最小
在显著性检验中,希望接受或者拒绝一个简单的假设,保持错误拒绝的概率适当的小
-
本章主要的经典推断方法.
(1)最大似然估计:选择参数使得被观测到的数据"最有可能'出现,比如使获得当前数据的概率最大
(2)线性回归:在这样的意义下找出一组成对数据之间最合适的线性关系:这种线性关系使得模型与真实数据之间差值的平方和最小
(3)似然比检验:给定两个假设,根据它们发生"可能性"的比值选择其一,使得犯错的概率适当小
(4)显著性检验:给定一个假设,当且仅当观测数据落在某个拒绝域的时候拒绝该假设特别设计的拒绝域使得错误拒绝的概率低于某个给定阈值
8.1. 经典参数估计
所谓经典的方法就是将参数。看作未知常数,而不是随机变量
8.1.1. 估计量的性质
给定观测 , 估计量是指形式为
的随机变量,注意,由于
的分布依赖于
,因而
的分布也一样.估计量
的取值称为估计值.
估计量的相关术语
是未知参数
的一个估计量,也即关于
个的观测
(服从依赖参数
的分布)的一个函数
-
估计误差,记为
, 定义为
- 估计量的偏差,记为
,是估计误差的期望值:
-
的期望值、方差和偏差都依赖于
,而估计误差同时还依赖于观测
- 称
无偏,若
对于
所有可能的取值都成立
- 称
渐近无偏,若
对于
所有可能的取值都成立.
- 称
为
的相合估计序列,如果对于参数所有可能的真值
,序列
依概率收敛到
.
均方误差
8.1.2. 最大似然估计
设观测向量 的联合分布列为
其中
为
的观察值.那么,最大似然估计是使
的数值函数
达到最大的参数值
当 为连续型随机变量时,可将同样的方法用于联合概率密度函数
称 为似然函数
很多应用中都假设观测 独立,从而对于每个
是离散的随机变量,似然
函数的形式为
在这种情况下,为了分析和计算的方便可让其对数达到最大,下面的式子称为对数似然函数,
当 为连续型随机变量时
8.2. 线性回归
考虑两个变量的情况,建立如下形式的线性模型
其中 和
是未知的待估参数.
特别地,给定参数的估计 和
模型对
相应的
的预测是
称为第 个残差.残差小的估计被认为是很好地拟合了数据.为此,线性回归在所有
和
中选择使得残差平方和
最小的和
作为未知参数
和
的估计
经过计算得到:
其中
8.2.1. 贝叶斯线性回归
将当作给定的数,
是向量
的观测值,随机向量巧满足线性关系
这里, 是待估参数,
是独立同分布的随机变量,均值为
,方差己知为
. 与贝叶斯哲学思想一致,将
和
建模为随机变量.假设
相互独立,
均值为零,方差分别是
和
.
基于 都是正态随机变量的假设,现在可以利用最大后验概率方法来推导贝叶斯估计量.在所有
和
中让后验概率密度函数
最大,根据贝叶斯准则,后验概率密度函数是:
再除以一个和无关的归一化常数根据正态性假设,表达式写成
其中 是和
无关的正规范化常数.等价地,在所有
和
中使表达式
最小.注意,这和前面经典推断中期望达到最小的表达式是类似的(当
和
足够大,可以忽略
和
,则这两个最小化是一样的).为求最小值,分别对
和
求导,再令导数为零经过计算,得到如下解.
其中
8.2.2. 非线性回归
如果假设的关于未知参数的模型结构
其中 是给定的函数
的非线性,
是待估参数.对于已知的数据对
欲寻找
使得残差平方和
达到最小.
与线性回归不同,这类最小化问题并没有确定形式的解.但是解决实际问题时有一些相当有效的计算方法.和线性回归类似,非线性最小二乘估计源自参数的最大似然估计.假定数据
其中为未知的回归模型的参数,
是独立同分布的零均值正态随机变量.这个模型的似然函数的形式为
其中 为
的方差.似然函数最大等价于上式中指数部分最大,也就是使得残差平方和最小.