SciELO - Scientific Electronic Library Online

 
vol.38 número1Violencia doméstica e ingresos laborales de las mujeres en México índice de autoresíndice de materiabúsqueda de artículos
Home Pagelista alfabética de revistas  

Servicios Personalizados

Revista

Articulo

Indicadores

Links relacionados

  • No hay artículos similaresSimilares en SciELO

Compartir


Estudios Económicos (México, D.F.)

versión On-line ISSN 0186-7202versión impresa ISSN 0188-6916

Estud. Econ. (México, D.F.) vol.38 no.1 Ciudad de México ene./jun. 2023  Epub 26-Jun-2023

https://doi.org/10.24201/ee.v38i1.439 

Articles

A note about the different characterizations of the expected utility theorem

Una nota sobre las diferentes caracterizaciones del teorema de la utilidad esperada

Karla Flores Zarur1 

William José Olvera López2 

Leobardo Plata Pérez3 

1Facultad de Ciencias, Universidad Autónoma de San Luis Potosí. email: karla.zarur@uaslp.mx

2Facultad de Economía, Universidad Autónoma de San Luis Potosí. email: william.olvera@uaslp.mx

3Facultad de Economía, Universidad Autónoma de San Luis Potosí. email: lplata@uaslp.mx


Abstract:

In this work, we prove the axiomatic equivalence of several characterizations of the Expected Utility Theorem proposed by Mas-Colell et al. (1995), Jehle and Reny (2011), Maschler et al. (2013), and Rubinstein (2012). A general language is used for unifying the notation, and we introduce a recursive definition of the lottery space in the Expected Utility Theory.

keywords: expected utility theory; lottery space; axiomatic equivalence

JEL Classification: D810; D000; C700

Resumen:

En este trabajo se muestra la equivalencia axiomática entre las distintas caracterizaciones del Teorema de la Utilidad Esperada propuestas por Mas-Colell et al. (1995), Jehle y Reny (2011), Maschler et al. (2013) y Rubinstein (2012). Se utiliza un lenguaje general que unifica la notación y se propone una definición recursiva del espacio de loterías de la Teoría de la Utilidad Esperada.

Palabras clave: teoría de la utilidad esperada; espacio de loterías; equivalencia axiomática

Clasificación JEL: D810; D000; C700

1. Introduction

John von Neumann and Oskar Morgenstern developed the Expected Utility Theory (EUT) in 1944. This theory has been extensively used in game theory, industrial organization, financial theory, and other important areas in economic theory. Graduate courses use texts like Mas-Colell et al. (1995), Jehle and Reny (2011), Maschler et al. (2013), Rubinstein (2012), among others, to explain it. The axiomatic approach on each text apparently uses different languages and axioms. In this paper, we prove the equivalence among those axiomatic systems, and build the lottery space in a recursive way. The importance of doing this homologation consists on the unification in a common language of properties and systems that look different from a first sight.

Although the equivalence between axiomatizations is almost obvious for specialists, it is not so for most students. That is why we believe in the need to unify seemingly different languages and to offer a formal proof of the equivalence between several axiomatizations. In general, even slight modifications of axioms can generate different theories. A classic example is non-Euclidean geometries.

The expected utility theory has been heavily revised. The well-known Allais paradox showed the inconsistency of the theory with some cases of agents’ choices faced with specific lotteries. This has made it possible to analyse the consequences of weaknesses and variants of the independence axiom. Several authors have proposed alternative schemes to model decisions under risk and uncertainty. Its study is beyond the scope of this note. We recommend consulting Barbera et al. (2004), and specially Sudgen (2004) and Schmidt (2004).

The standard proof of the expected utility theorem relies heavily on the axiom of continuity to construct the utility of a lottery. Given an arbitrary initial lottery, we construct its utility considering a special lottery that is indifferent to the initial one. The special lottery is a simple lottery that combines the most preferred with the least preferred result. The utility of the initial lottery is the weight that has the most desired result. The axiom of independence is the key to obtain that the numerical representation is a linear mapping on the probabilities; that is, it has the fundamental property of the expected utility.

Cantala (2007) describes an interesting characterization of Expected Utility. The author translates preferences over lotteries into preferences over ‘‘shifts in probabilities". Changes in probabilities are relatively straightforward. The probability of one outcome is reduced by a fixed feasible amount and the same amount increases the probability of another outcome. The author constructs an independence axiom suitable to represent these types of ‘‘jumps" in lotteries. He obtains a new characterization of the expected utility: continuous preferences over lotteries are represented by an expected utility function if and only if the induced preferences satisfy his version of the independence axiom for preferences over shifts in probabilities. The axiom means that the ordering of shifts in probability is independent of the weight and the original lottery. Cantala’s treatment (2007) can be repeated in any of the axiomatic versions. It is possible to use his proof technique to generate new versions of the expected utility theorem by adapting the new version of the independence axiom on each axiomatic system. In this paper, we are interested in the equivalences among the different axiomatic systems rather than in the constructive proof of the expected utility theorem. The approach of Cantala (2007) is relevant because ‘‘it makes it clear that the cardinal nature of expect utility is only a behavioural characteristic rooted in the independence axiom and has no normative appeal" (Cantala, 2007: 101).

We show a proof based strongly on the construction of a common language for rewriting the different systems of axioms. This means the specification of a common lottery space where the preferences are defined. The recursive construction of the lottery space is necessary: it is not an exaggeration. It is introduced for technical reasons of consistency, it makes sense, and it is suggested in Jehle and Reny (2011).

Compound lotteries can be classified by their level of complexity. Every compound lottery of any level has an expected utility level to compare with any other lottery. However, this comparison requires introducing an axiom that makes it possible to relate a compound lottery with a simple one of the first level. This is done in the Jehle and Reny (2011) axiomatization and Maschler et al. (2013). These two axiomatizations are the better ones for explaining the economic content of the axioms, in addition to the axioms of rationality of preferences. The axiomatic presentations of Mas-Colell et al. (1995) and Rubinstein (2012) focus on the two essential axioms in the proof of the expected utility theorem: independence and continuity. In their works, they consider compound lotteries, but they are artificially reduced to those of the first level. They avoid an axiom of simplification by introducing the convexity of the lottery space.

The simplification axiom from compound to simple lotteries is an empirically unsustainable assumption. It is not obvious that an agent recognizes a fairly complex compound lottery as indifferent to its simplified form. In Mas-Colell et al. (1995), a simplex is introduced as the lottery space. The convexity of this space makes it closed under convex combinations. But this is a mathematical reason that artificially simplifies and reduces (by convexity) the meaning of a compound lottery of a second or more level. The simplification axiom is strong but important because it considers the levels of complexity in the construction of lotteries.

In summary, the presentation by Mas-Colell et al. (1995) is more classical, but its continuity axiom is apparently more complex. We could say that it abuses mathematics somewhat and sacrifices part of the economic meaning. On the other hand, the presentations by Jehle and Reny (1911) and Maschler et al. (2013) are more careful. Their economic content has greater detail. The formulation of the continuity axiom is clearer. The first one even breaks down independence into two apparently less strong axioms: substitution and reduction to simple games.

The order of the paper is as follows: in section 2, we analyze the similarities in notation and concepts of the four axiomatic systems, establishing a common language regarding the concept of compound lotteries and the simplification action. Then, we compare two pairs of axiomatic systems due to the similarities between them: Maschler et al. (2013) and Jehle and Reny (2011) with four axioms each, and Mas-Colell et al. (1995) and Rubinstein (2012), each one with a system of two axioms. Finally, we show the equivalence of the four systems by means of a theorem in section 3 of this article.

2. Model

An agent must take a decision before a random event occurs. The final consequences of his decision are represented as possible outcomes in the set X=x1,,xK . The objects that each agent values are called lotteries and are listed such that L=p1x1,,pKxK is a simple lottery with pk0 and k=1Kpk=1 . L denotes the lottery that assigns probability p k to each consequence xkX . For simplicity, we will denote the lottery αx1,0x2,,0xK-1,1-αxK just by αx1,1-αxK for α0,1 .

Let L1={p1x1,,pKxK|x1,,xKX;pk0 and k=1Kpk=1} be the set of simple lotteries, and Ln+1=LnU {[q1L1,q2L2,,qHLH]|LhLn;qh0 and h=1Hqh=1,  h=1, 2,  ,H} . Then, the space of lotteries is given by L=Un=1Ln The lotteries that have the particularity of granting a consequence xkX with probability equal to one will be called degenerated lotteries and we denote them by Lxk=1xk . Lotteries that have the characteristic of having other lotteries as consequences will be called compound lotteries, that is, elements in Ln with n2 .

Example: In order to illustrate the previous ideas, let us consider the next lotteries:

LA= [(1/2)(15), (1/2)(25)]

LB= [(1/3)(10), (1/3)(20),(1/3)(30)]

LC= [(3/4)(LA), (1/4)(LB)]

LD= [(2/3)(10), (1/3)(30)]

LE= [(1/2)(LC), (1/2)(LD)]

L= [(6/16)(10), (3/16)(15), (1/24)(20), (3/16)(25), (5/24)(30)]

Notice that L,LA,LB,LDL1,LCL2,LEL3 . We can represent the process of composing the lotteries with the tree scheme given in figure 1.

Source: Authors’ elaboration.

Figure 1 Scheme of the composing of lotteries over a set of outcomes (the terminal nodes) 

A classical axiom about the simplification of lotteries says that each compound lottery must be indifferent to a simple lottery. In this case, lottery L is indifferent to lottery L E , because the probability of each outcome is the same in both lotteries. A strong axiom about individual preferences is avoided if we assume convexity of the lottery space. However, its economic meaning is important.

For comparing the four axiomatic systems, we define a general binary relation on L , which allows us to compare lotteries. Such relation is called a preference relation.

A preference relation is rational if:

1. For every L,L'L×L we have LL' or L'L .

2. For any L,L',LL , if L L' and  L'L , then LL , where L L' means that L is at least as good as L' .1

According to the definition of compound lottery, it is possible to have uncertain decision problems where the consequences of the alternatives are uncertain objects. For example, we have a raffle such that one of the possible prizes is a chance to participate in another raffle. So, this idea motivates the concept of simplification of compound lotteries into an equivalent simple lottery, in the sense of the preference relation. As the notion of simplification belongs to the four axiomatic systems under our study, it is convenient to have a common notation for it.

We define the lottery simplification, Simp:LL1, for n2, as follows:

SimpL=L  if  LL1r1x1,,rKxKif L Ln (1)

where L=q1L1,,qMLM with L1,,LMUi=1n-1Li ; we assume that SimpL1=p11x1,,pK1xK , SimpL2=p12x1,,pK2xK, SimpLM=p1Mx1,,pKMxK and we have, for every k1,,K , rk=q1pk1+q2pk2++qMpkM .

As we said before, each axiomatic system under our study assumes that a compound lottery can be simplified. In Jehle and Reny (2011) and Maschler et al. (2013), this fact is assured by axioms G6 and S, respectively. In Mas-Colell et al. (1995) and Rubinstein (2012), the definition of compound lottery allows to make this kind of simplification.

2.1 Axiomatic systems

Now, we introduce the four axiomatic systems of our study using the notation of the previous section. We are going to refer to each one of them by its author.

Mas-Colell et al. (1995):

  • Independence (I MC ): For every L,L',LL and α0,1 , LL' if and only if αL,1-αL[αL',1-αL] .

  • Continuity (C MC ): For every L,L',LL , the following sets are closed.

{α[0,1]|[αL,1-αL]L'}

{α[0,1]|L'[αL,1-αL]}

Maschler et al. (2013):

  • Simplification (S): For every LL, LSimpL .

  • Independence (I): If L=[q1L1,,qmLm,,qMLM]L and, L*Lm then Lq1L1,,qmL*,,qMLM .

  • Continuity (C): For every L,L',LL such that LL'L , there exists α0,1 , where L'αL,1-αL .

  • Monotonicity (M): Assuming α,β0,1 and LL' , then, αL,1-αL'[βL,1-βL'] if and only if αβ .

Jehle and Reny (2011):

  • Continuity (G3): For every LL , there exists a real number α0,1 , such that LαLxK,1-αLx1 .

  • Monotonicity (G4): For every α,β0,1 , αLxK,1-αLx1[βLxK,1-βLx1] if and only if αβ .

  • Substitution (G5): If L=p1L1,,pMLM and L'=p1L1',,pMLM' with LmL'M for every m, then LL' .

  • Reduction to simple gambles (G6): For every LL , if SimpL= r1x1,,rKxK , then LSimpL , where x 1 denotes the worst possible consequence and x k denotes the best one.

Rubinstein (2012):

  • Independency (I R ): For any L,L',LL and α0,1 , LL' if and only if αL,1-αL[αL',1-αL] .

  • Continuity (C R ): If LL'L , there exists a real number α0,1 such that L'αL,1-αL .

Independence axiom by Maschler et al. (2013), and Jehle and Reny’s (2011)Substitution one imply that two lotteries are equivalent if they assign the same probability distribution to different consequences but indifferent between them. That is, if you create a new lottery taking an existing one but substituting a consequence with an indifferent one, both lotteries are indifferent, too.

In all axiomatic systems, the Continuity axiom allows the representation of any lottery using a better and a worse lottery.

The Monotonicity axiom, in Jehle and Reny (2011) and Maschler et al. (2013) axiomatic systems, implies to prefer lotteries that assign a high probability to more preferred consequences.

3. Axiomatic equivalencies

First, we analyze the Simplification axiom; notice that this property is part of the Maschler et al. (2013), and Jehle and Reny (2011) axiomatic systems (S and G6, respectively), and the equivalence between them is straightforward. In the Mas-Colell et al. (1995) and Rubinstein (2012) axiomatic systems, this property is implicit in the definition of a compound lottery. In Mas-Colell et al. (1995), a compound lottery is denoted by L1,,LM;α1,,αM and its simplification is given by q1,,qK where, for every k=1,,K , qk=α1pk1+α2pk2++αMpkM denotes the probability under L1,,LM;α1,,αM of the consequence x k . That construction implies the generalization for any level of composition as long as the probability distribution of the compound lottery is well defined. The construction of compound lotteries in Rubinstein (2011) is given in a similar way.

On the other hand, the axiomatic system of Jehle and Reny (2011) has six axioms. Two of them are included in our definition of preference relation: the completeness axiom G1 and the transitivity axiom G2. Also, the simplification axiom G6 was rewritten according to our notation and the function Simp. The equivalence between S and G6 is straightforward. Henceforth, we conclude that the simplification axiom is present in the four axiomatic systems.

Now, we show the main result of our work.

Theorem: The following statements are equivalent.

  1. The preference relation on L satisfies the I MC and C MC axioms.

  2. The preference relation on L satisfies the I, C and M axioms.

  3. The preference relation on L satisfies the G3, G4, and G5 axioms.

  4. The preference relation on L satisfies the I R and C R axioms.

We use the following lemma.2

Lemma:

If on L satisfies the I MC axiom, then for every α0,1 and L,L',LL , LL' if and only if αL,1-αLαL',1-αL , and LL' if and only if αL,1-αLαL',1-αL .

Proof of the theorem:

First, we are going to show that Statement 1 implies Statement 2; that is, if satisfies I MC and C MC , then satisfies I, C and M.

For proving that satisfies I, we must show that:

ifL=[q1L1,,qmLm,,qMLM]LandLmL*,then Lq1L1,,qmL*,,qMLM

We define:

LI[q1imqiL1,,qm-1imqiLm-1,qm+1imqiLm+1,,qMimqiLM] (2)

Because of the Lemma, we have qmLm,1-qmLIqmL*,1-qmLI.

Notice that the lottery at the left of the previous relation is equal to L , and the simplification of the lottery at the right is:

q1L1,,qmL*,,qMLM

Then, because of S and the transitivity of we have:

Lq1L1,,qmL*,,qMLM

For proving that satisfies C, we must show that for any three lotteries L,L',LL such that LL'L , there exists a number α0,1 , where L'[αL,1-αL] .

Let L,L',LL be lotteries such that LL'L . We define:

A+={α[0,1]|[αL,1-αL]L'}andA-={α[0,1]|L'[αL,1-αL]}

Because of C MC , A+ and A- are closed sets on 0,1 , and then A+ , A-0,1 . Due to the completeness of , 0,1A+A- and then, 0,1=A+A- . If A+A-= , there is a contradiction about the connection of 0,1 . So A+A- , which means that there exists α such that L'[αL,1-αL] .

To show that if satisfies C MC and I MC , then satisfies M, we must prove that for any α,β0,1 and L,L'L such that LL' we must have αL,1-αL'[βL,1-βL'] if and only if αβ , but this result is already done.3

Now, we will show that Statement 2 implies Statement 3; that is, if on L satisfies I, C and M, then it satisfies G3, G4, and G5. Notice that G3 is implied directly from C, and G4 is implied by M. Moreover, G5 is implied by repeated applications of I plus the transitivity of ; to see this fact, consider L,L'L such that L=p1L1,,pMLM , L'=p1L'1,,pML'M , and LmL'M for every m=1,…,M. Applying I M times, we have:

p1L1,,pMLM  p1L'1,,pMLM 

p1L'1,p2L'2,,pMLM    p1L'1,,pML'M

and, because of the transitivity of the relation:

p1L1,,pMLMp1L'1,,pML'M.

Now, we are going to show that Statement 3 implies Statement 4. That is, if on L satisfies G3, G4, and G5, then it satisfies C R yI R .

For showing that on L satisfies C R (that is, for every L,L',LL such that LL'L , there exists α0,1 , such that L'αL,1-αL ), let L,L',LL be three lotteries such that LL'L . Because of G3, there exist β,γ,δ0,1 , such that LβLxK,1-βLx1 , L'γLxK,1-γLx1 , and LδLxK,1-δLx1 . Notice that, because of G4 and LL'L , we have β>γ>δ ; so, we can construct a lottery L*L such that L*=[αβLxK,1-βLx1),1-αδLxK,1-δLx1] , with α=γ-δβ-δ , and then, SimpL*=γLxK,1-γLx1 . Thus, because of G5, we have L*αL,1-αL , and by transitivity and SimpL*L' , it is implied that L'[α L,1-αL] , and this is the fact we want to prove.

For showing that on L satisfies I R , we must prove that for every L,L',LL and α0,1 we have LL' if and only if αL,1-αL[αL',1-αL] . First, let us assume LL' and we must prove that α(L),(1-α)(L)][α(L'),(1-α)(L)] .

If L is an arbitrary lottery, there are three cases to study: a) LLL' , b) LLL' , and c) LL'L .

Case a): We assume LLL'

If LL' , then LL'L . Because of G5, we have:

αL,1-αLαL',1-αL.

By definition of we have:

αL,1-αL[αL',1-αL]

Now, if LL' is not true, then LL' . Because of G3, there exist real numbers β,γ,δ0,1 such that LβLxK,1-βLx1 , LγLxK,1-γLx1 , and L'δLxK,1-δLx1 . Because of G4 and LLL' , we have βγδ .

We need to compare αL,1-αL with αL',1-αL , where α0,1 . Applying G5 and G6 to these expressions, we have:

αL,1-αLαβLxK,1-βLx1,1-αγLxK,1-γLx1αβ+1-αγLxK,α1-β+1-α1-γLx1 (3)

αL',1-αLαδLxK,1-δLx1,1-αγLxK,1-γLx1αδ+1-αγLxK,α1-δ+1-α1-γLx1 (4)

Because of G4 and the transitivity of , we have αL,1-αL  αL',1-αL , so the proof is done.

The proofs for b) and c) are analogous to a).

Now, we have to prove that:

αL,1-αLαL',1-αL

implies LL' . By contradiction LL' , we have L'L . Thus, we have to check three cases: a) LL'L , b) L'LL , and c) L'LL .

Case a) LL'L

By hypothesis of case a) and the transitivity of ≻, we have LL . Because of G3, there exist real numbers β,γ,δ0,1 such that LβLxK,1-βLx1 , L'γLxK,1-γLx1 , and LδLxK,1-δLx1 . Because of G4 and LL'L , we have βγ>δ . If we compare αL,1-αL with αL',1-αL , where α0,1 , and applying G5 and G6 we have:

αL,1-αLαδLxK,1-δLx1,1-αβLxK,1-βLx1αδ+1-αβLxK,α1-δ+1-α1-βLx1 (5)

αL',1-αLαγLxK,1-γLx1,1-αβLxK,1-βLx1αγ+1-αβLxK,α1-γ+1-α1-βLx1 (6)

This expression means a contradiction to the hypothesis. So, the correct one must be LL' . The proof of cases b) and c) are analogous.

Now we are going to show that Statement 4 implies Statement 1; that is, on L satisfies C R and I R , then it satisfies C MC and I MC . First, notice that I MC and I R are completely equivalents. Now we show that if on L satisfies I R and C R , then it satisfies C MC . For proving that satisfies C MC , we must prove that for every L,L',LL , the sets:

{α[0,1]|[αL,1-αL]L'}and{α[0,1]|L'[αL,1-αL]}

are closed ones in 0,1 . Let L,L',LL be arbitrary lotteries. Define:

A+={α[0,1]|[αL,1-αL]L'}andA-={α[0,1]|L'[αL,1-αL]} (7)

Let us analyze three cases:

a) LL' and LL'

If LL' and LL' , then A-= is a closed set as well as A+=0,1 . If LL' and LL' , then A-=1 and A+=0,1 are closed sets. If LL' and LL' , then A-=0 and A+=0,1 are closed sets, too. If LL' and LL' , then A-=0,1 and A+=0,1 are closed sets, again.

b) L'L and L'L

If L'L and L'L , then A-=0,1 and A+= . If L'L and L'L , then A-=0,1 and A+=1 . If L'L and L'L , then A-=0,1 and A+=0 . In all these cases, both sets are closed.

c) LL'L

Because of C R , there exists α0,1 such that L'αL,1-αL , which implies A+A- . The uniqueness of α follows from the first part of the proof of the theorem due to I R , and then A-=0,α and A+=α,1 are closed sets. So, this fact finishes the proof.

4. Conclusions

As the main result of this paper, we show the equivalence among four textbook axiomatic systems regarding the expected utility theorem given by four authors. This implies that the objects satisfying the four axiomatic systems coincide. Also, we provide a common language for the space of lotteries, the simplification of a lottery, and their composition. These kinds of results could help the understanding of the logic and objects involved in different treatments of the expected utility theory.

Acknowledgements

CONACyT sponsored Karla Flores-Zarur with a master’s scholarship.

References

Barbera, S., P. Hammond, and C. Seidl. 2004. Handbook of Utility Theory, Vol. 2, Kluwer Academic Publishers. [ Links ]

Cantala, D. 2007. Preferences for shifts in probabilities and expected utility theory, Estudios Económicos, 22(1): 99-109. [ Links ]

Hara, C., I. Segal, and S. Tadelis. 1997. Solutions Manual for Microeconomic Theory: Mas-Colell, Whinston and Green, Oxford, Oxford University Press. [ Links ]

Jehle, G.A. and P.J. Reny. 2011. Advanced Microeconomic Theory, Third Edition, London, Pearson Education. [ Links ]

Mas-Colell, A., M.D. Whinston, and J.R. Green. 1995. Microeconomic Theory, Oxford, Oxford University Press. [ Links ]

Maschler, M., E. Solan, and S. Zamir. 2013. Game Theory, Cambridge, Cambridge University Press. [ Links ]

Rubinstein, A. 2012. Lecture Notes in Microeconomic Theory, Second Edition, New Jersey, Princeton University Press. [ Links ]

Schmidt, U. 2004. Alternatives to expected utility: Formal theories, in S. Barbera, P. Hammond, and C. Seidl (eds.), Handbook of Utility Theory, Vol. 2, Kluwer Academic Publishers. [ Links ]

Sudgen, R. 2004. Alternatives to expected utility: Foundations, in S. Barbera, P. Hammond, and C. Seidl (eds.), Handbook of Utility Theory, Vol. 2, Kluwer Academic Publishers. [ Links ]

1The strong preference and indifference are defined in the usual way, as follows: LL'LL' but not L'L;LL'LL' and L'L .

3This result is proven in Mas-Colell et al. (1995: 176).

Received: January 03, 2022; Accepted: March 07, 2022

Creative Commons License This is an open-access article distributed under the terms of the Creative Commons Attribution License