关于Billingsley《概率测度的收敛》中习题12.5的弱收敛问题及定理12.6不适用原因的技术问询

首先先回顾书中的定理和习题内容：

定理12.6（Billingsley《概率测度的收敛》第3章第12节，p.136）：
假设 $E \in \mathcal D$，$T_0$ 是 $[0,1]$ 中的可数稠密子集。进一步假设：若 $x, x_n \in E$ 且对所有 $t \in T_0$ 有 $x_n(t) \to x(t)$，则在Skorohod拓扑下 $x_n \to x$。如果 $P_nE = PE = 1$，且对所有 $T_0$ 中的 $k$ 元组有 $P_n\pi_{t_1,\ldots,t_k}^{-1} \Rightarrow P\pi_{t_1,\ldots,t_k}^{-1}$，那么 $P_n \Rightarrow P$。

习题12.5：
假设 $\xi$ 在 $[\frac{1}{3},\frac{2}{3}]$ 上均匀分布，考虑随机函数 $X = 2I_{[\xi,1]}$，$X^n = I_{[\xi-\frac{1}{n},1]}+I_{[\xi+\frac{1}{n},1]}$。
证明 $X_n \not\Rightarrow X$，尽管对所有 $t_1,\ldots,t_k$ 有 $X^n_{t_1,\ldots,t_k} \Rightarrow X_{t_1,\ldots,t_k}$。为什么定理12.6不适用？

你的弱收敛不成立的证明是正确的 #

你构造的连续函数 $f(x)=\inf {t\in[0,1]\mid x(t)=1}$ 在你选定的路径空间 $E$（仅取值于 ${0,1,2}$ 的有限间断cadlag路径）上确实是连续的：因为Skorohod收敛要求路径的跳跃时间和取值都能通过微小的时间重排匹配，而 $f(x)$ 捕捉的是第一次取1的跳跃时间，自然会随路径的Skorohod收敛而收敛。

计算结果也完全正确：

• $E[f(X_n)] = E\left(\xi - \frac{1}{n}\right) = \frac{1}{2} - \frac{1}{n} \to \frac{1}{2}$
• $E[f(X)] = +\infty$，因为 $X$ 的样本路径永远不会取到1

根据弱收敛的定义（对所有有界连续函数 $f$，$E[f(X_n)] \to E[f(X)]$），这里显然不满足，所以 $X_n \not\Rightarrow X$ 的结论是对的。

定理12.6不适用的核心原因 #

你困惑的点在于忽略了定理12.6的第一个关键前提条件：即“对任意 $x, x_n \in E$，若在 $T_0$ 上点态收敛 $x_n(t) \to x(t)$，则必然在Skorohod拓扑下 $x_n \to x$”——这个条件在你的问题中是不成立的，不管你选哪个可数稠密子集 $T_0$。

我们可以具体构造反例：
取固定的 $t_0 \in [\frac{1}{3},\frac{2}{3}]$，定义：

• $x_n(t) = I_{[t_0 - 1/n, 1]} + I_{[t_0 + 1/n, 1]}$（对应 $X_n$ 的一条样本路径）
• $x(t) = 2I_{[t_0, 1]}$（对应 $X$ 的一条样本路径）

由于 $T_0$ 是可数的，我们总能选到 $T_0$ 不包含 $t_0$（可数集不包含所有实数）。此时对所有 $t \in T_0$：

• 若 $t < t_0$：当 $n$ 足够大时，$t < t_0 - 1/n$，所以 $x_n(t) = 0 + 0 = 0 = x(t)$
• 若 $t > t_0$：当 $n$ 足够大时，$t > t_0 + 1/n$，所以 $x_n(t) = 1 + 1 = 2 = x(t)$

也就是说，$x_n$ 在 $T_0$ 上点态收敛到 $x$，但在Skorohod拓扑下 $x_n$ 永远不收敛到 $x$：
因为Skorohod收敛要求存在时间重排 $\lambda_n$，使得 $\sup_t |\lambda_n(t) - t| \to 0$ 且 $\sup_t |x_n(\lambda_n(t)) - x(t)| \to 0$。但 $x_n$ 会在 $[t_0 - 1/n, t_0)$ 取1、$[t_0, t_0 + 1/n)$ 取1，而 $x$ 在这些区间分别取0和2，无论怎么调整 $\lambda_n$，$\sup_t |x_n(\lambda_n(t)) - x(t)|$ 至少为1，永远无法趋近于0。

这就直接违反了定理12.6的核心前提——点态收敛（在可数稠密集上）必须蕴含Skorohod收敛。因此定理12.6无法应用到这个问题上。

另外你提到的“$E$ 是否需要是最小支撑集”其实不是关键，定理只要求 $P_nE=PE=1$，但那个“点态收敛推Skorohod收敛”的条件必须对整个 $E$ 成立，而你的 $E$ 中存在这样的路径对，破坏了这个条件。

备注：内容来源于stack exchange，提问作者jdods