[论文解读] On splitting infinite-fold covers

Márton Elekes, Tamás Mátrai+1 more|ArXiv.org|Nov 14, 2009

Advanced Topology and Set Theory参考文献 7被引用 3

一句话总结

本文研究了在拓扑空间与序空间中，集合的无限重覆盖分解为不相交子覆盖的问题，重点关注闭集、凸集及多面体的覆盖。通过集合论方法，包括科hen模型和马丁公理等假设，证明了此类覆盖是否可分裂的可能性与ZFC公理系统独立，关键结果涉及线性序集和$[\mathbb{R}^n$在各种几何约束下的情形。

ABSTRACT

Let $X$ be a set, $\ka$ be a cardinal number and let $\iH$ be a family of subsets of $X$ which covers each $x\in X$ at least $\ka$ times. What assumptions can ensure that $\iH$ can be decomposed into $κ$ many disjoint subcovers? We examine this problem under various assumptions on the set $X$ and on the cover $\iH$: among other situations, we consider covers of topological spaces by closed sets, interval covers of linearly ordered sets and covers of $ eal^{n}$ by polyhedra and by arbitrary convex sets. We focus on these problems mainly for infinite $κ$. Besides numerous positive and negative results, many questions turn out to be independent of the usual axioms of set theory.

研究动机与目标

• 确定集合的无限重覆盖可被分解为$\kappa$个不相交子覆盖的条件。
• 分析在拓扑空间与序空间中，由闭集、凸集及多面体构成的覆盖的分裂问题。
• 研究分裂结果在集合论上的独立性，特别是$[\mathbb{R}^n$和线性序集中的情形。
• 解决关于矩形、圆盘及凸集等几何对象构成的无限重覆盖的开放问题。
• 通过科hen扩张与马丁公理等模型，厘清分裂结果的一致性强度。

提出的方法

• 使用集合论力迫技术，包括科hen模型和满足马丁公理的模型，构造具有或不具有分裂性质的覆盖。
• 在传递模型中应用初等性与反射原理，证明覆盖存在$\kappa$-好着色。
• 分析线性序集上由凸集构成的覆盖，利用序理论性质证明其最大可分解性。
• 通过证明在某些模型中（如满足GCH的科hen扩张），所有不可数重闭覆盖均可分解；而在其他模型中（如在马丁公理下），存在不可分解覆盖，从而建立独立性结果。
• 将区间覆盖与图的边覆盖结果应用于推导无限重覆盖的一般性原理。
• 使用组合着色技术，特别是$\kappa$-好着色，刻画覆盖可被划分为$\kappa$个不相交子覆盖的条件。

实验结果

研究问题

• RQ1 在何种条件下，由闭集构成的集合的无限重覆盖可被分解为两个不相交的子覆盖？
• RQ2 在$\mathbb{R}^n$上，由凸集构成的$\kappa$重覆盖的分裂问题是否与ZFC独立？
• RQ3 每个$\omega$重覆盖$\mathbb{R}^2$的平移紧凸集是否总可被划分为两个不相交的子覆盖？
• RQ4 ZFC是否一致地允许存在$\omega_1$重闭覆盖$\mathbb{R}$，满足$|\mathbf{H}| = \omega_1$，但无法被划分为两个子覆盖？
• RQ5 在一般线性序集上，凸集覆盖的最大可分解性是否成立？其证明是否可比以往结果更简洁？

主要发现

• 对于由凸集构成的线性序集覆盖，对任意无限$\kappa$，其最大可分解为$\kappa$个不相交子覆盖，且证明比以往结果更简洁。
• 在$\mathbb{R}$上由闭集构成的覆盖的分裂问题与ZFC独立：在马丁公理下，存在不可分解的$\omega_1$重覆盖；在满足GCH的科hen扩张中，所有不可数重闭覆盖均可分解。
• 在$\mathbb{R}^n$上由凸集构成的覆盖的分裂问题与ZFC独立，该结论由闭集情形的独立性结果推出。
• 在科hen模型中满足GCH时，$\mathbb{R}$上所有不可数重闭覆盖均可最大分解为$\kappa$个不相交子覆盖。
• 对于$\mathbb{R}^n$上由凸集构成的覆盖，ZFC无法判定$\kappa$重覆盖是否总可分裂，但本文建立了两个ZFC结果，适用于特定情形。
• 本文证明：对于图的$\kappa$重覆盖，无论有限或无限图，均存在完整解，推广了有限组合结果。