Combinatorial characterization of pseudometrics

O. Dovgoshey,J. Luukkainen
DOI: https://doi.org/10.1007/s10474-020-01020-x
2020-01-25
Acta Mathematica Hungarica
Abstract:Let <i>X, Y</i> be sets and let <span class="mathjax-tex">\(\Phi, \Psi\)</span> be mappings with the domains <i>X</i><sup>2</sup> and <i>Y</i><sup>2</sup> respectively. We say that <span class="mathjax-tex">\(\Phi\)</span> is <i>combinatorially similar</i> to <span class="mathjax-tex">\(\Psi\)</span> if there are bijections <span class="mathjax-tex">\(f \colon \Phi(X^2) \to \Psi(Y^{2})\)</span> and <span class="mathjax-tex">\(g \colon Y \to X\)</span> such that <span class="mathjax-tex">\(\Psi(x, y) = f(\Phi(g(x), g(y)))\)</span> for all <span class="mathjax-tex">\(x, y \in Y\)</span>. It is shown that the semigroups of binary relations generated by sets <span class="mathjax-tex">\(\{\Phi^{-1}(a) \colon a \in \Phi(X^{2})\}\)</span> and <span class="mathjax-tex">\(\{\Psi^{-1}(b) \colon b \in \Psi(Y^{2})\}\)</span> are isomorphic for combinatorially similar <span class="mathjax-tex">\(\Phi\)</span> and <span class="mathjax-tex">\(\Psi\)</span>. The necessary and sufficient conditions under which a given mapping is combinatorially similar to a pseudometric, or strongly rigid pseudometric, or discrete pseudometric are found. The algebraic structure of semigroups generated by <span class="mathjax-tex">\(\{d^{-1}(r) \colon r \in d(X^{2})\}\)</span> is completely described for nondiscrete, strongly rigid pseudometrics and, also, for discrete pseudometrics <span class="mathjax-tex">\(d \colon X^{2} \to \mathbb{R}\)</span>.
mathematics
What problem does this paper attempt to address?