FCFG-A：分形连分数几何的算术拓展

作者：张苏杭   河南洛阳

摘要

本文在 Fractal-Continued-Fraction Geometry（FCFG）框架下，将有限连分数从“数值对象”提升为“算术递归系统”，并建立其与几何递归系统的严格同构。我们定义算术递归系统、递归算子链与结构同构，提出 FCFG-A 同构公理，并证明算术递归与几何递归在有限阶情形下结构同构。本文进一步讨论欧几里得算法、丢番图逼近、二次无理数、拉马努金连分数以及常数 e、\pi 的连分数展开在该框架下的位置。

关键词：分形连分数几何；算术递归；连分数；递归算子；结构同构

---

1. 引言

Fractal-Continued-Fraction Geometry（FCFG）建立了有限连分数与有限自相似分形的同构：

r_n = S_n

其中 r_n 为 n 阶有限连分数，S_n 为 n 阶有限自相似分形的全局相似比。该同构表明：算术递归与几何递归在有限阶情形下对应同一结构。

然而，现有 FCFG 将 r_n 主要视为一个数值，未显式展开其算术递归结构。本文的目标是：把连分数从“数值”提升为“算术递归系统”，并建立其与几何递归系统的严格同构。该工作称为 FCFG-A，即 FCFG 的算术拓展。

本文不主张建立独立于 FCFG 的新学科，而是将算术侧显式化，使 FCFG 的同构公理获得算术基础。

---

2. 预备：FCFG 核心回顾

2.1 有限连分数

设 a_1,a_2,\dots,a_n 为正整数序列，定义 n 阶有限连分数：

r_n = \cfrac{1}{a_1+\cfrac{1}{a_2+\cdots+\cfrac{1}{a_n}}}

记 r_n\in\mathbb{Q}。

2.2 有限自相似分形

设 F_0 为初始图形，按比例 1/a_k 递归缩放并复制 a_k 份，得到 F_k。定义 F_n 的全局相似比为 S_n。

2.3 FCFG 同构公理

r_n = S_n

---

3. 算术递归系统

定义 3.1（算术递归系统）

设 a_1,\dots,a_n 为正整数序列。定义算术递归系统：

\mathcal{A}_n = (a_1,\dots,a_n)

对应连分数 r_n。

定义 3.2（递归算子）

对正整数 a，定义递归算子：

T_a(x) = \frac{1}{a+x}

则算术递归系统可表示为算子链：

r_n = T_{a_1}\circ T_{a_2}\circ\cdots\circ T_{a_n}(0)

定义 3.3（算术递归结构）

称算子链

\mathcal{T}_n = (T_{a_1},T_{a_2},\dots,T_{a_n})

为 n 阶算术递归结构。

---

4. FCFG-A 同构公理

公理 4.1（FCFG-A 同构公理）

对任意 n 阶算术递归系统 \mathcal{A}_n，存在 n 阶几何递归系统 \mathcal{G}_n，使得：

\mathcal{A}_n \cong \mathcal{G}_n

且

r_n = S_n

其中 \cong 表示递归结构同构，即算子链与缩放链在递归层级上一一对应。

---

5. 结构同构定理

定理 5.1（算术–几何递归同构）

算术递归结构 \mathcal{T}_n 与几何递归结构 \mathcal{R}_n 同构。

证明：

几何递归结构定义为缩放链：

\mathcal{R}_n = (R_{a_1},R_{a_2},\dots,R_{a_n})

其中 R_{a_k} 表示按比例 1/a_k 缩放并复制 a_k 份。

定义映射：

\phi: T_{a_k} \mapsto R_{a_k}

则 \phi 保持递归层级与复合顺序：

\phi(T_{a_1}\circ\cdots\circ T_{a_n})

= R_{a_1}\circ\cdots\circ R_{a_n}

由 FCFG 同构公理，r_n=S_n，故 \phi 为结构同构。\square

---

6. 基本性质定理

定理 6.1（收敛对应）

r_n 收敛当且仅当 S_n 收敛。

证明：由公理 4.1，r_n=S_n，故收敛性等价。\square

定理 6.2（周期对应）

若 a_k 为周期序列，则 r_n 为二次无理数，且 S_n 具有自相似周期。

证明：周期连分数收敛于二次无理数。由公理 4.1，S_n 亦为二次无理数。几何递归的周期性由 a_k 的周期性直接决定。\square

定理 6.3（有界对应）

若 a_k 有界，则算术递归深度可控，几何递归维数有限。

证明：a_k 有界意味着每层缩放比有界，故递归深度可控。几何维数由 \log N/\log a 给出，有界条件下有限。\square

---

7. 经典算术结构的 FCFG-A 解释

7.1 欧几里得算法

欧几里得算法：

a = bq + r

递归取余对应连分数展开。FCFG-A 将其解释为算术递归的几何化。

7.2 丢番图逼近

连分数渐近分数：

\frac{p_k}{q_k}

递归逼近实数，对应几何上的逐层缩放逼近。

7.3 二次无理数

周期连分数对应二次无理数。FCFG-A 将其解释为：

周期算术递归 ↔ 自相似几何递归

7.4 拉马努金连分数

拉马努金连分数：

\frac{4}{\pi}=1+\cfrac{1^2}{2+\cfrac{3^2}{2+\cfrac{5^2}{2+\cdots}}}

其系数序列在 FCFG-A 中对应一类特殊几何递归系统，收敛速度由系数增长决定。

7.5 常数 e 与 \pi

e=[2;1,2,1,1,4,1,1,6,\dots]

\pi=[3;7,15,1,292,1,1,1,2,\dots]

其连分数系数序列在 FCFG-A 中对应特定递归几何结构。

---

8. 讨论

8.1 与 FCFG 的关系

FCFG-A 是 FCFG 的算术侧显式化。FCFG 处理同构关系，FCFG-A 展开算术递归结构。

8.3 局限性

· 仅适用于正系数、有限阶、收敛情形；

· 不是所有算术递归都能几何化；

· 目前为框架性工作，需进一步严格定理支撑。

---

9. 结论

本文在 FCFG 框架下建立了算术递归与几何递归的严格同构，主要结果包括：

1. 算术递归系统的算子链定义；

2. FCFG-A 同构公理；

3. 算术–几何递归同构定理；

4. 收敛、周期、有界对应定理；

5. 经典算术结构的 FCFG-A 解释。

---

参考文献

[1] FCFG 原始框架资料.

[2] 连分数与丢番图逼近经典理论.

[3] 拉马努金连分数相关研究.

[4] 分形几何与自相似结构.

---