arXiv subjects

Li-Hong Xie

Publications and source records attributed to Li-Hong Xie.

22 records · Page 2Linked to original sources

arXiv2020

Fuzzy gyronorms on gyrogroups

The concept of gyrogroups is a generalization of groups which do not explicitly have associativity. In this paper, the notion of fuzzy gyronorms on gyrogroups is introduced. The relations of fuzzy metrics (in the sense of George and Veeramani), fuzzy gyronorms and gyronorms on gyrogroups are studied. Also, the fuzzy metric structures on fuzzy normed gyrogroups are discussed. In the last, the fuzzy metric completion of a gyrogroup with an invariant metric are studied. We mainly show that let $d$ be an invariant metric on a gyrogroup $G$ and $(\widehat{G},\widehat{d})$ is the metric completion of the metric space $(G,d)$; then for any continuous $t$-norm $\ast$, the standard fuzzy metric space $(\widehat{G},M_{\widehat{d}},\ast)$ of $(\widehat{G},\widehat{d})$ is the (up to isometry) unique fuzzy metric completion of the standard fuzzy metric space $(G,M_d,\ast)$ of $(G,d)$; furthermore, $(\widehat{G},M_{\widehat{d}},\ast)$ is a fuzzy metric gyrogroup containing $(G,M_d,\ast)$ as a dense fuzzy metric subgyrogroup and $M_{\widehat{d}}$ is invariant on $\widehat{G}$. Applying this result, we obtain that every gyrogroup $G$ with an invariant metric $d$ admits an (up to isometric) unique complete metric space $(\widehat{G},\widehat{d})$ of $(G,d)$ such that $\widehat{G}$ with the topology introduced by $\widehat{d}$ is a topology gyrogroup containing $G$ as a dense subgyrogroup and $\widehat{d}$ is invariant on $\widehat{G}$.

math.GM↗

arXiv2020

Locally upper bounded poset-valued maps and stratifiable spaces

In this paper, we characterize stratifiable (or semi-stratifiable) spaces, and monotonically countably paracompact (or monotonically countably metacompact) spaces by expansions of locally upper bounded semi-continuous poset-valued maps. These extend earlier results for real-valued Locally bounded functions.

math.GN↗

arXiv2020

Simply $sm$-factorizable (para)topological groups and their completions

Let us call a (para)topological group \emph{strongly submetrizable} if it admits a coarser separable metrizable (para)topological group topology. We present a characterization of simply $sm$-factorizable (para)topo\-logical groups by means of continuous real-valued functions. We show that a (para)topo\-logical group $G$ is a simply $sm$-factorizable if and only if for each continuous function $f\colon G\to \mathbb{R}$, one can find a continuous homomorphism $φ$ of $G$ onto a strongly submetrizable (para)topological group $H$ and a continuous function $g\colon H\to \mathbb{R}$ such that $f=g\circφ$. This characterization is applied for the study of completions of simply $sm$-factorizable topological groups. We prove that the equalities $μ{G}=\varrho_ω{G}=\upsilon{G}$ hold for each Hausdorff simply $sm$-factorizable topological group $G$. This result gives a positive answer to a question posed by Arhangel'skii and Tkachenko in 2018. Also, we consider realcompactifications of simply $sm$-factorizable paratopological groups. It is proved, among other results, that the realcompactification, $\upsilon{G}$, and the Dieudonné completion, $μ{G}$, of a regular simply $sm$-factorizable paratopological group $G$ coincide and that $\upsilon{G}$ admits the natural structure of paratopological group containing $G$ as a dense subgroup and, furthermore, $\upsilon{G}$ is also simply $sm$-factorizable. Some results in [\emph{Completions of paratopological groups, Monatsh. Math. \textbf{183} (2017), 699--721}] are improved or generalized.

math.GN↗

arXiv2019

The continuous $d$-open homomorphism images and subgroups of $\mathbb{R}$-factorizabile paratopological groups

In this paper, we prove that: (1) Let $f:G\rightarrow H$ be a continuous $d$-open surjective homomorphism; if $G$ is an $\mathbb{R}$-factorizabile paratopological group, then so is $H$. Peng and Zhang's result \cite[Theorem 1.7]{PZ} is improved. (2) Let $G$ be a regular $\mathbb{R}$-factorizable paratopological group; then every subgroup $H$ of $G$ is $\mathbb{R}$-factorizable if and only if $H$ is $z$-embedded in $G$. This result gives out a positive answer to an question of M.~Sanchis and M.~Tkachenko \cite[Problem 5.3]{ST}.

math.GN↗