Combinatorial characterization of pseudometrics

Abstract

Let $X$, $Y$ be sets and let $Φ$, $Ψ$ be mappings with the domains $X^{2}$ and $Y^{2}$ respectively. We say that $Φ$ is combinatorially similar to $Ψ$ if there are bijections $f \colon Φ(X^2) \to Ψ(Y^{2})$ and $g \colon Y \to X$ such that $Ψ(x, y) = f(Φ(g(x), g(y)))$ for all $x$, $y \in Y$. It is shown that the semigroups of binary relations generated by sets $\{Φ^{-1}(a) \colon a \in Φ(X^{2})\}$ and $\{Ψ^{-1}(b) \colon b \in Ψ(Y^{2})\}$ are isomorphic for combinatorially similar $Φ$ and $Ψ$. 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 $\{d^{-1}(r) \colon r \in d(X^{2})\}$ is completely described for nondiscrete, strongly rigid pseudometrics and, also, for discrete pseudometrics $d \colon X^{2} \to \mathbb{R}$.