First countability, $\omega$-well-filtered spaces and reflections

TL;DR

This paper introduces new classes of subsets and spaces in $T_0$ topology, establishing their properties and relationships, and provides a construction for $ extomega$-well-filtered reflections, advancing the understanding of countability and well-filteredness.

Contribution

It defines $ extomega$-Rudin and $ extomega$-well-filtered determined sets, introduces $ extomega$-$d$ and $ extomega$-well-filtered spaces, and constructs $ extomega$-well-filtered reflections, connecting countability with well-filteredness.

Findings

An $ extomega$-well-filtered $T_0$ space is locally compact iff it is core compact.

Every core compact well-filtered space is sober.

Products of $ extomega$-well-filtered spaces are $ extomega$-well-filtered.

Abstract

We first introduce and study two new classes of subsets in $T_0$ spaces - $\omega$-Rudin sets and $\omega$-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 - $\omega$-$d$ spaces and $\omega$-well-filtered spaces. We prove that an $\omega$-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 $\omega$-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 $\omega$-well-filtered $d$-space. Using $\omega$-well-filtered determined sets, we present a direct construction of the $\omega$-well-filtered reflections of $T_0$ spaces, and show that products of $\omega$-well-filtered spaces are $\omega$-well-filtered.