First countability, -well-filtered spaces and reflections

DOI10.1016/J.TOPOL.2020.107255MaRDI QIDQ2187162zbMATH OpenOpenAlexFDO

Authors Chong Shen, Xiaoyong Xi, Dongsheng Zhao, Xiaoquan Xu

Publication date 2 June 2020

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1911.13201

zbMATH Keywords

\( \omega \)-well-filtered space\( \omega\)-\(d\)-space\(d\)-spacefirst countable spacesober spacewell-filtered space

Mathematics Subject Classification ID

Ordered topological structures (06F30) Hyperspaces in general topology (54B20) Categorical methods in general topology (54B30) Fairly general properties of topological spaces (54D99)

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.

Review text

The authors investigate two new classes of subsets in \(T_0\) spaces, which they call \(\omega\)-Rudin sets and \(\omega\)-well-filtered determined sets. These lie between the class of all closures of countable directed subsets and that of irreducible closed subsets. They also consider two new types of spaces which they call \(\omega\)-\(d\)-spaces and \(\omega\)-well-filtered spaces. They show that an \(\omega\)-well-filtered \(T_0\) space is locally compact if and only if it is core compact. A consequence is that every core compact well-filtered space is sober, answering the Jia-Jung problem in a new way. They also prove that all irreducible closed subsets in a first countable \(\omega\)-well-filtered \(T_0\) space are directed. They conclude that a first countable \(T_0\) space \( X\) is sober if and only if \(X\) is well-filtered if and only if \(X\) is an \(\omega\)-well-filtered \(d\)-space. Making use of \(\omega\)-well-filtered determined sets, they finally give a construction of the \(\omega\)-well-filtered reflections of \(T_0\) spaces and prove that products of \(\omega\)-well-filtered spaces are \(\omega\)-well-filtered.

Recommendations

• First-countability, -Rudin spaces and well-filtered determined spaces
• On \(T_0\) spaces determined by well-filtered spaces
• On open well-filtered spaces

Cites work

• A note on coherence of dcpos
• An upper power domain construction in terms of strongly compact sets
• Categories of locally hypercompact spaces and quasicontinuous posets
• Comparing Cartesian closed categories of (core) compactly generated spaces
• Completion of a Construction of Johnstone
• Continuous Lattices and Domains
• D-completions and the \(d\)-topology
• Generalized continuous and hypercontinuous lattices
• scientific article; zbMATH DE number 3840019 (Why is no real title available?)
• scientific article; zbMATH DE number 3715569 (Why is no real title available?)
• scientific article; zbMATH DE number 3726420 (Why is no real title available?)
• scientific article; zbMATH DE number 3768575 (Why is no real title available?)
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 851999 (Why is no real title available?)
• Infinite distributive laws versus local connectedness and compactness properties
• Non-Hausdorff topology and domain theory. Selected topics in point-set topology
• On topologies defined by irreducible sets
• On well-filtered reflections of \(T_0\) spaces
• On well-filtered spaces and ordered sets
• Quasicontinuous domains and the Smyth powerdomain
• The Spectral Theory of Distributive Continuous Lattices
• The strength of prime separation, sobriety, and compactness theorems
• Well-filtered spaces and their dcpo models
• Well-filtered spaces, compactness, and the lower topology

Cited in

(23)

• CH and first countable, countably compact spaces
• Some characterizations of weak sobriety and upper spaces
• First-countability, -Rudin spaces and well-filtered determined spaces
• On quasi-metrizable \(d\)-spaces
• On \(T_0\) spaces determined by well-filtered spaces
• Coincidence of the upper Vietoris topology and the Scott topology
• On H-sober spaces and H-sobrifications of \(T_0\) spaces
• \textbf{K}-reflections of product spaces
• On First Countable, Countably Compact Spaces. I: (ω 1 , ω ∗ 1 )-Gaps
• Countable filters on ω
• Hofmann-Mislove type definitions of non-Hausdorff spaces
• On open well-filtered spaces
• On some results related to sober spaces
• Spaces determined by countably many locally compact subspaces
• Not every T₁ first-countable space is a Rudin space
• On \(\mathcal{U}_S\)-admitting reflections of \(T_0\) spaces
• Characterizations of -Rudin spaces via sequence convergence
• Strongly well-filtered spaces and strong d-spaces
• On function spaces related to quasi-metric spaces. I
• An answer to an open problem of Heckmann and \(\mathscr{U}_s\)-admitting spaces
• -well-filtered spaces revisited
• Fréchet spaces, -Rudin property and Smyth power spaces
• Some open problems on well-filtered spaces and sober spaces

This page was built for publication: First countability, \( \omega \)-well-filtered spaces and reflections

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2187162)