[论文解读] Constructive aspects of Riemann's permutation theorem for series

Josef Berger, Douglas Bridges+2 more|arXiv (Cornell University)|Mar 28, 2013

Computability, Logic, AI Algorithms参考文献 12被引用 3

一句话总结

本文研究了在Bishop风格构造性数学（BISH）中，级数的黎曼重排定理的构造性版本。它引入了弱重排收敛的概念，并证明在BISH下，所有弱重排收敛级数的绝对收敛性蕴含石原原理BD-ℕ；而重排收敛仅在假设BD-ℕ时才蕴含绝对收敛。主要贡献在于建立了弱重排收敛的绝对收敛性与BD-ℕ之间的构造性等价关系，表明在构造性设定下，弱重排收敛严格弱于重排收敛。

ABSTRACT

The notions of permutable and weak-permutable convergence of a series $\sum_{n=1}^{\infty}a_{n}$ of real numbers are introduced. Classically, these two notions are equivalent, and, by Riemann's two main theorems on the convergence of series, a convergent series is permutably convergent if and only if it is absolutely convergent. Working within Bishop-style constructive mathematics, we prove that Ishihara's principle \BDN implies that every permutably convergent series is absolutely convergent. Since there are models of constructive mathematics in which the Riemann permutation theorem for series holds but \BDN does not, the best we can hope for as a partial converse to our first theorem is that the absolute convergence of series with a permutability property classically equivalent to that of Riemann implies \BDN. We show that this is the case when the property is weak-permutable convergence.

研究动机与目标

• 研究Bishop风格构造性数学（BISH）中，级数的黎曼重排定理的构造性逻辑强度。
• 引入并分析弱重排收敛这一概念，作为重排收敛的构造性替代。
• 确定所有弱重排收敛级数的绝对收敛性是否蕴含石原原理BD-ℕ。
• 厘清构造性分析中重排收敛、弱重排收敛、绝对收敛与BD-ℕ之间的逻辑关系。

提出的方法

• 引入级数的分块概念，由严格递增函数f定义，块和为 b_k = ∑_{i=f(k)}^{f(k+1)-1} a_i。
• 将弱重排收敛定义为：原级数收敛，且对级数的任意重排均存在一个收敛的分块表示。
• 使用归谬法证明：若一个级数是弱重排收敛的，且存在一个重排导致不同和，则可构造出一个发散的子级数。
• 从ℕ的非空、可数、拟有界的子集S构造一个非负有理数序列(a_n)，利用其性质确保收敛性并控制部分和。
• 证明：若此类级数∑a_n是弱重排收敛的，则S必有界，从而蕴含BD-ℕ。
• 使用Diener-Lubarsky模型表明，反向蕴含关系不成立，从而确立了这些原理之间的严格逻辑分离。

实验结果

研究问题

• RQ1 在BISH中，每个重排收敛级数的绝对收敛性是否蕴含石原原理BD-ℕ？
• RQ2 弱重排收敛在构造上是否等价于重排收敛，还是严格更弱？
• RQ3 能否在构造性框架中证明：弱重排收敛级数的绝对收敛性蕴含BD-ℕ？
• RQ4 在构造性分析中，弱重排收敛相对于BD-ℕ与绝对收敛的逻辑强度如何？
• RQ5 是否存在一种不依赖BD-ℕ的黎曼重排定理的构造性证明，抑或BD-ℕ是此类结果所必需的？

主要发现

• 在BISH加上BD-ℕ的系统中，每个重排收敛级数都是绝对收敛的。
• 所有弱重排收敛级数的绝对收敛性蕴含BD-ℕ，从而建立了该收敛性质与BD-ℕ之间的构造性等价关系。
• 在构造性数学中，弱重排收敛严格弱于重排收敛，这由某些模型中前者成立而BD-ℕ不成立所证实。
• 不存在一个算法，能从一个拟有界、可数、非空的ℕ子集出发，证明其对应的弱重排收敛级数是重排收敛的。
• 经典上等价的重排收敛与弱重排收敛在构造性意义上不成立，因为前者蕴含BD-ℕ，而后者不蕴含。
• Diener-Lubarsky模型表明，从弱重排收敛级数的绝对收敛性推出BD-ℕ的蕴含关系无法反向成立，从而确认了这些原理的逻辑独立性。