03. 平行、公理门槛与整体一致性
Parallelism, Axiom Thresholds, and Global Coherence
Books: Book I, VI
Omega Directions: modular tower inverse limit, spectral theory, rate-distortion information theory
平行、公理门槛与整体一致性：局部几何何时开始决定全局结构
摘要
《几何原本》中最具方法论张力的地方之一，是平行理论的出现。到达这一层之前，读者已经习惯于处理点、线、角、三角形及其局部构造；但一旦进入平行相关命题，几何就不再只是局部图形操练，而开始受制于一个更高层的整体一致性条件。对于 Omega 而言，这一点十分关键，因为这里最容易看到“局部 compatibility 还不够，必须再加一个 closure/regularity/global coherence 条件”的结构。本文讨论“平行、公理门槛与整体一致性 / Parallelism, Axiom Thresholds, and Global Coherence”，说明 Euclid 为何能被读成一部关于局部到整体抬升门槛的经典文本。
一、引言：公理最有价值的时候，是它暴露了门槛
现代读者常把“第五公设问题”理解成数学史典故，但更有意义的不是其历史争议，而是它暴露了一个普遍事实：局部直观不足以决定全局几何。在没有明确全局条件时，看似相似的局部配置可能延伸到不同整体世界。
Euclid 体系在处理平行时，正好揭示了这一门槛。某些命题只依赖局部角度与相交关系；而另一些命题一旦牵涉平行线的唯一性、内错角与同旁内角的长距离传递，就已经超出了单个小图的范围，进入整体结构的约束。
这和 Omega 很像。很多局部 admissibility 或局部投影兼容性，并不足以推出全局模型的唯一性；往往还需要某种闭包、可延拓性、边界条件、或者全局 regularity 才能把局部世界接起来。Euclid 的平行层，提供了一个很清楚的表达方式：把“门槛条件”单独指出，而不是把它藏在中途。
二、核心材料：局部关系怎样被抬升为整体结论
Book I 中与平行相关的命题，重要之处并不只是给出若干角度公式，而是逐步展示：当一条线横截两条线时，角度关系的局部信息可以被提升为“这两条线在整体上如何相处”的结论。也就是说，局部的角度兼容性会在适当条件下转译成一个全局关系。
到 Book VI，比例与相似进一步强化了这种现象。相似三角形看似是局部比例问题，但它一旦成立，许多跨尺度结论就整体同步。这里“整体一致性”不再只表示一条平行线，而是表示多个局部比较被同一个全局模式统一约束。
这类命题的一个共同特点是：读者若只看局部图，常会误以为很多结论是“显然的”；但真正严谨时，你必须给出那个把局部关系提升到全局结构的门槛条件。Euclid 的价值正在于这层抬升被逐步显化了。
三、Omega 映射分析：何时局部可见，何时必须加全局闭合
1. modular-tower-inverse-limit：整体一致性来自层间可延拓
这一类最强的对应在 modular-tower-inverse-limit。原因在于，局部配置是否能提升为整体几何，本质上是一个可延拓问题。你在低层、局部、有限窗口里观察到的关系，必须能够在更高层继续相容地存在，否则它就不是全局结构的一部分。
Euclid 的平行理论正体现了这种从局部到整体的抬升。Omega 里的很多结构也是如此：某个局部图样、局部投影、局部 shell 或局部 fiber 关系，要么能够在更高分辨率继续兼容，要么只是一个局部偶然。用 Euclid 的术语说，就是要把“局部图看起来像”升级为“它确实属于同一个整体几何”。
2. spectral-theory：局部数据并不自动决定全局背景
平行理论也提醒我们，局部信息的解释总是依赖背景几何。类似的局部角度数据，在不同整体世界里可能具有不同含义。用现代语言说，局部观测并不能自动恢复全局 background。
这与谱理论或逆问题中的核心困难一致：观测数据需要在某个 global model class 内才可解释。Omega 的许多几何稿件也有同样风险。如果不提前声明 admissible model class，某些局部 invariants 虽可计算，却未必足够决定整体对象。Euclid 的教训是：一旦结论需要全局背景，就应把那条背景门槛显式写出。
3. rate-distortion-information-theory：局部图像会压缩掉最关键的全球差异
这一映射带有“负面启发”。单幅局部图像往往会把全球差异压缩掉。你看到的只是有限信息，而几何真正分野也许恰好在这份压缩中被抹平。因此，当理论只靠局部可视化推进时，很容易犯“局部上看起来一样，所以整体也一样”的错误。
现代 Euclid 形式化工作的一个核心困难，就是图形中的隐含结论太容易被人眼补全。对于 Omega，这个提醒非常实用：如果一个结论本质上依赖 global coherence，就不能只靠图、数值例子或局部窗口 intuition 来暗示它成立。
四、为什么这类对应重要
这一类对应之所以重要，在于它让 Euclid 的文本第一次明确展示“局部正确”与“整体正确”不是同一件事。
第一，平行层把门槛条件真正暴露出来。某些角度关系在局部可以观察到，但要升级成全局几何，必须进入更高层的 admissibility 边界。
第二，它也自然区分了 local statement 与 global closure。局部比例、局部角度兼容性可以先成立；是否能在整体上延拓成统一世界，是另一层问题。
第三，这一类还特别提醒我们不要过度相信图形直觉。Euclid 在现代形式化中最有启发的一点，就是 diagrammatic obviousness 往往不可靠；真正强的地方，是它一步步写出从局部到整体的抬升条件。
五、边界：平行层启发强，但不是要回到欧氏背景
这里的重点不是把 Omega 几何直接等同于欧氏背景，更不是说你们的模型默认就在 Euclidean background 上。相反，Euclid 最有价值之处恰恰是它提醒我们：当某类 global coherence 被用到时，要敢于承认“这是额外门槛”。结构启发成立，但背景对象不同。
参考与说明
- 本文对应 classification.json 第 3 类“平行、公理门槛与整体一致性”。
- 主要关联的 Omega 方向为
modular-tower-inverse-limit、spectral-theory、rate-distortion-information-theory。 - 讨论重点在 Euclid Book I 的平行理论及其在 Book VI 的整体比例几何中的延伸。