求波莱尔强大数定律的证明方法汇总及相关正态数命题解析
嘿，针对你问的“波莱尔强大数定律（二进制正态数版本）有多少种证明方法”这个问题，我整理了几种概率论和测度论领域里主流的思路，每种方法的核心逻辑各有侧重：
首先先明确我们要证明的命题：
几乎所有$x \in [0,1)$都是2进制正态数；即对几乎每个$x \in [0,1)$，其二进制展开中1的出现频率为$\frac{1}{2}$
主流证明方法
经典波莱尔-坎泰利引理路径
这是最基础的证明思路，核心是用概率事件的收敛性推导。我们定义事件序列$A_n(\epsilon) = \left{x \in [0,1): \left|\frac{S_n(x)}{n} - \frac{1}{2}\right| \geq \epsilon\right}$，其中$S_n(x)$是$x$二进制前$n$位中1的个数。通过切尔诺夫界或者马尔可夫不等式估计$P(A_n(\epsilon))$，可以证明$\sum_{n=1}^\infty P(A_n(\epsilon)) < \infty$，再结合第一波莱尔-坎泰利引理，就能得到$P(\limsup_{n\to\infty} A_n(\epsilon)) = 0$——也就是说，几乎必然只有有限个$n$会让频率偏离$\frac{1}{2}$超过$\epsilon$，对任意$\epsilon>0$都成立，自然推出频率几乎必然收敛到$\frac{1}{2}$。遍历理论方法
这个方法从动力系统视角切入：把$[0,1)$上的二进制展开看作移位映射$T(x) = 2x \mod 1$，这个映射关于勒贝格测度是遍历的。定义可测函数$f(x)$为$x$二进制第一位的数值（0或1），那么前$n$位中1的频率就是$\frac{1}{n}\sum_{k=0}^{n-1} f(Tk(x))$。根据**伯克霍夫遍历定理**，这个时间平均几乎必然收敛到$f$关于勒贝格测度的空间平均，也就是$\int_01 f(x)dx = \frac{1}{2}$，直接得到结论。鞅差序列方法
利用鞅的强大数定律推导：令$X_k(x)$为$x$的第$k$位二进制数，那么$X_k$关于$\sigma$-代数$\mathcal{F}k = \sigma(X_1, X_2, ..., X_k)$满足$E[X_k | \mathcal{F}{k-1}] = \frac{1}{2}$。构造鞅差序列$Y_k = X_k - \frac{1}{2}$，则$E[Y_k^2] = \frac{1}{4}$是有限值。根据科尔莫戈罗夫鞅强大数定律，$\frac{1}{n}\sum_{k=1}^n Y_k \to 0$几乎必然，也就是$\frac{S_n(x)}{n} \to \frac{1}{2}$几乎必然。测度论直接覆盖论证
这种方法更偏向纯测度论构造：对任意$\epsilon>0$，定义非正态数相关集合$B_\epsilon = \left{x \in [0,1): \exists \text{无穷多}n, \left|\frac{S_n(x)}{n} - \frac{1}{2}\right| \geq \epsilon\right}$。通过构造区间覆盖估计$B_\epsilon$的勒贝格测度，证明对每个$\epsilon>0$，$m(B_\epsilon)=0$。而所有非正态数的集合就是$\bigcup_{m=1}^\infty B_{1/m}$，可数个零测集的并还是零测集，因此几乎所有$x$都是二进制正态数。
内容的提问来源于stack exchange，提问作者user532325
