[论文解读] Kingman, category and combinatorics

Ν. H. Bingham, A. J. Ostaszewski|arXiv (Cornell University)|Mar 24, 2010

Advanced Topology and Set Theory参考文献 45被引用 16

一句话总结

本文使用拓扑与双拓扑方法，将Kingman关于骨架极限的定理从离散情形推广到Baire/可测情形，建立了'有理'骨架理论，并证明了类似van der Waerden定理的组合结果。该研究在可测与范畴论语境下推广了Kestelman–Borwein–Ditor与Bergelson–Hindman–Weiss定理，表明非第一纲或非零测度的集合必然包含任意长且步长任意小的等差数列。

ABSTRACT

Kingman's Theorem on skeleton limits---passing from limits as $n o \infty $ along $nh$ ($n\in \mathbb{N}$) for enough $h>0$ to limits as $t o \infty $ for $t\in \mathbb{R}$---is generalized to a Baire/measurable setting via a topological approach. We explore its affinity with a combinatorial theorem due to Kestelman and to Borwein and Ditor, and another due to Bergelson, Hindman and Weiss. As applications, a theory of `rational' skeletons akin to Kingman's integer skeletons, and more appropriate to a measurable setting, is developed, and two combinatorial results in the spirit of van der Waerden's celebrated theorem on arithmetic progressions are given.

研究动机与目标

• 将Kingman关于沿整数倍极限的定理，通过拓扑方法推广至Baire/可测情形下的连续极限。
• 建立类似于Kingman整数骨架的'有理'骨架理论，适用于可测情形。
• 在范畴与测度语境下，推广Kestelman–Borwein–Ditor与Bergelson–Hindman–Weiss定理。
• 证明任何在0处本质聚集的Baire/可测集均包含一个序列，其所有有限子和均位于该集合内，从而拓展了加法组合论中的结果。

提出的方法

• 采用双拓扑方法，结合密度拓扑，统一处理Baire与可测情形。
• 应用平移滤子性质与几乎完备性，通过归纳法构造在0处本质聚集的集合中的序列。
• 利用完备度量化与等价完备度量的概念，确保所构造序列的子和收敛。
• 借助Baire范畴定理与Steinhaus型论证，推导集合的泛性与可测性质。
• 利用本质邻接性与拓扑正则变异性概念，连接离散与连续极限行为。
• 通过在紧致、非零测度或非第一纲子集中归纳选择并控制直径，将问题约化为构造序列。

实验结果

研究问题

• RQ1 如何利用拓扑工具将Kingman关于骨架极限的定理从开集推广至Baire与可测情形？
• RQ2 密度拓扑在统一Baire与可测极限定理方法中起到何种作用？
• RQ3 能否在可测语境下发展出类似于Kingman整数骨架的'有理'骨架理论？
• RQ4 非第一纲或非零测度的集合是否必然包含任意长且步长任意小的等差数列？
• RQ5 在0处本质聚集的集合在何种条件下包含一个序列，其所有有限子和均保持在该集合内？

主要发现

• 本文通过使用密度拓扑的双拓扑框架，建立了Kingman定理在Baire与可测情形下的推广。
• 发展了与Kingman整数骨架平行的'有理'骨架理论，更适用于可测分析。
• 以'连续'格式给出了Kestelman–Borwein–Ditor定理的新证明，强化了可测情形下的结果。
• 证明了任何在0处本质聚集的Baire/可测集均包含一个序列，使得其所有有限子和均位于该集合内，从而推广了Bergelson–Hindman–Weiss定理。
• 该结果表明，ℝ的任意有限划分中，若各部分均为Baire/可测集，则必存在某一子集包含任意长且步长任意小的等差数列。
• 该构造依赖于在完备度量下通过控制直径进行归纳选择，确保子和收敛且成员属于集合。