A direct approach to K-reflections of T₀ spaces

DOI10.1016/J.TOPOL.2020.107076zbMATH Open1434.54007arXiv1911.11618OpenAlexW3002681237WikidataQ126307217 ScholiaQ126307217MaRDI QIDQ2295669FDOQ2295669

Authors: Xiaoquan Xu 

Publication date: 14 February 2020

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

Abstract: In this paper, we provide a direct approach to $mathbfK$-reflections of $T_0$ spaces. For a full subcategory $mathbfK$ of the category of all $T_0$ spaces and a $T_0$ space $X$, let $$ is closed and for any continuous mapping $f:XlongrightarrowY$ to a $mathbfK$-space $Y$, there exists a unique $y_{A}inY$ such that $$ and $P_H(mathbfK(X))$ the space of $mathbfK(X)$ endowed with the lower Vietoris topology. It is proved that if $P_H(mathbfK(X))$ is a $mathbfK$-space, then the pair $langle{X}^k=P_H(mathbfK(X)),et{a}_{X}angle$, where $et{a}_X:Xlongrightarrow{X}^k$, $xmapstooverlinex$, is the $mathbfK$-reflection of $X$. We call $mathbfK$ an adequate category if for any $T_0$ space $X$, $P_H(mathbfK(X))$ is a $mathbfK$-space. Therefore, if $mathbfK$ is adequate, then $mathbfK$ is reflective in $mathbf{Top}_0$. It is shown that the category of all sober spaces, that of all $d$-spaces, that of all well-filtered spaces and the Keimel and Lawson's category are all adequate, and hence are all reflective in $mathbf{Top}_0$. Some major properties of $mathbfK$-spaces and $mathbfK$-reflections of $T_0$ spaces are investigated. In particular, it is proved that if $mathbfK$ is adequate, then the $mathbfK$-reflection preserves finite products of $T_0$ spaces. Our study also leads to a number of problems, whose answering will deepen our understanding of the related spaces and their categorical structures.

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

Recommendations

• \textbf{K}-reflections of product spaces
• \(K\)-completions of \(T_0\)-spaces
• Non-reflective categories of some kinds of weakly sober spaces
• scientific article; zbMATH DE number 7732319
• On well-filtered reflections of \(T_0\) spaces

zbMATH Keywords

sober space\(d\)-spacewell-filtered spaceKeimel-Lawson category\(K\)-reflection\(K\)-set

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Ordered topological structures (06F30) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Categories of topological spaces and continuous mappings (18F60)

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
• 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 \(d\)-spaces
• On topologies defined by irreducible sets
• Dcpo-completion of posets
• A direct characterization of the monotone convergence space completion
• On the sobrification remainder sX-X
• Sobrification of partially ordered sets
• Categories of locally hypercompact spaces and quasicontinuous posets
• On \(T_0\) spaces determined by well-filtered spaces
• 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

Cited In (14)

• Some open problems on well-filtered spaces and sober spaces
• \textbf{K}-reflections of product spaces
• Well-filterifications of topological spaces
• On H-sober spaces and H-sobrifications of \(T_0\) spaces
• Title not available (Why is that?)
• Non-reflective categories of some kinds of weakly sober spaces
• \(D\)-completion, well-filterification and sobrification
• Title not available (Why is that?)
• On almost sober spaces
• On $T_1$-reflection of topological spaces
• Spectral reflections of topological spaces
• Light morphisms for generalized \(T_0\)-reflections
• Title not available (Why is that?)
• The \(R\)-completion of closure spaces

This page was built for publication: A direct approach to \(K\)-reflections of \(T_0\) spaces

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