[論文レビュー] Subsum Sets: Intervals, Cantor Sets, and Cantorvals

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

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

ひとこと要約

本稿は、0に収束する実数列の部分列のすべての和からなる集合（部分和集合）の位相的構造を調査する。絶対収束する場合、部分和集合は有限個の区間の和集合、カントール集合、または対称カントールバル（Cantorval）のいずれかである。条件収束する場合、部分和集合は全区間となる。主な貢献は、項の末尾の挙動に基づく完全な位相的分類である。

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".

研究の動機と目的

• 0に収束する実数列の部分和集合の位相的構造を分類すること。
• 部分和集合が区間、カントール集合、またはカントールバルとなる条件を特定すること。
• 「カントールバル」という概念を導入し、その性質を分析することで、従来の部分和集合に関する古典的結果を拡張すること。
• 符号付き列の一般ケースを、絶対値と符号の分解を用いて正のゼロ列の分析に還元すること。
• 末尾の比較と反復的構成技法を用いて、部分和集合の完全な特徴付けを提供すること。

提案手法

• 収束するゼロ列 {x_i} に対して、部分和集合 Σ({x_i}) を、有限、無限、空部分列のすべての和の集合として定義する。
• 符号付き列を正の部分と負の部分に分解することで、符号付き列の部分和集合をその絶対値列の部分和集合に関連付ける。
• Hornichの定理を適用し、絶対収束する符号付き列の部分和集合が、その絶対値列の部分和集合の平行移動であることを示す。
• 末尾挙動を分析する：すべての 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^+] である。この部分和集合は、区間、カントール集合、または対称カントールバルのいずれかである。
• 本稿では、項とその末尾の比較に基づく部分和集合の完全な位相的分類を提供し、従来の結果を一般化するとともに、「カントールバル」という概念を導入した。