arXiv subjects
Publications and source records attributed to Fucai Lin.
In this paper, it is proved that every topological gyrogroup $G$ is topologically groupoid isomorphic to a closed subgyrogroup of a connected, locally connected topological gyrogroup $G^{\bullet}$.
The symbol $\mathcal{S}(X)$ denotes the hyperspace of finite unions of convergent sequences in a Hausdorff space $X$. This hyperspace is endowed with the Vietoris topology. First of all, we give a characterization of convergent sequence in $\mathcal{S}(X)$. Then we consider some cardinal invariants on $\mathcal{S}(X)$, and compare the character, the pseudocharacter, the $sn$-character, the $so$-character, the network weight and $cs$-network weight of $\mathcal{S}(X)$ with the corresponding cardinal function of $X$. Moreover, we consider rank $k$-diagonal on $\mathcal{S}(X)$, and give a space $X$ with a rank 2-diagonal such that $S(X)$ does not have any $G_δ$-diagonal. Further, we study the relations of some generalized metric properties of $X$ and its hyperspace $\mathcal{S}(X)$. Finally, we pose some questions about the hyperspace $\mathcal{S}(X)$.
A paratopological group $G$ has a {\it suitable set} $S$. The latter means that $S$ is a discrete subspace of $G$, $S\cup \{e\}$ is closed, and the subgroup $\langle S\rangle$ of $G$ generated by $S$ is dense in $G$. Suitable sets in topological groups were studied by many authors. The aim of the present paper is to provide a start-up for a general investigation of suitable sets for paratopological groups, looking to what extent we can (by proving propositions) or cannot (by constructing examples) generalize to paratopological groups results which hold for topological groups, and to pose a few challenging questions for possible future research. We shall discuss when paratopological groups of different classes have suitable sets. Namely, we consider paratopological groups (in particular, countable) satisfying different separation axioms, paratopological groups which are compact-like spaces, and saturated (in particular, precompact) paratopological groups. Also we consider the permanence of a property of a group to have a suitable set with respect to (open or dense) subgroups, products and extensions.
Topological gyrogroups, with a weaker algebraic structure without associative law, have been investigated recently. We prove that each $T_{0}$-strongly topological gyrogroup is completely regular. We also prove that every $T_{0}$-strongly topological gyrogroup with a countable pseudocharacter is submetrizable. Finally, we prove that the left coset space $G/H$ is submetrizable if $H$ is an admissible $L$-subgyrogroup of a $T_{0}$-strongly topological gyrogroup $G$.
The concept of gyrogroups, with a weaker algebraic structure without associative law, was introduced under the background of $c$-ball of relativistically admissible velocities with Einstein velocity addition. A topological gyrogroup is just a gyrogroup endowed with a compatible topology such that the multiplication is jointly continuous and the inverse is continuous. This concept is a good generalization of a topological group. In this paper, we are going to establish that for a locally compact admissible $L$-subgyrogroup $H$ of a strongly topological gyrogroup $G$, the natural quotient mapping $π$ from $G$ onto the quotient space $G/H$ has some nice local properties, such as, local compactness, local pseudocompactness, local paracompactness, etc. Finally, we prove that each locally paracompact strongly topological gyrogroup is paracompact.
A space $X$ is submaximal if any dense subset of $X$ is open. In this paper, we prove that every submaximal topological gyrogroup of non-measurable cardinality is strongly $σ$-discrete. Moreover, we prove that every submaximal strongly topological gyrogroup of non-measurable cardinality is hereditarily paracompact.
A discrete subset $S$ of a topological gyrogroup $G$ with the identity $0$ is said to be a {\it suitable set} for $G$ if it generates a dense subgyrogroup of $G$ and $S\cup \{0\}$ is closed in $G$. In this paper, it was proved that each countable Hausdorff topological gyrogroup has a suitable set; moreover, it is shown that each separable metrizable strongly topological gyrogroup has a suitable set.
Two non-discrete Hausdorff group topologies $τ, δ$ on a group $G$ 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 $K$ of a locally compact totally disconnected group $G$, if $G$ admits a transversal group topology then $G/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.
Let $(U, R)$ be an approximation space with $U$ being non-empty set and $R$ being an equivalence relation on $U$, and let $\overline{G}$ and $\underline{G}$ be the upper approximation and the lower approximation of subset $G$ of $U$. A topological rough group $G$ is a rough group $G=(\underline{G}, \overline{G})$ endowed with a topology, which is induced from the upper approximation space $\overline{G}$, such that the product mapping $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.
In this paper, we discuss some properties of of $G$-hull, $G$-kernel and $G$-connectedness, and extend some results of \cite{life34}. In particular, we prove that the $G$-connectedness are preserved by countable product. Moreover, we introduce the concept of $G$-topological group, and prove that a $G$-topological group is a $G$-topology under the assumption of the regular method preserving the subsequence.
Topological gyrogroups, with a weaker algebraic structure than groups, have been investigated recently. In this paper, we prove that every feathered strongly topological gyrogroup is paracompact, which implies that every feathered strongly topological gyrogroup is a $D$-space and gives partial answers to two questions posed by A.V.Arhangel' ski\vı~(2010) in \cite{AA1}. Moreover, we prove that every locally compact $NSS$-gyrogroup is first-countable. Finally, we prove that each Lindelöf $P$-gyrogroup is Ra$\check{\imath}$kov complete.
We study the heredity of the classes of generalized metric spaces (for example, spaces with a $σ$-hereditarily closure-preserving $k$-network, spaces with a point-countable base, spaces with a base of countable order, spaces with a point-regular base, Nagata-spaces, $c$-semi-stratifiable spaces, $γ$-spaces, semi-metrizable spaces) to the hyperspaces of nonempty compact subsets and finite subsets with the Vietoris topology.
We discuss the class of paratopological groups which admits a transversal, $T_{1}$-independent and $T_{1}$-complementary paratopological group topology. We show that the Sorgenfrey line does not admit a $T_{1}$-complementary Hausdorff paratopological group topology, which gives a negative answer to \cite[Problem 10]{AT2017}. We give a very useful criterion for transversality in term of submaximal paratopological group topology, and prove that if a non-discrete paratopological group topology $G$ contains a central subgroup which admits a transversal paratopological group topology, then so does $G$. We introduce the concept of $PT$-sequence and give a characterization of an Abelian paratopological group being determined by a $PT$-sequence. As the applications, we prove that the Abelian paratopological group, which is endowed with the strongest paratopological group topology being determined by a $T$-sequence, does not admit a $T_{1}$-complementary Hausdorff paratopological group topology on $G$. Finally, we study the class of countable paratopological groups which is determined by a $PT$-filter, and obtain a sufficient condition for a countable paratopological group $G$ being determined by a $PT$-sequence which admits a transversal paratopological group topology on $G$ being determined by a $PT$-sequence.
In this paper, we give an affirmative answer to Yamada's Conjecture on free topological groups, which was posed in [K. Yamada, {\it Fréchet-Urysohn spaces in free topological groups}, Proc. Amer. Math. Soc., {\bf 130}(2002), 2461--2469.].
A space $X$ is called a $k_{R}$-space, if $X$ is Tychonoff and the necessary and sufficient condition for a real-valued function $f$ on $X$ to be continuous is that the restriction of $f$ to each compact subset is continuous. In this paper, we discuss the $k_{R}$-property of products of sequential fans and free Abelian topological groups by applying the $κ$-fan introduced by Banakh. In particular, we prove the following two results: (1) The space $S_{ω_{1}}\times S_{ω_{1}}$ is not a $k_{R}$-space. (2) The space $S_ω\times S_{ω_{1}}$ is a $k_{R}$-space if and only if $S_ω\times S_{ω_{1}}$ is a $k$-space if and only if $\mathfrak b>ω_1$. These results generalize some well-known results on sequential fans. Furthermore, we generalize some results of Yamada on the free Abelian topological groups by applying the above results. Finally, we pose some open questions about the $k_{R}$-spaces.
The free topological vector space $V(X)$ over a Tychonoff space $X$ is a pair consisting of a topological vector space $V(X)$ and a continuous map $i=i_{X}: X\rightarrow V(X)$ such that every continuous mapping $f$ from $X$ to a topological vector space $E$ gives rise to a unique continuous linear operator $\overline{f}: V(X)\rightarrow E$ with $f=\overline{f}\circ i$. In this paper the $k$-property and countable tightness of free topological vector space over some generalized metric spaces are studied. The characterization of a space $X$ is given such that the free topological vector space $V(X)$ is a $k$-space or the tightness of $V(X)$ is countable. Furthermore, the characterization of a space $X$ is also provided such that if the fourth level of $V(X)$ has the $k$-property or is of the countable tightness then $V(X)$ is too.
A space $X$ is called a $k_{R}$-space, if $X$ is Tychonoff and the necessary and sufficient condition for a real-valued function $f$ on $X$ to be continuous is that the restriction of $f$ on each compact subset is continuous. In this paper, we mainly discuss the $k_{R}$-property on the free topological groups, and generalize some well-known results of K. Yamada's in the free topological groups.
A space $X$ is of countable type (resp. subcountable type) if every compact subspace $F$ of $X$ is contained in a compact subspace $K$ that is of countable character (resp. countable pseudocharacter) in $X$. In this paper, we mainly show that: (1) For a functionally Hausdorff space $X$, the free paratopological group $FP(X)$ and the free abelian paratopological group $AP(X)$ are of countable type if and only if $X$ is discrete; (2) For a functionally Hausdorff space $X$, if the free abelian paratopological group $AP(X)$ is of subcountable type then $X$ has countable pseudocharacter. Moreover, we also show that, for an arbitrary Hausdorff $μ$-space $X$, if $AP_{2}(X)$ or $FP_{2}(X)$ is locally compact, then $X$ is homeomorphic to the topological sum of a compact space and a discrete space.