First countability, $ω$-well-filtered spaces and reflections

Abstract

We first introduce and study two new classes of subsets in $T_0$ spaces - $ω$-Rudin sets and $ω$-well-filtered determined sets lying between the class of all closures of countable directed subsets and that of irreducible closed subsets, and two new types of spaces - $ω$-$d$ spaces and $ω$-well-filtered spaces. We prove that an $ω$-well-filtered $T_0$ space is locally compact iff it is core compact. One immediate corollary is that every core compact well-filtered space is sober, answering Jia-Jung problem with a new method. We also prove that all irreducible closed subsets in a first countable $ω$-well-filtered $T_0$ space are directed. Therefore, a first countable $T_0$ space $X$ is sober iff $X$ is well-filtered iff $X$ is an $ω$-well-filtered $d$-space. Using $ω$-well-filtered determined sets, we present a direct construction of the $ω$-well-filtered reflections of $T_0$ spaces, and show that products of $ω$-well-filtered spaces are $ω$-well-filtered.