Editing Ordinal utility

{{Short description|Preference ranking}}
In [[economics]], an '''ordinal utility''' function is a function representing the [[Preference (economics)|preferences]] of an agent on an [[ordinal scale]]. Ordinal [[utility theory]] claims that it is only meaningful to ask which option is better than the other, but it is meaningless to ask ''how much'' better it is or how good it is. All of the theory of [[consumer choice|consumer decision-making]] under conditions of [[certainty]] can be, and typically is, expressed in terms of ordinal utility.

For example, suppose George tells us that "I prefer A to B and B to C". George's preferences can be represented by a function ''u'' such that:
:<math>u(A)=9, u(B)=8, u(C)=1</math>

But critics of [[cardinal utility]] claim the only meaningful message of this function is the order <math>u(A)>u(B)>u(C)</math>; the actual numbers are meaningless. Hence, George's preferences can also be represented by the following function ''v'':

:<math>v(A)=9, v(B)=2, v(C)=1</math>
The functions ''u'' and ''v'' are ordinally equivalent – they represent George's preferences equally well.

Ordinal utility contrasts with [[cardinal utility]] theory: the latter assumes that the differences between preferences are also important. In ''u'' the difference between A and B is much smaller than between B and C, while in ''v'' the opposite is true. Hence, ''u'' and ''v'' are ''not'' cardinally equivalent.

The ordinal utility concept was first introduced by [[Vilfredo Pareto|Pareto]] in 1906.<ref>{{cite journal|last=Pareto|first=Vilfredo|title=Manuale di economia politica, con una introduzione alla scienza sociale|journal=Societa Editrice Libraria|year=1906}}</ref>

== Notation ==
Suppose the set of all states of the world is <math>X</math> and an agent has a preference relation on <math>X</math>. It is common to mark the weak preference relation by <math>\preceq</math>, so that <math>A \preceq B</math> reads "the agent wants B at least as much as A".

The symbol <math>\sim</math> is used as a shorthand to the indifference relation: <math>A\sim B \iff (A\preceq B \land B\preceq A)</math>, which reads "The agent is indifferent between B and A".

The symbol <math>\prec</math> is used as a shorthand to the strong preference relation: <math>A\prec B \iff (A\preceq B \land  B\not\preceq A)</math> if:
:<math>A \preceq B \iff u(A) \leq u(B)</math>

== Related concepts ==
=== Indifference curve mappings ===
{{Main|indifference curve}}
Instead of defining a numeric function, an agent's preference relation can be represented graphically by indifference curves. This is especially useful when there are two kinds of goods, ''x'' and ''y''. Then, each indifference curve shows a set of points <math>(x,y)</math> such that, if <math>(x_1,y_1)</math> and <math>(x_2,y_2)</math> are on the same curve, then <math>(x_1,y_1) \sim (x_2,y_2)</math>.

An example indifference curve is shown below:

[[File:Simple-indifference-curves.svg|200px|indifference map]]

Each indifference curve is a set of points, each representing a combination of quantities of two goods or services, all of which combinations the consumer is equally satisfied with. The further a curve is from the origin, the greater is the level of utility.

The slope of the curve (the negative of the [[marginal rate of substitution]] of X for Y) at any point shows the rate at which the individual is willing to trade off good X against good Y maintaining the same level of utility. The curve is convex to the origin as shown assuming the consumer has a diminishing marginal rate of substitution. It can be shown that consumer analysis with indifference curves (an ordinal approach) gives the same results as that based on [[cardinal utility]] theory — i.e., consumers will consume at the point where the marginal rate of substitution between any two goods equals the ratio of the prices of those goods (the equi-marginal principle).

=== Revealed preference ===

[[Revealed preference theory]] addresses the problem of how to observe ordinal preference relations in the real world. The challenge of revealed preference theory lies in part in determining what goods bundles were foregone, on the basis of them being less liked, when individuals are observed choosing particular bundles of goods.<ref>{{cite conference
| title =         Revealed Preference Theory
| author=     Chiaki Hara
| date=         6 June 1998
| book-title= 7th Toiro-kai meeting (1997/1998)
| url=            http://www.societies.cam.ac.uk/cujif/ABSTRACT/980606.htm
}}</ref>
<ref>{{cite journal
 |title       = Mistakes in Choice-Based Welfare Analysis
 |author      = Botond Koszegi
 |author2     = Matthew Rabin
 |journal     = American Economic Review: Papers and Proceedings
 |volume      = 97
 |issue       = 2
 |pages       = 477–481
 |date        = May 2007
 |url         = http://elsa.berkeley.edu/~botond/mistakeschicago.pdf
 |url-status     = dead
 |archive-url  = https://web.archive.org/web/20081015203300/http://elsa.berkeley.edu/~botond/mistakeschicago.pdf
 |archive-date = 2008-10-15
|doi      = 10.1257/aer.97.2.477
 |citeseerx      = 10.1.1.368.381
 }}</ref>

== Necessary conditions for existence of ordinal utility function ==
Some conditions on <math>\preceq</math> are necessary to guarantee the existence of a representing function:

* [[Transitive relation|Transitivity]]: if <math>A \preceq B</math> and <math>B \preceq C</math> then <math>A \preceq C</math>. 
* Completeness:   for all bundles <math>A,B\in X</math>: either <math>A\preceq B</math> or <math>B\preceq A</math> or both.
** Completeness also implies reflexivity: for every <math>A\in X</math>: <math>A \preceq A</math>.

When these conditions are met and the set <math>X</math> is finite, it is easy to create a function <math>u</math> which represents <math>\prec</math> by just assigning an appropriate number to each element of  <math>X</math>, as exemplified in the opening paragraph. The same is true when X is [[countably infinite]]. Moreover, it is possible to inductively construct a representing utility function whose values are in the range <math>(-1,1)</math>.<ref name=Rubinstein>Ariel Rubinstein, Lecture Notes in Microeconomic Theory, [http://press.princeton.edu/rubinstein/lecture2.pdf Lecture 2 – Utility]</ref>

When <math>X</math> is infinite, these conditions are insufficient. For example, [[lexicographic preferences]] are transitive and complete, but they cannot be represented by any utility function.<ref name=Rubinstein/> The additional condition required is [[#Continuity|continuity]].

== Continuity ==
A preference relation is called ''continuous'' if, whenever B is preferred to A, small deviations from B or A will not reverse the ordering between them. Formally, a preference relation on a set X is called continuous if it satisfies one of the following equivalent conditions:

# For every <math>A\in X</math>, the set <math>\{(A,B)|A\preceq B\}</math> is [[topologically closed]] in <math>X\times X</math> with the [[product topology]] (this definition requires <math>X</math> to be a [[topological space]]).
# For every sequence <math>(A_i,B_i)</math>, if for all ''i'' <math>A_i\preceq B_i</math> and <math>A_i \to A</math> and <math>B_i \to B</math>, then <math>A\preceq B</math>.
# For every <math>A,B\in X</math> such that <math>A\prec B</math>, there exists a ball around <math>A</math> and a ball around <math>B</math> such that, for every <math>a</math> in the ball around <math>A</math> and every <math>b</math> in the ball around <math>B</math>, <math>a\prec b</math> (this definition requires <math>X</math> to be a [[metric space]]).

If a preference relation is represented by a continuous utility function, then it is clearly continuous. By the theorems of [[Debreu theorems|Debreu (1954)]], the opposite is also true: 
::Every continuous complete preference relation can be represented by a continuous ordinal utility function.

Note that the [[lexicographic preferences]] are not continuous. For example, <math>(5,0)\prec (5,1)</math>, but in every ball around (5,1) there are points with <math>x<5</math> and these points are inferior to <math>(5,0)</math>. This is in accordance with the fact, stated above, that these preferences cannot be represented by a utility function.

== Uniqueness ==
For every utility function ''v'', there is a unique preference relation represented by ''v''. However, the opposite is not true: a preference relation may be represented by many different utility functions. The same preferences could be expressed as ''any'' utility function that is a monotonically increasing transformation of ''v''. E.g., if

:<math>v(A) \equiv f(v(A))</math>

where <math>f: \mathbb{R}\to \mathbb{R}</math> is ''any'' monotonically increasing function, then the functions ''v'' and ''v'' give rise to identical indifference curve mappings.

This equivalence is succinctly described in the following way:
::An ordinal utility function is ''unique up to increasing monotone transformation''.

In contrast, a [[cardinal utility]] function is unique up to increasing [[affine transformation]]. Every affine transformation is monotone; hence, if two functions are cardinally equivalent they are also ordinally equivalent, but not vice versa.

== Monotonicity ==
Suppose, from now on, that the set <math>X</math> is the set of all non-negative real two-dimensional vectors. So an element of <math>X</math> is a pair <math>(x,y)</math> that represents the amounts consumed from two products, e.g., apples and bananas.

Then under certain circumstances a preference relation <math>\preceq</math> is represented by a utility function <math>v(x,y)</math>.

Suppose the preference relation is ''monotonically increasing'', which means that "more is always better":
:<math>x<x' \implies (x,y)\prec(x',y)</math>
:<math>y<y' \implies (x,y)\prec(x,y')</math>

Then, both partial derivatives, if they exist, of ''v'' are positive. In short: 
::''If a utility function represents a monotonically increasing preference relation, then the utility function is monotonically increasing.''

== Marginal rate of substitution ==
Suppose a person has a bundle <math>(x_0,y_0)</math> and claims that he is indifferent between this bundle and the bundle <math>(x_0-\lambda\cdot\delta,y_0+\delta)</math>. This means that he is willing to give <math>\lambda\cdot\delta</math> units of x to get <math>\delta</math> units of y. If this ratio is kept as <math>\delta\to 0</math>, we say that <math>\lambda</math> is the ''[[marginal rate of substitution]] (MRS)'' between ''x'' and ''y'' at the point <math>(x_0,y_0)</math>.<ref name=KeeneyRaiffa1993>{{Cite book  |last1=Keeney |first1=Ralph L. |last2=Raiffa |first2=Howard |title=Decisions with Multiple Objectives |year=1993 |isbn=978-0-521-44185-8}}</ref>{{rp|82}}

This definition of the MRS is based only on the ordinal preference relation – it does not depend on a numeric utility function. If the preference relation is represented by a utility function and the function is differentiable, then the MRS can be calculated from the derivatives of that function:
:<math>MRS = \frac{v'_x}{v'_y}.</math>
For example, if the preference relation is represented by <math>v(x,y)=x^a\cdot y^b</math> then <math>MRS = \frac{a\cdot x^{a-1}\cdot y^b}{b\cdot y^{b-1}\cdot x^a}=\frac{ay}{bx}</math>. The MRS is the same for the function <math>v(x,y)=a\cdot \log{x} + b\cdot \log{y}</math>. This is not a coincidence as these two functions represent the same preference relation – each one is an increasing monotone transformation of the other.

In general, the MRS may be different at different points <math>(x_0,y_0)</math>. For example, it is possible that at <math>(9,1)</math> the MRS is low because the person has a lot of ''x'' and only one ''y'', but at <math>(9,9)</math> or <math>(1,1)</math> the MRS is higher. Some special cases are described below.

== Linearity ==
When the MRS of a certain preference relation does not depend on the bundle, i.e., the MRS is the same for all <math>(x_0,y_0)</math>, the indifference curves are linear and of the form:
:<math>x+\lambda y = \text{const},</math>
and the preference relation can be represented by a linear function:
:<math>v(x,y)=x+\lambda y.</math>
(Of course, the same relation can be represented by many other non-linear functions, such as <math>\sqrt{x+\lambda y}</math> or <math>(x+\lambda y)^2</math>, but the linear function is simplest.)<ref name=KeeneyRaiffa1993/>{{rp|85}}

== Quasilinearity ==
When the MRS depends on <math>y_0</math> but not on <math>x_0</math>, the preference relation can be represented by a [[quasilinear utility]] function, of the form
:<math>v(x,y)=x+\gamma v_Y(y)</math>
where <math>v_Y</math> is a certain monotonically increasing function. Because the MRS is a function <math>\lambda(y)</math>, a possible function <math>v_Y</math> can be calculated as an integral of <math>\lambda(y)</math>:<ref name="PruzanJackson1963">{{cite journal | url=https://tidsskrift.dk/index.php/ledelseogerhvervsoekonomi/article/view/28451/54967 | title=On the Development of Utility Spaces for Multi-Goal Systems | author=Peter Mark Pruzan and J. T. Ross Jackson | journal=Ledelse og Erhvervsøkonomi/Handelsvidenskabeligt Tidsskrift/Erhvervsøkonomisk Tidsskrift | year=1963}}</ref><ref name=KeeneyRaiffa1993/>{{rp|87}}
:<math>v_Y(y)=\int_{0}^{y}{\lambda(y') dy'}</math> 
In this case, all the indifference curves are parallel – they are horizontal transfers of each other.

== Additivity with two goods ==
A more general type of utility function is an [[additive function]]:
:<math>v(x,y)=v_X(x)+v_Y(y)</math>

There are several ways to check whether given preferences are representable by an additive utility function.

=== Double cancellation property ===
If the preferences are additive then a simple arithmetic calculation shows that
:<math>(x_1,y_1)\succeq (x_2,y_2)</math> and
:<math>(x_2,y_3)\succeq(x_3,y_1) </math> implies 
:<math>(x_1,y_3)\succeq(x_3,y_2)</math>
so this "double-cancellation" property is a necessary condition for additivity.

[[Debreu theorems|Debreu (1960)]] showed that this property is also sufficient: i.e., if a preference relation satisfies the double-cancellation property then it can be represented by an additive utility function.<ref name="Ted">{{cite web | url=http://www.econ.ucsb.edu/~tedb/Courses/GraduateTheoryUCSB/separabilitynotes.pdf | title=Lecture Notes on Separable Preferences | publisher=UCSB Econ | access-date=18 August 2015 | author=Bergstrom, Ted}}</ref>

=== Corresponding tradeoffs property ===
If the preferences are represented by an additive function, then a simple arithmetic calculation shows that
:<math>MRS(x_2,y_2)=\frac{MRS(x_1,y_2)\cdot MRS(x_2,y_1)}{MRS(x_1,y_1)}</math> 
so this "corresponding tradeoffs" property is a necessary condition for additivity. 
This condition is also sufficient.<ref name=LuceTukey1964>{{cite journal|doi=10.1016/0022-2496(64)90015-x|title=Simultaneous conjoint measurement: A new type of fundamental measurement|journal=Journal of Mathematical Psychology|volume=1|pages=1–27|year=1964|last1=Luce|first1=R.Duncan|last2=Tukey|first2=John W.|citeseerx=10.1.1.334.5018}}</ref><ref name=KeeneyRaiffa1993/>{{rp|91}}

== Additivity with three or more goods{{Anchor|PI}} {{Anchor|assessment}} ==
{{anchor|additivity3}}
When there are three or more commodities, the condition for the additivity of the utility function is surprisingly ''simpler'' than for two commodities. This is an outcome of [[Debreu theorems|Theorem 3 of Debreu (1960)]]. The condition required for additivity is '''preferential independence'''.<ref name=KeeneyRaiffa1993/>{{rp|104}}

A subset A of commodities is said to be ''preferentially independent'' of a subset B of commodities, if the preference relation in subset A, given constant values for subset B, is independent of these constant values. For example, suppose there are three commodities: ''x'' ''y'' and ''z''. The subset {''x'',''y''} is preferentially-independent of the subset {''z''}, if for all <math>x_i,y_i,z,z'</math>:
:<math>(x_1,y_1, z)\preceq (x_2,y_2, z) \iff (x_1,y_1, z')\preceq (x_2,y_2, z')</math>.
In this case, we can simply say that:
:<math>(x_1,y_1)\preceq (x_2,y_2)</math> for constant ''z''.

Preferential independence makes sense in case of [[independent goods]]. For example, the preferences between bundles of apples and bananas are probably independent of the number of shoes and socks that an agent has, and vice versa.

By Debreu's theorem, if all subsets of commodities are preferentially independent of their complements, then the preference relation can be represented by an additive value function. Here we provide an intuitive explanation of this result by showing how such an additive value function can be constructed.<ref name=KeeneyRaiffa1993/> The proof assumes three commodities: ''x'', ''y'', ''z''. We show how to define three points for each of the three value functions <math>v_x, v_y, v_z</math>: the 0 point, the 1 point and the 2 point. Other points can be calculated in a similar way, and then continuity can be used to conclude that the functions are well-defined in their entire range.

'''0 point''': choose arbitrary <math>x_0,y_0,z_0</math> and assign them as the zero of the value function, i.e.:
:<math>v_x(x_0)=v_y(y_0)=v_z(z_0)=0</math>

'''1 point''': choose arbitrary <math>x_1>x_0</math> such that <math>(x_1,y_0,z_0)\succ(x_0,y_0,z_0)</math>. Set it as the unit of value, i.e.:
:<math>v_x(x_1)=1</math>
Choose <math>y_1</math> and <math>z_1</math> such that the following indifference relations hold: 
:<math>(x_1,y_0,z_0)\sim(x_0,y_1,z_0)\sim(x_0,y_0,z_1)</math>. 
This indifference serves to scale the units of ''y'' and ''z'' to match those of ''x''. The value in these three points should be 1, so we assign
:<math>v_y(y_1)=v_z(z_1)=1</math>

'''2 point''': Now we use the preferential-independence assumption. The relation between <math>(x_1,y_0)</math> and <math>(x_0,y_1)</math> is independent of ''z'', and similarly the relation between <math>(y_1,z_0)</math> and <math>(y_0,z_1)</math> is independent of ''x'' and the relation between <math>(z_1,x_0)</math> and <math>(z_0,x_1)</math> is independent of ''y''. Hence
:<math>(x_1,y_0,z_1)\sim(x_0,y_1,z_1)\sim(x_1,y_1,z_0).</math>
This is useful because it means that the function ''v'' can have the same value – 2 – in these three points. Select <math>x_2, y_2, z_2</math> such that
:<math>(x_2,y_0,z_0)\sim(x_0,y_2,z_0)\sim(x_0,y_0,z_2)\sim(x_1,y_1,z_0)</math>
and assign
:<math>v_x(x_2)=v_y(y_2)=v_z(z_2)=2.</math>

'''3 point''': To show that our assignments so far are consistent, we must show that all points that receive a total value of 3 are indifference points. Here, again, the preferential independence assumption is used, since the relation between <math>(x_2,y_0)</math> and <math>(x_1,y_1)</math> is independent of ''z'' (and similarly for the other pairs); hence
:<math>(x_2,y_0,z_1)\sim(x_1,y_1,z_1)</math>
and similarly for the other pairs. Hence, the 3 point is defined consistently.

We can continue like this by induction and define the per-commodity functions in all integer points, then use continuity to define it in all real points.

An implicit assumption in point 1 of the above proof is that all three commodities are ''essential'' or ''preference relevant''.<ref name=Ted/>{{rp|7}} This means that there exists a bundle such that, if the amount of a certain commodity is increased, the new bundle is strictly better.

The proof for more than 3 commodities is similar. In fact, we do not have to check that all subsets of points are preferentially independent; it is sufficient to check a linear number of pairs of commodities. E.g., if there are <math>m</math> different commodities, <math>j=1,...,m</math>, then it is sufficient to check that for all <math>j=1,...,m-1</math>, the two commodities <math>\{x_j,x_{j+1}\}</math> are preferentially independent of the other <math>m-2</math> commodities.<ref name=KeeneyRaiffa1993/>{{rp|115}}

=== Uniqueness of additive representation ===
An additive preference relation can be represented by many different additive utility functions. However, all these functions are similar: they are not only increasing monotone transformations of each other ([[#Uniqueness|as are all utility functions representing the same relation]]); they are increasing [[linear transformation]]s of each other.<ref name=Ted/>{{rp|9}} In short,
::An additive ordinal utility function is ''unique up to increasing linear transformation''.

==Constructing additive and quadratic utility functions from ordinal data==

The mathematical foundations of most common types of utility functions — quadratic and additive — laid down by [[Gérard Debreu]]<ref name="Debreu1952">{{Cite journal
|last=Debreu |first=Gérard|year=1952
|title= Definite and semidefinite quadratic forms |journal= Econometrica |volume=20|issue=2|pages=295–300
|doi =10.2307/1907852
|jstor=1907852}}</ref><ref name="Debreu1960">{{Cite book
|last=Debreu |first=Gérard|year=1960
|chapter= Topological methods in cardinal utility theory 
|editor-last= Arrow|editor-first=Kenneth
|title= Mathematical Methods in the Social Sciences,1959
|publisher= Stanford University Press
|location= Stanford|pages=16–26
|doi = 10.1017/CCOL052123736X.010|isbn=9781139052092|url=https://cowles.yale.edu/sites/default/files/files/pub/d00/d0076.pdf}}</ref>
enabled [[Andranik Tangian]] to develop methods for their construction from purely ordinal data.
In particular, additive and quadratic utility functions in <math>n</math> variables can be constructed from interviews of decision makers, where questions are aimed at tracing totally <math>n</math> 2D-indifference curves in <math>n - 1</math> coordinate planes without referring to cardinal utility estimates.<ref name="Tangian2002">{{Cite journal
|last=Tangian |first=Andranik|year=2002
|title= Constructing a quasi-concave quadratic objective function from interviewing a decision maker
|journal= European Journal of Operational Research |volume=141|issue=3|pages=608–640
| doi=10.1016/S0377-2217(01)00185-0}}</ref><ref name="Tangian2004">{{Cite journal
|last=Tangian |first=Andranik|year=2004
|title= A model for ordinally constructing additive objective functions
|journal= European Journal of Operational Research |volume=159|issue=2|pages=476–512
|doi= 10.1016/S0377-2217(03)00413-2
}}</ref>

== Comparison between ordinal and cardinal utility functions ==
The following table compares the two types of utility functions common in economics:
{| class="wikitable"
|-
!                      !! [[Level of measurement]] !! Represents [[preference (economics)|preferences]] on!! Unique up to                 !! Existence proved by !! Mostly used in
|-
| [[Ordinal utility]]  || Ordinal scale || Sure outcomes || Increasing [[monotone transformation]] || [[Debreu theorems#Theorems on Ordinal utility|Debreu (1954)]] || [[Consumer theory]] under certainty
|-
| [[Cardinal utility]] || Interval scale || Random outcomes (lotteries) || Increasing monotone [[linear function|linear transformation]] || [[Von Neumann–Morgenstern utility theorem|Von Neumann-Morgenstern (1947)]] || [[Game theory]], [[expected utility hypothesis|choice under uncertainty]]
|}

== See also ==
{{cols}}
*[[Preference (economics)]]
*[[Multi-attribute utility]]
*[[Consumer theory]]
*[[Marginal utility]]
*[[Lattice theory]]
*[[Convex preferences]]
{{colend}}

== References ==
{{Reflist}}

== External links ==
* [https://economics.stackexchange.com/a/6892/14365 Lexicographic preference relation cannot be represented by a utility function]. In Economics.SE
* [https://math.stackexchange.com/q/1225068/178864 Recognizing linear orders embeddable in R2 ordered lexicographically]. In Math.SE.
* [[Murray N. Rothbard]], [https://mises.org/daily/2205 "Towards a Reconstruction of Utility and Welfare Economics"]

[[Category:Utility]]