[论文解读] Topological cell decomposition and dimension theory in P-minimal fields

Pablo Cubides Kovacsics, Luck Darnière+1 more|arXiv (Cornell University)|Aug 30, 2015

Advanced Topology and Set Theory参考文献 8被引用 5

一句话总结

本文為P-极小域建立了拓扑胞腔分解，使得可定义集的维数理论得以完整建立。证明了任一可定义集的边界维数严格低于该集合本身，从而得出关键结论：每个可定义函数在定义域的某个稠密开子集上是拟连续的。

ABSTRACT

This paper addresses some questions about dimension theory for P-minimal structures. We show that, for any definable set A, the dimension of the frontier of A is strictly smaller than the dimension of A itself, and that A has a decomposition into definable, pure-dimensional components. This is then used to show that the intersection of finitely many definable dense subsets of A is still dense in A. As an application, we obtain that any m-ary definable function is continuous on a dense, relatively open subset of its domain, thereby answering a question that was originally posed by Haskell and Macpherson. In order to obtain these results, we show that P-minimal structures admit a type of cell decomposition, using a topological notion of cells inspired by real algebraic geometry.

研究动机与目标

• 解决P-极小结构中维数理论的开放问题，特别是可定义集边界维数的问题。
• 建立一种拓扑胞腔分解，以实现对可定义集和函数的更精细分析。
• 证明可定义函数在定义域的某个稠密相对开子集上连续，从而回答Haskell与Macpherson提出的问题。
• 消除对可定义Skolem函数的依赖，而这些函数在早期较弱版本的拟连续性结果中是必需的。

提出的方法

• 引入‘t-胞腔’和‘良好t-胞腔分解’的概念，灵感来自实代数几何，但适配于P-极小结构。
• 使用‘边界小性质’——即 dim(Ā \backslash A) < dim(A)——作为证明维数理论结果的基础工具。
• 应用一个关键引理：若可定义子集的有限并集在A中具有非空内部，则其中至少一个分量在A中也具有非空内部。
• 利用纯维数分量 C_k(A) 的性质，即A中维数为k的最大纯维数子集。
• 利用性质：当 l ≠ k 时，dim(C_k(A) ∩ C_l(A)) < k，该性质由边界小性质和维数公理推出。
• 结合胞腔分解与内部和边界分析，证明可定义函数的连续点集在定义域中是稠密且开的。

实验结果

研究问题

• RQ1 P-极小域中可定义集的边界是否具有严格低于该集合本身的维数？
• RQ2 能否证明任意两个P-极小结构之间的可定义函数在定义域的某个稠密相对开子集上连续？
• RQ3 是否可能在不假设可定义Skolem函数存在的情况下证明拟连续性？
• RQ4 能否在P-极小域中构造一种拓扑胞腔分解，使得可定义函数在每个胞腔上连续？
• RQ5 有限个可定义集的稠密子集的交集是否仍为该集合中的稠密集？

主要发现

• 任一可定义集A的边界，即 Ā \backslash A，维数严格小于 dim(A)，从而确立了边界小性质。
• 每个可定义集A均可分解为有限个可定义的、纯维数的分量 C_k(A)，每个分量的维数为k。
• 任意可定义函数 f: X ⊆ K^m → K^n 的连续点集是X的一个可定义的、稠密的且开的子集U，且满足 dim(X \backslash U) < dim(X)。
• 可定义集A的有限个稠密可定义子集的交集本身在A中仍是稠密的，这是内部并集引理的推论。
• 拓扑胞腔分解确保每个可定义函数f均可分解为若干胞腔，使得f在每个胞腔上连续。
• 该结果无需假设可定义Skolem函数的存在，因此推广了文献中早期的局部结果。