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

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

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)

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.

Recommendations

Cites work

Cited in

(14)

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)