First countability, -well-filtered spaces and reflections

DOI10.1016/J.TOPOL.2020.107255zbMATH Open1440.54017arXiv1911.13201OpenAlexW3024752375MaRDI QIDQ2187162FDOQ2187162

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)

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.

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

Recommendations

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

zbMATH Keywords

sober spacefirst countable space\(d\)-spacewell-filtered space\( \omega \)-well-filtered space\( \omega\)-\(d\)-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)

Cites Work

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

Cited In (15)

• Some open problems on well-filtered spaces and sober spaces
• \textbf{K}-reflections of product spaces
• On First Countable, Countably Compact Spaces. I: (ω 1 , ω ∗ 1 )-Gaps
• Spaces determined by countably many locally compact subspaces
• On quasi-metrizable \(d\)-spaces
• Coincidence of the upper Vietoris topology and the Scott topology
• On \(T_0\) spaces determined by well-filtered spaces
• On H-sober spaces and H-sobrifications of \(T_0\) spaces
• On some results related to sober spaces
• Some characterizations of weak sobriety and upper spaces
• CH and first countable, countably compact spaces
• Countable filters on ω
• On open well-filtered spaces
• Hofmann-Mislove type definitions of non-Hausdorff spaces
• First-countability, \( \omega \)-Rudin spaces and well-filtered determined 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)