一个不具有性质(wa)的完全正则空间

摘要

一个空间Ｘ被称为具有性质（ｗａ），如果对于空间Ｘ的任意覆盖Ｕ和对于Ｘ的任意稠密子空间Ｄ，在Ｄ中存在一个离散子集Ｆ，使得Ｓｔ（Ｆ，Ｕ）＝Ｘ，其中Ｓｔ（Ｆ，Ｕ）＝∪｛Ｕ∈Ｕ：Ｕ∩Ｆ≠｝．