Von-Neumann-Morgenstern Utility Theorem

Title:	Von-Neumann-Morgenstern Utility Theorem
Authors:	Julian Parsert and Cezary Kaliszyk
Submission date:	2018-07-04
Abstract:	Utility functions form an essential part of game theory and economics. In order to guarantee the existence of utility functions most of the time sufficient properties are assumed in an axiomatic manner. One famous and very common set of such assumptions is that of expected utility theory. Here, the rationality, continuity, and independence of preferences is assumed. The von-Neumann-Morgenstern Utility theorem shows that these assumptions are necessary and sufficient for an expected utility function to exists. This theorem was proven by Neumann and Morgenstern in ``Theory of Games and Economic Behavior'' which is regarded as one of the most influential works in game theory. The formalization includes formal definitions of the underlying concepts including continuity and independence of preferences.
BibTeX:	@article{Neumann_Morgenstern_Utility-AFP, author = {Julian Parsert and Cezary Kaliszyk}, title = {Von-Neumann-Morgenstern Utility Theorem}, journal = {Archive of Formal Proofs}, month = jul, year = 2018, note = {\url{http://isa-afp.org/entries/Neumann_Morgenstern_Utility.html}, Formal proof development}, ISSN = {2150-914x}, }
License:	GNU Lesser General Public License (LGPL)
Depends on:	First_Welfare_Theorem
Status: [ok]	This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.