Transformations and functions that preserve the asymptotic mean of digits in the ternary representation of a number

该论文研究了保持区间 $[0,1)$ 上数在三进制表示中数字渐近均值为 $r$ 的变换与函数，并给出了变换属于该类的充要条件。

要点

这篇论文听起来充满了数学符号和深奥的术语，但如果我们把它想象成一个关于**“数字密码”和“数字变形记”**的故事，就会变得非常有趣。

想象一下，每一个在 0 到 1 之间的小数（比如 0.123...），都可以被写成一种特殊的三进制密码（就像用 0、1、2 这三个数字来写无限长的字符串）。

这篇论文主要研究了两个核心问题：

1. 如果我们把这些数字串打乱、重组或修改，能不能保持它们某种**“平均性格”**不变？
2. 有没有一种魔法，能把数字串变成完全不同的样子，但它们的**“平均性格”**却依然如故？

下面我用几个生活中的比喻来拆解这篇论文：

1. 什么是“三进制数字”和“平均性格”？

想象你有一串无限长的珠子项链，珠子只有三种颜色：红（0）、黄（1）、蓝（2）。

• 三进制表示：就是把一个数字写成红黄蓝珠子的无限序列。
• 数字频率：如果你数了很长很长一段，发现红色占 1/3，黄色占 1/3，蓝色占 1/3，那我们就说这个数的“频率”是平衡的。
• 渐近平均值（核心概念）：这是论文的主角。想象给每种颜色打分：红色 0 分，黄色 1 分，蓝色 2 分。
  • 如果你拿一串珠子，算出它们的平均分（比如平均分是 1 分），这个“平均分”就是论文里说的渐近平均值。
  • 论文关注的是：当我们对数字进行某种“变形”操作后，这个平均分会不会变？

2. 第一类魔法：保持“频率”不变（保守派）

论文首先讨论了一类比较“死板”的变换。

• 比喻：想象你在玩一个换牌游戏。你有一副无限长的牌（红黄蓝），你只是把它们的位置打乱（比如把第 1 张和第 2 张交换，或者把第 1 张移到末尾），但你绝不改变牌的颜色。
• 结果：因为红黄蓝的数量比例完全没变，所以它们的平均分肯定也不会变。
• 论文发现：这类“只换位置不改颜色”的操作，构成了一个数学上的“群”（Group）。就像一群守规矩的舞者，虽然队形变了，但每个人穿的鞋子颜色没变，所以整体色彩统计不变。

3. 第二类魔法：保持“平均分”不变，但“频率”变了（激进派）

这是论文最精彩的部分。作者问：有没有一种更厉害的魔法，能把红黄蓝的比例彻底打乱，但神奇地让“平均分”保持不变？

• 比喻：想象你在调鸡尾酒。

  • 原来的酒：1/3 伏特加（0 分），1/3 果汁（1 分），1/3 糖浆（2 分）。平均分是 1。
  • 现在的魔法：我把伏特加加多一点，把糖浆减一点，但是果汁的量调整得刚刚好，让整杯酒喝起来的**平均甜度（平均分）**依然还是 1。
  • 关键点：酒的成分比例（频率）变了，但口感的平均分（渐近平均值）没变。

• 论文发现：

  • 对于所有数字（包括那些频率不存在的“混乱”数字），作者证明了：如果你要求平均分严格不变，那么对于某些特定的数字（比如全是 0 或全是 2 的极端情况），你无法改变它们的频率。也就是说，在这些极端情况下，想保持平均分不变，就必须保持频率不变。
  • 但是！对于绝大多数正常的数字（数学上叫“几乎处处”），作者构造出了神奇的函数。这些函数能把数字串里的"1"变成"0"或"2"，只要按照特定的规律（比如每 7 个"1"里改几个），就能让频率发生巨大的变化，但平均分依然稳稳地停在 1 上。

4. 第三类魔法：频率甚至“不存在”了（混沌派）

论文最后还展示了一种更极端的魔法。

• 比喻：想象你在玩一个节奏游戏。
  • 正常的数字串：红黄蓝交替出现，很有规律，你能算出平均分。
  • 魔法后的数字串：作者设计了一种极其复杂的节奏（利用阶乘 1!, 2!, 3!... 这种爆炸式增长的间隔），让红黄蓝的出现变得忽快忽慢，毫无规律。
  • 结果：如果你去数频率，会发现它永远在波动，根本算不出一个固定的比例（频率不存在）。但是，如果你算平均分，它却神奇地稳定在一个数值上！
  • 这就像是一个疯狂的音乐家，演奏的音符毫无规律（频率不存在），但如果你把音量平均一下，却发现音量始终保持在“中音”（平均分存在且不变）。

总结：这篇论文到底说了什么？

用一句话概括：在数字的三进制世界里，保持“平均性格”（渐近平均值）不变，比保持“成分比例”（频率）不变要容易得多，也灵活得多。

• 保守派：只要成分比例不变，平均分肯定不变。
• 激进派：即使成分比例大乱，甚至成分比例都算不出来（频率不存在），只要操作得当，依然可以锁住“平均分”不变。

作者通过这篇论文，不仅找到了这些“魔法函数”存在的条件，还证明了这类函数的数量多到无法想象（比实数还多，叫超连续统），展示了数学中**“不变性”**（Invariance）的奇妙世界：有些东西变了，但核心的灵魂（平均分）却永远不变。

技术摘要

论文技术总结：保持三进制表示中数字渐近均值的变换与函数

论文标题：保持三进制表示中数字渐近均值的变换与函数 (Transformations and Functions that Preserve the Asymptotic Mean of Digits in the Ternary Representation of a Number)
作者：M. V. Pratsiovytyi, S. O. Klymchuk, O. P. Makarchuk
发表期刊：Scientific Journal of Drahomanov National Pedagogical University (2013)

---

1. 研究问题 (Problem)

本文主要研究区间 $[0, 1)$ 上的变换和函数，特别是那些能够**保持数字渐近均值（Asymptotic Mean of Digits）**不变的函数。

• 背景定义：

  • 对于实数 $x \in [0, 1)$，其 $s$ 进制（文中主要关注 $s=3$，即三进制）表示为 $x = \sum_{k=1}^{\infty} \frac{\alpha_k}{s^k}$，其中 $\alpha_k \in \{0, 1, \dots, s-1\}$。
  • 数字频率 ($\nu_i(x)$)：数字 $i$ 在表示中出现的频率极限。
  • 数字渐近均值 ($r(x)$)：定义为数字序列的算术平均值的极限：
    $$r(x) = \lim_{n \to \infty} \frac{1}{n} \sum_{k=1}^{n} \alpha_k(x)$$
  • 当所有数字频率存在时，$r(x)$ 与频率的关系为：$r(x) = \sum_{i=0}^{s-1} i \cdot \nu_i(x)$。

• 核心问题：

  1. 是否存在保持数字渐近均值 $r(x)$ 不变，但不保持各个数字频率 $\nu_i(x)$ 不变的函数？
  2. 在“处处”（everywhere）和“几乎处处”（almost everywhere，即勒贝格测度意义下）这两种情况下，这类函数的性质有何不同？
  3. 保持数字频率的变换构成的代数结构是什么？

2. 方法论 (Methodology)

作者采用了以下数学工具和方法：

• 符号动力学与表示论：利用 $s$ 进制（特别是三进制）的符号表示 $\Delta_s \alpha_1 \alpha_2 \dots$ 来构造变换。
• 群论分析：研究保持数字频率的变换集合在复合运算下的代数结构。
• 分形几何与测度论：
  • 利用 Besicovitch-Eggleston 集 $E[\tau_0, \dots, \tau_{s-1}]$（即具有特定数字频率 $\tau_i$ 的数集）来构造反例。
  • 计算 Hausdorff-Besicovitch 分形维数，分析变换对分形维数的影响。
  • 利用 勒贝格测度 处理“几乎处处”的情况，特别是针对正规数（Normal numbers，即所有数字频率均为 $1/s$的数集$H_s$）。
• 极限分析与构造性证明：
  • 构造具体的函数 $f(x)$，通过改变数字序列的特定位置（如基于模运算或阶乘序列）来调整数字分布。
  • 使用 Stolz 定理 和 Lagrange 中值定理 处理涉及阶乘和幂级数的复杂极限计算，以证明频率不存在或均值保持不变。

3. 主要贡献与结果 (Key Contributions and Results)

3.1 保持数字频率的变换群

• 定义：若变换 $f$ 满足 $\nu_i(f(x)) = \nu_i(x)$ 对所有 $x$ 成立，则称其保持数字频率。
• 群结构：证明了所有保持数字频率的变换集合 $V$ 在复合运算下构成一个非交换群（Noncommutative Group）。
• 反例：存在保持数字频率的函数，但它们不是双射（即不是变换），例如通过删除或插入固定数字的函数。

3.2 保持频率但不保持分形维数

• 定理 1：存在保持数字频率的函数，但不保持 Hausdorff-Besicovitch 分形维数。
• 构造：作者构造了一个函数，将 Besicovitch-Eggleston 集 $E[\tau_0, \tau_1, \tau_2]$ 映射为单点。虽然该函数保持了输入数的频率（因为输出数的频率被定义为与输入相同），但它将具有非零分形维数的集合压缩为维数为 0 的点。

3.3 渐近均值与数字频率的强关联（处处情况）

• 核心发现（定理 2）：在三进制系统中，不存在这样的函数 $f$，使得对于所有 $x \in \Theta$（频率存在的集合），既满足 $r(f(x)) = r(x)$，又满足数字频率发生变化（即 $\sum (\nu_j(x) - \nu_j(f(x)))^2 \neq 0$）。
• 推论：在频率存在的集合上，保持渐近均值等价于保持所有数字频率。
  • 例如，若 $r(x)=0$，则必须 $\nu_0(x)=1$；若 $r(x)=2$，则必须 $\nu_2(x)=1$。均值固定迫使频率分布固定。

3.4 几乎处处情况下的突破（主要创新点）

• 定理 3：在勒贝格测度意义下（即针对正规数集 $H$），存在保持渐近均值但不保持数字频率的函数。
• 构造方法：
  • 定义函数 $f$，在正规数 $x$ 的三进制表示中，根据位置索引模 7 的余数，将特定的数字 "1" 替换为 "0" 或 "2"。
  • 具体地，将第 $7k$位的 "1" 变为 "0"，第$7k+1$ 位的 "1" 变为 "2"。
• 结果：
  • 对于正规数 $x$（原频率 $\nu_0=\nu_1=\nu_2=1/3$），变换后的数 $f(x)$ 的频率变为：
    $$\nu_0(f(x)) = \frac{8}{21}, \quad \nu_1(f(x)) = \frac{5}{21}, \quad \nu_2(f(x)) = \frac{8}{21}$$
  • 尽管频率改变了，但渐近均值保持不变：
    $$r(f(x)) = 0 \cdot \frac{8}{21} + 1 \cdot \frac{5}{21} + 2 \cdot \frac{8}{21} = \frac{21}{21} = 1 = r(x)$$
• 基数结论：保持渐近均值几乎处处成立的函数集合具有**超连续统（hypercontinuum）**的基数，表明这类函数非常多。

3.5 频率不存在但均值存在的构造

• 定理 4 (第 6 节)：构造了一个函数 $f$，使得对于正规数 $x$，变换后的数 $f(x)$ 没有任何定义良好的数字频率（即 $\nu_i(f(x))$ 不存在），但其渐近均值 $r(f(x))$ 依然存在且等于 $r(x)$。
• 构造：利用阶乘序列（$1!, 2!, 3!, \dots$）构造数字块的长度，使得数字频率在极限过程中震荡而不收敛，但加权平均值（均值）收敛。这展示了渐近均值是一个比数字频率更“鲁棒”的统计量。

4. 意义与影响 (Significance)

1. 理论深化：论文清晰地界定了“数字渐近均值”与“数字频率”之间的关系。它证明了在严格的全局意义下（处处），两者是强绑定的；但在测度论意义下（几乎处处）或针对特定构造的函数，两者可以解耦。
2. 分形几何应用：通过构造保持均值但改变频率（甚至改变分形维数）的函数，丰富了分形集合变换的理论，特别是针对 Besicovitch-Eggleston 集的研究。
3. 统计性质揭示：揭示了在随机过程或正规数背景下，数字的算术平均值（一阶矩）可以独立于其分布（频率）而保持某种不变性，这为理解数字系统的统计特性提供了新视角。
4. 方法论价值：文中利用阶乘序列构造频率不收敛但均值收敛的例子，为分析数论和动力系统提供了新的构造技巧。

总结：该论文证明了在 $s$ 进制（特别是三进制）表示中，保持数字渐近均值的函数类比保持数字频率的函数类更广泛。特别是在“几乎处处”的意义下，存在大量函数可以改变数字的频率分布，同时保持其算术平均值不变，甚至在频率完全不存在的情况下仍能保持均值。这一发现对分形几何、遍历理论及数字系统的统计性质研究具有重要意义。