Source author record

Fucai Lin

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

27works
2topics
4close collaborators

Published work

27 publications

preprint2022arXiv

Some properties of Pre-topological groups

In this paper, we pose the concepts of pre-topological groups and some generalizations of pre-topological groups. First, we systematically investigate some basic properties of pre-topological groups; in particular, we prove that each T0T_{0} pre-topological group is regular and every almost topological group is completely regular which extends A.A. Markov's theorem to the class of almost topological groups. Moreover, it is shown that an almost topological group is ττ-narrow if and only if it can be embedded as a subgroup of a pre-topological product of almost topological groups of weight less than or equal to ττ. Finally, the cardinal invariant, the precompactness and the resolvability are investigated in the class of pre-topological groups.

preprint2020arXiv

Some topological properties of topological rough groups

Let (U,R)(U, R) be an approximation space with UU being non-empty set and RR being an equivalence relation on UU, and let G‾\overline{G} and G‾\underline{G} be the upper approximation and the lower approximation of subset GG of UU. A topological rough group GG is a rough group G=(G‾,G‾)G=(\underline{G}, \overline{G}) endowed with a topology, which is induced from the upper approximation space G‾\overline{G}, such that the product mapping f:G×G→G‾f: G\times G\rightarrow \overline{G} and the inverse mapping are continuous. In the class of topological rough groups, the relations of some separation axioms are obtained, some basic properties of the neighborhoods of the rough identity element and topological rough subgroups are investigated. In particular, some examples of topological rough groups are provided to clarify some facts about topological rough groups. Moreover, the version of open mapping theorem in the class of topological rough group is obtained. Further, some interesting open questions are posed.

preprint2020arXiv

The Transversality on locally pseudocompact groups

Two non-discrete Hausdorff group topologies τ,δτ, δ on a group GG are called {\it transversal} if the least upper bound τ∨δτ\vee δ of ττ and δδ is the discrete topology. In this paper, we discuss the existence of transversal group topologies on locally pseudocompact, locally precompact or locally compact groups. We prove that each locally pseudocompact, connected topological group satisfies CSP, which gives an affirmative answer to a problem posed by Dikranjan, Tkachenko and Yaschenko in 2006. For a compact normal subgroup KK of a locally compact totally disconnected group GG, if GG admits a transversal group topology then G/KG/K admits a transversal group topology, which give a partial answer again to a problem posed by Dikranjan, Tkachenko and Yaschenko in 2006. Moreover, we characterize some classes of locally compact groups that admit transversal group topologies.

preprint2016arXiv

Countable tightness and G\mathfrak G-bases on Free topological groups

Given a Tychonoff space XX, let F(X)F(X) and A(X)A(X) be respectively the free topological group and the free Abelian topological group over XX in the sense of Markov. In this paper, we consider two topological properties of F(X)F(X) or A(X)A(X), namely the countable tightness and G\mathfrak G-base. We provide some characterizations of the countable tightness and G\mathfrak G-base of F(X)F(X) and A(X)A(X) for various special classes of spaces XX. Furthermore, we also study the countable tightness and G\mathfrak G-base of some Fn(X)F_{n}(X) of F(X)F(X).

preprint2016arXiv

The kk-spaces property of free Abelian topological groups over non-metrizable Lašnev spaces

Given a Tychonoff space XX, let A(X)A(X) be the free Abelian topological group over XX in the sense of Markov. For every n∈Nn\in\mathbb{N}, let An(X)A_n(X) denote the subspace of A(X)A(X) that consists of words of reduced length at most nn with respect to the free basis XX. In this paper, we show that A4(X)A_4(X) is a kk-space if and only if A(X)A(X) is a kk-space for the non-metrizable Lašnev space XX, which gives a complementary for one result of K. Yamada's. In addition, we also show that, under the assumption of ♭=ω1\flat=ω_1, the subspace A3(X)A_3(X) is a kk-space if and only if A(X)A(X) is a kk-space for the non-metrizable Lašnev space XX. However, under the assumption of ♭>ω1\flat>ω_1, we provide a non-metrizable Lašnev space XX such that A3(X)A_3(X) is a kk-space but A(X)A(X) is not a kk-space.

preprint2016arXiv

The countable type properties in free paratopological groups

A space XX is of countable type (resp. subcountable type) if every compact subspace FF of XX is contained in a compact subspace KK that is of countable character (resp. countable pseudocharacter) in XX. In this paper, we mainly show that: (1) For a functionally Hausdorff space XX, the free paratopological group FP(X)FP(X) and the free abelian paratopological group AP(X)AP(X) are of countable type if and only if XX is discrete; (2) For a functionally Hausdorff space XX, if the free abelian paratopological group AP(X)AP(X) is of subcountable type then XX has countable pseudocharacter. Moreover, we also show that, for an arbitrary Hausdorff μμ-space XX, if AP2(X)AP_{2}(X) or FP2(X)FP_{2}(X) is locally compact, then XX is homeomorphic to the topological sum of a compact space and a discrete space.

preprint2016arXiv

Two Weak Forms of Countability Axioms in Free Topological Groups

Given a Tychonoff space XX, let F(X)F(X) and A(X)A(X) be respectively the free topological group and the free Abelian topological group over XX in the sense of Markov. For every n∈Nn\in\mathbb{N}, let Fn(X)F_{n}(X) (resp. An(X)A_n(X)) denote the subspace of F(X)F(X) (resp. A(X)A(X)) that consists of words of reduced length at most nn with respect to the free basis XX. In this paper, we discuss two weak forms of countability axioms in F(X)F(X) or A(X)A(X), namely the csfcsf-countability and snfsnf-countability. We provide some characterizations of the csfcsf-countability and snfsnf-countability of F(X)F(X) and A(X)A(X) for various classes of spaces XX. In addition, we also study the csfcsf-countability and snfsnf-countability of Fn(X)F_n(X) or An(X)A_n(X), for n=2,3,4n=2, 3, 4. Some results of Arhangel'ski\vı in \cite{A1980} and Yamada in \cite{Y1998} are generalized. An affirmative answer to an open question posed by Li et al. in \cite{LLL} is provided.

preprint2015arXiv

Locally σσ-compact rectifiable spaces

A topological space GG is said to be a {\it rectifiable space} provided that there are a surjective homeomorphism φ:G×G→G×Gφ:G\times G\rightarrow G\times G and an element e∈Ge\in G such that π1∘φ=π1π_{1}\circ φ=π_{1} and for every x∈Gx\in G, φ(x,x)=(x,e)φ(x, x)=(x, e), where π1:G×G→Gπ_{1}: G\times G\rightarrow G is the projection to the first coordinate. In this paper, we first prove that each locally compact rectifiable space is paracompact, which gives an affirmative answer to Arhangel'skii and Choban's question (Arhangel'skii and Choban [3]). Then we prove that every locally σσ-compact rectifiable space with a bcbc-base is locally compact or zero-dimensional, which improves Arhangel'skii and van Mill's result (Arhangel'skii and van Mill [4]). Finally, we prove that each kωk_ω-rectifiable space is rectifiable complete.

preprint2015arXiv

Some topological properties of Charming spaces

In this paper, we mainly discuss the class of charming spaces, which was introduced by A.V. Arhangel'skii in [Remainders of metrizable spaces and a generalization of Lindelöf ΣΣ-spaces, Fund. Math., 215(2011), 87-100]. First, we show that there exists a charming space XX such that X2X^{2} is not a charming space. Then we discuss some properties of charming spaces and give some characterizations of some class of charming spaces. Finally, we show that the Suslin number of an arbitrary charming rectifiable space GG is countable.

preprint2015arXiv

The mapping i2i_{2} on the free paratopological groups

Let FP(X)FP(X) be the free paratopological group over a topological space XX. For each non-negative integer n∈Nn\in\mathbb{N}, denote by FPn(X)FP_{n}(X) the subset of FP(X)FP(X) consisting of all words of reduced length at most nn, and ini_{n} by the natural mapping from (X⨁X−1⨁{e})n(X\bigoplus X^{-1}\bigoplus\{e\})^{n} to FPn(X)FP_{n}(X). In this paper, we mainly improve some results of A.S. Elfard and P. Nickolas's [On the topology of free paratopological groups. II, Topology Appl., 160(2013), 220--229.]. The main result is that the natural mapping i2:(X⨁Xd−1⨁{e})2⟶FP2(X)i_{2}: (X\bigoplus X_{d}^{-1}\bigoplus\{e\})^{2}\longrightarrow FP_{2}(X) is a closed mapping if and only if every neighborhood UU of the diagonal Δ1Δ_{1} in Xd×XX_{d}\times X is a member of the finest quasi-uniformity on XX, where XX is a T1T_{1}-space and XdX_{d} denotes XX when equipped with the discrete topology in place of its given topology.

preprint2015arXiv

The topological properties of qq-spaces in free topological groups

Given a Tychonoff space XX, let F(X)F(X) and A(X)A(X) be respectively the free topological group and the free Abelian topological group over XX in the sense of Markov. In this paper, we provide some topological properties of XX whenever one of F(X)F(X), A(X)A(X), some finite level of F(X)F(X) and some finite level of A(X)A(X) is qq-space (in particular, locally ωω-bounded spaces and rr-spaces), which give some partial answers to a problem posed in [11].

preprint2013arXiv

ππ-metrizable spaces and strongly ππ-metrizable spaces

A space XX is said to be ππ-metrizable if it has a σσ-discrete ππ-base. In this paper, we mainly give affirmative answers for two questions about ππ-metrizable spaces. The main results are that: (1) A space XX is ππ-metrizable if and only if XX has a σσ-hereditarily closure-preserving ππ-base; (2) XX is ππ-metrizable if and only if XX is almost σσ-paracompact and locally ππ-metrizable; (3) Open and closed maps preserve ππ-metrizability; (4) ππ-metrizability satisfies hereditarily closure-preserving regular closed sum theorems. Moreover, we define the notions of second-countable ππ-metrizable and strongly ππ-metrizable spaces, and study some related questions. Some questions about strongly ππ-metrizability are posed.

preprint2013arXiv

On paratopological groups

In this paper, we firstly construct a Hausdorff non-submetrizable paratopological group GG in which every point is a GδG_δ-set, which gives a negative answer to Arhangel'ski\vı\ and Tkachenko's question [Topological Groups and Related Structures, Atlantis Press and World Sci., 2008]. We prove that each first-countable Abelian paratopological group is submetrizable. Moreover, we discuss developable paratopological groups and construct a non-metrizable, Moore paratopological group. Further, we prove that a regular, countable, locally kωk_ω-paratopological group is a discrete topological group or contains a closed copy of SωS_ω. Finally, we discuss some properties on non-H-closed paratopological groups, and show that Sorgenfrey line is not H-closed, which gives a negative answer to Arhangel'ski\vı\ and Tkachenko's question [Topological Groups and Related Structures, Atlantis Press and World Sci., 2008]. Some questions are posed.

preprint2013arXiv

Some weak versions of the M1M_{1}-spaces

We mainly introduce some weak versions of the M1M_{1}-spaces, and study some properties about these spaces. The mainly results are that: (1) If XX is a compact scattered space and i(X)≤3i(X)\leq 3, then XX is an ss-m1m_{1}-space; (2) If XX is a strongly monotonically normal space, then XX is an ss-m2m_{2}-space; (3) If XX is a σσ-m3m_{3} space, then t(X)≤c(X)t(X)\leq c(X), which extends a result of P.M. Gartside in \cite{CP}. Moreover, some questions are posed in the paper.

preprint2013arXiv

Topological monomorphisms between free paratopological groups

Suppose that XX is a subspace of a Tychonoff space YY. Then the embedding mapping eX,Y:X→Ye_{X, Y}: X\rightarrow Y can be extended to a continuous monomorphism e^X,Y:AP(X)→AP(Y)\hat{e}_{X, Y}: AP(X)\rightarrow AP(Y), where AP(X)AP(X) and AP(Y)AP(Y) are the free Abelian paratopological groups over XX and YY, respectively. In this paper, we mainly discuss when e^X,Y\hat{e}_{X, Y} is a topological monomorphism, that is, when e^X,Y\hat{e}_{X, Y} is a topological embedding of AP(X)AP(X) to AP(Y)AP(Y).

preprint2012arXiv

Local properties on the remainders of the topological groups

When does a topological group GG have a Hausdorff compactification bGbG with a remainder belonging to a given class of spaces? In this paper, we mainly improve some results of A.V. Arhangel'ski\vı and C. Liu's. Let GG be a non-locally compact topological group and bGbG be a compactification of GG. The following facts are established: (1) If bG∖GbG\setminus G has a locally a point-countable pp-metabase and ππ-character of bG∖GbG\setminus G is countable, then GG and bGbG are separable and metrizable; (2) If bG∖GbG\setminus G has locally a δθδθ-base, then GG and bGbG are separable and metrizable; (3) If bG∖GbG\setminus G has locally a quasi-GδG_δ-diagonal, then GG and bGbG are separable and metrizable. Finally, we give a partial answer for a question, which was posed by C. Liu in \cite{LC}.

preprint2012arXiv

On rectifiable spaces and paratopological groups

We mainly discuss the cardinal invariants and generalized metric properties on paratopological groups or rectifiable spaces, and show that: (1) If AA and BB are ωω-narrow subsets of a paratopological group GG, then ABAB is ωω-narrow in GG, which give an affirmative answer for \cite[Open problem 5.1.9]{A2008}; (2) Every bisequential or weakly first-countable rectifiable space is metrizable; (3) The properties of Freˊ\acute{e}chet-Urysohn and strongly Freˊ\acute{e}chet-Urysohn are coincide in rectifiable spaces; (4) Every rectifiable space GG contains a (closed) copy of SωS_ω if and only if GG has a (closed) copy of S2S_{2}; (5) If a rectifiable space GG has a σσ-point-discrete closed kk-network, then GG contains no closed copy of Sω1S_{ω_{1}}; (6) If a rectifiable space GG is pointwise canonically weakly pseudocompact, then GG is a Moscow space. Also, we consider the remainders of paratopological groups or rectifiable spaces, and give a partial answer to questions posed by C. Liu in \cite{Liu2009} and C. Liu, S. Lin in \cite{Liu20091}, respectively.

preprint2012arXiv

Topologically subordered rectifiable spaces and compactifications

A topological space GG is said to be a {\it rectifiable space} provided that there are a surjective homeomorphism ϕ:G×G→G×Gϕ:G\times G\rightarrow G\times G and an element e∈Ge\in G such that π1∘ϕ=π1π_{1}\circ ϕ=π_{1} and for every x∈Gx\in G we have ϕ(x,x)=(x,e)ϕ(x, x)=(x, e), where π1:G×G→Gπ_{1}: G\times G\rightarrow G is the projection to the first coordinate. In this paper, we mainly discuss the rectifiable spaces which are suborderable, and show that if a rectifiable space is suborderable then it is metrizable or a totally disconnected P-space, which improves a theorem of A.V. Arhangel'ski\vı in \cite{A20092}. As an applications, we discuss the remainders of the Hausdorff compactifications of GO-spaces which are rectifiable, and we mainly concerned with the following statement, and under what condition ΦΦ it is true. Statement: Suppose that GG is a non-locally compact GO-space which is rectifiable, and that Y=bG∖GY=bG\setminus G has (locally) a property-ΦΦ. Then GG and bGbG are separable and metrizable. Moreover, we also consieder some related matters about the remainders of the Hausdorff compactifications of rectifiable spaces.

preprint2011arXiv

A note on rectifiable spaces

In this paper, we firstly discuss the question: Is l2∞l_{2}^{\infty} homeomorphic to a rectifiable space or a paratopological group? And then, we mainly discuss locally compact rectifiable spaces, and show that a locally compact and separable rectifiable space is σσ-compact, which gives an affirmative answer to A.V. Arhangel'skiǐ and M.M. Choban's question [On remainders of rectifiable spaces, Topology Appl., 157(2010), 789-799]. Next, we show that a rectifiable space XX is strongly Freˊ\acute{e}chet-Urysohn if and only if XX is an α4α_{4}-sequential space. Moreover, we discuss the metrizabilities of rectifiable spaces, which gives a partial answer for a question posed in \cite{LFC2009}. Finally, we consider the remainders of rectifiable spaces, which improve some results in \cite{A2005, A2007, A2009, Liu2009}.

preprint2011arXiv

Regular Bases At Non-isolated Points And Metrization Theorems

In this paper, we define the spaces with a regular base at non-isolated points and discuss some metrization theorems. We firstly show that a space XX is a metrizable space, if and only if XX is a regular space with a σσ-locally finite base at non-isolated points, if and only if XX is a perfect space with a regular base at non-isolated points, if and only if XX is a ββ-space with a regular base at non-isolated points. In addition, we also discuss the relations between the spaces with a regular base at non-isolated points and some generalized metrizable spaces. Finally, we give an affirmative answer for a question posed by F. C. Lin and S. Lin in \cite{LL}, which also shows that a space with a regular base at non-isolated points has a point-countable base.

preprint2011arXiv

Sequence-covering maps on generalized metric spaces

Let f:X→Yf:X\rightarrow Y be a map. ff is a {\it sequence-covering map}\cite{Si1} if whenever {yn}\{y_{n}\} is a convergent sequence in YY there is a convergent sequence {xn}\{x_{n}\} in XX with each xn∈f−1(yn)x_{n}\in f^{-1}(y_{n}); ff is an {\it 1-sequence-covering map}\cite{Ls2} if for each y∈Yy\in Y there is x∈f−1(y)x\in f^{-1}(y) such that whenever {yn}\{y_{n}\} is a sequence converging to yy in YY there is a sequence {xn}\{x_{n}\} converging to xx in XX with each xn∈f−1(yn)x_{n}\in f^{-1}(y_{n}). In this paper, we mainly discuss the sequence-covering maps on generalized metric spaces, and give an affirmative answer for a question in \cite{LL1} and some related questions, which improve some results in \cite{LL1, Ls4, YP}, respectively. Moreover, we also prove that open and closed maps preserve strongly monotonically monolithity, and closed sequence-covering maps preserve spaces with a σσ-point-discrete kk-network. Some questions about sequence-covering maps on generalized metric spaces are posed.

preprint2011arXiv

Uniform covers at non-isolated points

In this paper,\ the authors define a space with an uniform base at non-isolated points, give some characterizations of images of metric spaces by boundary-compact maps, and study certain relationship among spaces with special base properties.\ The main results are the following: (1)\ XX is an open,\ boundary-compact image of a metric space if and only if XX has an uniform base at non-isolated points; (2)\ Each discretizable space of a space with an uniform base is an open compact and at most boundary-one image of a space with an uniform base; (3)\ XX has a point-countable base if and only if XX is a bi-quotient,\ at most boundary-one and countable-to-one image of a metric space.

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.