Source author record

Xiaoquan Xu

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

12works
2topics
4close collaborators

Published work

12 publications

preprint2022arXiv

A supplement on feathered gyrogroups

A topological gyrogroup is a gyrogroup endowed with a topology such that the binary operation is jointly continuous and the inverse mapping is also continuous. It is shown that each compact subset of a topological gyrogroup with an ωωω^ω-base is metrizable, which deduces that if GG is a topological gyrogroup with an ωωω^ω-base and is a kk-space, then it is sequential. Moreover, for a feathered strongly topological gyrogroup GG, based on the characterization of feathered strongly topological gyrogroups, we show that if GG has countable cs∗cs^{*}-character, then it is metrizable; and it is also shown that GG has a compact resolution swallowing the compact sets if and only if GG contains a compact LL-subgyrogroup HH such that the quotient space G/HG/H is a Polish space.

preprint2022arXiv

Non-reflective categories of some kinds of weakly sober spaces

Erné weakened 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 and discussed three kinds of non-sober spaces: cut spaces, weakly sober spaces, and quasisober spaces. Three other kinds of non-sober spaces, namely DC\mathsf{DC} space, RD\mathsf{RD} space and WD\mathsf{WD} space, were introduced and investigated by Xu, Shen, Xi and Zhao. All these six kinds of spaces are strictly weaker than sober spaces. In this paper, it is shown that none of the category of all DC\mathsf{DC} spaces, that of all RD\mathsf{RD} spaces, that of all WD\mathsf{WD} spaces, that of all quasisober spaces, that of all weakly spaces and that of all cut spaces is reflective in the category of all T0T_0 spaces with continuous mappings.

preprint2022arXiv

On K\mathbf{K}-reflections of Scott spaces

In this paper, for a full subcategory K\mathbf{K} of the category of all T0T_0 spaces with continuous mappings, we investigate the questions under what conditions the K\mathbf{K}-reflection of a Scott space is still a Scott space and under what conditions the Scott K\mathbf{K}-completion of a poset exists. Some necessary and sufficient conditions for the K\mathbf{K}-reflection of a Scott space to be a Scott space and for the existence of Scott K\mathbf{K}-completion of a poset are established, respectively. It is shown that neither the sobrification nor the well-filtered reflection of the Johnstone space is a Scott space. The K\mathbf{K}-reflections of Alexandroff spaces and the K\mathbf{K}-completions of posets are also discussed.

preprint2022arXiv

On Function Spaces Related to H-sober Spaces

In this paper, we mainly study the function spaces related to H-sober spaces. For an irreducible subset system H and T0T_{0} spaces XX and YY, it is proved that YY is H-sober iff the function space C(X,Y)\mathbb{C}(X, Y) of all continuous functions f:X⟶Yf : X\longrightarrow Y equipped with the topology of pointwise convergence is H-sober iff the function space C(X,Y)\mathbb{C}(X, Y) equipped with the Isbell topology is H-sober. One immediate corollary is that for a T0T_{0} space XX, YY is a sober space (resp., dd-space, well-filtered space) iff the function space C(X,Y)\mathbb{C}(X, Y) equipped with the topology of pointwise convergence is a sober space (resp., dd-space, well-filtered space) iff the function space C(X,Y)\mathbb{C}(X, Y) equipped with the the Isbell topology is a sober space (resp., dd-space, well-filtered space). It is shown that T0T_{0} spaces XX and YY, if the function space C(X,Y)\mathbb{C}(X, Y) equipped with the compact-open topology is H-sober, then YY is H-sober. The function space C(X,Y)\mathbb{C}(X, Y) equipped with the Scott topology is also discussed.

preprint2022arXiv

On Scott power spaces

In this paper, we mainly discuss some basic properties of Scott power spaces. For a T0T_0 space XX, let K(X)\mathsf{K}(X) be the poset of all nonempty compact saturated subsets of XX endowed with the Smyth order. It is proved that the Scott power space ΣK(X)Σ\mathsf{K}(X) of a well-filtered space XX is still well-filtered, and a T0T_0 space YY is well-filtered iff ΣK(Y)Σ\mathsf{K}(Y) is well-filtered and the upper Vietoris topology is coarser than the Scott topology on K(Y)\mathsf{K}(Y). A sober space is constructed for which its Scott power space is not sober. A few sufficient conditions are given under which a Scott power space is sober. Some other properties, such as local compactness, first-countability, Rudin property and well-filtered determinedness, of Smyth power spaces and Scott power spaces are also investigated.

preprint2022arXiv

Quotient spaces with strong subgyrogroups

In this paper, we mainly investigate the quotient spaces G/H when G is a strongly topological gyrogroup and H is a strong subgyrogroup of G. It is shown that if G is a strongly topological gyrogroup, H is a closed strong subgyrogroup of G and H is inner neutral, then the quotient space G/H is first-countable if and only if G/H is a bisequential space if and only if G/H is a weakly first-countable space if and only if G/H is a csf-countable and sequential a7-space. Moreover, it is shown that if H is a locally compact metrizable strong subgyrogroup of G and the quotient space G/H is sequential, then G is also sequential; if H is a closed first-countable and separable strong subgyrogroup of G, the quotient space G/H is a cosmic space, then G is also a cosmic space; if the quotient space G/H has a star-countable cs-network or star-countable wcs*-network, then G also has a star-countable cs-network or star-countable wcs*-network, respectively.

preprint2020arXiv

ωω-Rudin spaces, well-filtered determined spaces and first-countable spaces

We investigate some versions of dd-space, well-filtered space and Rudin space concerning various countability properties. The main results include: (i) if the sobrification of a T0T_0 space XX is first-countable, then XX is an ωω-Rudin space; (ii) every ωω-well-filtered space is sober if its sobrification is first-countable; (iii) if a T0T_0 space is second-countable or first-countable and with a countable underlying set, then it is a ωω-Rudin space; (iv) every first-countable T0T_0 space is well-filtered determined; (v) every irreducible closed subset in a first-countable ωω-well-filtered space is countably-directed; (vi) every first-countable ωω-well-filtered ω∗ω^\ast-dd-space is sober.

preprint2020arXiv

Coincidence of the upper Vietoris topology and the Scott topology

For a T0T_0 space XX, let $\mk (X)$ be the poset of all compact saturated sets of XX with the reverse inclusion order. The space XX is said to have property Q if for any $K_1, K_2\in \mk (X)$, K2≪K1K_2\ll K_1 in $\mk (X)$ if{}f $K_2\subseteq \ii~\!K_1$. In this paper, we give several connections among the well-filteredness of XX, the sobriety of XX, the local compactness of XX, the core compactness of XX, the property Q of XX, the coincidence of the upper Vietoris topology and Scott topology on $\mk (X)$, and the continuity of $x\mapsto\ua x : X \longrightarrow Σ~\!\! \mk (X)$ (where $Σ~\!\! \mk (X)$ is the Scott space of $\mk (X)$). It is shown that for a well-filtered space XX for which its Smyth power space PS(X)P_S(X) is first-countable, the following three properties are equivalent: the local compactness of XX, the core compactness of XX and the continuity of $\mk (X)$. It is also proved that for a first-countable T0T_0 space XX in which the set of minimal elements of KK is countable for any compact saturated subset KK of XX, the Smyth power space PS(X)P_S(X) is first-countable. For the Alexandroff double circle YY, which is Hausdorff and first-countable, we show that its Smyth power space PS(Y)P_S(Y) is not first-countable.

preprint2020arXiv

On H-sober spaces and H-sobrifications of T0T_0 spaces

In this paper, we provide a uniform approach to dd-spaces, sober spaces and well-filtered spaces, and develop a general framework for dealing with all these spaces. For a subset system H, the theory of H-sober spaces and super H-sober spaces is established, and a direct construction of the H-sobrifcations and super H-sobrifications of T0T_0 spaces is given. Therefore, the category of all H-sober spaces is reflective in Top0\mathbf{Top}_0, and the category of all super H-sober spaces is also reflective in Top0\mathbf{Top}_0 if H has a natural property (called property M). It is shown that the H-sobrification preserves finite products of T0T_0 spaces, and the super H-sobrification preserves finite products of T0T_0 spaces if H has property M.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.