11.07.2016 Views

Risk Neutrality Incompleteness and Degenerate Indifference

n?u=RePEc:san:wpecon:1609&r=upt

n?u=RePEc:san:wpecon:1609&r=upt

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

<strong>Risk</strong> <strong>Neutrality</strong>, <strong>Incompleteness</strong> <strong>and</strong><br />

<strong>Degenerate</strong> <strong>Indifference</strong><br />

Georgios Gerasimou<br />

School of Economics <strong>and</strong> Finance<br />

Online Discussion Paper Series<br />

issn 2055-303X<br />

http://ideas.repec.org/s/san/wpecon.html<br />

info: econ@st-<strong>and</strong>rews.ac.uk<br />

School of Economics <strong>and</strong> Finance Discussion Paper No. 1609<br />

23 Jun 2016<br />

JEL Classification: D01, D03, D11<br />

Keywords: Bewley preferences; incomplete preferences; risk neutrality;<br />

degenerate indifference


<strong>Risk</strong> <strong>Neutrality</strong>, <strong>Incompleteness</strong> <strong>and</strong> <strong>Degenerate</strong><br />

<strong>Indifference</strong><br />

Georgios Gerasimou ∗†<br />

June 23, 2016<br />

Abstract<br />

We show that strictly monotonic <strong>and</strong> risk-neutral Bewley preferences on the set of<br />

purely uncertain monetary acts over a finite state space are associated with a degenerate<br />

indifference relation. This conclusion is valid irrespective of whether strict or weak<br />

preferences are taken as primitive. In the latter case, it follows from this result that such<br />

a decision maker is indifferent between distinct acts only if her preferences are complete.<br />

Keywords: Bewley preferences; incomplete preferences; risk neutrality; degenerate indifference.<br />

JEL Classification: D01, D03, D11<br />

∗ School of Economics & Finance, University of St Andrews. Email: gg26@st-<strong>and</strong>rews.ac.uk<br />

† I thank Igor Rivin for a useful suggestion.


1 Introduction<br />

In Bewley’s (2002) model of preferences over monetary acts the primitive is an incomplete strict<br />

preference relation that is represented by a set of priors over the states of the world together<br />

with the decision rule whereby one act is preferred to another if <strong>and</strong> only if its expected value is<br />

strictly higher under every prior in that set. Rigotti <strong>and</strong> Shannon (2005), Kajii <strong>and</strong> Ui (2009)<br />

<strong>and</strong> Ma (2015) are papers in general equilibrium theory under Knightian uncertainty where agents<br />

are assumed to have Bewley preferences that may be of this type, 1 while Lopomo, Rigotti, <strong>and</strong><br />

Shannon (2011) <strong>and</strong> Chiesa, Micali, <strong>and</strong> Zhu (2015) are papers in contract theory <strong>and</strong> mechanism<br />

design, respectively, where risk-neutral Bewley preferences are assumed directly.<br />

Following Ghirardato, Maccheroni, Marinacci, <strong>and</strong> Siniscalchi (2003) <strong>and</strong> Gilboa, Maccheroni,<br />

Marinacci, <strong>and</strong> Schmeidler (2010), an alternative approach to modelling preferences over general<br />

Savage (1954) or Anscombe-Aumann (1963) acts that are defined by Bewley’s unanimity rule is<br />

to take a possibly incomplete weak preference relation as the primitive, <strong>and</strong> let it be determined<br />

by weak rather than strict dominance with respect to every prior. Each of these approaches is<br />

associated with certain advantages <strong>and</strong> disadvantages, briefly reviewed below.<br />

A thing in common for these two approaches that is important for the purposes of this note<br />

is that the agent is assumed to be indifferent between two acts if <strong>and</strong> only if their expected<br />

value/expected utility is the same under every prior. We show, in particular, that when risk-neutral<br />

Bewley preferences of either type are defined on the linear space of purely uncertain monetary acts<br />

over a finite state space, <strong>and</strong> also satisfy strict monotonicity (as in Bewley’s (2002) Theorem 1, for<br />

instance), then the indifference relation associated with them is degenerate: there exist no distinct<br />

acts between which the decision maker is indifferent. An important implication of this result in<br />

the case where weak preferences are primitive is that strict monotonicity is incompatible with<br />

indifference non-triviality unless preferences are complete.<br />

2 <strong>Degenerate</strong> <strong>Indifference</strong>: A Sufficient Condition<br />

The choice domain is the set of all acts f : S → R, where S = {1, . . . , n} is the finite state space.<br />

This domain coincides with R n <strong>and</strong> will be denoted by X. We will write 0 for the zero vector in<br />

X. Moreover, for i ≤ n, we let e i st<strong>and</strong> for the element of X whose i-th coordinate is 1 <strong>and</strong> all<br />

other coordinates are zero. For x, y ∈ X, we write x ≥ y whenever x i ≥ y i for all i ≤ n.<br />

The set of all probability measures on S is denoted by ∆(S). As in Rigotti <strong>and</strong> Shannon<br />

(2005), for P ⊆ ∆(S) we define the interior of P relative to the set {x ∈ R n : ∑ n<br />

i=1 x i = 1}<br />

by rint(P ) = {p ∈ ∆(S) : p i > 0 for all i ≤ n} if P = ∆(S), <strong>and</strong> rint(P ) = {p ∈ ∆(S) :<br />

B ɛ (p) ∩ rint(∆(S)) ⊂ P for some ɛ > 0} if P ⊂ ∆(S), where B ɛ (p) is the Euclidean open ball<br />

around p. When we make a reference to a set P ⊆ ∆(S) we will use the terms interior <strong>and</strong> relative<br />

interior interchangeably.<br />

The following result is key in what follows.<br />

Proposition 1.<br />

Let ∼ be an equivalence relation on X <strong>and</strong> P ⊆ ∆(S) a compact, convex set with nonempty interior<br />

such that<br />

x ∼ y ⇐⇒ px = py for all p ∈ P (1)<br />

1 Kajii <strong>and</strong> Ui (2009), in particular, showed that when all agents’ Bewley preferences are risk-neutral, an allocation is interim efficient<br />

if <strong>and</strong> only if there exists a common element in the agents’ sets of priors.<br />

1


Then,<br />

x ∼ y ⇐⇒ x = y (2)<br />

The proof appears in the Appendix. In the case where n = 2 this result can be easily illustrated<br />

with an example: Suppose x ∼ y for x, y ∈ R 2 . It follows from (1) <strong>and</strong> the nonempty-interior<br />

assumption that there exist distinct probability measures (p, 1 − p) <strong>and</strong> (q, 1 − q) in P such that<br />

px 1 + (1 − p)x 2 = py 1 + (1 − p)y 2<br />

qx 1 + (1 − q)x 2 = qy 1 + (1 − q)y 2<br />

Moreover, since P has a nonempty interior, (p, 1 − p) <strong>and</strong> (q, 1 − q) can be chosen to be strictly<br />

positive. In this case, dividing the first equation by p <strong>and</strong> the second by q, <strong>and</strong> then subtracting<br />

the former from the latter yields x 2 = y 2 <strong>and</strong> x 1 = y 1 . The proof of the general case generalizes this<br />

argument mainly by showing that there exists an n-tuple of strictly positive probability measures<br />

that span X ≡ R n .<br />

3 Strict Bewley Preferences<br />

As in Bewley (2002), we first explore the implications of Proposition 1 in the case where the primitive<br />

is a strict preference relation ≻ on X. The following four axioms are st<strong>and</strong>ard in this context<br />

<strong>and</strong> were also employed in the statement of Bewley’s Theorem 1, which is of direct relevance here.<br />

Strict Partial Order<br />

≻ is asymmetric <strong>and</strong> transitive.<br />

Independence<br />

For all x, y, z ∈ X <strong>and</strong> all α ∈ (0, 1), x ≻ y implies αx + (1 − α)z ≻ αy + (1 − α)z.<br />

Strict Monotonicity<br />

For all x, y ∈ X, x ≥ y <strong>and</strong> x ≠ y implies x ≻ y.<br />

Upper Hemicontinuity<br />

For all x ∈ X, the set U ≻ (x) := {y ∈ X : y ≻ x} is open.<br />

We restate Bewley’s Theorem 1 below in a way that reflects the indifference-degeneracy implications<br />

of Proposition 1 <strong>and</strong> also allows for one additional clarification to be made.<br />

Corollary 2.<br />

A binary relation ≻ on X is a Strict Partial Order that satisfies Independence, Strict Monotonicity<br />

<strong>and</strong> Upper Hemicontinuity if <strong>and</strong> only if there exists a compact, convex set P ⊆ rint(∆(S)) such<br />

that, for all x, y ∈ X,<br />

x ≻ y ⇐⇒ px > py for all p ∈ P (3)<br />

x = y ⇐⇒ px = py for all p ∈ P (4)<br />

Although Bewley (2002) did not assume an indifference relation as part of the model’s primitives,<br />

he noted that once a set of priors P that represents ≻ in the sense of (3) is known to exist, an<br />

2


indifference relation ∼ on X could be defined by x ∼ y ⇔ px = py for all p ∈ P . Driven by<br />

Proposition 1, part (4) of this result clarifies that, under the conditions assumed in Bewley’s<br />

(2002) Theorem 1, this indifference relation is actually degenerate. Moreover, the statement of<br />

Corollary 2 also clarifies that the relevant conditions in Bewley’s (2002) Theorem 1 are not merely<br />

sufficient but also necessary for ≻ to be represented as in (3).<br />

We note, finally, that when a strict relation ≻ is assumed to be the primitive in a model of<br />

incomplete preferences, Galaabaatar <strong>and</strong> Karni (2013) suggested to define an indifference relation<br />

∼ from ≻ by letting x ∼ y if <strong>and</strong> only if U ≻ (x) = U ≻ (y). 2 Since this ∼ is an equivalence relation,<br />

it follows from Proposition 1 that this too is degenerate in the present context whenever the set<br />

P that represents ≻ has a nonempty interior.<br />

4 Weak Bewley Preferences<br />

A conceptual difficulty with the strict-preference version of Bewley’s unanimity model is that it<br />

does not specify a relevant “mild preference” label for the cases where all priors weakly favour an act<br />

x over another act y <strong>and</strong> some but not all strictly favour x. An approach that addresses this issue<br />

was followed by Ghirardato, Maccheroni, Marinacci, <strong>and</strong> Siniscalchi (2003), Gilboa, Maccheroni,<br />

Marinacci, <strong>and</strong> Schmeidler (2010) <strong>and</strong> Ok, Ortoleva, <strong>and</strong> Riella (2012), who took as the primitive<br />

a (possibly incomplete) weak preference relation . Unlike Bewley’s (2002) framework, under this<br />

approach the relations ≻ <strong>and</strong> ∼ that define strict preference <strong>and</strong> indifference are derived from <br />

as its asymmetric <strong>and</strong> symmetric parts in the usual way. While this is an advantage of the weakover<br />

the strict-preference approach, a well-known difficulty that arises here is that even though<br />

the relation is continuous, its strict part ≻ cannot be unless is complete (see below).<br />

To study the analogue of Corollary 2 in a weak-preference framework we state a few axioms<br />

that are particular to such a relation.<br />

Preorder<br />

is reflexive <strong>and</strong> transitive.<br />

<strong>Incompleteness</strong><br />

There exist x, y ∈ X such that x ̸ y <strong>and</strong> y ̸ x.<br />

Restricted Hemicontinuity<br />

The set U (0) := {y ∈ X : y 0} is closed.<br />

The former two axioms ensure that is a transitive <strong>and</strong> incomplete weak preference relation.<br />

It will be clear in the statement of the result below why requiring incompleteness explicitly is<br />

important for our purposes. Although the third axiom is weaker, in principle, than the st<strong>and</strong>ard<br />

axiom of closed-graph continuity, it turns out that in the present context the two are equivalent. 3<br />

As far as the Independence axiom for is concerned, it coincides with the one that was stated in<br />

the previous section provided that ≻ is replaced by .<br />

2 Bewley (2002) called two acts x <strong>and</strong> y equivalent when, in addition, to the above condition of Galaabaatar <strong>and</strong> Karni (2013) that<br />

requires equality between the strict upper contour sets of x <strong>and</strong> y, their strict lower contour sets are also equal.<br />

3 The reader is referred to Theorem 1 in Gerasimou (2015) <strong>and</strong> p. 156 in Ghirardato, Maccheroni, <strong>and</strong> Marinacci (2004) for more<br />

details on this.<br />

3


Corollary 3.<br />

A binary relation on a X is a Preorder that satisfies <strong>Incompleteness</strong>, Independence, Strict<br />

Monotonicity <strong>and</strong> Restricted Hemicontinuity if <strong>and</strong> only if there exists a compact, convex set P ⊆<br />

∆(S) with nonempty interior such that, for all x, y ∈ X<br />

x y ⇐⇒ px ≥ py for all p ∈ P (5)<br />

x = y ⇐⇒ px = py for all p ∈ P (6)<br />

Moreover,<br />

(x y ⇔ x ≥ y) ⇐⇒ P = ∆(S) (7)<br />

It is an implication of Proposition A.1 in Ghirardato, Maccheroni, <strong>and</strong> Marinacci (2004) that<br />

the stated axioms are sufficient for the existence of a set P ⊆ ∆(S) that represents as in (5).<br />

It is easy to verify that Strict Monotonicity implies a nonempty interior for P . In light of this<br />

fact, the indifference-degeneracy implication (6) again follows from Proposition 1. Given (6), it is<br />

easily seen that (7) is true. This equivalence shows that, in the present setting, Bewley preferences<br />

coincide with the usual partial ordering if <strong>and</strong> only if P contains all possible priors, hence that the<br />

model becomes uninformative in this special case.<br />

Importantly, Corollary 3 can also be stated as a preference-completion theorem. To this end,<br />

we write explicitly as an axiom the requirement that there exist two distinct acts between which<br />

the decision maker is indifferent.<br />

Nontrivial <strong>Indifference</strong><br />

There exist distinct x, y ∈ X such that x ∼ y.<br />

Corollary 4.<br />

If is a Preorder on X that satisfies Independence, Strict Monotonicity, Nontrivial <strong>Indifference</strong><br />

<strong>and</strong> Restricted Hemicontinuity, then is complete.<br />

This result parallels the well-known <strong>and</strong> general preference-completion theorem that is due to<br />

Schmeidler (1971). The latter provides natural topological conditions on the preference domain<br />

(i.e. connectedness) as well on the relation <strong>and</strong> its asymmetric part ≻ (i.e. hemicontinuity)<br />

that are sufficient for to be complete. Although the domain in Corollary 4 is a special case in<br />

the class of domains that Schmeidler’s theorem allows for, we note that, unlike the latter result,<br />

almost every condition in the statement of Corollary 4 is a preference postulate with a behavioral<br />

content.<br />

Appendix<br />

Proof of Proposition 1.<br />

We will first show that there is a set {q 1 , . . . , q n } of n linearly independent elements in rint(P ).<br />

Let p ∈ rint(P ). For ɛ > 0, let B ɛ (p) := {v ∈ R n ++ : d(v, p) < ɛ}, where d denotes Euclidean<br />

distance. For all i ≤ n, define q i ∈ R n ++ by<br />

q i := p + ɛ 2 ei .<br />

4


Observe that the set {q 1 , . . . , q n } ⊂ R n ++ consists of n linearly independent vectors. Hence, it is a<br />

basis of R n . Now define q i by<br />

q i :=<br />

q i<br />

||q i || 1<br />

where ||q i || 1 := ∑ n<br />

j=1 qj i . Observe also that, for all i, j ≤ n, ||q i|| 1 = ||q j || 1 = 1 + ɛ 2 . Define<br />

β := 1<br />

1 + ɛ .<br />

2<br />

Notice that since {q 1 , . . . , q n } is a basis of R n <strong>and</strong> q i ≡ βq i for all i ≤ n, the set {q 1 , . . . , q n } is also<br />

a basis of R n . Moreover, by construction, q i ∈ B ɛ (p). Since p ∈ rint(P ), choosing ɛ > 0 sufficiently<br />

small ensures that q i ∈ rint(P ) for all i ≤ n.<br />

Now consider x, y ∈ X <strong>and</strong> suppose x ∼ y. Let z := x − y. To establish (2) it suffices to show<br />

that if pz = 0 for all p ∈ P , then z = 0. To this end, suppose pz = 0 for all p ∈ P . It holds that<br />

( n∑<br />

i=1<br />

q i z = 0, for all i = 1, . . . , n (8)<br />

n∑<br />

λ i q i ≠ 0, for all (λ 1 , . . . , λ n ) ∈ R n \ {0} (9)<br />

i=1<br />

λ i q i<br />

)<br />

z = 0, for all (λ 1 , . . . , λ n ) ∈ R n \ {0} (10)<br />

where (8) is true by assumption, (9) follows from the fact that {q 1 , . . . , q n } is a basis of R n , <strong>and</strong><br />

(10) is implied by (8). In particular, it follows from (9) <strong>and</strong> (10) that z = 0, which is equivalent<br />

to x = y.<br />

<br />

References<br />

Anscombe, F. J., <strong>and</strong> R. J. Aumann (1963): “A Definition of Subjective Probability,” Annals<br />

of Mathematical Statistics, 14, 477–482.<br />

Bewley, T. F. (2002): “Knightian Decision Theory. Part I,” Decisions in Economics <strong>and</strong> Finance,<br />

25, 79–110.<br />

Chiesa, A., S. Micali, <strong>and</strong> Z. A. Zhu (2015): “Knightian Analysis of the Vickrey Mechanism,”<br />

Econometrica, 83, 1727–1754.<br />

Galaabaatar, T., <strong>and</strong> E. Karni (2013): “Subjective Expected Utility with Incomplete Preferences,”<br />

Econometrica, 81, 255–284.<br />

Gerasimou, G. (2015): “(Hemi)Continuity of Additive Preference Preorders,” Journal of Mathematical<br />

Economics, 58, 79–81.<br />

Ghirardato, P., F. Maccheroni, <strong>and</strong> M. Marinacci (2004): “Differentiating Ambiguity<br />

<strong>and</strong> Ambiguity Attitude,” Journal of Economic Theory, 118, 133–173.<br />

Ghirardato, P., F. Maccheroni, M. Marinacci, <strong>and</strong> M. Siniscalchi (2003): “A Subjective<br />

Spin on Roulette Wheels,” Econometrica, 71, 1897–1908.<br />

5


Powered by TCPDF (www.tcpdf.org)<br />

Gilboa, I., F. Maccheroni, M. Marinacci, <strong>and</strong> D. Schmeidler (2010): “Objective <strong>and</strong><br />

Subjective Rationality in a Multiple Prior Model,” Econometrica, 78, 755–770.<br />

Kajii, A., <strong>and</strong> T. Ui (2009): “Interim Efficient Allocations Under Uncertainty,” Journal of<br />

Economic Theory, 144, 337–353.<br />

Lopomo, G., L. Rigotti, <strong>and</strong> C. Shannon (2011): “Knightian Uncertainty <strong>and</strong> Moral Hazard,”<br />

Journal of Economic Theory, 146, 1148–1172.<br />

Ma, W. (2015): “The Existence <strong>and</strong> Efficiency of General Equilibrium with Incomplete Markets<br />

under Knightian Uncertainty,” Economics Letters, 134, 78–81.<br />

Ok, E., P. Ortoleva, <strong>and</strong> G. Riella (2012): “Incomplete Preferences under Uncertainty:<br />

Indecisiveness in Beliefs Versus Tastes,” Econometrica, 80, 1791–1808.<br />

Rigotti, L., <strong>and</strong> C. Shannon (2005): “Uncertainty <strong>and</strong> <strong>Risk</strong> in Financial Markets,” Econometrica,<br />

73, 203–243.<br />

Savage, L. J. (1954): The Foundations of Statistics. New York: Wiley.<br />

Schmeidler, D. (1971): “A Condition for the Completeness of Partial Preference Relations,”<br />

Econometrica, 39, 403–404.<br />

6

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!