A Hofmann-Mislove theorem for c-well-filtered spaces

Abstract

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 c-well-filtered spaces is introduced. We show that a retract of a c-well-filtered space is c-well-filtered and a locally Lindel\"of and c-well-filtered P-space is countably sober. In particular, we obtain a Hofmann-Mislove theorem for c-well-filtered spaces.

0

Turn this paper into a full lesson

ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.

Discussion (0)

Sign in to join the discussion.

Loading comments…