关于几乎必然收敛中收敛一致性的疑问

嘿，这个问题问到点子上了，很多刚接触概率收敛概念的同学都会在这儿犯迷糊～

先把你的问题再明确下：你说的是，给定几乎必然收敛的定义——$X_n$几乎必然收敛到$X$当且仅当$\mathbb{P}\left({\omega:\lim\limits_{n\to\infty}X_n(\omega)=X(\omega)}\right)=1$，记这个满测度集合为$A$。你想知道：是不是对任意$\omega\in A$、任意$\epsilon>0$，都存在一个**不依赖于$\omega$**的正整数$T$，使得当$n\geq T$时，$|X_n(\omega)-X(\omega)|<\epsilon$？

答案是：完全不是这样！

几乎必然收敛（a.s.收敛）的核心是“逐点收敛”，但这个逐点是对每个$\omega\in A$单独成立的——也就是说，对每个$\omega$和$\epsilon>0$，存在一个$T(\omega,\epsilon)$（这个$T$是跟$\omega$和$\epsilon$都有关的），当$n\geq T(\omega,\epsilon)$时满足不等式。但完全没有要求这个$T$能对所有$\omega\in A$“一视同仁”。

举个简单的例子帮你理解：
考虑概率空间$\Omega=[0,1]$，概率测度$\mathbb{P}$是区间上的勒贝格测度。定义随机变量序列：
$$X_n(\omega)=\omega^n$$
以及极限随机变量$X(\omega)=0$（当$\omega\in[0,1)$时），$X(1)=1$。

显然，当$\omega\in[0,1)$时，$\lim\limits_{n\to\infty}X_n(\omega)=0=X(\omega)$，而$\mathbb{P}([0,1))=1$，所以$X_n$几乎必然收敛到$X$。但在集合$A=[0,1)$上，$X_n$并不一致收敛到$X$：
比如取$\epsilon=\frac{1}{2}$，不管你选多大的$n$，总能找到一个$\omega_0=\left(\frac{1}{2}\right)^{{\frac{1}{n}}\in[0,1)$，这时候$X_n(\omega_0)=\left(\left(\frac{1}{2}\right)}{\frac{1}{n}}\right)^n=\frac{1}{2}$，也就是$|X_n(\omega_0)-X(\omega_0)|=\frac{1}{2}=\epsilon$，不满足小于$\epsilon$的要求。这就说明，不存在一个不依赖$\omega$的$T$，能让所有$\omega\in A$在$n\geq T$时都满足不等式。

简单总结：几乎必然收敛只保证每个“好的”$\omega$自己能找到对应的收敛速度，但不同$\omega$的收敛速度可能差得很远，完全没有一致收敛的保证。如果要得到一致收敛的性质，通常需要额外的条件（比如序列被某个可积随机变量控制之类的）。

备注：内容来源于stack exchange，提问作者R-CH2OH