Académique Documents
Professionnel Documents
Culture Documents
Consider a set of possible alternatives X from which an agent will make a choice. This set may
be finite or infinite. The leading example to keep in mind is consumption choice, where the agent
chooses a consumption bundle in an economy with n goods, so that X D RnC , the nonnegative
orthant of Rn . But for todays lecture we will deliberately keep the setting abstract.
Given a preference % on X , we define another binary relation on X, called the strict preference,
as follows: x y if x % y holds and y % x does not hold; we also define the indifference relation
on X: x y if x % y and y % x.
Examples:
Why might preferences be incomplete? This can arise when a person is unable to choose but
is not indifferent. Examples are anything where the agent is unable to distinguish characteristics
of alternatives but if she could she would have a preference.
When might transitivity fail? Suppose a three member household is making a decision based
on a majority of opinions. This aggregation process can yield intransitivities (this is known as the
Condorcet paradox). For example, if the three members rank the alternatives as x 1 y 1 z,
1
y 2 z 2 x, and z 3 x 3 y, then the majority rule adopted by the household determines x to
be preferred over y, y over z, and z over x, thus violating transitivity.
The following proposition summarizes important implications of the definition above.
(c) is reflexive (8x 2 X , x x), transitive and symmetric (8x, y 2 X , x y iff y x).
(d) The following mixed form of transitivity holds: 8x; y; z 2 X, x y and y z imply
x z.
Proving the proposition is a great exercise to practice the manipulation of the completeness
and transitivity axioms.
A utility function on a set X is a real-valued function defined on X.
It should be clear that a utility function induces a preference relation. The interesting question
is whether the converse is true. This is important because preferences are regarded as a primitive
for the decision maker, not the utility function. In fact, as far as behavioral implications are con-
cerned, utility numbers have no intrinsic meaning: there are infinitely many utility representations
of any given preference.
Proof. x % y U.x/ > U.y/ f .U.x// > f .U.y// (since f is strictly increasing).
Proof. As the set is finite, we can rank all the elements of X in increasing order of preference,
possibly with ties. (Can you give a formal proof of this statement by induction on the size of
the set X?) We then define a utility function on X as follows. The worst preferred elements
(that is, those that are not strictly preferred to any other element), get utility 1. Then, the worst
preferred elements among the remaining elements get utility 2, and so on. By construction, the
utility function represents the preference.
2
The construction of a utility function that represents a preference % gets a bit more complicated
when X is countably inifinite, since such sets need not have minimal elements. (Can you think of
an example of a preference on a countable set with no minimal element?) Nonetheless:
Then, if x ` x j we must have U.x ` / D U.x j /, as the two summations range over the same
set of indices. Moreover, if x ` x j we have must have U.x ` / > U.x j /, as the set of indices
corresponding to the summation in U.x ` / must contain the set of indices corresponding to the
summation in U.x j / as a proper subset. (This follows from the transitivity and irreflexivity of the
strict preference relation.)
Proposition 5. The lexicographic preference relation %L on R2 does not have a utility represen-
tation.
As we will see below, the problem with the lexicographic preference is that it displays
sudden preference reversals. For example, consider the lexicographic preference in R2 and pick
an arbitrarily small but positive number " > 0. Then, ."; 0/ is strictly preferred to .0; 1/ no matter
how small " is. But when " D 0, we suddenly have .0; 1/ strictly preferred to ."; 0/! The following
axiom rules out such sudden preference reversals.
3
In words, if we have sequences x k and y k (k D 1; 2; : : : ;) in X such that along the sequence
we always have x k weakly preferred to y k , and moreover x k and y k are approaching x and y,
respectively, as k ! 1, then the axiom of continuity requires that x remains weakly preferred to
y.
The following result characterization provides an equivalent way to think about continuity:
(a) % is continuous;
(b) 8x 2 X the upper contour set % .x/ D fy 2 X W y % xg and the lower contour set
- .x/ D fy 2 X j x % yg are closed in X .
One direction of the result is straightforward, namely that (a) implies (b). (Think about it!)
The converse is a bit more complicated. I leave this as an exercise for those of you who are more
technically inclined.
As mentioned above, lexicographic preferences are not continuous: .1=k; 0/ belongs to the
upper contour set UL .0; 1/ for all k 2 N, .1=k; 0/ ! .0; 0/, but .0; 0/ does not belong to
UL .0; 1/. (The element .0; 0/ lies on the boundary of the upper contour set UL .0; 1/, but does
not belong to it.) Here is a picture to illustrate:
[FIGURE TO BE INSERTED]
If we deal with continuous preferences on sufficiently well-behaved spaces X, we get a
positive result. The following theorem, due to Gerard Debreu, is a cornerstone of the foundations
of microeconomics.
Theorem 1 (Debreu). Assume that X is a connected subset of an Euclidean space. Then every
continuous preference relation on X has a continuous utility representation.
Most of you have probably not seen the definition of a connected set in your math courses
(unless you have taken some version of real analysis). But do not worry, it is not terribly impor-
tant: the application we care the most about is that of consumption choice, where the space of
alternatives X is the nonnegative orthant of an Euclidean space, which is connected. In any case,
if you are curious about the definition, here it is: a set X is disconnected if it can be written as the
disjoint union of two nonempty subsets of X, each of which is closed in X ; a set is connected if it
is not disconnected.
[FIGURE TO BE INSERTED]