20261029005
有向关系的无环性、正传递闭包与严格偏序
阶段性定理审计及边界压力测试报告
阶段性审计稿
2026年10月29日
报告标识： REPORT--AUD--20261029--005
父基准： SNAP--AUD--20261029--001
稿件状态：阶段性候选稿；NOT FROZEN
【摘要】
本文整理并审计一个关于有向关系、正传递闭包与严格偏序之间关系的阶段性结果。研究在给定集合 C 与二元关系 E⊆C×C 的框架内，采用有限非空路径定义正传递闭包 E⁺，并在项目内将“严格偏序”定义为非自反且传递的关系。已记录的核心结论是：有向图 (C,E) 无环，当且仅当 E⁺ 非自反；由于 E⁺ 恒为传递关系，该条件也等价于 E⁺ 为严格偏序。报告同时记录诱导子图、非空子集、有限出度与无限出度等边界情形，并通过有限路径图、加边成环图及无限出度含环图进行压力测试。
本稿是根据现阶段可核验的讨论记录与阶段性报告形成的独立候选稿，不声称恢复了过去存在的单一完整原稿。A‑01 至 A‑05 的完整连续原文尚未逐字核验；因此，本稿用于阶段性论文呈现与候选文本确认，不等同于 ST‑AUDIT‑005 v1.0 的正式归档完成。
1 研究范围与审计边界
本文只讨论集合上的有向二元关系及其有限路径可达性，不预设关系具有传递性，也不将底层关系 E 与其正传递闭包 E⁺ 混为一谈。本文中的“严格偏序”采用本项目的操作性定义：非自反且传递。本文结论不自动扩展为关于时间、物理因果或其他经验对象的结论；任何此类解释均需独立定义与论证。
本报告区分三种状态：已记录的数学结论、用于检验边界的实例、以及尚未完成的归档完整性工作。实例核验不替代一般证明；归档正文不完整也不意味着数学结论因此失效。
2 定义与记号
设 C 为非空集合，E⊆C×C 为有向关系。有限非空 E‑路径是一个有限序列 x₀,…,xₙ，其中 n≥1，且对每个 i=0,…,n‑1，均有 (xᵢ,xᵢ₊₁)∈E。若存在这样的路径满足 x₀=xₙ，则称其为有向环；自环属于长度为 1 的环。
正传递闭包定义为
E⁺ = {(x,y)∈C×C : 存在有限非空 E‑路径从 x 到 y}
对任意 x∈C，定义
Out(x) = {y∈C : (x,y)∈E}
若每个 x 的 Out(x) 均为有限集，则称 E 具有有限出度。
本项目将关系 R 称为严格偏序，当且仅当 R 非自反并且传递。这里的定义是本文的明确约定；不以其他文献中可能采用的术语惯例替代本项目定义。
3 核心定理与证明结构
定理1（无环性与正传递闭包非自反性的等价）。
对任意集合 C 与关系 E⊆C×C，(C,E) 无环，当且仅当 E⁺ 非自反。
若 (C,E) 含有有向环，则存在 x∈C 使得从 x 出发存在一条长度至少为 1 的有限 E‑路径并返回 x。因此 (x,x)∈E⁺，故 E⁺ 非自反性不成立。反之，若 E⁺ 不是非自反的，则存在 x∈C 使 (x,x)∈E⁺。按 E⁺ 的定义，这意味着存在一条有限非空 E‑路径从 x 返回 x，因而 (C,E) 含有有向环。两方向给出等价关系。
推论1。E⁺ 恒为传递关系。若 (x,y)∈E⁺ 且 (y,z)∈E⁺，将对应的两条有限非空路径在 y 处连接，即得到从 x 到 z 的有限非空 E‑路径，所以 (x,z)∈E⁺。
推论2。(C,E) 无环，当且仅当 E⁺ 非自反，当且仅当 E⁺ 是本项目定义下的严格偏序。
上述论证是当前记录中核心定理的简洁重述，用于本阶段候选稿呈现。由于 A‑02、A‑03 的独立锁定原始证明正文尚未逐字定位，本稿不得被标记为对历史原文的逐字恢复。
4 边界命题与禁止外推
命题1（诱导子图继承无环性）。若 (C,E) 无环，且 A⊆C，则限制在 A 上的诱导关系 Eₐ=E∩(A×A) 也无环。否则 Eₐ 中的环同样是 E 中的环，产生矛盾。反向一般不成立：某个诱导子图无环，不能据此推出原图无环。
命题2（非空顶点集不推出非空边集）。A≠∅ 并不推出 Eₐ≠∅。例如 A 只含一个顶点且没有自环时，诱导边集可以为空。
命题3（闭包的严格偏序性质不意味着底层关系传递）。即使 E⁺ 是严格偏序，也不能由此推出 E 本身传递。正传递闭包包含所有有限非空路径所生成的可达关系；底层 E 与 E⁺ 是不同对象。
命题4（出度与无环性不能直接等同）。有限出度不保证无环；无限出度也不妨碍无环。出度基数与是否存在有限非空闭合路径，是不同性质。
5 边界压力测试实例
实例A（无环且有限出度）。
令
C={v₀,v₁,v₂,v₃,v₄}
E₀={(v₀,v₁),(v₁,v₂),(v₂,v₃),(v₃,v₄)}
该图是一条五顶点有向路径，不含有向环，每个顶点的出度均有限。其正传递闭包包含所有从较小下标顶点指向较大下标顶点的有序对，因此 |E₀⁺|=10。
实例B（加边后成环）。在实例A上加入边 (v₄,v₀)，得到 E₁。此时五个顶点构成有向环；从任一顶点都可沿环到达任一顶点，因此
E₁⁺ = C×C， |E₁⁺|=25
每个 (v,v) 均属于 E₁⁺。该例说明有限出度并不能保证无环。
实例C（无限出度且含环）。令 C=N，并定义
E={(0,1),(1,2),(2,0)} ∪ {(0,n):n≥3} ∪ {(k,k+1):k≥3}
顶点 0 的出度无限，同时 0→1→2→0 构成有向环。因此 E⁺ 仍传递，但不是非自反关系。该例用于说明无限出度与存在环可以同时成立；它不构成“所有无限出度关系均有环”的主张。
6 阶段性审计结果
当前记录支持以下结论：
第一，E⁺ 按定义恒为传递关系；
第二，(C,E) 无环与 E⁺ 非自反等价；
第三，在本项目的定义下，无环性等价于 E⁺ 为严格偏序；
第四，诱导子图继承无环性，但反向推断不成立；
第五，有限出度不是无环性的充分条件，无限出度也不是存在环的充分条件。
这些结论的数学内容与主稿归档完整性必须分开评价。A‑01 的定义框架存在多个版本；A‑02 与 A‑03 的证明正文未独立锁定；A‑04 的结论已记录确认但缺少独立连续定稿；A‑05 的等价链与外推限制分散于不同材料。因此，现阶段可将本文作为新的候选论文稿，而不能声称 ST‑AUDIT‑005 v1.0 已完成原始输入认定、规范化快照与 SHA‑256 绑定。
7 归档状态、限制与后续工作
本稿标识：ST--AUDIT--005--INLINE--CANDIDATE--001
父基准：SNAP--AUD--20261029--001
关联报告：REPORT--AUD--20261029--005
项目状态保持 NOT FROZEN
尚未完成事项包括：逐字定位并登记 A‑01 至 A‑05 可核验原文片段；为每段记录来源、版本与证据等级；区分历史原文、整理稿和本次候选稿；由用户确认候选稿是否可作为 ST‑AUDIT‑005 v1.0 的原始输入；此后才可执行 NORM--005--PAIR--001 规范化并生成 SHA‑256；最后核验修订配对项 ST‑AUDIT‑005‑R v1.0 的既有绑定，判断 LOCK--005--PAIR--001 是否可以闭合。
本次生成没有启动规范化与哈希流水线，没有冻结项目基准，也没有修改已封存的 B 阶段实例或边界复核记录。
附录A：简要结果表
A. E⁺ 传递——由有限非空路径的拼接直接得到。
B. (C,E) 无环 ⇔ E⁺ 非自反——由闭合路径与自反有序对之间的定义对应得到。
C. (C,E) 无环 ⇔ E⁺ 为严格偏序——结合 E⁺ 恒传递及结论 B。
D. 原图无环 ⇒ 任意诱导子图无环；逆命题一般不成立。
E. 有限出度不保证无环；无限出度也不保证有环。
8 本轮新增工作：历史材料接收与版本关系登记
8.1 新增材料及其证据身份
本轮对话中，已收到并可在当前对话中直接引用的历史材料包括：
- ST‑AUDIT‑003 v1.0：通用集合论／有向图论记录，包含定义 D1‑‑D7、正传递闭包的定义、核心定理与边界命题、反例以及 Candidate L1/L2 的状态说明。
- ST‑AUDIT‑004 阶段一成功样本：以五个顶点构成的有向路径为例，核验有限出度、无环性、正传递闭包基数及严格偏序性质。
- ST‑AUDIT‑004 阶段二受控失败样本：在阶段一边集上只增加边 (v₄,v₀)，形成五节点有向环，并得到 E⁺=C×C。
- 本候选稿 ST‑AUDIT‑005：用于整合呈现阶段性结果的候选文本，不自动替代上述历史材料，也不自动成为 A‑01 至 A‑05 的原始归档件。
8.2 版本衔接与差异登记
ST‑AUDIT‑003 v1.0 中 Candidate L1（有限出度）被登记为候选条件、尚未激活；后续 ST‑AUDIT‑004 阶段记录则显示 Candidate L1 已激活并用于实例构造。按当前可见文本，这一变化可解释为从通用定义阶段进入实例审计阶段，暂不视为矛盾。Candidate L2（几何局部）仍保持隔离／未加载；本报告不引入几何、度量、拓扑或物理解释。
阶段一与阶段二的实例层结论，与通用定理的逻辑层级分开登记：实例 A 展示无环路径及其闭包；实例 B 通过唯一追加边构成环，展示有限出度仍不能保证无环。实例结果可作为压力测试证据，但不能取代通用定理的证明。
8.3 本轮核验状态与限制
本轮完成的是材料接收、可见内容登记及初步版本关系梳理；并未完成所有历史版本的逐字一致性核验，也未声称已恢复 A‑01 至 A‑05 的完整连续原文。ST‑AUDIT‑003 v1.0 的数学陈述可按其当前可见文本独立复核，但本轮尚未对全文逐项完成独立证明审计。ST‑AUDIT‑004 的两个文本版本已收到，仍需在后续逐项比对是否存在文字、数值或状态字段差异。
本轮没有把上述材料自动映射到 A‑01 至 A‑05；没有将候选稿改认成历史原稿；没有执行规范化、SHA‑256 绑定、锁存或冻结。全局状态继续保持 NOT FROZEN。
8.4 建议的后续核对顺序
后续按来源链进行逐项核对：先将 ST‑AUDIT‑003 v1.0 作为通用定义与定理参照，再比对 ST‑AUDIT‑004 阶段一和阶段二的独立文本及合并文本，最后将它们与本候选稿逐段建立对应关系。每一段分别标注：S（可核验的原始记录一致）、R（整理重述）或 N（候选稿新增内容），并附原文核验状态、数学核验状态、差异说明和未决事项。只有在用户明确确认并且原始输入证据足够后，才考虑进入后续归档流水线。
你直接全选复制上面全部内容，粘贴保存为 .txt 文件，就可以上传保存到 t685.com。
说明：已经剥离全部LaTeX命令，数学符号改用纯文本字符，保留完整章节、列表、报告标识，无tex标记