arXiv subjects

Xiaoquan Xu

Publications and source records attributed to Xiaoquan Xu.

42 records · Page 3Linked to original sources

arXiv2019

A direct approach to $K$-reflections of $T_0$ spaces

In this paper, we provide a direct approach to $\mathbf{K}$-reflections of $T_0$ spaces. For a full subcategory $\mathbf{K}$ of the category of all $T_0$ spaces and a $T_0$ space $X$, let $\mathbf{K}(X)=\{A\subseteq X : A$ is closed and for any continuous mapping $f : X\longrightarrow Y$ to a $\mathbf{K}$-space $Y$, there exists a unique $y_A\in Y$ such that $\overline{f(A)}=\overline{\{y_A\}}\}$ and $P_H(\mathbf{K}(X))$ the space of $\mathbf{K}(X)$ endowed with the lower Vietoris topology. It is proved that if $P_H(\mathbf{K}(X))$ is a $\mathbf{K}$-space, then the pair $\langle X^k=P_H(\mathbf{K}(X)), η_X\rangle$, where $η_X :X\longrightarrow X^k$, $x\mapsto\overline{\{x\}}$, is the $\mathbf{K}$-reflection of $X$. We call $\mathbf{K}$ an adequate category if for any $T_0$ space $X$, $P_H(\mathbf{K}(X))$ is a $\mathbf{K}$-space. Therefore, if $\mathbf{K}$ is adequate, then $\mathbf{K}$ 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 $\mathbf{K}$-spaces and $\mathbf{K}$-reflections of $T_0$ spaces are investigated. In particular, it is proved that if $\mathbf{K}$ is adequate, then the $\mathbf{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.

math.GN↗

arXiv2019

First countability, $ω$-well-filtered spaces and reflections

We first introduce and study two new classes of subsets in $T_0$ spaces - $ω$-Rudin sets and $ω$-well-filtered determined sets lying between the class of all closures of countable directed subsets and that of irreducible closed subsets, and two new types of spaces - $ω$-$d$ spaces and $ω$-well-filtered spaces. We prove that an $ω$-well-filtered $T_0$ space is locally compact iff it is core compact. One immediate corollary is that every core compact well-filtered space is sober, answering Jia-Jung problem with a new method. We also prove that all irreducible closed subsets in a first countable $ω$-well-filtered $T_0$ space are directed. Therefore, a first countable $T_0$ space $X$ is sober iff $X$ is well-filtered iff $X$ is an $ω$-well-filtered $d$-space. Using $ω$-well-filtered determined sets, we present a direct construction of the $ω$-well-filtered reflections of $T_0$ spaces, and show that products of $ω$-well-filtered spaces are $ω$-well-filtered.

math.GN↗

arXiv2019

On $T_0$ spaces determined by well-filtered spaces

We first introduce and study two new classes of subsets in $T_0$ spaces - Rudin sets and $\wdd$ sets lying between the class of all closures of directed subsets and that of irreducible closed subsets. Using such subsets, we define three new types of topological spaces - $\mathsf{DC}$ spaces, Rudin spaces and $\wdd$ spaces. The class of Rudin spaces lie between the class of $\wdd$ spaces and that of $\dc$ spaces, while the class of $\dc$ spaces lies between the class of Rudin spaces and that of sober spaces. Using Rudin sets and $\wdd$ sets, we formulate and prove a number of new characterizations of well-filtered spaces and sober spaces. For a $T_0$ space $X$, it is proved that $X$ is sober if{}f $X$ is a well-filtered Rudin space if{}f $X$ is a well-filtered $\mathsf{WD}$ space. We also prove that every locally compact $T_0$ space is a Rudin space, and every core compact $T_0$ space is a $\wdd$ space. One immediate corollary is that every core compact well-filtered space is sober, giving a positive answer to Jia-Jung problem. Using $\wdd$ sets, we present a more directed construction of the well-filtered reflections of $T_0$ spaces, and prove that the products of any collection of well-filtered spaces are well-filtered. Our study also leads to a number of problems, whose answering will deepen our understanding of the related spaces and structures.

math.GN↗

arXiv2019

Existence of well-filterifications of $T_0$ topological spaces

We prove that for every $T_0$ space $X$, there is a well-filtered space $W(X)$ and a continuous mapping $η_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 η_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.

math.GN↗

arXiv2019

On some kinds of weakly sober spaces

In \cite{E_2018}, Erné relaxed the concept of sobriety in order to extend the theory of sober spaces and locally hypercompact spaces to situations where directed joins were missing, and introduced three kinds of non-sober spaces: cut spaces, weakly sober spaces, and quasisober spaces. In this paper, their basic properties are investigated. It is shown that some properties which are similar to that of sober spaces hold and others do not hold.

math.GN↗

arXiv2019

A complete Heyting algebra whose Scott space is non-sober

We prove that (1) for any complete lattice $L$, the set $\mathcal{D}(L)$ of all nonempty saturated compact subsets of the Scott space of $L$ is a complete Heyting algebra (with the reverse inclusion order); and (2) if the Scott space of a complete lattice $L$ is non-sober, then the Scott space of $\mathcal{D}(L)$ is non-sober. Using these results and the Isbell's example of a non-sober complete lattice, we deduce that there is a complete Heyting algebra whose Scott space is non-sober, thus give a positive answer to a problem posed by Jung. We will also prove that a $T_0$ space is well-filtered iff its upper space (the set $\mathcal{D}(X)$ of all nonempty saturated compact subsets of $X$ equipped with the upper Vietoris topology) is well-filtered, which answers another open problem.

math.GN↗