[论文解读] Small Locally Compact Linearly Lindelof Spaces

Kenneth Kunen|ArXiv.org|Feb 4, 2004

Rings, Modules, and Algebras参考文献 8被引用 6

一句话总结

本文构造了一个权为 $\aleph_\omega$ 的紧致豪斯多夫空间 $X$，其中存在一点 $p$，其局部基的基数为 $\aleph_\omega$，且不存在任何无 Uncountable 序列（由不同于 $p$ 的点构成）收敛于 $p$，从而保证 $X \setminus \{p\}$ 是线性 Lindelöf 空间但不是 Lindelöf 空间。该构造利用了紧致空间的逆极限、初等子模型以及优质超滤子，确保 $p$ 是弱 $P_{\aleph_n}$-点，同时保持权和拓扑性质不变。

ABSTRACT

There is a locally compact Hausdorff space of weight aleph_omega which is linearly Lindelof and not Lindelof. This improves an earlier result, which produced such a space of weight beth_omega.

研究动机与目标

• 构造一个权为 $\aleph_\omega$ 的紧致豪斯多夫空间 $X$，其中存在一点 $p$，其局部基的基数为 $\aleph_\omega$，且不存在任何无 Uncountable 序列（由不同于 $p$ 的点构成）收敛于 $p$。
• 证明 $X \setminus \{p\}$ 是线性 Lindelöf 且局部紧致，但不是 Lindelöf，从而提供一个小型线性 Lindelöf 非 Lindelöf 空间的例子。
• 证明 $\aleph_\omega$ 是此类空间可能的最小不可数局部基基数与权，确立在线性 Lindelöf 拓扑背景下其最小性。
• 通过在逆极限构造中使用初等子模型与优质超滤子，将早期基于 $\beth_\omega$ 的结果推广至 $\aleph_\omega$。

提出的方法

• 构造一个紧致豪斯多夫空间的逆系统 $\langle X_n, \pi^{n+1}_n \rangle$，满足 $w(X_n) = \aleph_n$，通过引理 4 的归纳延拓方法实现。
• 在构造中使用 $\aleph_n$ 上的优质超滤子，确保每个 $p_n = \pi^\omega_n(p)$ 是 $X_n$ 中的弱 $P_{\aleph_n}$-点。
• 应用初等子模型 $M \prec H(\theta)$，将逆极限的权从 $2^{\aleph_n}$ 降低至 $\aleph_n$，同时保持其拓扑性质。
• 利用自然映射 $\Gamma: \beta\kappa \twoheadrightarrow \mathrm{st}({\mathcal{B}})$ 将优质超滤子投影到简化空间 $\mathrm{st}({\mathcal{B}})$ 上，确保 $\Gamma(x)$ 仍为弱 $P_{\lambda^+}$-点。
• 利用 $\aleph_n^+$ 与 $\lambda$-覆盖模型的非 Jónsson 性质，确保 $\Gamma(x)$ 不在 $\mathrm{st}({\mathcal{B}})$ 中任何小集合的闭包内。
• 通过引理 3 验证逆极限 $X_\omega = \varprojlim X_n$ 满足所需的局部基基数、权与收敛性条件。

实验结果

研究问题

• RQ1 能否构造一个权为 $\aleph_\omega$ 的线性 Lindelöf、非 Lindelöf、局部紧致豪斯多夫空间？
• RQ2 是否 $\aleph_\omega$ 是此类空间可能的最小不可数局部基基数与权？
• RQ3 能否通过初等子模型与超滤子性质，将构造从 $\beth_\omega$ 推广至 $\aleph_\omega$？
• RQ4 在何种集合论假设下，紧致空间中的一点 $p$ 会不具有任何无 Uncountable 序列收敛于它，同时保持高局部基基数与权？
• RQ5 优质超滤子与 Jónsson 数在商映射与初等子模型下，对保持弱 $P$-点性质起何种作用？

主要发现

• 本文构造了一个权为 $\aleph_\omega$ 的紧致豪斯多夫空间 $X$，其中存在一点 $p$，其局部基基数为 $\aleph_\omega$，且不存在任何无 Uncountable 序列（由不同于 $p$ 的点构成）收敛于 $p$，满足定理 1 的条件。
• $X \setminus \{p\}$ 是线性 Lindelöf 且局部紧致，但不是 Lindelöf，证明了小型线性 Lindelöf 非 Lindelöf 空间的存在性。
• 该构造使用了权为 $\aleph_n$ 的紧致空间 $X_n$ 的逆极限，确保 $w(X_\omega) = \aleph_\omega$ 且 $\chi(p,X_\omega) = \aleph_\omega$。
• 通过使用初等子模型与优质超滤子，将逆极限的权从 $2^{\aleph_n}$ 降低至 $\aleph_n$，同时保持 $p_n$ 的弱 $P_{\aleph_n}$-点性质。
• 证明依赖于 $\aleph_n^+$ 与 $\lambda$-覆盖模型的非 Jónsson 性质，以确保 $\Gamma(x)$ 是简化空间 $\mathrm{st}({\mathcal{B}})$ 中的弱 $P_{\lambda^+}$-点。
• 该结果将早期基于 $\beth_\omega$ 的构造推广至 $\aleph_\omega$，表明 $\aleph_\omega$ 是此类空间可能的最小不可数权与局部基基数。