关于弱 Hausdorff 空间与局部强 sober 空间
一般拓扑
2022-11-24 v3 计算机科学中的逻辑
摘要
我们证明局部强 sober 空间恰好是在 Keimel 和 Lawson 意义下弱 Hausdorff 的相干 sober 空间。这使我们能明确描述它们的 Stone 对偶。作为另一应用,我们证明弱 Hausdorff 性是透镜与拟透镜构成同胚空间的充分条件,推广了先前已知的结果。
引用
@article{arxiv.2211.10400,
title = {On Weakly Hausdorff Spaces and Locally Strongly Sober Spaces},
author = {Jean Goubault-Larrecq},
journal= {arXiv preprint arXiv:2211.10400},
year = {2022}
}
备注
15 pages; removed Proposition 5.4, whose proof was wrong; added new Lemma 5.5 and Remark 5.6, solving a previously open question