[论文解读] Finite precision measurement nullifies Euclid's postulates

Asher Peres|ArXiv.org|Oct 6, 2003

Advanced Measurement and Metrology Techniques被引用 4

一句话总结

本文通过证明有限精度测量——特别是将空间点限制为有理坐标——会使得欧几里得几何的公设失效，从而挑战了欧几里得几何的基础。通过展示在有理几何下，直线 x=y 与单位圆 x²+y²=1 无法相交，该研究揭示了有限精度与经典欧几里得公理之间存在根本性不相容性。

ABSTRACT

Following Meyer's argument (quant-ph/9905080) the set of all directions in space is replaced by the dense subset of rational directions. The result conflicts with Euclidean geometry.

研究动机与目标

• 调查梅尔（Meyer）提出的有限精度测量是否破坏了欧几里得几何的有效性。
• 考察将几何作图限制在有理坐标点上的影响。
• 检验欧几里得几何的公理一致性在该限制下是否崩溃。
• 通过有理几何展示一个与欧几里得公设相矛盾的具体实例。
• 通过将论证扩展至几何领域，挑战‘有限精度使 Kochen-Specker 定理在物理学中无关紧要’这一说法。

提出的方法

• 采纳梅尔的假设，即有限精度无法区分有理数与无理数。
• 将所有空间点限制为有理坐标点，形成实平面上一个处处稠密但不完备的子集。
• 评估在有理坐标几何下，直线 x=y 与单位圆 x²+y²=1 的交点情况。
• 将欧几里得公设应用于有理坐标模型，以检验其一致性。
• 将 x=y 与 x²+y²=1 无交点作为对欧几里得第五公设及相关公理的反例。
• 证明尽管有理点在空间中稠密，但其缺乏交点仍违背经典几何的预期。

实验结果

研究问题

• RQ1 有限精度测量通过将几何限制在有理坐标上，是否能够使欧几里得公设失效？
• RQ2 在有理坐标下，直线 x=y 与单位圆 x²+y²=1 无法相交，是否与欧几里得几何相矛盾？
• RQ3 有理点的稠密性在多大程度上无法保持欧几里得公设所要求的拓扑与几何性质？
• RQ4 将几何限制在有理坐标会对经典几何作图与公设的有效性产生何种影响？
• RQ5 有限精度对几何以及量子上下文性定理的基础性含义是什么？

主要发现

• 在有理坐标几何中，直线 x=y 与单位圆 x²+y²=1 虽然在实平面上均为稠密集，但二者并不相交。
• 这一无交点结果直接与欧几里得公设相矛盾，后者假设此类交点必然存在。
• 该结果表明，有限精度测量通过限制为有理坐标，破坏了欧几里得几何的关键假设。
• 矛盾并非源于不完备性，而是源于在有理约束下几何封闭性的失效。
• 本文证明，用于否定量子力学中 Kochen-Specker 定理的同一推理，同样会破坏经典几何的基础。
• 当该推理应用于欧几里得几何时，揭示出‘有限精度使上下文性定理无关紧要’这一基础性主张本身存在不一致。