Existence of well-filterifications of $T_0$ topological spaces

Dongsheng Zhao; Guohua Wu; Xiaoquan Xu; Xiaoyong Xi

arxiv: 1906.10832 · v2 · pith:CJY5VDPNnew · submitted 2019-06-26 · 🧮 math.GN

Existence of well-filterifications of T₀ topological spaces

Guohua Wu , Xiaoyong Xi , Xiaoquan Xu , Dongsheng Zhao This is my paper

Pith reviewed 2026-05-25 15:19 UTC · model grok-4.3

classification 🧮 math.GN

keywords well-filtered spacesT0 spaceswell-filterificationuniversal propertycontinuous mappingstopological productsreflective subcategory

0 comments

The pith

Every T0 space admits a well-filterification with a universal map into well-filtered spaces.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that for any T0 space X one can construct a well-filtered space W(X) together with a continuous map η_X from X into W(X). Any continuous map from X into an arbitrary well-filtered space Y then extends in a unique way to a continuous map from W(X) to Y. This universal property supplies the well-filterification and settles a major open question. The paper further proves that the product of two well-filtered spaces remains well-filtered.

Core claim

For every T0 space X there exists a well-filtered space W(X) and a continuous mapping η_X : X → W(X) such that for any well-filtered space Y and any continuous mapping f : X → Y there exists a unique continuous mapping ˆf : W(X) → Y satisfying f = ˆf ∘ η_X. The product of any two well-filtered spaces is itself well-filtered.

What carries the argument

The well-filterification W(X) together with the continuous map η_X : X → W(X), which enforces the universal property for maps from X into well-filtered spaces.

If this is right

The category of well-filtered spaces is reflective inside the category of T0 spaces.
Every continuous map from a T0 space into a well-filtered space factors uniquely through the well-filterification.
Well-filteredness is preserved under binary products.
The well-filterification supplies a canonical way to associate a well-filtered space to any T0 space.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same universal construction may interact with other standard completions such as sobrification in ways that preserve or relate the two properties.
Iterated well-filterifications or transfinite constructions could be examined for spaces that require multiple steps to reach well-filteredness.
The result opens the possibility of transferring results about maps or properties defined only on well-filtered spaces back to general T0 spaces via the reflection.

Load-bearing premise

A construction of W(X) from an arbitrary T0 space X can be carried out so that the stated universal property holds for all well-filtered targets.

What would settle it

A concrete T0 space X together with a family of well-filtered spaces Y_i and maps f_i : X → Y_i such that no single well-filtered W(X) and map η_X can serve as the unique extension point for all the f_i simultaneously.

read the original abstract

We prove that for every $T_0$ space $X$, there is a well-filtered space $W(X)$ and a continuous mapping $\eta_X: X\lra W(X)$ such that for any well-filtered space $Y$ and any continuous mapping $f: X\lra Y$ there is a unique continuous mapping $\hat{f}: W(X)\lra Y$ such that $f=\hat{f}\circ \eta_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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper constructs a well-filterification W(X) for any T0 space with the stated universal property for maps into well-filtered spaces, answering an open problem, plus a proof that binary products of well-filtered spaces are well-filtered.

read the letter

The central new result is the existence of W(X) together with η_X that satisfies the universal mapping property into any well-filtered Y. This directly resolves the open question referenced in the abstract. The product theorem is presented as additional new content, though it appears secondary to the main construction. The work organizes maps from arbitrary T0 spaces into the well-filtered class in a clean categorical way, which is useful for anyone studying completions or reflections in this setting. The abstract is explicit about what is claimed and what prior literature it builds on. The stress-test note finds no obvious circularity or gap in the filter condition, which aligns with the existence-via-construction approach. The main limitation is that the abstract alone gives no proof details, so one cannot yet check whether the completion step actually produces a space meeting the standard well-filtered definition without extra restrictions. If the full manuscript supplies an explicit construction and verifies the universal property step by step, that would be solid. This is specialized general topology, aimed at readers already working on well-filtered spaces, sobrification, or related categorical constructions. A reader looking for concrete universal objects in this area would find it directly relevant. It deserves a serious referee because it claims to settle a stated major open problem with a reproducible construction rather than an existence argument by non-constructive means.

Referee Report

0 major / 3 minor

Summary. The manuscript proves that for every T_0 space X there exists a well-filtered space W(X) together with a continuous map η_X : X → W(X) such that any continuous map f : X → Y into a well-filtered space Y factors uniquely through a continuous map ˆf : W(X) → Y. It also proves that the product of any two well-filtered spaces is well-filtered. The construction of W(X) is presented as an explicit completion of X that enforces the well-filtered intersection property while preserving the stated universal property.

Significance. If the proofs hold, the result supplies a canonical well-filterification with the expected universal property, thereby resolving a major open question in the theory of well-filtered spaces. The auxiliary theorem that binary products preserve well-filteredness is a concrete strengthening of the category. The construction is direct, uses only the standard definition of well-filtered spaces, and introduces no free parameters or ad-hoc axioms.

minor comments (3)

[Introduction] The introduction would benefit from an explicit pointer to the precise statement of the open problem being solved (e.g., the reference or formulation that motivated the work).
[Section 3] Notation for the family of filters used in the construction of W(X) could be made uniform across the definition and the verification that the intersection condition holds.
A short remark comparing W(X) with other known completions (e.g., sobrification) would help readers situate the result.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation to accept the manuscript. The report correctly identifies the main results: the existence of the well-filterification W(X) with the stated universal property for every T0 space X, and the fact that binary products of well-filtered spaces remain well-filtered.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper establishes an existence result for the well-filterification W(X) of an arbitrary T0 space X by explicit construction, verifying that the resulting space is well-filtered and satisfies the stated universal property with respect to continuous maps into other well-filtered spaces. This is a standard categorical completion argument in topology that relies on the given definition of well-filteredness and does not reduce any central claim to a fitted parameter, self-definition, or load-bearing self-citation. The separate verification that binary products of well-filtered spaces remain well-filtered is an independent lemma and introduces no circular reduction. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the existence of a construction satisfying the universal property for the class of well-filtered spaces; the abstract provides no explicit free parameters, invented entities, or non-standard axioms beyond the background definitions of T0 and well-filtered spaces.

axioms (2)

standard math Standard axioms of ZFC set theory and general topology
The paper is a proof in the category of topological spaces.
domain assumption The definition of T0 spaces and well-filtered spaces as given in the literature
The result is stated specifically for T0 spaces and targets well-filtered spaces.

pith-pipeline@v0.9.0 · 5664 in / 1139 out tokens · 29857 ms · 2026-05-25T15:19:38.920337+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We prove that for every T0 space X, there is a well-filtered space W(X) ... universal among all continuous mappings from X to spaces with K-property
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the product of two well-filtered spaces is well-filtered

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

8 extracted references · 8 canonical work pages

[1]

H., Keimel, K., Lawson, J

Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M. W. an d Scott, D. S.: Continuous lattices and Domains, Encyclopedia of Mathematics and Its Ap- plications, Vol.93, Cambridge University Press, 2003

work page 2003
[2]

Erˇsov, Yu.L.: On d-spaces, Theo. Comp. Sci. 224(1999), 59-72

work page 1999
[3]

Goubault-Larrecq, J.: Non-Hausdorﬀ topology and Domain Theo ry, Cambridge Uni- versity Press, 2013

work page 2013
[4]

and Keimel, K.: Quasicontinuous domains and the Smy th powerdo- main, Electronic Notes in Theo

Heckmann, R. and Keimel, K.: Quasicontinuous domains and the Smy th powerdo- main, Electronic Notes in Theo. Comp. Sci. 298 (2013), 215-232

work page 2013
[5]

and Lawson, J.: D-topology and d-completion, Ann

Keimel, K. and Lawson, J.: D-topology and d-completion, Ann. Pur e Appl. Logic 159(2009), 292-306

work page 2009
[6]

and Li, Q.: A note on coherence of dcpos, Topol

Jia, X., Jung, A. and Li, Q.: A note on coherence of dcpos, Topol. A ppl. 209(2016), 235-238

work page 2016
[7]

Xi, X. and J. Lawson: On well-ﬁltered spaces and ordered sets, T opol. Appl. 228 (2017), 139-144

work page 2017
[8]

and Zhao, D.: Well-ﬁltered spaces and their dcpo models, Mat h

Xi, X. and Zhao, D.: Well-ﬁltered spaces and their dcpo models, Mat h. Struct. Comput. Sci. 27 (2017), 507-515. EXISTENCE OF WELL-FILTERIFICATIONS OF T0 TOPOLOGICAL SPACES 11 Division of Mathematical Sciences, School of Physical and M athemat- ical Sciences, Nanyang Technological University, Singapo re E-mail address : guohua.wu@ntu.edu.sg Division of Mat...

work page 2017

[1] [1]

H., Keimel, K., Lawson, J

Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M. W. an d Scott, D. S.: Continuous lattices and Domains, Encyclopedia of Mathematics and Its Ap- plications, Vol.93, Cambridge University Press, 2003

work page 2003

[2] [2]

Erˇsov, Yu.L.: On d-spaces, Theo. Comp. Sci. 224(1999), 59-72

work page 1999

[3] [3]

Goubault-Larrecq, J.: Non-Hausdorﬀ topology and Domain Theo ry, Cambridge Uni- versity Press, 2013

work page 2013

[4] [4]

and Keimel, K.: Quasicontinuous domains and the Smy th powerdo- main, Electronic Notes in Theo

Heckmann, R. and Keimel, K.: Quasicontinuous domains and the Smy th powerdo- main, Electronic Notes in Theo. Comp. Sci. 298 (2013), 215-232

work page 2013

[5] [5]

and Lawson, J.: D-topology and d-completion, Ann

Keimel, K. and Lawson, J.: D-topology and d-completion, Ann. Pur e Appl. Logic 159(2009), 292-306

work page 2009

[6] [6]

and Li, Q.: A note on coherence of dcpos, Topol

Jia, X., Jung, A. and Li, Q.: A note on coherence of dcpos, Topol. A ppl. 209(2016), 235-238

work page 2016

[7] [7]

Xi, X. and J. Lawson: On well-ﬁltered spaces and ordered sets, T opol. Appl. 228 (2017), 139-144

work page 2017

[8] [8]

and Zhao, D.: Well-ﬁltered spaces and their dcpo models, Mat h

Xi, X. and Zhao, D.: Well-ﬁltered spaces and their dcpo models, Mat h. Struct. Comput. Sci. 27 (2017), 507-515. EXISTENCE OF WELL-FILTERIFICATIONS OF T0 TOPOLOGICAL SPACES 11 Division of Mathematical Sciences, School of Physical and M athemat- ical Sciences, Nanyang Technological University, Singapo re E-mail address : guohua.wu@ntu.edu.sg Division of Mat...

work page 2017