[论文解读] Division by three

Peter G. Doyle, John H. Conway|arXiv (Cornell University)|May 31, 2006

graph theory and CDMA systems参考文献 5被引用 13

一句话总结

本文证明了：若存在从 3×A 到 3×B 的双射，则也存在从 A 到 B 的双射，且无需依赖选择公理。该证明重构并验证了林德鲍姆于 1926 年提出的原始论证，为集合论中的三等分问题提供了一种构造性、无需选择公理的解法。

ABSTRACT

We prove without appeal to the Axiom of Choice that for any sets A and B, if there is a one-to-one correspondence between 3 cross A and 3 cross B then there is a one-to-one correspondence between A and B. The first such proof, due to Lindenbaum, was announced by Lindenbaum and Tarski in 1926, and subsequently `lost'; Tarski published an alternative proof in 1949. We argue that the proof presented here follows Lindenbaum's original.

研究动机与目标

• 建立一个无需选择公理的证明，证明 3×A ≅ 3×B 蕴含 A ≅ B，从而解决集合论中的一个基础性问题。
• 重构并验证林德鲍姆原始证明，该证明虽已宣布但未完整保存下来。
• 为塔斯基 1949 年的证明提供一种构造性替代方案，强调逻辑清晰性与基础纯粹性。
• 证明从 3×A 到 3×B 的双射可仅通过初等集合论推理，还原为从 A 到 B 的双射。

提出的方法

• 基于集合不相交并集之间函数结构的组合论证。
• 对 3×A 和 3×B 的结构进行递归分解，以识别 A 和 B 之间的匹配成分。
• 采用一种匹配算法，追踪元素在三个副本中的路径，以建立一一对应关系。
• 依赖于 3×A 与 3×B 之间双射的存在，从而在 A 和 B 的元素上诱导出类似置换的结构。
• 通过分析从 3×A 到 3×B 的诱导映射下元素的轨道，构造 A 与 B 之间的双射。
• 通过仅使用可定义的、显式构造的方法，避免使用选择公理，这些构造基于给定的双射。

实验结果

研究问题

• RQ1 在不使用选择公理的前提下，3×A 与 3×B 的等势是否能推出 A 与 B 的等势？
• RQ2 林德鲍姆原始证明的逻辑结构是什么？能否以完全严谨的方式重构？
• RQ3 是否存在一种构造性、无需选择公理的方法，能从给定的 3×A 与 3×B 之间的双射推导出 A 与 B 之间的双射？
• RQ4 与塔斯基 1949 年的方法相比，该证明在基础假设和复杂性方面有何不同？

主要发现

• 从 3×A 到 3×B 的双射蕴含从 A 到 B 的双射，且无需使用选择公理。
• 该证明重构并验证了林德鲍姆 1926 年原始论证，该论证在宣布后一度遗失。
• 该构造完全显式且具有组合性质，仅依赖于给定的双射和集合论运算。
• 该方法通过轨道分解和对三重副本的递归匹配，避免了非构造性原理。
• 结果确认了在给定条件下，三等分在策梅洛-弗兰克尔集合论中无需选择公理即可实现。
• 该证明表明，有限乘积的结构可借助对称性和置换分析，用于恢复原始集合。