Advanced Microeconomics/Preference Relations
Preference relations
The preference relation provides a foundation upon which classical microeconomics erects a theory of rational choice. This section describes preference relations and their properties. The rational preferences approach to studying human decision making treats preferences as given, imposing axiomatic assumptions intended to represent rational choice. We begin by envisioning a set of mutually exclusive choices facing a decision maker, X. The binary relation
represents a preference over the elements of X. In the natural language
is read as "x is at least as good as y" or "x is weakly preferred to y".
Two useful derivative relations are
Strict Preference:
and not
.
is read as "x is preferred to y", or "x is strictly preferred to y".
Indifference:
.
is read as "x is indifferent to y".
Rational Preferences
The preference relation
on X is called rational if it is both complete and transitive. Completeness requires all pairs
can be compared.
Completeness:
, either
, or both.
Transitivity imposes a 'consistency' requirement, enabling a ranking or ordinal mapping onto the elements of X. For example, if a shopper strictly prefers apples to oranges and prefers oranges to bananas, the transitivity assumption requires him/her to also prefer apples to bananas.
Transitivity: For all choices x, y, and z, if
then 
properties of rational preferences:
is reflexive
. This is implied by completeness.
is irreflexive
never holds
is transitive 
is reflexive.
is transitive 
is symmetric
.- If
and
then
.
A moment of reflection reveals the gravity of the rationality assumption. In colloquial terms, rationality implies individuals fully know and understand their preferences. In any moment the decision maker could be called upon to act it must be able to provide a complete, consistent ranking of all elements in the choice set. Note, however, the rationality assumption places no restrictions on the subjective quality of preferences, nor has this framework imposed any requirements on the information or computational ability available to a decision maker. Simply, the subjectivity of preferences survives an assumption of rationality.
Additional Assumptions on Preferences
A number of assumptions often facilitate formal analysis. The partial list included below serves as reference.
Desirability assumptions
- Monotonicity: The relation
is (weakly) monotone if
and strongly monotone if 
The monotonicity assumption translates roughly to "more is better". Though trivial in some instances, choice sets including economic 'bads' such as pollution may violate monotonicity. - Local nonsatiation:
is nonsatiated if
Notice that monotonicity, translating to "more is better, even for infinitesimal deviations", implies local non-satiation, but not vice-versa. The assumption of non-satiation plays a key role in the discussion of indifference sets and indifference curves, below.
Convexity
on X is convex if ![\forall x \in \mathbf{X} \mbox{ the upper contour } y \in \mathbf{X}: y\succsim x \mbox{ is convex; if} y\succsim x \and z \succsim x,\;(\alpha y + (1-\alpha)z) \succsim x\forall \alpha\in[0,1]](//upload.wikimedia.org/math/a/5/0/a50d429e3542b0f8ef51d083b26023a9.png)
- Convex preferences imply diminishing marginal rates of substitution. For any two goods, increasingly large amounts of one good are required to compensate for marginal losses of the other.
- Convex preferences may be interpreted as a desire for diversification in consumption
Homothetic Preferences
Preferences are said to be homothetic if all indifference sets are related by proportional expansion along rays, 
Quasilinear Preferences
is quasilinear with respect to its numeraire if:
- indifference sets are parallel displacements along the axis of commodity 1;

- the numéraire is desirable,
. This is implied by completeness.
is irreflexive
never holds
is reflexive.
.
then
.
and strongly monotone if 
Notice that monotonicity, translating to "more is better, even for infinitesimal deviations", implies local non-satiation, but not vice-versa. The assumption of non-satiation plays a key role in the discussion of indifference sets and indifference curves, below.![\forall x \in \mathbf{X} \mbox{ the upper contour } y \in \mathbf{X}: y\succsim x \mbox{ is convex; if} y\succsim x \and z \succsim x,\;(\alpha y + (1-\alpha)z) \succsim x\forall \alpha\in[0,1]](http://upload.wikimedia.org/math/a/5/0/a50d429e3542b0f8ef51d083b26023a9.png)
