中文

FS-域不总是RB-域

一般拓扑 2026-07-01 v1
作者: Yuxu Chen , Hui Kou , Zhenchao Lyu
在 arXiv 上查看 ↗ PDF ↗

摘要

我们证明了Lawson的平面闭圆盘域不是RB-域。该域是欧几里得平面中所有闭圆盘的dcpo，连同整个平面作为底元素，按反向包含序。由于该域是FS-域，它给出了一个FS-域不是RB-域的具体例子，否定了域论中长期悬而未决的FS-域与RB-域是否相同的问题。

关键词

FS-域 RB-域 域论 闭圆盘域 dcpo

引用

@article{arxiv.2607.00568,
  title  = {FS-domains are not always RB-domains},
  author = {Yuxu Chen and Hui Kou and Zhenchao Lyu},
  journal= {arXiv preprint arXiv:2607.00568},
  year   = {2026}
}