  The aim of this article is to define a notion of cardinal utility function
called measurable utility and to define it on a connected and separable subset
of a weakly ordered topological space. The definition is equivalent to the ones
given by Frisch in 1926 and by Shapley in 1975 and postulates axioms on a set
of alternatives that allow both to ordinally rank alternatives and to compare
their utility differences. After a brief review of the philosophy of
utilitarianism and the history of utility theory, the paper introduces the
mathematical framework to represent intensity comparisons of utility and proves
a list of topological lemmas that will be used in the main result. Finally, the
article states and proves a representation theorem for a measurable utility
function defined on a connected and separable subset of a weakly ordered
topological space equipped with another weak order on its cartesian product.
Under some assumptions on the order relations, the main theorem proves
existence and uniqueness, up to positive affine transformations, of an order
isomorphism with the real line.
