关于(0,1)上连续随机变量概率推导矛盾的疑问
嘿,我来帮你拆解这个看似矛盾的推导——核心问题出在一个容易忽略的细节上,咱们一步步理清楚:
首先,你推导里的关键漏洞是:你默认了所有$(r_n - t, r_n + t)$的并集能覆盖整个$(0,1)$,但实际上这个结论根本不成立。
咱们仔细看你的步骤:你说对每个有理数$r_n$,因为$P(X=r_n)=0$,所以能找到$t$(准确说应该是依赖于$n$的$t_n$)使得$P(X\in(r_n-t_n,r_n+t_n))\le \frac{1}{Nn^2}$。这一步本身没问题,但接下来你直接把$P(X\in(0,1))$和这个区间并集的概率划了“小于等于”的关系,这就错了——这些区间的并集完全没有覆盖(0,1)的全部。
举个具体的例子:假设X是(0,1)上的均匀分布,我们给每个有理数$r_n$取$t_n = \frac{1}{2{n+1}N}$,那么所有区间的总长度(对应概率)是$\sum_{n=1}\infty 2t_n = \frac{1}{N}\sum_{n=1}^\infty \frac{1}{2^n} = \frac{1}{N}$,确实很小,但(0,1)里还剩下一大块测度为$1 - \frac{1}{N}$的点集(是个类似康托集的不可数闭集),这些点不在任何一个$(r_n-t_n,r_n+t_n)$里,对应的概率是$1 - \frac{1}{N}$,完全被你漏掉了。
再往深了说:连续随机变量单点概率为0,不代表我们能用可数个任意小的区间“兜住”所有可能的取值——因为实数集是不可数的,可数个开区间的并集无论怎么取,都无法覆盖不可数的剩余点集。测度论里的可数可加性只告诉我们可数个集合的并集的测度不超过各集合测度之和,但如果这个并集不是整个样本空间对应的取值范围,那剩下的部分的测度(概率)是不能被忽略的。
所以你的推导错误就在于错误地假设了$(0,1) \subseteq \bigcup_{n\ge1}(r_n-t_n,r_n+t_n)$,但实际上这个包含关系不成立,自然也就不能用这个并集的概率去上界整个$(0,1)$的概率了。
备注:内容来源于stack exchange,提问作者W. Wongcharoenbhorn

