Abstract:This paper introduces a space of variable lotteries and proves a constructive version of the expected utility theorem. The word ``constructive'' is used here in two senses. First, as in constructive mathematics, the logic underlying proofs is intuitionistic. In a second sense of the word, ``constructive'' is taken to mean ``built up from smaller components.'' Lotteries as well as preferences vary continuously over some topological space. The topology encodes observability or verifiability restrictions -- the open sets of the topology serve as the possible truth values of assertions about preference and 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. Within this framework, inability to compare arises as a phenomenon distinct from indifference and this gives rise to the constructive failure of the classical expected utility theorem. A constructive version of the theorem is then proved, and accomplishes several things. First, the representation theorem uses continuous real-valued functions as indicators of preference for variable lotteries 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.

Common Mathematical Foundations of Expected Utility and Dual Utility Theories

Axiomatic Foundations for a Class of Generalized Expected Utility: Algebraic Expected Utility

Mixture independence foundations for expected utility

A duality between utility transforms and probability distortions

Dual Representation of Unbounded Dynamic Concave Utilities

An elementary proof of the dual representation of Expected Shortfall

Two-fund separation under hyperbolically distributed returns and concave utility function

Expected Utility from a Constructive Viewpoint

Non-Classical Expected Utility Theory

On expected and von Neumann-Morgenstern utility functions

Strong Duality in Risk-Constrained Nonconvex Functional Programming

Dual Solutions in Convex Stochastic Optimization

On utility maximization without passing by the dual problem

Some Reflections on Utility

Forward-backward systems for expected utility maximization

Fundamental connections between utility theories of wealth and information theory

Utility maximization in constrained and unbounded financial markets: Applications to indifference valuation, regime switching, consumption and Epstein-Zin recursive utility

Conditional Utility, Utility Independence, and Utility Networks

On the dual problem of utility maximization in incomplete markets

Semistatic robust utility indifference valuation and robust integral functionals

Discrete-Choice Models and Representative Consumer Theory