Existence of well-filterifications of T₀ topological spaces

DOI10.1016/J.TOPOL.2019.107044MaRDI QIDQ2291606zbMATH OpenOpenAlexWikidataFDO

Authors Guohua Wu, Xiaoyong Xi, Dongsheng Zhao, Xiaoquan Xu

Publication date 31 January 2020

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

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

zbMATH Keywords

\(K\)-fibration\(T_0\) spacesdirected complete posetproduct of well-filtered spacesScott topologysober spacewell-filtered spaces

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Product spaces in general topology (54B10) Categorical methods in general topology (54B30)

Abstract: We prove that for every $T_0$ space $X$, there is a well-filtered space $W(X)$ and a continuous mapping $et{a}_X:XlraW(X)$ such that for any well-filtered space $Y$ and any continuous mapping $f:XlraY$ there is a unique continuous mapping $hatf:W(X)lraY$ such that $f=hatfcircet{a}_X$. Such a space $W(X)$ will be called the well-filterification of $X$. This result gives a positive answer to one of the major open problems on well-filtered spaces. Another result on well-filtered spaces we will prove is that the product of two well-filtered spaces is well-filtered.

Review text

Is the category of all well-filtered spaces reflective in the category of all \(T_0\) spaces? This important question, on well-filtered spaces, is answered positively by the authors of this paper, using the criteria for the existence of a \(K\)-fibration of \(T_0\) spaces, which were introduced in [\textit{K. Keimel} and \textit{J. D. Lawson}, Ann. Pure Appl. Logic 159, No. 3, 292--306 (2009; Zbl 1172.54016)].

Recommendations

• Well-filterifications of topological spaces
• On \(T_0\) spaces determined by well-filtered spaces
• Well-filtered spaces, compactness, and the lower topology
• On well-filtered reflections of \(T_0\) spaces
• Filter topological spaces on \(R_0\)-algebras
• On topological Rudin's lemma, well-filtered spaces and sober spaces
• On finite \(T_0\) topological spaces
• Topological spaces compact with respect to a set of filters
• Some open problems on well-filtered spaces and sober spaces
• Compact \(T_ 0\)-spaces and \(T_ 0\)-compactification

Cites work

• A note on coherence of dcpos
• Continuous Lattices and Domains
• D-completions and the \(d\)-topology
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 3379785 (Why is no real title available?)
• Lim-inf convergence in partially ordered sets
• Non-Hausdorff topology and domain theory. Selected topics in point-set topology
• On \(d\)-spaces
• On well-filtered spaces and ordered sets
• Quasicontinuous domains and the Smyth powerdomain
• Well-filtered spaces and their dcpo models

Cited in

(16)

• Fibrewise injectivity and Kock-Zöberlein monads
• The \(R\)-completion of closure spaces
• Non-reflective categories of some kinds of weakly sober spaces
• Completing simple valuations in K-categories
• Well-filterifications of topological spaces
• On well-filtered reflections of \(T_0\) spaces
• On well-filtered spaces and ordered sets
• The Milnor-Stasheff filtration on spaces and generalized cyclic maps
• Well-filtered spaces, compactness, and the lower topology
• On open well-filtered spaces
• scientific article; zbMATH DE number 7732320 (Why is no real title available?)
• Some properties on compactness involving lower topology
• The reflectivity of some categories of T₀ spaces in domain theory
• Not every T₁ first-countable space is a Rudin space
• On \(\mathcal{U}_S\)-admitting reflections of \(T_0\) spaces
• An answer to an open problem of Heckmann and \(\mathscr{U}_s\)-admitting spaces

This page was built for publication: Existence of well-filterifications of \(T_0\) topological spaces

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