Expected Utility from a Constructive Viewpoint

Abstract

The paper introduces a space of variable lotteries and proves a constructive version of the expected utility theorem. Lotteries as well as preferences vary continuously over some topological space. The topology encodes observability or verifiability restrictions – the open sets of the topology reflect constraints on the ability to measure, deduce, or observe. Replacing an open set by a covering of smaller open sets serves as a notion of refinement of information. The inability to compare arises as a phenomenon distinct from indifference and gives rise to the constructive failure of the classical theorem. A constructive version of the theorem is proved, and accomplishes several things. First, the representation theorem uses continuous real-valued functions as indicators of preference and these functions reflect the inability to compare phenomenon. Second, conditions are provided whereby local representations of preference over open sets can be collated to provide a global representation. Third, the proofs are constructive and do not use the law of the excluded middle, which may not hold for variable lotteries. Fourth, a version of the classical theorem is obtained by imposing a condition on the collection of open sets of the topology which has the effect of making the logic classical.

Keywords: Expected utility, observability, variable lotteries, constructive/intuitionisticlogic, sheaf theory