[论文解读] Subsum Sets: Intervals, Cantor Sets, and Cantorvals

Zbigniew Nitecki|arXiv (Cornell University)|Jun 19, 2011

Mathematical Dynamics and Fractals参考文献 14被引用 5

一句话总结

本文研究了子和集——即收敛于零的实数列的所有子序列和的集合——的拓扑结构。当序列绝对可求和时，子和集为有限个区间的并集、康托集或对称康托瓦尔；当条件可求和时，子和集为一个完整区间。关键贡献在于基于各项绝对值尾部行为的完整拓扑分类。

ABSTRACT

Given a sequence converging to zero, we consider the set of numbers which are sums of (infinite, finite, or empty) subsequences. When the original sequence is not absolutely summable, the subsum set is an unbounded closed interval which includes zero. When it is absolutely summable the subsum set is one of the following: a finite union of (nontrivial) compact intervals, a Cantor set, or a "symmetric Cantorval".

研究动机与目标

• 对收敛于零的实数列的子和集的拓扑结构进行分类。
• 确定子和集为区间、康托集或康托瓦尔的条件。
• 通过引入“康托瓦尔”概念并分析其性质，拓展子和集的经典结果。
• 通过绝对值与符号分解，将一般符号序列的子和集分析简化为正零序列的分析。
• 基于尾部比较与迭代构造技术，对子和集提供完整表征。

提出的方法

• 将子和集 Σ({x_i}) 定义为收敛于零的序列 {x_i} 的所有有限、无限或空子序列和的集合。
• 通过将序列分解为正部与负部，将符号序列的子和集与绝对值序列的子和集关联起来。
• 应用霍尼奇定理，证明绝对可求和符号序列的子和集是其绝对值序列子和集的平移。
• 分析尾部行为：若对所有 k > K，有 |x_k| ≤ ∑_{i>k} |x_i|，则子和集为有限个闭区间的并集。
• 若对无穷多个 k，有 |x_k| > ∑_{i>k} |x_i|，则子和集为康托集或对称康托瓦尔。
• 使用迭代逼近技术构造子和，利用小项可受控方式填补间隙的性质。

实验结果

研究问题

• RQ1 在何种条件下，零序列的子和集为有限个闭区间的并集？
• RQ2 子和集在何时成为康托集或对称康托瓦尔？
• RQ3 各项相对于其尾部的相对大小如何决定子和集的拓扑类型？
• RQ4 当序列条件可求和但非绝对可求和时，子和集的结构如何？
• RQ5 如何将一般符号序列的子和集分析简化为正零序列的分析？

主要发现

• 若正零序列非绝对可求和，则其子和集为整个区间 [0, ∞)，即每个正实数均可表示为子和。
• 对于绝对可求和的正零序列，若项无限次超过其尾部，则子和集为紧致、完美、完全不连通的集合；否则，其为有限个闭区间的并集。
• 当序列绝对可求和且仅对有限个指标有项超过其尾部时，子和集由 2^N 至 2^K 个不相交的闭区间构成，其中 N 为满足该条件的项数，K 为尾部条件成立的索引之后的值。
• 若序列条件可求和（即 ∑x_i^+ = ∞ 或 ∑x_i^- = ∞），则子和集为 ℝ 或半直线 [X^-, ∞)，具体取决于发散部分的符号。
• 任意零序列的子和集为闭集、完美集、对称集，其凸包为 [X^-, X^+]，且其本身为区间、康托集或对称康托瓦尔。
• 本文基于项与尾部的比较，对子和集提供了完整的拓扑分类，推广了早期结果，并引入了“康托瓦尔”概念。