[论文解读] Beyond Erd\H{o}s-Kunen-Mauldin: Singular sets with shift-compactness properties

Harry I. Miller, Leila Miller-Van Wieren+1 more|arXiv (Cornell University)|Jan 28, 2019

Advanced Topology and Set Theory被引用 4

一句话总结

本文通过在 Baire 群中建立平移紧致性，并在 Gödel 的构造公理（V = L）下构造共解析的、奇异的集合（如集中在有理数上的集合），将 Kestelman-Borwein-Ditor 定理进行了推广。它表明，有效的、基于范畴的方法可以替代完备性假设，并产生拓扑行为良好的反例，以挑战经典的测度论直觉。

ABSTRACT

The Kestelman-Borwein-Ditor Theorem asserts that a non-negligible subset of $\mathbb{R}$ which is Baire (=has the Baire property, BP) or measurable is shift-compact: it contains some subsequence of any null sequence to within translation by an element of the set. Effective proofs are recognized to yield (i) analogous category and Haar-measure metrizable generalizations for Baire groups and locally compact groups respectively, and (ii) permit under $V=L$ construction of co-analytic shift-compact subsets of R with singular properties, e.g. being concentrated on $\mathbb{Q}$, the rationals.

研究动机与目标

• 通过用半拓扑群中的 Baire 性质替代完备度量空间中的完备性，将 Kestelman-Borwein-Ditor 定理推广至更一般的环境。
• 证明有效的描述集合论方法可在 V = L 下产生具有奇异拓扑与测度论性质的共解析集。
• 通过证明平移紧致性蕴含 Steinhaus-Weil 性质及相关结构性结果，统一范畴论与测度论在分析中的论证。
• 在力迫公理与可构造性下探索奇异集合（特别是 Sierpiński 集与 Luzin 集）的结构，重点关注其平移紧致性与嵌入行为。
• 证明在未达连续统的基数上的 Martin 公理下，强零测集对大小小于连续统的并集是封闭的，且任何完备集均无法被此类并集覆盖。

提出的方法

• 在 Baire 群的设定下重新证明 Kestelman-Borwein-Ditor 定理，使用范畴论论证而非完备性。
• 运用有效的描述集合论，通过 ℕ 的子集编码开集与序列，实现对零收敛性与稠密性等性质的算术刻画。
• 利用 Gödel 的构造公理（V = L）构造共解析集，使其具有平移紧致性但测度论行为病态（如集中在 ℚ 上）。
• 应用 Haar-疏rell 与 Haar-零集的概念，将 Steinhaus-Weil 性质推广至非局部紧致环境，通过密度拓扑联系范畴与测度。
• 利用 Carlson 的 σ-理想框架，通过平移避免性刻画强零测集与强第一范畴集：存在 t 和疏rell/零 Fσ 集 M，使得 X ∩(t + M) = ∅。
• 通过二进制序列有效编码开集，证明诸如“包含稠密的 Gδ”或“包含零序列”等性质为 Π₀² 可定义，从而在解析层次中实现有效证明。

实验结果

研究问题

• RQ1 在不依赖完备性的半拓扑 Baire 群中，能否建立平移紧致性？
• RQ2 在何种集合论假设下，可构造出具有奇异性质（如集中在 ℚ 上）的共解析集，同时保持平移紧致性？
• RQ3 有效的描述集合论方法在多大程度上可将 Kestelman-Borwein-Ditor 定理推广至经典测度与范畴设定之外？
• RQ4 强零测集与形如 {X : ∃t(X ∩(t + M) = ∅) 对所有疏rell M 成立} 的 σ-理想之间存在何种关系？
• RQ5 在未达连续统的基数上的 Martin 公理下，强零测集对并集的封闭性在多大程度上得以保持？

主要发现

• 若 Baire 群 X 非疏rell，则其满足平移紧致性，从而将 Kestelman-Borwein-Ditor 定理推广至完备度量空间之外。
• 在 V = L 下，存在 ℝ 的共解析、平移紧致子集，其集中在 ℚ 上，表明病态奇异集可具有良好的拓扑结构。
• Sierpiński 集的补集为共疏rell，因此是平移紧致的；对任意零序列 zn → 0，几乎所有 t 满足对所有 n 有 t + zn ∈ ℝ ∖ S。
• 在 κ < c 的 Martin 公理下，强零测集对大小为 κ 的并集是封闭的，且任何完备集均无法被可数个此类集合的并覆盖。
• 所有满足存在 t 使得对所有疏rell 集 M 均有 X ∩(t + M) = ∅ 的集合 X 的族构成一个 σ-理想；对零 Fσ 集 M 同样成立，从而推广了强零测集的概念。
• 集合 X 避免固定疏rell 或零 Fσ 集 M 的所有平移的性质，可通过 ℕ 上开集与序列的有效编码实现为 Π₀² 可定义，从而在解析层次中实现有效刻画。