English

Ultrametric-preserving functions as monoid endomorphisms

General Topology 2024-06-13 v2

Abstract

Let R+=[0,)\mathbb{R}^{+}=[0, \infty) and let EndR+\mathbf{End}_{\mathbb{R}^+} be the set of all endomorphisms of the monoid (R+,)(\mathbb{R}^+, \vee). The set EndR+\mathbf{End}_{\mathbb{R}^+} is a monoid with respect to the operation of the function composition gfg \circ f. It is shown that g:R+R+g : \mathbb{R}^+ \to \mathbb{R}^+ is pseudoultrametric-preserving iff gEndR+g \in \mathbf{End}_{\mathbb{R}^+}. In particular, a function f:R+R+f : \mathbb{R}^+ \to \mathbb{R}^+ is ultrametrics-preserving iff it is an endomorphism of (R+,)(\mathbb{R}^+,\vee) with kernel consisting only the zero point. We prove that a given AEndR+\mathbf{A} \subseteq \mathbf{End}_{\mathbb{R}^+} is a submonoid of (End,)(\mathbf{End}, \circ) iff there is a class X\mathbf{X} of pseudoultrametric spaces such that A\mathbf{A} coincides with the set of all functions which preserve the spaces from X\mathbf{X}. An explicit construction of such X\mathbf{X} is given.

Keywords

Cite

@article{arxiv.2406.07166,
  title  = {Ultrametric-preserving functions as monoid endomorphisms},
  author = {Oleksiy Dovgoshey},
  journal= {arXiv preprint arXiv:2406.07166},
  year   = {2024}
}

Comments

17 pages

R2 v1 2026-06-28T17:01:17.417Z