课程导航
课程首页:Probability Theory
前置内容:相互独立、随机变量与分布函数
后续内容:Transformations and Expected Values
课程资料:Prob_Stat_Chapter1, pp.66–85;Casella & Berger, Statistical Inference, Ch1
Distribution Functions, Mass Functions, and Density Functions / 分布函数、概率质量函数与概率密度函数
1. Cumulative Distribution Function / 累积分布函数
1.1 Characterization of a CDF / CDF 的刻画
Theorem
Characterization of a cdf. A function is a cdf if and only if:
- and ;
- is nondecreasing;
- is right-continuous.
一个函数能够成为某个随机变量的累积分布函数,当且仅当它满足左右端极限、单调不减和右连续三个条件。这三个条件不仅是必要条件,也是充分条件。
- 两端极限说明总概率从 累积到 ;
- 单调不减来自事件包含关系:
- 右连续表示从右侧逼近 时,CDF 回到 。
1.2 Right-Continuity / 右连续性
当 时,事件 单调递减到 。由概率测度对递减事件列的连续性,
因此 CDF 必须右连续。它不一定左连续;左侧的跳跃恰好记录点概率。
1.3 Jump Probabilities / 跳跃概率
定义左极限
则
若 CDF 在 连续,则该点没有概率质量:
1.4 Interval Probabilities / 区间概率
对任意随机变量,
其他端点形式也可由点概率推出:
当 CDF 在 都连续时,四种开闭区间的概率相同;对离散型随机变量则必须保留端点差异。
2. Examples of CDFs / 累积分布函数示例
2.1 CDF of the Geometric Distribution / 几何分布的 CDF
令 表示独立 Bernoulli 试验中第一次成功所需的试验次数,单次成功概率为 。则
对正整数 ,
对任意实数 ,完整形式可写为
CDF 只在正整数处跳跃,相邻整数之间保持不变。
2.2 Logistic CDF / Logistic 分布函数
考虑
其两端极限与导数为
因此它连续、严格递增,并满足 CDF 的全部条件。
3. Identically Distributed Random Variables / 同分布随机变量
Definition
Random variables and are identically distributed if
for every admissible set .
若 与 落入任意可测集合的概率都相同,则称二者同分布。它们可以定义在不同样本空间上,也可以是同一样本空间上的不同函数。
Theorem
and are identically distributed if and only if
for every real .
一维随机变量的 CDF 唯一决定其概率分布。因此比较两个随机变量是否同分布,只需比较它们在所有实数处的 CDF。
Example 1: Numbers of Heads and Tails in Three Tosses / 例 1:三次抛硬币中的正面数与反面数
三次公平抛硬币,令
与 都服从参数为 的二项分布,所以同分布。但对每个具体试验结果,
二者通常不相等,而且存在完全的函数关系。
Identically distributed
同分布不表示 与 是样本空间上的同一个函数,也不表示它们相互独立。它只说明两者的边缘概率规律相同。
4. Probability Mass Function / 概率质量函数
4.1 Definition / 定义
Definition
For a discrete random variable , the probability mass function is
对离散型随机变量,PMF 直接把每个可能取值映射到该点的概率质量。
它满足
随机变量的 support 为
PMF 与 CDF 的关系是
因此 PMF 的函数值正是 CDF 在相应取值点的跳跃高度。
4.2 Geometric PMF / 几何分布的概率质量函数
对第一次成功等待时间,
若 且 为整数,则
5. Probability Density Function / 概率密度函数
5.1 Definition / 定义
Definition
A function is a probability density function for a continuous random variable when
for every .
对连续型随机变量,PDF 不是点概率,而是单位长度附近的概率密度;从 积分到 才得到累计概率。
若 可微,则
反过来,由密度积分可得区间概率:
5.2 Point Probabilities / 点概率
对连续型随机变量,
对每个 都成立。因此
Density is not probability
不是 。密度值可以大于 ;只要 非负且曲线下的总面积为 ,它就是合法密度。概率必须通过对集合积分得到。
5.3 Uniform Density on an Interval / 区间上的均匀密度
若
则对 ,
密度为常数,因此概率与区间长度成正比。
6. Normalization / 归一化
Theorem
A function is a valid pmf or pdf if and only if:
- for all ;
- the total mass equals one.
概率质量或概率密度必须处处非负,而且在整个取值空间上的总质量必须恰好等于 。
分别写成
6.1 Normalization Principle / 归一化原则
若 且
则
是合法 PDF。 决定分布的形状,归一化常数 把曲线下的总面积调整为 。
对离散情形同理:若 且 ,则用总和归一化即可得到 PMF。
Example 2: Finding a Normalizing Constant / 例 2:求归一化常数
设
由总面积为 ,
故 。于是
Example 3: Logistic Density / 例 3:Logistic 密度
由
求导得到
区间概率既可由 CDF 作差,也可对 PDF 积分:
当密度表示存在时,CDF 与 PDF 携带同一分布的全部信息;二者只是累积表示与局部密度表示的区别。
7. Discrete and Continuous Random Variables / 离散与连续随机变量
| 项目 | Discrete random variable | Continuous random variable |
|---|---|---|
| 核心函数 | PMF | |
| 点概率 | ,可以为正 | |
| CDF | ||
| 区间概率 | 对区间内 PMF 求和 | 对区间上 PDF 积分 |
| CDF 形状 | 通常为带跳跃的阶梯函数 | 若存在 PDF,则 CDF 连续且绝对连续 |
| 与 CDF 的联系 | PMF 是 CDF 的跳跃量 | PDF 在可微点是 CDF 的导数 |
统一地说,CDF 对所有随机变量都存在;PMF 与 PDF 是适用于特定分布类型的更便捷表示。
8. Quiz 7 and Quiz 8 / 小测 7 与小测 8
8.1 Quiz 7: Distribution Functions / 小测 7:分布函数
Problem 1
命中点在半径 的圆靶上按面积均匀分布, 为到圆心的距离。由
得
Problem 2
函数
是合法 CDF:它单调不减、右连续,并且在 处的极限分别为 与 。
Problem 3
若 、,则
8.2 Quiz 8: PMFs and PDFs / 小测 8:概率质量函数与概率密度函数
Problem 1
设 ,。归一化给出
因此
Problem 2
设离散变量的 PMF 为 ,。因为
所以 ,并且
Problem 3
若 ,,则