信息学中的概率统计 · 课程综合笔记:知识点梳理与基本公式推导

本页目录

信息学中的概率统计
知识点梳理与基本公式推导

依据 2026 年 9 月 11 日至 10 月 30 日九份课件整理

本笔记要解决:如何从随机试验建立概率模型,计算随机变量的分布、期望与波动,并理解多维正态分布中的条件、相关与线性变换。

阅读范围与课件索引

严格按老师的五章及各章小节顺序整理,合并不同日期课件中的重复内容。节内用加粗主题补充推导与例题,不另立课程章节。正文中的“推导”用于补全课件计算步骤,“补充”用于注明有助于理解但课件未单列的结论。页码均指原 PPT 的幻灯片序号,包含封面。

课件页数主要内容与处理方式
09.11(1)、09.16 Part I各 48概率基础、条件概率、独立性,合并整理
09.18、09.30各 42离散随机变量与常用分布,正文一致
10.0937连续分布、一维变量变换
10.1445多维离散分布、条件期望、卷积
10.23 Part I46复习多维离散内容,新增负二项和分布
10.23 Part II59多维连续分布与多维高斯
10.3060复习多维连续内容,并修正部分计算

课件的五章依次为:概率论的基本概念、离散随机变量、连续随机变量、多维离散随机变量、多维连续随机变量。其中多维高斯分布属于第五章第 5 节。大数定律、中心极限定理、参数估计、回归、假设检验仅在开课大纲中出现,尚无相应系统讲解,因此不作为已讲章节展开。

10.30 第 2 页写明期中范围为“5.2 多维连续随机变量的独立性及之前的全部内容”。本笔记与该编号直接对齐:期中范围对应第 1—4 章及第 5 章的 5.1—5.2 节,后面的 5.3—5.5 节也保留,方便完整学习。这是课件中的范围说明,不是对最新教学安排的额外核实。

记号与学习主线

以 表示样本空间, 表示事件域, 表示概率。、、 分别表示期望、方差、协方差。事件补集记作 。 表示事件 的示性变量。。泊松分布统一记为 ,对应课件的 。

主线是:事件的概率,经由随机变量转成分布;分布经由加权平均得到期望与方差;多维分布增加变量之间的依赖;条件分布描述新增信息后的变化;变量变换把已知分布转为新分布。

1. 概率论的基本概念

本章要解决:建立样本空间与事件,选取概率模型,并在条件信息下更新概率。1

1.1. 随机事件和样本空间

随机现象在给定条件下可能出现不同结果。一次试验的完整结果称为样本点,所有可能样本点组成样本空间 。事件是可赋予概率的样本空间子集。必然事件为 ,不可能事件为空集。

表示至少一件发生, 表示同时发生, 表示只发生 。德摩根律为

1.2. 概率和频率、古典概率模型与几何概率模型

重复 次试验,事件 发生 次,其频率为 。频率随试验结果变化,概率则是模型中的数值。课件以频率稳定性引入概率,再用下一节的公理给出严格定义。

古典模型与几何模型。

古典模型要求有限个基本结果等可能,才有 。有放回抽样、无放回抽样、有序结果与无序结果对应的分母不同。几何模型要求在给定区域内按长度、面积或体积均匀取点,才有“事件区域的测度除以总测度”。

例:断棍问题。 取独立均匀切点 ,令 、。三段长为 。总长为 1 时,能构成三角形等价于每段都小于 。在 的三角形中,条件为 、、。有利区域面积为 ,总面积为 ,故概率为 。这里先排序,避免把切点位置误当作两段长度。

球与桶、生日悖论与阈值。

个球独立均匀放入 个桶。若 ,总放法为 ,无冲突放法为 ,故

若 ,无冲突概率为 0。取对数并用 ,得到

推导:稀疏时的近似。 当 ,逐项使用 ,得到

所以 时,。

另一种方法令 表示第 个球同桶,,则

需要记住的渐近结论。 当 ,无冲突概率趋于 1;当 ,趋于 0;当 ,趋于 。因此 是过渡量级;固定常数倍本身不能保证概率趋于 0 或 1。生日问题对应 ,23 人至少两人同生日的概率约为 0.507(忽略闰年并采用独立均匀模型)。

1.3. 概率的公理化

事件域 是一个 -代数:它包含 ,对补集和可列并封闭。概率空间为 。

概率满足非负性、、可列可加性。可列可加性要求事件两两互斥。由 可得 ;由 ()可得单调性。

推导:加法公式。 将 拆为互斥的 和 ,得到

推广到多个事件得到容斥公式

不计算交集时,可直接用并集上界

并集上界不要求独立,也不要求互斥;上界超过 1 时应再与 1 取较小值。容斥与概率证法。

例:随机排列的固定点。 令 表示第 个位置不变。任意指定 个位置不变的概率为 。容斥中的第 项为

因此至少一个固定点的概率为 。

概率证法使用 。要证明存在没有坏性质的对象,可随机生成对象,再证明所有坏事件的并集概率小于 1。

例:随机图。 每条边独立地以 的概率存在。特定 个点形成团的概率为 ,形成独立集的概率相同。因此

只要右边小于 1,就存在同时没有这两类结构的图。注意随机图模型还需要“不同边独立”这一假设。

1.4. 条件概率

条件概率与乘法公式。

对 ,定义

直观上是把原来的样本空间缩到 ,再重新归一化。于是

递推得到链式乘法公式

所写条件概率需有正的条件事件概率。

例:第三次才抽到次品。 100 件中有 10 件次品,不放回抽取,概率为

每次分母和剩余合格品数都在变化,因此不能直接写成独立重复试验的乘积。

例:至少一名女孩。 假设两个孩子性别独立且男女等可能,并且信息确为“至少一个女孩”,条件样本为女女、女男、男女,故两名均为女孩的概率为 。若信息是“随机遇到其中一个孩子且为女孩”,信息的产生机制改变,不能直接沿用这个答案。

全概率与贝叶斯公式。

若 两两互斥且穷尽 ,则 被拆成互斥的 。因此

将乘法公式代入条件概率定义,得到

其中 是先验, 是似然, 是后验。分母必须包含所有可能导致观测 的情形。

课件中的抽象检测例。 用 表示稀有类别, 表示检出。给定 、、,则

这说明低基率下,检出者中仍可能有大量假阳性。“准确率”一个词通常不足以指定这两个条件概率,计算时需明确它们各自的含义。

条件独立与混合人群。

例:保险风险。 高风险者占 ,其每年事故概率为 ;低风险者占 ,事故概率为 。还需假设给定类型后,不同年份事故独立。第一年出事故后属于高风险者的概率为

第二年事故概率为

无条件的年事故率为 。同一个人的风险类型把年份联系起来,所以条件独立并不蕴含无条件独立。

补充:条件全概率。 已知 时,在条件空间内同样可分情况:

只对 的项求和;零权重项不需要定义对应的条件概率。

1.5. 事件的独立性

事件 独立的定义是 。当 时,等价于 。正概率的互斥事件不能独立,因为它们交集概率为 0,而概率乘积大于 0。

多个事件相互独立要求任意非空子集 都满足

只检查每一对称为两两独立,只检查全体的交也不够。

反例。 掷两枚公平独立硬币,令 为第一枚正面、 为第二枚正面、 为两枚结果相同。三者各概率为 ,任意两个的交概率为 ,但三者的交概率为 。

若 相互独立,则 与 独立:

例:轮流射击。 甲先射击,命中率为 ,乙为 ,所有射击独立。每轮双方均未命中的概率为 。若 ,

将同一个随机试验独立重复 次,称为 重独立重复试验。如果每次仅有成功与失败两个结果,且成功概率固定为 ,则称为 重伯努利试验。

本章总结。

  • 计数和几何模型先检查等可能或均匀假设。
  • 求交用乘法公式,分情况求边际用全概率,反推原因用贝叶斯。
  • 两两独立弱于相互独立,独立性不能由直觉代替证明。

2. 离散随机变量

本章要解决:用分布列、期望与方差描述离散变量,并识别常用离散分布。2

2.1. 随机变量的定义

随机变量是定义在样本空间上的实值函数 。例如掷三枚硬币的正面数、一天的故障次数。 将试验结果映射成数值; 表示映射值为 的所有样本点组成的事件。严格地说,需要 对任意实数 成立。

只取有限个或可列个数值的随机变量称为离散随机变量。

2.2. 离散随机变量的概率分布列

离散变量的分布列为 ,。

2.3. 离散随机变量函数的分布

对函数 ,把产生同一个 的所有概率合并:

2.4. 数学期望

若 ,定义 。有限期望要求绝对可积;非负变量的期望可取 ,正负部分都为无穷时则期望未定义。

函数的期望可直接计算:,无需先求 的分布。特别地,。

由求和的线性性,。多个可积变量的期望也能直接相加,完整的联合分布推导见 4.4 节。

例:发散的奖金。 若奖金为 的概率为 (),每项对期望的贡献均为 ,故总期望为无穷,尽管每次得到的奖金几乎必然有限。

尾和公式。

若 只取非负整数,则逐样本有 。因各项非负,可交换求和与期望:

马尔可夫不等式。

推导:马尔可夫。 若 、、,则逐样本 。取期望即得

当 ,令 ,就得到课件形式 。

2.5. 方差

令 且 。方差为 ,标准差为 。

推导:计算公式。

因此

标准差必须使用 ,方差的单位是原变量单位的平方。

推导:平方误差分解。 对常数 ,展开 。交叉项期望为 0,故

所以用常数预测 时,均方误差在 处最小。方差为 0 等价于 ,不要求每个样本点上都相等。

切比雪夫不等式。

推导:切比雪夫。 对非负变量 用马尔可夫,得到

若 ,令 ,得到 。

例:公平硬币。 为 次独立投掷的正面次数,、。于是

课件还利用对称性将这个单侧事件界为 。一般分布没有这种对称性,不能任意把切比雪夫上界除以 2。

2.6. 常用离散分布

伯努利与二项分布。

伯努利变量 以概率 取 1,以概率 取 0。由 ,

若 ,且各 独立同分布,则 。恰有 次成功时,每种指定成功位置的序列概率为 ,可选位置有 种,故

由二项式定理可验证概率和为 1。

推导:矩。 线性性给出 。不同 独立,所以

另一个常用技巧是阶乘矩:

于是 ,再减 得到相同方差。

泊松分布与二项极限。

,,其分布列为

由指数函数级数,概率和为 。

推导:矩。 用 ,

同理 ,故

推导:泊松定理。 若 满足 ,对每个固定非负整数 ,

第一部分趋于 ,乘积趋于 1,而 。因此二项分布在大量独立、单次成功概率很小、总均值稳定时可作泊松近似。

球与桶模型中一个指定桶的球数服从 ;若 且 ,可近似为 。仅有“平均发生率恒定”不足以保证计数是泊松,还要有相应的独立、稀疏到达假设。

几何分布与无记忆性。

重复独立伯努利试验, 为第一次成功时的总试验次数,,:

本笔记与课件都采用“计入成功那一次”的约定,最小值是 1。若数成功前的失败次数,则应改成 。

推导:期望。 由尾和公式

推导:方差。 对 求导两次,可得

因此

上述级数求导对 有效。

推导:无记忆性。 对非负整数 ,

只在条件事件概率为正时使用。已连续失败 次后,剩余等待次数仍服从原来的几何分布。

负二项分布。

为第 次成功发生时的总试验次数, 为正整数,则 。要使 ,第 次必须成功,前 次恰有 次成功,因此

它可以写成 段独立几何等待时间之和:。所以

其概率和也可由 验证。

离散分布速查。

分布含义均值方差
一次是否成功
次中的成功次数
稀疏到达计数
首次成功的总次数
第 次成功的总次数

本章总结。

  • 离散函数的分布要合并相同函数值对应的概率。
  • 固定试验次数数成功个数,用二项分布;固定成功个数数总次数,用几何或负二项分布。
  • 方差是二阶矩减均值平方,尾不等式还要检查非负性或有限方差。

3. 连续随机变量

本章要解决:掌握分布函数、密度、连续分布的矩和一维变量变换。3

3.1. 随机变量的概率分布函数

任意实值随机变量都有分布函数 。它单调不减、右连续,且在负无穷处趋于 0、正无穷处趋于 1。

左极限 ,因此离散分布计算端点时要特别小心。

3.2. 连续随机变量的概率密度函数

课件所称连续随机变量采用有密度的定义:存在 ,使

于是 ,且任一点概率为 0。密度可以超过 1;在零测集上改动密度不改变分布。严格地说,“分布函数连续”本身还不足以保证存在密度。

在密度连续的点,可由 求密度。反过来,密度积分恢复分布函数。连续变量的区间端点不影响概率。

3.3. 连续随机变量的数学期望和方差

若 ,则

线性性、方差计算式与缩放性质与离散情形相同:

这些性质仍可通过展开平方并对密度积分推导。2.4 节的马尔可夫证明和 2.5 节的切比雪夫证明对连续变量同样成立。

例:柯西密度。 若 ,则归一化常数由反正切积分得到。但 ,故期望不存在,不能仅凭密度关于 0 对称就断言期望为 0。

补充:非负变量的尾积分。

对任意非负变量,,所以

等待时间的尾概率若容易写出,这个公式往往比直接求和或积分更快。

3.4. 常用连续分布

均匀分布与圆内距离。

,,在区间内 ,外部为 0。积分得

例:圆内均匀取点。 若 是点到圆心的距离,圆半径为 ,则在 上

所以在圆内均匀取点并不意味着半径均匀。积分还可得 。

正态分布与标准化。

标准正态 的密度与分布函数为

对称性给出 和 。

补充推导:归一化常数。 令 。平方后转极坐标,

因此 。

由 ,分部积分得

若 ,,则

约有 的质量位于均值两倍标准差内, 位于三倍内。一般变量标准化后只保证均值 0、方差 1,不能因此认定为正态。

指数分布、伽玛函数与伽玛分布。

的密度为 (),尾概率为 。

推导:矩与无记忆性。

对 ,

这里 是速率,单位为“每单位时间”,均值等待时间为它的倒数。

伽玛函数定义为 ,。分部积分得到 ,所以 。另有 ,递推给出 ( 为非负整数)。

采用课件的“形状—速率”参数化, 的密度为

推导:统一计算矩。 换元 ,对 ,

令 ,得到

特例 ;,其均值为 、方差为 。

在泊松到达模型中,若 ,第 次到达时间 满足

对 求导,求和中的项相消,得到 ,故 。这连接了“到达次数”与“等待时间”。

3.5. 连续随机变量函数的分布

设 。最稳妥的出发点是 ,先明确原像集合与取值范围。

推导:单调变换。 若 严格递增,反函数为 ,则 ,求导得到 。递减时不等号反向,最终统一为

导数只在有效取值范围内使用,其他位置密度为 0。

因此 、 时,

例如 时,,密度为 。尺度变大,密度相应变小。若 且 ,则同样的变换给出 ,形状不变,速率变为原来的 。

例:平方变换。 若 、,则对 ,,。

补充:分支公式。 若 在多个区间上单调且各根处 ,则在通常的正则点

若 且 可正可负,需同时计入 与 两支。若 ,得到

即 。

课件中的 (),令 。两个反函数分支相加给出

本章总结。

  • 分布函数适用于所有实值随机变量,连续章节进一步引入密度。
  • 正态题先标准化,指数题先看尾概率,伽玛题利用伽玛函数递推。
  • 变量变换要处理支持集、全部反函数分支与导数绝对值。

4. 多维离散随机变量

本章要解决:建立联合分布,处理变量之间的依赖,并用条件期望简化计算。4

4.1. 多维随机变量的定义

同一个概率空间上的随机变量 组成随机向量 。各分量都离散时,称为多维离散随机变量。

例如球与桶模型中的各桶球数、随机图中各顶点度数,均是同一次随机试验产生的多个数值。它们通常共享随机来源,因此需要研究联合分布。

4.2. 多维离散随机变量的概率分布列

二维分布列 满足 、。边际分布把另一个变量求和消去:

给定 时,若 ,

独立性将在 4.3 节专门讨论。边际分布无法单独确定联合分布。

完整例子。 先从 均匀选 ,再给定 从 均匀选 。则

因此

给定 后, 的概率分别为 。条件分布随观测改变,且联合支持是三角形,所以 不独立。

两次成功时刻的联合与条件分布。

在独立伯努利试验中, 为第一次成功时刻, 为第二次成功时刻。对 ,第 次成功,其余前 次失败,故

对 求和,;因此

所以已知第二次成功在第 次时,第一次成功的位置在此前 个位置中均匀分布。

4.3. 多维离散随机变量的独立性

二维离散变量独立,等价于所有格点上都有 。多个变量相互独立要求联合分布分解为各边际分布的乘积。相互独立蕴含两两独立,反向一般不成立。独立且各自服从同一分布,称为独立同分布。

独立变量的函数与乘积期望。

若 独立,则分别只依赖各自变量的 仍独立。可积时,对联合分布求和可得

反方向一般不成立。二项变量可以写成独立伯努利变量之和,负二项变量可以写成独立几何等待时间之和。

几何等待时间的竞争。

例:谁先故障。 若 、 且独立,

离散时间可能同时故障; 一般小于 1。

泊松拆分。

设总人数 ,每个人独立地以概率 购买商品,且分类行为独立于到达总数。购买人数记为 ,未购买人数记为 。

推导:联合分布。 给定 时, 服从 ,且 ,故

右侧分解为两个泊松分布列,因此

给定总数 时,两者满足 ,通常相依;不固定总数时却独立,这是泊松拆分的重要特性。

4.4. 多维离散随机变量的特征数

函数期望与线性性。

对联合分布列,。令 ,分开求和并消去另一变量,就得到 。线性性不要求独立。

示性变量与收集优惠券。

计算总数 的期望时,先寻找 ,再使用 。即使这些事件不独立,结论仍成立。

  • 随机排列固定点数:。
  • 类球有放回抽取 次,不同类型数 满足 ,因为指定类型一直未出现的概率为 。
  • 条边的图中,每个点独立均匀分到两组,跨组边数的期望为 。因此存在一个划分使跨组边数至少为 。

推导:收齐所有类型的时间。 每次独立均匀抽取 种类型之一。已集齐 种后,下一次抽到新类型的概率为 。令 为从 种到 种所需额外次数,则

总时间 ,所以

这一步计算均值只需要线性性,无需先证明各段等待时间独立。

协方差与和的方差。

对具有有限二阶矩的变量,

展开中心化平方得到

更一般地,

独立可推出协方差为 0;和的方差可加实际上只需要两两不相关。

例:随机图顶点度数。 每条边独立地以概率 存在。顶点 的度 是 个独立示性变量之和,因此均值为 ,方差为 。对 ,两度数之和的展开中只共享同一条边 ,其他边对协方差贡献为 0,所以

这体现了找共同随机来源的技巧。

例:泊松总数与子计数。 4.3 节泊松拆分中的 ,且 独立,因此

拆分后的两类计数独立,但总数与其中一类不独立。

条件期望与重期望公式。

离散时 。它先是 的函数 ,把观测代入后 是随机变量。

推导:重期望。 对离散变量,

连续情形的对应计算见 5.3 节。

例:先随机选上界。 均匀取 ,给定 时 均匀取 。于是

又 ,所以 。

独立随机项数之和。

推导:独立随机项数。 设 独立同分布、均值 , 为非负整数且独立于整列 ,并有 、。令 ,则

补充: 若另有有限二阶矩,令 ,则全方差给出

若 依赖于所取样本,不能直接套这个独立随机项数的推导。

上一段补充的随机和方差公式可用 5.3 节的全方差公式推导。

4.5. 多维离散随机变量函数的分布

对 ,把联合分布中所有映射到同一个 的格点概率相加:

对 ,一般有 。若独立,则

求和范围由原变量支持集决定,超出支持的概率取 0。

独立变量的常见可加性:

  • 服从 ,成功率必须相同。
  • 服从 。
  • 服从 ,采用总试验次数的约定。

推导:泊松之和。

第二个等号来自二项式定理。二项之和的卷积则使用范德蒙德恒等式 。

本章总结。

  • 联合分布保留依赖,边际分布消去变量,条件分布利用信息。
  • 计数均值优先用示性变量,随机上界优先用重期望。
  • 和的方差需要协方差项;卷积可加性要检查独立性和参数。

5. 多维连续随机变量

本章要解决:用联合密度处理连续依赖,再理解变量变换与多维高斯。5

5.1. 多维连续随机变量的分布函数和密度函数

联合分布函数与区域概率。

联合分布函数定义为 。除了分别单调、右连续和边界极限,还必须满足矩形增量非负:

这个条件不能仅由分别单调推出。

存在联合密度 时,、。对区域 ,

联合密度存在时,边际密度为

积分上下限由支持区域的切片确定。

支持集与积分限。

例:三角形区域。 在 、 内令 ,外部为 0。面积为 ,符合归一化。

固定 后,允许的 为 ,所以

固定 后,,所以 ()。这说明区域内联合均匀并不意味着各坐标均匀。

例:指数密度。 若在 上 ,归一化得到 ,所以 。

这也可由独立指数变量的竞争公式验证。

条件分布与条件密度。

连续变量通常有 ,不能把事件条件概率写成两个零概率之比。对 的点,条件密度定义为

在适当连续性条件下,可从小区间条件化理解它:

所以条件分布不是简单“给零概率事件套除法”,而是从联合密度得到的、几乎处处确定的条件模型。

例:单位圆。 在单位圆内均匀取点,联合密度为 。对 ,

因此给定 时, 在区间 上均匀,密度为 。

5.2. 多维连续随机变量的独立性

对任意随机变量,独立等价于对所有 有 。存在密度时,等价于

既要检查函数形式,也要检查支持区域。单位圆的横截面随 改变,所以坐标并不独立。

推导:独立指数竞争。 若 、 且独立,

连续情况下平局概率为 0。另有

故最小等待时间服从 。

二维正态:密度、配方与构造。

令 、、。写 、,二维正态密度为

推导:配方。

定义

逆变换为

其雅可比绝对值为 。代入密度后,常数恰被抵消, 密度为 ,因此 为独立标准正态。

这既验证了原密度积分为 1,也说明相关性的来源: 共享随机量 。

二维正态的边际与条件分布。

由配方或者对另一坐标积分,边际为 、,均与 无关。

推导:条件正态。 已知 就确定了 。由于 与 独立,剩余随机性仅来自 ,所以

类似地

也可直接用 并配方得到相同结果。

条件均值是观测值的线性函数。条件方差不随观测值改变,且小于等于原方差。 越大,知道另一个变量后剩下的不确定性越小。

例。 若 、、,给定 后, 服从 。

二维正态何时独立。

对联合二维正态, 时联合密度分解为两个边际正态密度的乘积,因而独立。若 ,5.2 节的条件正态分布随观测值变化,因此不独立。所以二维正态的独立性等价于 。

5.3. 多维连续随机变量的特征数

函数期望、线性性与乘积期望。

对联合密度,。取 并交换积分次序,得到期望线性性。若独立,则联合密度分解,进一步得到 。

对有限二阶矩的连续变量,4.4 节的协方差定义及和的方差公式仍成立,只需把求和改成积分。

条件期望与重期望。

连续情形中,,仍有 。将条件密度的比值代入,对 积分后消去边际密度即可证明。

例:随机上界的连续均匀。

,给定 时 。则

所以 ,,

补充:全方差公式。

补充推导:全方差公式。 令 ,将

平方并取期望。交叉项先对 条件化后为 0,因为 。于是

总波动分成“同一条件内的平均波动”和“条件均值之间的波动”。

随机上界例也可由全方差计算:。

相关系数及其边界。

若 ,定义

协方差有单位,相关系数无量纲。 表示不相关,仅排除了线性共同变化。

推导:绝对值不超过 1。 令 、。任意实数 都有

二次多项式的判别式不能为正,故 ,从而 。

推导:等号条件。 令 、。若 ,则 ,所以 几乎必然成立。若 ,则 几乎必然成立。因此 等价于存在 ,使 几乎必然成立,且 的符号与 相同。

反例:不相关但不独立。 、。对称性给出 ,所以 ,但 完全由 决定。

联合密度的完整矩计算。

若 ,支持为 ,则

逐项积分得到

因此

计算顺序建议为:边际密度、各自一二阶矩、混合矩,再代入定义。不要由协方差的符号直接推断非线性依赖的全部性质。

二维正态的协方差。

由 5.2 节的独立标准正态构造直接得到

所以参数 就是相关系数。

联合正态下的不相关与独立。

对联合二维正态, 时密度分解成两个一维正态密度的乘积,所以独立。独立时协方差为 0,所以 。因此

只知道 各自服从正态并不够,需要它们联合正态。

补充反例。 取 ,取独立于它的公平随机符号 ,令 。则 也服从标准正态,且 ;但 ,所以不独立。它们不构成非退化二维联合正态。

当 时,变量之间存在几乎必然的线性关系,分布集中在直线上,因此不具有上面的二维平面密度。此时需用退化高斯的观点,不能继续代入含 的公式。

高斯向量与随机矩阵的小应用。

若每个 ,则无论它们是否独立,线性性均给出 。若再独立,则任意固定 满足 、;其完整分布见 5.5 节。

若 是各元素独立标准正态的 矩阵,行列式按排列展开后,每项含不同位置的独立零均值元素,所以 。由 ,有 。此外

只有 的 项贡献为 1。这里是矩阵乘积 ,不是逐元素平方。

5.4. 多维连续随机变量函数的分布

连续卷积及两个例子。

对 ,先按 分层:

在可合法求导的条件下,

若独立,得到卷积公式

例:两个独立均匀变量之和。 均服从 ,需同时满足 与 。因此积分区间为 ,得到

这个例子说明卷积积分限通常随 分段变化。

例:两个指数变量之和。 若 独立且均服从 ,对 ,

所以 。更一般地,独立且同速率的伽玛变量相加,形状参数相加。

推导:正态之和。 若独立的中心化正态变量方差为 ,卷积中的指数满足

对第一项对应的高斯核积分后,得到

因此独立正态之和仍为正态,均值相加、方差相加。

最大值与最小值。

最大值事件可变成交集: 等价于所有 。独立时

最小值用尾概率更方便: 等价于所有 ,所以

独立同分布且存在密度 时,

例如 个独立 的最大值密度为 ,最小值密度为 ,支持都为 。

二维雅可比变换。

设 在有效区域一一对应,具有可微逆变换 、,且雅可比非零。局部概率守恒为

面积缩放由雅可比给出,因此

要乘的是“原变量对新变量”的逆变换雅可比绝对值。还需把原支持集转换到新坐标。

例:和与差。 独立且均服从 ,令 、。逆变换为 、,雅可比绝对值为 。代入得到

这个密度可分解为 与 的密度乘积,故 独立。两个正态变量方差不同时,和与差通常不独立。

例:乘积。 令 、,在 时 、,逆雅可比绝对值为 。若独立,

这里积分忽略零测点 ,并按支持集取有效部分。多对一变换应分成一一对应的分支并相加。

5.5. 多维高斯分布

必需的线性代数。

实对称矩阵可正交分解为 ,其中 正交、 为特征值对角矩阵。半正定意味着对任意 ,,等价于全部特征值非负。正定意味着非零 对应严格大于 0,等价于全部特征值为正。

半正定矩阵的对称半正定平方根可写为 。这个特定平方根唯一;若只要求 或 ,则因子通常不唯一。正定时可以求逆平方根 。

均值向量与协方差矩阵。

将随机向量视为列向量,定义

矩阵对角线是各分量的方差,非对角项是协方差。

推导:半正定性。 对任意固定向量 ,

所以协方差矩阵必为对称半正定,未必可逆。

推导:仿射变换。 对 ,

这个均值和协方差公式对具有有限二阶矩的一般随机向量都成立,不依赖高斯假设。

多维高斯密度与变换。

非退化的 维高斯 要求 对称正定,密度为

当 、 时,密度分解成 个标准正态密度的乘积,因此分量独立。

推导:从标准正态构造。 令 的分量为独立标准正态,取可逆矩阵 满足 ,设 。逆变换 的雅可比绝对值为 。又

代入标准正态密度即得上述公式。

高斯在线性变换下保持高斯:

行满秩且 正定时,新协方差正定,存在相应维度上的通常密度。若不满秩,仍得到退化高斯,但不能使用含逆矩阵和行列式分母的非退化密度公式。

线性组合与子向量。

取一行矩阵 ,则

若 独立且 ,则

若联合正态但不独立,方差要保留交叉协方差项。

例如二维正态有

独立标准正态的平均值服从 。这是精确分布,不需要大样本近似。

选择矩阵取出部分坐标,得到任意子向量仍为高斯,其均值取对应分量、协方差取对应主子矩阵。在联合高斯中,两组子向量交叉协方差为零即可推出两组独立。

白化、旋转不变性与椭球。

推导:白化。 对正定 ,令

其均值为 0,协方差为 。由于它仍联合高斯,分量进一步独立且标准正态。一般非高斯变量白化后只能保证不相关,不能保证独立。

对标准高斯向量,正交变换 不改变范数,也不改变协方差,所以 。这称为旋转不变性;正交变换也可包含反射。

令 ,,,则

因此等密度面是椭球,轴方向为 的特征向量,半轴长与 成正比。 是单位球经过该变换后的体积缩放因子。

课件中使用奇异值分解理解这一点。按常见记号写 ,则 :右侧正交变换 不改变标准高斯分布,剩下的拉伸和轴方向共同决定协方差。

本章总结。

  • 区域积分先确定支持集,再确定事件边界与积分次序。
  • 5.2 节用二维正态的配方求边际与条件分布,5.3 节进一步讨论协方差和相关系数。
  • 5.4 节用卷积、极值分布和雅可比处理函数,5.5 节用协方差矩阵统一高斯线性变换。

附录:复习速查、易错点与课件校核

本附录汇总计算方法与易错条件,不另计为课程章节。

按题目选择工具

题目结构优先工具
至少一次、没有一次补事件、容斥、并集上界
已知结果反推类型贝叶斯与全概率
固定次数中的成功数二项分布
等到第几次成功几何、负二项分布
小概率事件的大量计数检查泊松近似条件
随机总数、随机上界条件期望与重期望
若干对象的总数的均值示性变量加线性性
联合分布求边际对另一个变量求和或积分
变量之和卷积或已知分布可加性
最大值、最小值分布函数乘积、尾概率乘积
一维函数、二维成组变换原像集合、反函数导数、逆雅可比
高斯线性组合均值线性变换、协方差矩阵

连续分布速查

分布参数约定均值方差
为速率
形状、速率
自由度

必须带着条件记的公式

  • :要求期望适当存在,不要求独立。
  • :独立且可积时成立;仅有这条等式不能反推独立。
  • :有限二阶矩且协方差为 0 即可。
  • : 非负,。
  • :在 处使用。
  • 变换密度:一维乘反函数导数绝对值,多维乘逆雅可比绝对值。
  • 不相关推出独立:需要联合高斯等额外结构。
  • 标准化不保证正态;一般白化不保证独立。

课件中的修正与澄清

已由后续课件修正的数值。 10.23 Part II 第 5 页的 写为 ,按该页积分应为 ,10.30 第 6 页已改为 。10.23 Part II 第 31 页例子的 写为 ,按密度积分应为 ,10.30 第 32 页已改为 。本笔记统一采用复算结果。6

标准差缩放。 课件部分页面的缩放式写成 ;对任意实数 的正确形式是 。7

碰撞阈值。 课件用 概括无冲突的量级。准确极限应区分 趋于 0、有限正常数或无穷,不能把固定常数倍两侧都解释成概率趋于 0 或 1。8

连续分布中的“任意点”。 密度只在几乎处处意义下唯一,密度乘积分解作为独立性判据也按几乎处处理解。分布函数判据则要求所有实数点成立。

矩阵平方根。 对称半正定平方根唯一,任意满足因子分解的矩阵不唯一。高斯密度中的协方差应正定,半正定但奇异时需另行处理。9

自测与答案要点

  1. 为什么样本空间中某个单点概率为 0,不代表这个点不可能出现?
  2. 为什么期望可以相加,而方差一般不能直接相加?
  3. 设 ,若已失败 5 次,剩余试验次数期望是多少?
  4. 独立 ,求 与 。
  5. 已知联合二维正态,如何计算 与 ?
  6. 给定 ,如何把它白化?为什么要求 正定?

答案要点:第一题,连续模型允许非空事件概率为 0;第二题,展开方差会出现协方差项;第三题,剩余试验次数仍为几何分布,期望 ;第四题,概率为 ,均值由 得到;第五题,条件均值为 ,和的方差为 ;第六题,使用 ,正定性保证逆平方根存在,并保证可使用非退化高斯密度。

  1. 1来源:09.11(1)、09.16 Part I,第 12—48 页。
  2. 2来源:09.18、09.30,第 2—42 页。
  3. 3来源:10.09,第 2—37 页。
  4. 4来源:10.14,第 2—45 页;10.23 Part I,第 2—46 页。
  5. 5来源:10.23 Part II,第 2—59 页;10.30,第 3—60 页。
  6. 6校核位置:10.23 Part II,第 5、31 页;10.30,第 6、32 页。
  7. 7相关位置:09.18、09.30,第 23 页;10.09,第 14 页。
  8. 8相关位置:09.11(1)、09.16 Part I,第 24—27 页。
  9. 9相关位置:10.30,第 52、55—56 页。

查看原始笔记

读者留言

留言区正在准备中。