A numerical representation of semiorders on a countable set

Let be a semiorder on a countable setX and letx⁰ y if and only if either there existsx withxxy or there existsx withxxy. Then ⁰ is a preference relation with transitive indifference, which can be represented by a utility functionf of the usual sort. It is well known that is represented by a pair of real-valued functionsu, v, in the sense thatxy if and only ifu(x)>v(y). We prove that there exists a pair of functionsu, v, representing , such thatu+v is the utility function which represents in the usual sense. Moreover it is easily seen that, for such a pair of functionsu, v, we havex⁰ y if and only if eitheru(x)>u(y) or (u(x)=u(y) andv(x)>v(y)).

---

Sommario Consideriamo unsemiordine su un insiemeX numerabile e poniamox⁰ y se e solo se esistex tale chexxy, oppure esistex tale chexxy. In questo caso ⁰ è unordine debole, che può essere rappresentato da una funzione di utilitàf nel senso usuale. D'altra parte è rappresentato da una coppia di funzioniu, v, nel senso chexy se e solo seu(x)>v(y). In questo lavoro si prova che ammette una rappresentazioneu, v tale chex⁰ y se e solo seu(x)+v(x)>u(y)+v(y). Si dimostra altresì che, con riguardo ad una siffatta rappresentazioneu, v di , riescex⁰ y se e solo seu(x)>u(y) oppure (u(x)=u(y) ed anchev(x)>v(y)).