[论文解读] Combinatorial and model-theoretical principles related to regularity of ultrafilters and compactness of topological spaces. III

Paolo Lipparini|ArXiv.org|Apr 23, 2008

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

一句话总结

本文建立了超滤子正则性与拓扑空间紧致性之间的深层联系，尤其针对奇异基数。证明了拓扑空间 $ S_{ u}( u) $ 是 $ D $-紧致当且仅当超滤子 $ D $ 不是 $ ( u, u) $-正则的，将早期关于正则基数的结果推广至奇异基数，并通过积与超积构造，将模型论中的超滤子性质与拓扑紧致性联系起来。

ABSTRACT

We generalize the results from "P. Lipparini, Productive $[λ,μ]$-compactness and regular ultrafilters, Topology Proceedings, 21 (1996), 161--171"; in particular the present results apply to singular cardinals, too.

研究动机与目标

• 将超滤子正则性与拓扑紧致性的结果推广至奇异基数，扩展此前关于正则基数的工作。
• 建立特定拓扑空间的 $ D $-紧致性与超滤子非正则性之间的精确等价关系。
• 研究拓扑空间的积性 $[\nu,\mu]$-紧致性及其对超滤子正则性的依赖关系。
• 根据超滤子性质，特别是对基数族 $ (\kappa_i)_{i\in I} $，刻画拓扑空间何时为 $[\kappa_i,\kappa_i]$-紧致。
• 引入并分析弗雷歇不交并构造，作为在超滤子极限下保持 $ D $-紧致性与正则性、正规性等拓扑性质的工具。

提出的方法

• 本文使用空间 $ S_\nu(\mu) $，将其识别为大小小于 $ \nu $ 的 $ \mu $ 的子集的集合，赋予由集合 $ \{x \in S_\nu(\mu) \mid \alpha \in x\} $ 及其补集生成的拓扑。
• 证明了 $ S_\nu(\nu) $ 是 $ D $-紧致当且仅当 $ D $ 不是 $ (\nu,\nu) $-正则的，利用超滤子收敛性及 $ D $-收敛至 $ x \in S_\nu(\nu) $ 的定义。
• 证明依赖于：$ D $-收敛至 $ x $ 要求对所有 $ \alpha \in x $，有 $ \{i \mid \alpha \in f(i)\} \in D $，且 $ x $ 的大小必须小于 $ \nu $。
• 构造弗雷歇不交并 $ X = \{x\} \dot{\cup} \dot{\bigcup}_{i\in I} X_i $ 以保持 $ D $-紧致性及正则性、正规性等拓扑性质。
• 通过反证法证明了积性 $[\nu,\mu]$-紧致性与超滤子的 $ (\kappa_i,\kappa_i) $-正则性之间的等价性，利用存在一个 $ (\nu,\mu) $-正则但对任意 $ i \in I $ 都不是 $ (\kappa_i,\kappa_i) $-正则的超滤子。
• 本文应用了 [C2, 定理 1.7] 和 [L2, 命题 1] 中已知结果，将乘积的 $ D $-紧致性与超滤子正则性联系起来，尤其在奇异基数的背景下。

实验结果

研究问题

• RQ1 对于奇异基数 $ \nu $，当超滤子 $ D $ 满足什么条件时，空间 $ X = \nu^+ \cup \operatorname{cf}\nu $（赋予序拓扑）是 $ D $-紧致的？
• RQ2 $ S_\nu(\nu) $ 的 $ D $-紧致性与 $ D $ 的 $ (\nu,\nu) $-正则性之间存在何种精确关系？
• RQ3 在何种条件下，一个积性 $[\nu,\mu]$-紧致空间必然是某个 $ i \in I $ 的 $[\kappa_i,\kappa_i]$-紧致空间？
• RQ4 弗雷歇不交并构造如何保持 $ D $-紧致性及正规性、正则性等拓扑性质？
• RQ5 在不同类别的拓扑空间（如豪斯多夫空间、正规空间、具有闭开基的蒂霍诺夫群）中，积性 $[\nu,\mu]$-紧致性的条件何时等价？

主要发现

• 空间 $ S_\nu(\nu) $ 是 $ D $-紧致当且仅当超滤子 $ D $ 不是 $ (\nu,\nu) $-正则的，建立了拓扑紧致性与超滤子正则性之间的精确对偶关系。
• 对于奇异基数 $ \nu $，一个超滤子是 $ (\nu,\nu) $-正则当且仅当它是 $ (\operatorname{cf}\nu,\operatorname{cf}\nu) $-正则或 $ (\nu^+,\nu^+) $-正则的，将早期结果推广至奇异基数。
• 拓扑空间 $ X = \nu^+ \cup \operatorname{cf}\nu $（赋予序拓扑）是 $ D $-紧致当且仅当 $ D $ 不是 $ (\nu,\nu) $-正则的，因此 $ X $ 不是积性 $[\nu,\nu]$-紧致的。
• 一个积性 $[\nu,\mu]$-紧致的拓扑空间是某个 $ i \in I $ 的 $[\kappa_i,\kappa_i]$-紧致空间，当且仅当每个 $ (\nu,\mu) $-正则超滤子都是某个 $ i \in I $ 的 $ (\kappa_i,\kappa_i) $-正则的，建立了完全等价性。
• $ D $-紧致空间的弗雷歇不交并是 $ D $-紧致的，且若每个分量空间都有闭开集基，则并集也具有闭开集基，从而保持关键拓扑性质。
• 当每个 $ \kappa_i $ 是正则基数或余数为 $ \omega $ 的奇异基数时，定理 6 中的条件仍然等价，包括 $ D $-紧致性蕴含对某个 $ i \in I $ 有 $[\kappa_i,\kappa_i]$-紧致性的要求。