×

第一个可数线性Lindelöf拓扑空间。 (英语) Zbl 1226.54024号

回想一下,空间是Lindelöf iff,即每个打开的封面都有一个可计数的子封面。它是线性的Lindelöf iff,即每增加一个开盖都有一个可计数的子盖。在什么情况下线性Lindelöf空间必须是Lindelóf?特别是,第一个可数线性Lindelöf空间一定是Lindelóf吗?
已知第一可数线性Lindelöf空间(X\)具有大小(\leq\mathfrak c\),而具有净重(<\aleph_{\omega}\)的线性Lintelöf空间是Lindelóf。因此,如果\(X\)首先是线性可数的Lindelöf,但不是Lindelöf,那么\(\mathfrak c>\aleph_{\omega}\)和\(nw(X)\geq\aleph_{\omega}\)。
本文的主要结果是证明在(MA+\aleph_{\omega}<\mathfrak c\)下存在第一可数线性Lindelöf空间,该空间不是Lindelóf空间。
空间不难描述,所以我们在这里描述它。从康托集((C,\tau))上的常见拓扑开始,以及降链mod finited({a_{alpha}:\alpha<\aleph_{\omega}\}\subset\wp(\omega))。将\(tau_n\)定义为\(tau \)在\(C\)上生成的拓扑,以及形式为\(U_S=\{x\ in C:\exists\alpha<\aleph_n\;S=^*A_{alpha}\)和\(for all n\ in S\;x(n)=0\}\)的所有集。定义\(C_n=\bigcup\{U_S:\exists\alpha<\aleph_n\;S=^*A_{\alpha}\}\)和\(tilde C_n=\)\(C_n\)的\(\tau\)-闭包。那么所需的空间是\(P=\bigcup_{k<\omega}\prod_{i=0}^{k}\ tilde C_i\times\prod_{i=k+1}^{\infty}C_i\)。
假设存在(A{\alpha}:\alpha<\aleph_{\omega}\}),则(P\)是第一可数的,而不是Lindelöf。它是线性的,Lindelöf依赖于更多的\(MA+\aleph_{\omega}<\mathfrak c\),但正如作者指出的那样,没有使用假设的全部强度。
另一个结果是,在\(MA\)下,存在第一个可数Michael空间,它在Cantor集上细化了通常的拓扑。这个例子是通过调整K·阿尔斯特[《美国数学学会学报》第110卷第2期,第543–547页(1990年;Zbl 0723.54026号)]这不是第一个可数的。

MSC公司:

54D20个 非紧覆盖性质(仿紧、Lindelöf等)
54A10号 一组上的多个拓扑(拓扑更改、拓扑比较、拓扑格)
54A35型 一致性和独立性导致一般拓扑
5420国集团 一般拓扑中的反例
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Alster,K.,马丁公理下Lindelöf空间与无理数空间的乘积,Proc。阿默尔。数学。《社会学杂志》,110,2543-547(1990)·Zbl 0723.54026号
[2] Alexandroff,P.S。;Urysohn,P.S.,Memoire sur les espaces拓扑紧凑型,荷兰阿卡德。韦滕施。程序。序列号。A、 14、1-96(1929)
[3] Arhangel′skii公司。;Buzyakova,R.Z.,关于线性Lindelöf和强离散Lindelóf空间,Proc。阿默尔。数学。《社会学杂志》,127,82449-2458(1999)·Zbl 0930.54003号
[4] Arhangel′skii公司。;Buzyakova,R.Z.,紧集和线性Lindelöfness中的收敛性,评论。数学。卡罗琳大学。,39, 1, 159-166 (1998) ·Zbl 0937.54022号
[5] Arhangel′skii公司。;Buzyakova,R.Z.,关于线性Lindelöf空间的一些性质,拓扑程序。,23,夏季,1-11(1998)·Zbl 0964.54018号
[6] Arhangel′skii,A.V.,点态收敛拓扑中的函数空间,紧集,俄罗斯数学。调查。俄罗斯数学。勘测,УсПехиМатемаТибескихНаук,39,5,11-50(1984),俄文原件:·Zbl 0568.54016号
[7] Buzyakova,R.Z.,一些Lindelöf和\(\omega_1\)-Lindelöf\(T_1/T_2\)-空间的基数,拓扑应用。,143, 1-3, 209-216 (2004) ·Zbl 1059.54005号
[8] Engelking,Ryszard,《一般拓扑学》(1989),赫尔德曼·弗拉格:赫尔德曼·阿弗拉格·柏林·Zbl 0684.54001号
[9] 只是,W。;Weese,M.,《发现现代集合论》,第二卷。《面向每位数学家的集合理论工具》(1997),美国数学学会:美国数学学会普罗维登斯,RI·Zbl 0887.03036号
[10] 科杰曼,M。;Lubitch,V.,序列线性Lindelöf空间,拓扑应用。,138, 1-3, 135-144 (2003) ·Zbl 1022.54013号
[11] P.Koszmider,薄-超高代数的分裂超滤子和初始欧米伽-一紧性,预印本。;P.Koszmider,薄-超高代数的分裂超滤波器和初始欧米伽-一紧性,预印本。
[12] Kunen,K.,局部紧线性Lindelöf空间,评论。数学。卡罗琳大学。,43, 1, 155-158 (2002) ·Zbl 1090.54019号
[13] Kunen,K.,小型局部紧致线性Lindelöf空间,拓扑过程。,29, 1 (2005) ·Zbl 1114.54015号
[14] Mishchenko,A.S.,《最后的紧凑空间》,苏联数学。道克。,145,1199-1202(1962),[俄文原件:ДокаДтАкнД.НаукССР145(6)1224-1227.]·Zbl 0121.17501号
[15] Moore,J.T.,《与Michael问题相关的一些组合学》,Proc。阿默尔。数学。《社会学杂志》,127,82459-2467(1999)·Zbl 0981.54013号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。