Continuous order representability properties of topological spaces and algebraic structures (Q2890874)

A topology \(\tau\) on a nonempty set \(X\) is said to satisfy the \textit{continuous representability property} (CRP) if every continuous total preorder defined on \(X\) admits a numerical representation by means of a continuous real-valued order-monomorphism. In the present paper the authors study the relationship between continuous representability of a topology \(\tau\) on \(X\) and covering properties of the preorderable subtopologies of the given \(\tau\). More specifically, they present a characterization of a topological space \((X,\tau)\) satisfying the CRP in terms of the fulfilment of the second countability axiom for every preorderable subtopology of the given topology \(\tau\). In particular, any topological property that makes every preorderable subtopology to be second countable implies CRP and they give several examples of such topological properties. Then they introduce an extension of CRP, called \textit{continuous algebraic representability property} (CARP), to some algebraic ordered structures equipped with a topology. Basically, CARP asks for continuous numerical representations that preserve the algebraic setting, and it is applied in a final section to utility functions and social welfare functionals in social choice theory.