关于第二可数空间是否均为k-林德勒夫空间的技术问询

咱们先从基础概念和已知结论入手，一步步梳理这个问题：

基础概念回顾 #

• 第二可数空间必是林德勒夫空间：给定任意开覆盖，我们可以把每个开集拆成空间的可数基中的开集，这样就得到了一个可数的细化覆盖。接着从原覆盖里任选包含这些可数基开集的开集，就能得到原覆盖的一个可数子覆盖，这就证明了第二可数空间的林德勒夫性。
• k-林德勒夫空间定义：一个空间被称为k-林德勒夫空间，当且仅当它的每个k-覆盖（即满足每个紧子集都包含在某个开集中的覆盖）都存在可数的k-子覆盖。

已知相关结论 #

• 所有可分度量空间既是第二可数空间，也是k-林德勒夫空间（之前有个相关定理后来被基于这个结论的内容替代了）。
• 存在不少空间是k-林德勒夫但并非第二可数的。
• 目前pi-Base（拓扑空间数据库）中没有收录任何一个是第二可数但不是k-林德勒夫的空间。

问题结论 #

从现有研究和已知例子来看，所有第二可数空间确实都是k-林德勒夫空间——目前没有找到任何反例，而且从逻辑推导上，第二可数空间的林德勒夫性质可以自然延伸到k-覆盖的场景：由于空间有可数基，对于任意k-覆盖，我们可以通过基开集的可数性筛选出可数个原覆盖中的开集，使得它们仍然构成一个k-覆盖。

备注：内容来源于stack exchange，提问作者Steven Clontz