Skip to content

定义Definition

依分布收敛

Convergence in distribution · Weak convergence

分布函数在极限分布连续点处收敛的随机变量收敛概念。

形式陈述 ​

一列实随机变量 Xn 的分布依分布收敛到 X,记作 Xn→dX,若

FXn(x)→FX(x)

在 FX 的每个连续点 x 成立。更一般地,度量空间值随机变量的分布 μn 弱收敛到 μ,若对每个有界连续函数 f,

∫fdμn→∫fdμ.

依概率收敛蕴含依分布收敛。常数极限是重要的反向特例:若 Xn→dc,则对每个 ε>0 都有 Pn(|Xn−c|>ε)→0;这个概率只由 Xn 的边缘分布决定。各变量位于同一概率空间时,这正是通常的 Xn→Pc;位于不同空间时,上式仍给出无歧义的跨空间表述。

直觉

这种收敛只看概率质量怎样重新排布,不要求在同一实验中逐点比较 Xn 与 X。从测试函数角度看,它要求所有有界连续观察量的期望趋于相应极限,因此只保留分布层面的可观测信息。极限分布的跳点之所以被排除在 CDF 点态条件之外,是因为微小质量移动可以跨过跳点而不代表弱极限失败。

例子与边界

取独立的公平 Bernoulli 变量 X,Y,并令每个 Xn=Y。所有 Xn 与 X 的分布完全相同,因此依分布收敛;但

P(|Xn−X|>1/2)=P(Y≠X)=1/2,

所以它们不依概率收敛到 X。同一分布可以在共同实验中对应不同的结果。

若 Xn∼N(0,1+1/n),其分布函数为 Φ(x/1+1/n),逐点趋于标准正态分布函数 Φ(x)。这个计算使用每个变量各自的分布,因而也适用于定义在不同概率空间上的 Xn。

分布趋近时,少量质量仍可移向很远的地方。例如令 Xn 以概率 1/n 取值 n,其余时候取零。则 Xn→d0,但 E[Xn]=1 始终不变。尾部的概率越来越小,数值却越来越大,均值保留了这部分贡献;一致可积性正是对这种尾部贡献的控制。

推论与应用

分布函数把随机变量的极限问题转成一列实数的收敛问题。中心极限定理用这种方式描述标准化和的正态极限;依概率收敛则进一步控制同一实验中变量之间的距离,并蕴含依分布收敛。

估计量的渐近正态性常写成 n(θ^n−θ)→dN(0,σ2)。它描述中心化、缩放后的误差分布,进而给出大样本置信区间。Slutsky 定理允许用依概率收敛的尺度估计替换未知 σ。

Portmanteau 定理说明一维 CDF 条件如何接上一般的测度弱收敛:事件 (−∞,x] 的边界是 {x},所以极限分布在 x 无原子时,事件概率必然收敛。例如 μn=12δ1/n+12Unif[1,2] 弱收敛到 μ=12δ0+12Unif[1,2],但 Fn(0)=0 而 F(0)=1/2;在连续点 3/2,两者都为 3/4。跳点的失配与依分布收敛完全相容。

连续映射定理把 Xn→dX 传递为 T(Xn)→dT(X),其中 T 可测且其不连续点集合在极限律下为零测集。在 Hermitian 随机矩阵问题中,还可把不同维数矩阵的实特征值编码为实数轴上的经验概率测度,从而在同一个测度空间中研究谱分布的极限。

参考资料
  • Patrick Billingsley, Probability and Measure, 3rd ed., Wiley, 1995,Ch. 1, weak convergence and distribution functions。
  • Rick Durrett, Probability: Theory and Examples, 5th ed., Cambridge University Press, 2019,Ch. 3, weak convergence and characteristic functions。
关系图谱26 个相邻概念 · 3 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组
分类位置

上位 / 更一般

暂未标注直接上位概念。

下位 / 直接特例

类型化关系

使用的工具

被这些条目使用