复习笔记Day111:概率论知识总结(三)
附录4.5.1 (积分) 设
是分布函数,
是
上的非负函数,称
关于
在区间
上是
可积的,如果存在常数
,使得对任何
,存在
,对任何
上的分划
,只要分划的长度
,就有
对任何成立,就记
太长了懒得写了,总之就是如果是非负的,那反常积分收敛的定义就
积分的反常积分的定义是类似的,但是如果
是一般的函数,反常积分收敛的定义却和
积分的定义是类似的
从这个积分的定义可以看出,如果的话(虽然它不能做分布函数),就是普通的
积分,而如果
可导的话,那么
定理4.2.2 设是随机变量,
是其分布函数。如果
是非负连续或有界连续函数,那么
如果记得积分的定义,那这个结论其实还蛮直观的
§4.3 方差及其不等式
定理4.3.1 (1)不等式:设
是一个随机变量,
,则对于任意m>0,有
(2)不等式:设
是随机变量,那么
推论4.3.1 简单介绍了一些方差的性质,没什么好说的,不过为什么不用花体呢?
§4.4 常见分布的期望
介绍了一些简单的离散随机变量和一些有趣的例子,想要具体学习这些内容建议换一本概率论教材
§4.5 大数定律
定理4.5.1 ()对任何
,有
推论4.5.1 设是随机变量,则(1)
独立当且仅当对任何非负或有界连续函数
,有
(2)如果独立,则对任何连续函数
,随机变量
也独立
(1)的必要性的证明思路:用连续函数去逼近示性函数,然后利用引理4.1.2的(3)
定理4.5.2 设事件是
的一个划分,那么对任何随机变量
,有
第五章 连续型随机变量
从这章开始介绍连续型随机变量,其实当前对连续型随机变量并不是完全不了解的,例如定义4.1.2给出的是一般的非负随机变量的期望的定义,Levy单调收敛定理、Fatou引理、Lebesgue控制收敛定理以及定理4.2.2这一系列与期望和随机序列有关的结论都是对连续型随机变量也成立的,但是还有一些结论是只对离散型随机变量成立的,例如引理2.3.1只能推出离散型随机变量和函数的复合还是离散型随机变量,还有就是对离散的样本空间中的域,直接取样本空间的幂集就好了,但是样本空间中的元素不可列的话,就没办法直接这样做了
§5.1 可测性
引理 5.1.1 (1)非空集合上任意多个
域的交仍然是
域;(2)设
是
的子集的一个集合,则所有包含
的
域的交是
域,记为
。它是包含
的最小
域;
R上所有开区间生成的域称为Borel域,记为
或者
,里面的集合被称为Borel集。
中包含了开集、闭集、单点集、半开半闭区间
定理 5.1.1 设是概率空间,则
上的函数
是随机变量当且仅当
其中
再说的直白点的话,就是
证明思路:如果,那么
,
肯定是随机变量。反过来,用
去表示所有满足
的集合
组成的集合,那么因为
是随机变量,所以一方面
,所有如果可以证明
是
域,那么
肯定包含
,进而
这就证明了结论
一个R上的函数被称为可测的,如果
对任何x都成立,这也等价于每一个Borel集的逆像还是Borel集
定理 5.1.2 (1)R上的连续函数是Borel可测函数;(2)设是随机变量,
是Borel可测函数,那么
是随机变量
§5.1 分布函数的实现
(注意上面的定理都是可以推广到多维的情况的)
分布函数的广义逆是指
直观来说也就是最大的使得的y
引理 5.1.2 介绍了广义逆的若干性质
定理 5.1.2 直线R上的任意分布函数F可以实现
这个定理的大概意思就是给定任何一个分布函数F,即满足单调递增且的函数,都可以找到一个随机变量,使得这个随机变量的分布函数就是F
证明思路:首先上的均匀分布是可以实现的(证明懒得看了),记为
然后记
,可以证明
即为所求
有一些地方没用公式编辑器的公式是因为图片超了,但是只超了16张,所有我只好把超的部分换掉了