Let there be two bundles of goods,
a and
b, available in a
budget set B. If it is observed that
a is chosen over
b, then
a is considered (directly)
revealed preferred to
b.
Two-dimensional example If the budget set B is defined for two goods; X, Y, and determined by prices p, q and income m, then let bundle
a be (x_{1},y_{1}) \in B and bundle
b be (x_{2},y_{2}) \in B . This situation would typically be represented arithmetically by the
inequality pX + qY \leq m and graphically by a
budget line in the positive real numbers. Assuming strongly
monotonic preferences, only bundles that are graphically located on the budget line, i.e. bundles where px_{1} + qy_{1} = m and px_{2} + qy_{2} = m are satisfied, need to be considered. If, in this situation, it is observed that (x_{1},y_{1}) is chosen over (x_{2},y_{2}), it is concluded that (x_{1},y_{1}) is (directly) revealed preferred to (x_{2},y_{2}), which can be summarized as the
binary relation (x_{1},y_{1}) \succeq (x_{2},y_{2}) or equivalently as \mathbf{a} \succeq \mathbf{b}.
The Weak Axiom of Revealed Preference (WARP) The
Weak Axiom of Revealed Preference (WARP) is one of the criteria which needs to be satisfied in order to make sure that the consumer is consistent with their preferences. If a bundle of goods
a is chosen over another bundle
b when both are affordable, then the consumer reveals that they prefer
a over
b. WARP says that when preferences remain the same, there are no circumstances (
budget set) where the consumer prefers
b over
a. By choosing
a over
b when both bundles are affordable, the consumer reveals that their preferences are such that they will never choose
b over
a when both are affordable, even as prices vary. Formally: : \left.\begin{matrix} \mathbf{a},\mathbf{b} \in B\\ \mathbf{a} \in C(B, \succeq) \\ \mathbf{b} \in B' \\ \mathbf{b} \in C(B', \succeq) \end{matrix}\right\} ~\Rightarrow~ \mathbf{a} \notin B' where \mathbf{a} and \mathbf{b} are arbitrary bundles and C (B, \succeq) \subset B is the set of bundles chosen in budget set B, given preference relation \succeq. In other words, if
a is chosen over
b in budget set B where both
a and
b are feasible bundles, but
b is chosen when the consumer faces some other budget set B', then
a is not a feasible bundle in budget set B'.
Completeness: The Strong Axiom of Revealed Preferences (SARP) The
strong axiom of revealed preferences (SARP) is equivalent to WARP, except that the choices A and B are not allowed to be either directly or indirectly revealed preferable to each other at the same time. Here A is considered
indirectly revealed preferred to B if C exists such that A is directly revealed preferred to C, and C is directly revealed preferred to B. In mathematical terminology, this says that
transitivity is preserved. Transitivity is useful as it can reveal additional information by comparing two separate bundles from budget constraints. It is often desirable in economic models to prevent such "loops" from happening, for example in order to model choices with
utility functions (which have real-valued outputs and are thus transitive). One way to do so is to impose completeness on the revealed preference relation with regards to the choices at large, i.e. without any price considerations or affordability constraints. This is useful because when evaluating {A,B,C} as standalone options, it is
directly obvious which is preferred or indifferent to which other. Using the weak axiom then prevents two choices from being preferred over each other at the same time; thus it would be impossible for "loops" to form. Another way to solve this is to impose SARP, which ensures transitivity. This is characterised by taking the
transitive closure of direct revealed preferences and require that it is
antisymmetric, i.e. if A is revealed preferred to B (directly or indirectly), then B is not revealed preferred to A (directly or indirectly). These are two different approaches to solving the issue; completeness is concerned with the input (domain) of the choice functions; while the strong axiom imposes conditions on the output.
Generalised Axiom of Revealed Preference (GARP) The
Generalised axiom of revealed preference (GARP) is a generalisation of SARP. It is the final criteria required so that constancy may be satisfied to ensure consumers preferences do not change. This axiom accounts for conditions in which two or more consumption bundles satisfy equal levels of utility, given that the price level remains constant. It covers circumstances in which utility maximisation is achieved by more than one consumption bundle. A set of data satisfies GARP if x^i R x^j implies not x^jP^0x^i . This establishes that if consumption bundle x^i is revealed preferred to x^j , then the expenditure necessary to acquire bundle x^j given that prices remain constant, cannot be more than the expenditure necessary to acquire bundle x^i . To satisfy GARP, a dataset must also not establish a preference cycle. Therefore, when considering the bundles {A,B,C}, the revealed preference bundle must be an acyclic order pair as such, If A\succeq B and B \succeq C , then B \nsucceq A and A \succeq C thus ruling out “preference cycles” while still holding transitivity. Specifically, it states that a set of price vectors
pi and quantity vectors
xi (for
i = 1, 2, ...,
n) satisfies GARP if and only if there exists a continuous, increasing, and
concave utility function
u(x) such that each
xi maximizes
u(x) under the budget constraint
pi ·
x ≤
pi ·
xi. The theorem provides a practical test: if GARP holds, there exist utility levels
ui and positive weights
λi satisfying the inequalities
ui -
uj ≤
λj (
pj · (
xi -
xj)) for all
i,
j. For instance, if two bundles both maximize utility at the same budget (as in the GARP figure), Afriat's Theorem ensures a utility function exists, even where SARP fails. == Applications ==