遍历系统$(f,\mu)$的典型轨道集合与μ-IID抽取可数集能否区分？

咱们直接聚焦你提出的问题：以圆周上带Lebesgue测度$\mu$的无理旋转（这是经典的遍历系统）为例，$\mu$-典型点$x$的轨道集合$O = {f^n(x)}_{n\ge0}$（去掉时间顺序后），能不能从概率角度和独立同分布（IID）抽取的可数集区分开？

答案是完全可以区分，核心在于两类集合的结构性质有着本质差异，而且这种差异是$\mu$-几乎必然成立的：

• 无理旋转轨道集合的核心特征：对于$\mu$-几乎所有的$x$，轨道集合$O$是一个循环群轨道——换句话说，$O$里任意两个点$y,z$，都能找到整数$k$使得$z = f^{k(y)$（毕竟$z=f}n(x)$，$y=f^m(x)$，取$k=n-m$就行）。简单讲，整个集合里的点都是从$x$出发，通过旋转整数次得到的，彼此之间有明确的“平移关联”。

• IID样本集的几乎必然性质：从$\mu$中独立同分布抽取可数个点组成集合$S$，$\mu$-几乎必然$S$里**不存在任何两个不同的点$y,z$满足$z=f^{k(y)$（$k\in\mathbb{Z}$）**。道理很直观：对于任意固定的$y$，满足$z=f}k(y)$的点是可数个，而Lebesgue测度对可数集的测度为0，所以单个点$z$落在这个可数集的概率是0；再通过可数可加性，所有点对$(y,z)$满足该关系的总概率也是0，因此几乎所有IID样本集都没有这种关联点对。

从概率角度，我们可以定义一个可测性质：

集合$T$满足：对任意$y,z\in T$，存在整数$k$使得$z=f^k(y)$

对于无理旋转的$\mu$-典型轨道$O$，它必然满足这个性质；而IID抽取的可数集几乎必然不满足这个性质——这就构成了两者明确的概率区分依据。

补充一句：如果只看闭包或者经验测度的收敛性，两者确实都满足闭包为全圆周、经验测度弱收敛到$\mu$，但结构上的关联差异是不可忽视的核心区别，而且完全可以用概率语言严格描述清楚。

内容的提问来源于stack exchange，提问作者LuaLua