[论文解读] On the uncountability of $\mathbb{R}$

Dag Normann, Sam Sanders|arXiv (Cornell University)|Jul 15, 2020

Computability, Logic, AI Algorithms参考文献 53被引用 7

一句话总结

本文通过高阶逆数学与克林的S1–S9可计算性理论，研究了ℝ不可数性的逻辑与计算强度。结果表明，NIN（[0,1]到ℕ无单射）与NBI（[0,1]到ℕ无双射）是出人意料的强大原理，其蕴含了阿泽拉收敛定理等重要定理，且证明或计算它们需要强概括公理或不连续泛函，尽管其直观上看似简单。

ABSTRACT

Cantor's first set theory paper (1874) establishes the uncountability of $\mathbb{R}$. We study this most basic mathematical fact formulated in the language of higher-order arithmetic. In particular, we investigate the logical and computational properties of NIN (resp. NBI), i.e. the third-order statement: there is no injection (resp. bijection) from $[0,1]$ to $\mathbb{N}$. Working in Kohlenbach's higher-order Reverse Mathematics, we show that NIN and NBI are hard to prove in terms of (conventional) comprehension axioms, while many basic theorems, like Arzela's convergence theorem for the Riemann integral (1885), are shown to imply NIN and/or NBI. Working in Kleene's higher-order computability theory based on S1-S9, we show that the following fourth-order process based on NIN is similarly hard to compute: for a given $[0,1] ightarrow \mathbb{N}$-function, find reals in the unit interval that map to the same natural number.

研究动机与目标

• 在高阶算术框架下，分析康托尔ℝ不可数性的逻辑与计算强度。
• 探究为何NIN与NBI虽直观上微弱，却需强概括公理与不连续泛函才能证明或计算。
• 建立NIN/NBI与阿泽拉黎曼积分收敛定理等基础定理之间的联系。
• 探讨弱系统如RCA₀^ω在处理有界变差函数中有限个间断点集时的局限性。
• 基于连续性原理，倡导采用非标准尺度以更好地对NIN等不蕴含不连续函数的原理进行分类。

提出的方法

• 在三阶算术中形式化ℝ不可数性为NIN（[0,1]到ℕ无单射）与NBI（[0,1]到ℕ无双射）。
• 应用科亨巴赫的高阶逆数学方法，评估证明NIN与NBI所需概括公理的强度。
• 利用克林的S1–S9高阶可计算性理论，分析在给定[0,1]→ℕ函数下，找到映射到同一自然数的实数对（即“碰撞”）的可计算性。
• 证明NIN等价于涉及半连续函数与有界变差函数的限制版本，表明其在自然函数类中的鲁棒性。
• 建立 König 树引理与非单调归纳定义等原理蕴含NIN，将其与逆数学中的核心结果联系起来。
• 引入一种基于有限序列而非双射的新“有限”集合概念，以更好地刻画如BV函数间断点集等“奇异”有限集合。

实验结果

研究问题

• RQ1 为何将ℝ不可数性表述为NIN时，尽管其直观简单，却仍需强概括公理？
• RQ2 NIN与NBI如何与阿泽拉黎曼积分收敛定理等经典定理相关联？
• RQ3 在克林的S1–S9框架下，计算任意[0,1]→ℕ函数下的碰撞（即两个实数映射到同一自然数）具有何种计算强度？
• RQ4 弱系统如RCA₀^ω能否证明有界变差函数的间断点集是有限或弱可数的？
• RQ5 标准的‘有限’与‘可数’定义在多大程度上无法捕捉分析中自然出现的有限集合？如何改进？

主要发现

• 在高阶逆数学中，NIN与NBI是逻辑上强大的原理，可蕴含阿泽拉黎曼积分收敛定理等重要定理。
• NIN等价于其在半连续函数与有界变差函数类上的限制版本，表明其在自然函数类中具有高度鲁棒性。
• 在克林的S1–S9框架中，计算给定[0,1]→ℕ函数下的碰撞，其计算强度与NIN本身相同，表明其具有高度计算复杂性。
• 当将康托空间中可数集的波尔查诺-魏尔斯特拉斯定理与高阶Π₁¹-CA₀结合时，可达到Π₂¹-CA₀系统，表明可数性原理在遇到不连续泛函时可能变得‘爆炸性’。
• 标准ZF中‘有限’的定义（即与{0,…,n}存在双射）不足以捕捉如BV函数间断点集等‘奇异’有限集合；基于有限序列的新定义在弱系统中更为恰当。
• 有界变差函数的跳跃间断点集是弱可数的（即存在高度函数），但构造其到ℕ的单射所需概括强度超过RCA₀^ω + QF-AC⁰,¹。