作为拟一致双完备化的同余双框架
一般拓扑
2021-12-28 v1
摘要
Künzi 与 Ferrario 已证明， 空间是 sober 的当且仅当它在良单调拟一致性中是双完备的。我们证明了这一结论的无点版本：严格零维双框架是同余双框架当且仅当它在同一拟一致性中是双完备的。作为推论，我们得到了 Plewe 关于同余框架是超仿紧的结果的一个新证明。主要结果利用了将拟一致双框架的双完备化构造为 Samuel 紧化的商这一新构造。
引用
@article{arxiv.1902.06340,
title = {The congruence biframe as a quasi-uniform bicompletion},
author = {Graham Manuell},
journal= {arXiv preprint arXiv:1902.06340},
year = {2021}
}
备注
12 pages, 0 figures. To be published in Topology and its Applications