Topological additively representable semigroups (Q1359677)

A totally ordered set \((S,\lesssim)\) is called representable if there exists a map \(\mu: X\to\mathbb{R}\) such that \(x\lesssim y\) if and only if \(\mu(x) \leq\mu(y)\) for every \(x,y\in X\). This paper is to extend the above concept to totally ordered connected topological semigroups. By considering the order preserving real-valued homomorphism, the representable structure of such semigroups is obtained. The authors first analyze the structure of nontrivial totally ordered connected topological semigroups \({(S,+,\lesssim)}\) and prove that they are homomorphic, algebraically isomorphic, and isotonic to one of the following continua: \(((a, \infty), +,\leq)\), \(([a,\infty), +,\leq)\), \((a\geq 0)\) \(((-\infty,b),+,\leq)\), \(((-\infty,b]\), \(+,\leq)\), \((b\leq 0)\) or \((\mathbb{R},+ ,\leq)\), all considered as subsets of the totally ordered group of additive real numbers endowed with the usual topology. A classification of the topological connected totally ordered semigroups is obtained. Also for a totally ordered semigroup \((S,+, \lesssim)\), the authors show that \((S,+,\lesssim)\) is additively representable by means of a continuous utility function if and only if it is topological and super-Archimedean.