Source author record

Li-Hong Xie

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

3works
2topics
3close collaborators

Published work

3 publications

preprint2020arXiv

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 dd be an invariant metric on a gyrogroup GG and (G^,d^)(\widehat{G},\widehat{d}) is the metric completion of the metric space (G,d)(G,d); then for any continuous tt-norm ∗\ast, the standard fuzzy metric space (G^,Md^,∗)(\widehat{G},M_{\widehat{d}},\ast) of (G^,d^)(\widehat{G},\widehat{d}) is the (up to isometry) unique fuzzy metric completion of the standard fuzzy metric space (G,Md,∗)(G,M_d,\ast) of (G,d)(G,d); furthermore, (G^,Md^,∗)(\widehat{G},M_{\widehat{d}},\ast) is a fuzzy metric gyrogroup containing (G,Md,∗)(G,M_d,\ast) as a dense fuzzy metric subgyrogroup and Md^M_{\widehat{d}} is invariant on G^\widehat{G}. Applying this result, we obtain that every gyrogroup GG with an invariant metric dd admits an (up to isometric) unique complete metric space (G^,d^)(\widehat{G},\widehat{d}) of (G,d)(G,d) such that G^\widehat{G} with the topology introduced by d^\widehat{d} is a topology gyrogroup containing GG as a dense subgyrogroup and d^\widehat{d} is invariant on G^\widehat{G}.

preprint2020arXiv

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

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.