A direct approach to K-reflections of T₀ spaces

DOI10.1016/J.TOPOL.2020.107076MaRDI QIDQ2295669zbMATH OpenOpenAlexWikidataFDO

Publication date 14 February 2020

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

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

\(d\)-space \(K\)-reflection \(K\)-set Keimel-Lawson category sober space well-filtered space

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

Abstract: In this paper, we provide a direct approach to

m a t h b f K

-reflections of

T_{0}

spaces. For a full subcategory

m a t h b f K

of the category of all

T_{0}

spaces and a

T_{0}

space

X

, let

is closed and for any continuous mapping

f : X l o n g r i g h t a r r o w Y

to a

m a t h b f K

-space

Y

, there exists a unique

y_{A} i n Y

such that

and

P_{H} (m a t h b f K (X))

the space of

m a t h b f K (X)

endowed with the lower Vietoris topology. It is proved that if

P_{H} (m a t h b f K (X))

is a

m a t h b f K

-space, then the pair

l a n g l e X^{k} = P_{H} (m a t h b f K (X)), e t a_{X} a n g l e

, where

e t a_{X} : X l o n g r i g h t a r r o w X^{k}

,

x m a p s t o o v e r l i n e x

, is the

m a t h b f K

-reflection of

X

. We call

m a t h b f K

an adequate category if for any

T_{0}

space

X

,

P_{H} (m a t h b f K (X))

is a

m a t h b f K

-space. Therefore, if

m a t h b f K

is adequate, then

m a t h b f K

is reflective in

m a t h b f {T o p}_{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

m a t h b f {T o p}_{0}

. Some major properties of

m a t h b f K

-spaces and

m a t h b f K

-reflections of

T_{0}

spaces are investigated. In particular, it is proved that if

m a t h b f K

is adequate, then the

m a t h b f K

-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.

Review text

The author presents a direct approach to \(\mathbf{K}\)-reflections of \(T_0\) spaces. For a full subcategory \(\mathbf{K}\) of \(\mathbf{Top}_0,\) containing \(\mathbf{Sob}\) (that is, the category of sober spaces), and a \(T_0\) space \(X,\) let \(\mathbf{K}(X)=\{A\subseteq X:A\) is closed and for any continuous mapping \(f:X\rightarrow Y\) to a \(\mathbf{K}\)-space \(Y,\) there exists a unique \(y_A\in Y\) such that \(\overline{f(A)}=\overline{\{y_A\}}\}\). Equip \(\mathbf{K}(X)\) with the lower Vietoris topology and denote the resulting space by \(P_H(\mathbf{K}(X))\). The author proves that if \(P_H(\mathbf{K}(X))\) is a \(\mathbf{K}\)-space, then the pair \((X^k=P_H(\mathbf{K}(X)),\eta_X)\), where \(\eta_X:X\rightarrow X^k\), \(x\mapsto \overline{\{x\}},\) is the \(\mathbf{K}\)-reflection of \(X\). Now \(\mathbf{K}\) is called an adequate category if for any \(T_0\) space \(X,\) \(P_H(\mathbf{K}(X))\) is a \(\mathbf{K}\)-space. It follows that if \(\mathbf{K}\) is adequate, then \(\mathbf{K}\) is reflective in \(\mathbf{Top}_0\). It is shown that the three well-known categories \(\mathbf{Sob}\), \(\mathbf{Top}_d\) of \(d\)-spaces and \(\mathbf{Top}_w\) of well-filtered spaces are all adequate. The same applies to what the author calls a Keimel-Lawson category. Some important properties of \(\mathbf{K}\)-spaces and \(\mathbf{K}\)-reflections of \(T_0\) spaces are investigated. Among other things, it is shown that if \(\mathbf{K}\) is adequate, then for each finite family \(\{X_i:1\leq i\leq n\}\) of \(T_0\) spaces, we have that \((\Pi_{i=1}^nX_i)^k=\Pi_{i=1}^n{X^k_i}\) (up to homeomorphism).

Recommendations

Cites work

Cited in

(18)

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)