离散秩序几何（DOG）基础：系统定义、态射与秩序同构

——DOG框架第一块基石草案

作者：张苏杭
（河南洛阳）

---

说明

本文给出DOG离散秩序几何框架的第一块基础：DOG系统的严格定义、DOG态射与秩序同构。

没有这一块，DOG无法讨论：

· 两个系统何时属于同一类型；
· DOG系统之间的映射；
· DOG的等价类与不变量；
· 与序理论、图论、拓扑学的精确接口。

本文所有定义为框架性尝试，不宣称唯一性，不宣称最优性。目的仅为：让DOG的核心概念从定性描述变成可讨论的数学对象。

---

1 引言

DOG（Discrete Order Geometry，离散秩序几何）的基本主张是：

几何系统可以不依赖空间连通性，而以层级嵌套、秩序同构、连分数尺度作为结构判定的核心依据。

在这一主张下，最基础的问题不是“如何计算”，而是：

1. 什么是一个DOG系统？
2. 两个DOG系统何时可视为同一结构？
3. DOG系统之间如何建立映射？
4. 什么量在DOG映射下保持不变？

本文回答这四个问题，给出：

· DOG系统的五元组定义；
· DOG态射的定义（含单调性与函数关系）；
· 秩序同构的定义；
· 秩序同构作为等价关系的证明；
· 第一个DOG不变量：层级秩；
· 秩序同构判定问题的复杂度定位。

本文是DOG框架的地基，不是孤立的技术定义。

---

2 DOG系统的定义

定义2.1（DOG系统）

一个DOG系统是一个五元组

\mathcal{S}=(\mathcal{L},\,\preceq,\,\mathcal{R},\,r,\,C)

其中：

1. \mathcal{L} 是一个有限或可数离散集合，其元素称为格点；
2. \preceq 是 \mathcal{L} 上的一个偏序关系，称为层级序；
3. \mathcal{R}\subseteq \mathcal{L}\times\mathcal{L} 是一个二元关系，称为邻接关系；
4. r:\mathcal{L}\to\mathbb{R}_{>0} 是尺度函数，为每个格点赋予正实尺度；
5. C:\mathcal{L}\to\mathbb{N} 是层级系数函数，为每个格点赋予连分数系数。

定义2.2（相容性条件）

邻接关系 \mathcal{R} 与层级序 \preceq 相容，指：

1. 若 x\preceq y，则 (x,y)\notin\mathcal{R}；
2. 若 (x,y)\in\mathcal{R}，则 x,y 处于同一层级或相邻层级；
3. \mathcal{R} 局部有限：每个格点只与有限个格点邻接。

说明：

结构数据 描述
\preceq 谁嵌套谁
\mathcal{R} 谁与谁隔空耦合
r 尺度
C 连分数层级

四者共同构成DOG系统的结构数据。

---

3 DOG态射

定义3.1（DOG态射）

设

\mathcal{S}_1=(\mathcal{L}_1,\preceq_1,\mathcal{R}_1,r_1,C_1),\quad
\mathcal{S}_2=(\mathcal{L}_2,\preceq_2,\mathcal{R}_2,r_2,C_2)

为两个DOG系统。

一个DOG态射是一个单值函数

\phi:\mathcal{L}_1\to\mathcal{L}_2

满足以下四条：

1. 单调性：\phi 关于层级序单调，即
x\preceq_1 y\implies\phi(x)\preceq_2\phi(y);
2. 保邻接：若 (x,y)\in\mathcal{R}_1，则 (\phi(x),\phi(y))\in\mathcal{R}_2；
3. 保尺度比：存在常数 \lambda>0，使得对任意 x\in\mathcal{L}_1，
r_2(\phi(x))=\lambda\cdot r_1(x);
4. 保连分数系数：对任意 x\in\mathcal{L}_1，
C_2(\phi(x))=C_1(x).

说明：

· \phi 是单值函数；
· 条件1即通常的序保持，也就是非严格单调；
· 条件3允许整体尺度缩放，不允许局部尺度失真；
· 条件4要求连分数层级一致。

---

4 秩序同构

定义4.1（秩序同构）

两个DOG系统 \mathcal{S}_1,\mathcal{S}_2 称为秩序同构，若存在一个DOG态射

\phi:\mathcal{L}_1\to\mathcal{L}_2

使得：

1. \phi 是双射；
2. \phi^{-1} 也是DOG态射。

此时记 \mathcal{S}_1\cong_{\mathrm{DOG}}\mathcal{S}_2，称 \phi 为一个秩序同构。

说明：

· 由于 \phi 与 \phi^{-1} 都保序，\phi 是严格单调的双射；
· 严格单调意味着 \phi 不仅保序，还反映序：
\phi(x)\preceq_2\phi(y)\implies x\preceq_1 y;
· 同理，\phi 不仅保邻接，还反映邻接。

---

5 秩序同构的基本性质

命题5.1（自反性）

\mathcal{S}\cong_{\mathrm{DOG}}\mathcal{S}。

命题5.2（对称性）

若 \mathcal{S}_1\cong_{\mathrm{DOG}}\mathcal{S}_2，则 \mathcal{S}_2\cong_{\mathrm{DOG}}\mathcal{S}_1。

命题5.3（传递性）

若 \mathcal{S}_1\cong_{\mathrm{DOG}}\mathcal{S}_2，\mathcal{S}_2\cong_{\mathrm{DOG}}\mathcal{S}_3，则 \mathcal{S}_1\cong_{\mathrm{DOG}}\mathcal{S}_3。

推论5.4

秩序同构是DOG系统类上的等价关系。

证明：由命题5.1–5.3直接得到。\square

---

6 弱化版本：同态与嵌入

实际系统中，双射条件过强，因此引入弱化版本。

定义6.1（秩序同态）

一个DOG态射 \phi:\mathcal{L}_1\to\mathcal{L}_2 称为秩序同态，若不要求双射。

定义6.2（秩序嵌入）

一个秩序同态 \phi 称为秩序嵌入，若：

1. \phi 是单射；
2. \phi 严格单调：x\prec_1 y\implies\phi(x)\prec_2\phi(y)；
3. \phi 反映层级序：若 \phi(x)\preceq_2\phi(y)，则 x\preceq_1 y；
4. \phi 反映邻接：若 (\phi(x),\phi(y))\in\mathcal{R}_2，则 (x,y)\in\mathcal{R}_1。

说明：嵌入保留结构，但允许目标系统含有额外格点。

三种态射对照：

名称 单调性 邻接 双射性
秩序同态 非严格单调 保邻接 否
秩序嵌入 严格单调 + 反映序 保邻接 + 反映邻接 单射
秩序同构 严格单调 保邻接 + 反映邻接 双射

---

7 第一个DOG不变量：层级秩

定义7.1（层级秩）

设 \mathcal{S}=(\mathcal{L},\preceq,\mathcal{R},r,C)。定义其层级秩为

\mathrm{rank}(\mathcal{S})=\sup\{n\in\mathbb{N}:\exists\,x_0\prec x_1\prec\cdots\prec x_n\}.

即 \preceq 链的最大长度。

命题7.2

秩序同构保持层级秩：

\mathcal{S}_1\cong_{\mathrm{DOG}}\mathcal{S}_2\implies \mathrm{rank}(\mathcal{S}_1)=\mathrm{rank}(\mathcal{S}_2).

证明：双射保序，链长不变。\square

说明：层级秩是DOG系统的第一个不变量，但它非常粗糙。后续需要更强的DOG不变量。

---

8 秩序同构的判定问题

问题8.1

给定两个有限DOG系统 \mathcal{S}_1,\mathcal{S}_2，判定它们是否秩序同构。

说明：

· 若将DOG系统编码为有限标记图，则该问题可归约为图同构问题；
· 图同构的复杂度尚未完全确定；
· 因此，秩序同构的判定问题，其复杂度至少与图同构相当。

这是一个具体的、可讨论的数学问题。

---

9 待研究的问题

以下问题留待后续：

1. 更强的DOG不变量：层级秩太粗，需构造能区分更多结构的DOG不变量；
2. 连分数谱不变量：连分数系数 C 在秩序同构中起什么作用？
3. 连续极限：当格点密度趋于无穷时，DOG系统是否收敛到连续几何？收敛在什么拓扑下成立？
4. 与已有理论的关系：与序同构、图同构、同胚、同伦的确切关系是什么？
5. 可计算例子：给出一个非平凡的、可手算的秩序同构例子。

---

10 结论

本文给出DOG框架的第一块基础：

· 以五元组 (\mathcal{L},\preceq,\mathcal{R},r,C) 定义DOG系统；
· 以单值函数、单调、保邻接、保尺度比、保连分数系数定义DOG态射；
· 以双射 + 逆也是态射定义秩序同构；
· 证明秩序同构是等价关系；
· 给出三种态射的对照表；
· 给出第一个不变量：层级秩；
· 指出判定问题可归约为图同构。

该定义为DOG框架提供了第一个可讨论的数学接口。 是否为最优定义，需后续研究检验。

---

参考文献

略

---

说明：本文为DOG框架下系统定义与秩序同构的严格化草案，所有定义为探索性尝试，不构成最终结论。与已有组合拓扑、序理论、图论的关系，是后续工作需进一步说明的重点。