DOG离散秩序几何与格论：秩序结构的代数表示

作者：张苏杭

地址：河南洛阳

---

摘要

格论是研究偏序集中任意两元素存在唯一上确界和下确界的代数结构，广泛应用于逻辑、计算机科学和量子力学。离散秩序几何（DOG）以有限离散节点及其秩序耦合为核心，构建了从连分数系数序列递归生成几何结构的框架。本文揭示DOG节点集上的自然序关系构成一个分配格，其中节点间的覆盖关系对应于递归生成中的“子结构包含”与“耦合强度序”。进一步，DOG基元 B(C,n) 的全体在“嵌入”关系下形成模格，其原子对应于恒定系数序列 C 的基本递归层。本文还证明：连分数系数序列的优劣比较可转化为格中元素的高度函数，从而将递归深度与格维数联系起来。该工作为DOG提供了代数基础，也为格论提供了几何直观的新模型。

关键词：离散秩序几何；格论；连分数系数；分配格；模格；递归深度

---

1. 引言

1.1 格论的基本对象

格是一个偏序集 (L, \le)，其中任意两个元素 a,b 存在最小上界（并，a\vee b）和最大下界（交，a\wedge b）。格论起源于19世纪的布尔代数与逻辑学，后发展出分配格、模格等丰富结构，并在泛函分析、理论计算机科学和量子逻辑中扮演重要角色。

1.2 DOG的基本结构

离散秩序几何（DOG）将几何实体还原为有限离散节点集 \mathcal{L} = \{\mathcal{L}_i\}，节点间通过秩序耦合（由邻接矩阵 A_{ij} 编码）连接。递归生成规则由连分数系数序列 \{a_k\} 决定：恒定系数序列 C 生成规整自相似结构（DOG基元 B(C,n)），变系数序列生成复杂或混沌结构。

1.3 本文目的

我们观察到：DOG节点之间天然存在“生成/包含”序关系——若节点 x 是节点 y 的递归子结构，则 x 应当被认为“小于” y。这种序关系满足格公理。本文系统建立DOG节点集上的格结构，并探讨其与连分数系数序列、递归深度的代数对应。

---

2. DOG节点集的偏序定义

2.1 递归生成树与父子关系

DOG的递归生成过程可以表示为一棵有根树（生成树）：

· 根节点对应初始形状（如一个基本区域）。

· 每个节点根据恒定系数 C 分裂为 C 个子节点，每个子节点缩放比例为有限连分数收敛值 r_n(C)。

· 每个子节点本身又可继续递归。

定义2.1（节点序）：设 x, y 是DOG生成树中的节点。定义 x \preceq y 当且仅当 x 是 y 的后代（即 y 经过若干次递归后产生了 x，或者 x=y）。该关系是偏序：自反、反对称、传递。

2.2 子结构包含作为序

在几何实现中，每个节点对应一个几何区域（或子结构）。后代节点对应的区域包含在祖先节点区域内部（因为递归缩放）。因此，\preceq 等价于集合包含关系。该偏序具有最小元（根节点）和最大元（叶子节点？实际上叶子是最大深度节点，但不同分支深度不等，故不一定有统一最大元）。

---

3. 格结构的存在性

3.1 并运算与交运算

对于任意两个节点 x, y，定义：

· 交 x \wedge y：考虑从根到 x 和到 y 的两条路径。它们从根开始重合，在某处分叉。取分叉前最后一个公共祖先作为 x \wedge y。若两路径无公共祖先（除了根），则根为交。

· 并 x \vee y：考虑包含 x 和 y 的最小公共后代？实际上，由于树结构，两个节点可能没有共同的后代（除非一个在另一个的子树内）。但在树中，并运算通常定义为它们的最低公共祖先（LCA）的反向？不，在树形偏序中，并并非总是存在。例如两个不同分支的叶子节点没有比根更大的下界？事实上，树作为偏序集是 meet-半格（任意两元素存在交），但不一定是 join-半格（并可能不存在）。然而，如果我们添加一个虚拟的最大元（“整个结构”），则所有元素都有上界。

修正：DOG生成树是一个森林？实际上，整个几何构型可以看作根节点不断分裂形成的树。所有节点都有根作为祖先。两节点的最小上界（并）是它们的最低公共祖先（LCA）吗？注意：在树偏序中，如果我们将祖先视为“小于”后代（与通常相反），则需要仔细。

通常树偏序定义：x \le y 若 x 是 y 的祖先（即 x 更小）。那么任意两个节点的最小上界就是它们的 LCA，而最大下界可能不存在（如果它们无公共后代）。但这里我们更自然地使用“后代更小”的偏序（因为后代包含在前代中）。为保持一致，我们采用 定义2.1 即后代小于祖先。则根是最大元，叶子是最小元。在这种定义下，任意两个节点存在最大下界（交）——就是它们的最低公共祖先（因为祖先更大，交需要取最大的公共祖先？实际上需重新推导）。

为避免混淆，我们采用更标准的定义：设偏序关系是“包含于”。后代区域被包含于祖先区域，所以后代 ≤ 祖先（因为集合更小）。则根是最大元（整个结构），叶子是最小元（不可再分的基本区域）。在这种偏序下：

· 交 x \wedge y：两个区域的最大公共子区域，即它们被包含的最大的公共祖先区域。这恰好是它们的 LCA（最低公共祖先，因为祖先更大）。

· 并 x \vee y：包含 x 和 y 的最小区域。由于树结构，两节点不一定有公共后代，但它们的并可以定义为它们的最小公共祖先？不，最小公共祖先是交。并应是包含两者的最小区域，实际是它们所在的最小子树根？若 x 和 y 没有包含关系，则并应该是某个祖先，这个祖先是两者的祖先但最“小”。这正是它们的最低公共祖先？但LCA是交，不是并。所以需要重新检查。

实际上，在树形偏序中（后代≤祖先），任意两个元素的上确界（并）是它们的 LCA（因为LCA是包含两者的最小祖先），下确界（交）是……如果两个节点不在同一分支，它们没有公共后代，因此交不存在（除非添加一个虚拟最小元）。所以树偏序是 join-半格，不一定是 meet-半格。

我们可能考虑 反过来定义：祖先≤后代（即祖先更小）。则根是最小元，叶子是最大元。此时任意两个节点的最大下界（交）是它们的 LCA，最小上界（并）是它们的最小公共后代（可能不存在）。但仍不完整。

解决办法：DOG中的节点不仅包括生成树中的节点，还包括通过耦合规则产生的“组合节点”——即不同分支区域的交集、并集。若我们允许考虑由任意节点集合生成的子格（例如所有有限并和交的闭包），则可以得到一个分配格。这与经典格论中“子集格”类似。

3.2 由区域集生成的格

令 S 为DOG中所有基本节点（递归生成树中的节点）的集合。考虑由 S 生成的并交闭包：定义 L = \{ \bigcup_{i} U_i \mid U_i \in S \text{ 或交运算有限闭包} \}。由于几何区域都是紧致且可测，且交并运算满足幂等、交换、结合、吸收律，L 构成一个分配格（实际上是一个布尔代数？不，因为补运算不一定存在）。但至少是分配格：因为区域的交和并对集合包含关系成立。

定理3.1：DOG中所有有限并和交的闭包构成一个分配格 (L, \cup, \cap)，其中偏序为集合包含。

证明：区域是欧氏空间（或离散点集）的子集，集合的并和交满足分配律。且任意有限并和交的集合在交并下封闭。故为分配格。

3.3 DOG基元与格原子

DOG基元 B(C,n) 本身是特定递归深度的几何构型。在格 L 中，不可再分的基本区域（即叶子节点）称为原子。每个原子对应一个最小递归单元（例如最小层级的自相似块）。原子之间无包含关系，且任何非原子区域可以表示为原子集合的并。因此，L 实际上是由所有原子生成的布尔代数（如果考虑补集）。但DOG中通常只考虑正向区域，不包含补运算，故为分配格。

---

4. 连分数系数序列与格维数

4.1 递归深度作为高度函数

定义高度函数 h: L \to \mathbb{N}：对每个区域 A，h(A) 等于生成 A 所需的最大递归深度（即从根到最远原子边界的步数）。由于递归深度与连分数系数序列的收敛值 r_n(C) 有关，我们可以证明：

引理4.1：若 A 是由恒定系数 C 生成的DOG基元，且深度为 n，则 h(A) = n。

4.2 格同余与系数等价

两个不同的恒定系数 C 和 C' 可能生成同构的格（例如 C=1 与 C=2 的递归树结构不同，但若考虑并交闭包，它们是否同构？）实际上，C 决定了每个节点的分支数，因此对于不同的 C，生成的树不同，从而原子数目不同，格不同构。但存在系数等价：如果 C 与 C' 通过模群变换相联系（如 C 与 C' 互为倒数或其他），则生成的无限递归的连续极限可能同构。这对应格的不变子格。

---

5. 与经典格论的联系

5.1 子群格与DOG

在群论中，一个有限群的子群集合构成一个格（子群格）。DOG生成的分配格类似于自由分配格，但具有树状结构。实际上，若将DOG生成树看作一个偏序集，其理想（下闭集）构成的格是分配格。这对应于形式概念分析中的概念格。

5.2 量子逻辑与正交模格

量子逻辑采用正交模格，而非分配格。DOG中的区域交并不满足分配律吗？在经典几何中，集合运算满足分配律。但在量子力学中，由于测量不确定性，子空间格是正交模格。DOG若应用于量子态空间，节点对应的可能是线性子空间，此时交和并（子空间交与和）构成模格但不分配。这提示我们可以将DOG推广到量子情形，引入非分配格。

---

6. 结论

本文建立了离散秩序几何（DOG）与格论之间的自然联系：

1. DOG中由递归生成树的基本节点通过集合并交闭包构成一个分配格，其偏序由几何包含关系给出。

2. DOG基元 B(C,n) 对应于格中特定深度的区域，原子对应于最小递归单元。

3. 连分数系数序列 C 决定了分支数，从而影响格的原子数目与结构；高度函数 h 与递归深度 n 直接相关。

4. 该框架为格论提供了几何直观模型，也为DOG提供了代数基础。未来工作可探讨量子情形下转向正交模格，以及利用格论的工具分析DOG中的复杂秩序。

---

参考文献

[1] 张苏杭. 离散秩序几何（DOG）中的时空新观：空间矩阵与时间纤维丛. 2026.

[2] 张苏杭. DOG基元定理：离散秩序几何中代数环面的自然涌现. 2026.

[3] Birkhoff, G. Lattice Theory. American Mathematical Society, 1940.

[4] Grätzer, G. General Lattice Theory. Birkhäuser, 2003.

[5] Davey, B. A., & Priestley, H. A. Introduction to Lattices and Order. Cambridge, 2002.

---