加载中…
The Hofmann-Mislove theorem states that in a sober space, the nonempty Scott open filters of its open set lattice correspond bijectively to its compacts saturated sets. In this paper, the concept of -well-filtered spaces is introduced. We show that a retract of a -well-filtered space is -well-filtered and a locally Lindelöf and -well-filtered -space is countably sober. In particular, we obtain a Hofmann-Mislove theorem for -well-filtered spaces.

生成讲解博客的中文版本

生成AI智能校验的中文版本