Abstract
We consider random choice rules that, by satisfying a weak form of Luce’s choice axiom, embody a form probabilistic rationality. We show that for this important class of stochastic choices, the law of demand for normal goods—arguably the main result of traditional consumer theory—continues to hold on average when strictly dominated alternatives are dismissed.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Choices are often stochastic. The strands of literature that in different disciplines—such as economics, neuroscience and psychology—have dealt with stochasticity in choices have mostly focused on pure choice behavior. Here we study how stochastic choice may affect consumer behavior, the most basic economic choice problem.
We consider random choice rules that, by satisfying the assumption of consistency (a form of Luce’s choice axiom), embody a form probabilistic rationality.Footnote 1 We show that for this important class of stochastic choices, the law of demand for normal goods—arguably the main result of traditional consumer theory—continues to hold on average when strictly dominated alternatives are dismissed. A “certainty equivalence” principle for stochastic consumer theory thus emerges from our analysis. It ensures that choice stochasticity a la Luce does not alter qualitatively the findings of traditional deterministic consumer theory—which is, indeed, a special case of our analysis. All foundations of Luce’s rule proposed in the literature, be they behavioral or neural, thus share this significant economic consequence.
2 Preliminaries: random choice rules and optimality
Let \(\mathcal {A}\) be the collection of all non-empty finite choice sets A of a universal set of alternatives X. Each choice set A represents a decision problem in which an agent has to choose an alternative in A.
Throughout the paper, for each set \(Y\subseteq X\), finite or not, we denote by \(\Delta \left( Y\right)\) the set of all finitely supported probabilities on Y. So, \(p\left( \cdot ,Y\right) \in \Delta \left( Y\right)\) when \(p\left( y,Y\right) >0\) for finitely many y in Y and \(\sum _{y\in Y}p\left( y,Y\right) =p\left( Y,Y\right) =1\). With a slight abuse of notation, we regard \(\Delta \left( Y\right)\) as included in \(\Delta \left( X\right)\) since the former is naturally embedded in the latter.
Definition 1
A random choice rule is a function \(p:\mathcal {A} \rightarrow \Delta \left( X\right)\) such that \(p\left( \cdot ,A\right) \in \Delta \left( A\right)\) for all \(A\in \mathcal {A}\).
We interpret \(p\left( a,A\right)\) as the probability that an agent chooses alternative \(a\in A\) within the choice set A. In a (ergodic) long run setup, this probability can be viewed as the long run frequency with which a is chosen across repetitions of the decision problem represented by A. We regard p as a purely behavioral notion that accounts for the agent’s choices, a way to organize choice data without any mental interpretation per se. Our analysis is thus in the spirit of Pareto (1900) and Samuelson (1938).
Definition 2
A random choice rule p is consistent if, for all \(a\in A\subseteq B\) ,Footnote 2
This condition is a form of the classic Luce’s choice axiom (see Luce, 1959) which ensures that \(p\left( \cdot ,A\right)\) and \(p\left( \cdot ,B\right)\) are linked via conditioning a la (Renyi, 1955). We denote by \(\Gamma _{p}: \mathcal {A}\rightrightarrows X\) the support correspondence defined by \(\Gamma _{p}\left( A\right) =\left\{ a\in A:p\left( a,A\right) >0\right\}\).
Example 1
(Luce) Given a function \(\varphi :X\rightarrow \left( 0,\infty \right)\) , define \(p:\mathcal {A}\rightarrow \Delta \left( X\right)\) by
for each \(A\in \mathcal {A}\). This function p is a consistent random choice rule with full support, i.e., \(\Gamma _{p}\left( A\right) =A\) for all \(A\in \mathcal {A}\). Luce (1959) proved that this is the general form of consistent random choice rules that have full support. In particular, the uniform rule \(p\left( a,A\right) =1/\left| A\right|\) is the special case with \(\varphi =1\) .□
Example 2
(Optimization) A correspondence \(\Gamma :\mathcal {A} \rightrightarrows X\) is a choice correspondence if \(\emptyset \ne \Gamma \left( A\right) \subseteq A\) for all \(A\in \mathcal {A}\). By a classic result of Arrow (1959), \(\Gamma\) is rational– i.e., it represents alternatives that are optimal according to some weak order—if and only if it satisfies the following version of WARP:
Given a rational choice correspondence \(\Gamma :\mathcal {A} \rightrightarrows X\), the function \(p:\mathcal {A}\rightarrow \Delta \left( X\right)\) defined by
is a consistent random choice rule—without full support and not in the Luce-Renyi form unless \(\Gamma \left( A\right) =A\) for all \(A\in \mathcal {A}\).Footnote 3 When \(\Gamma\) is a rational choice function,Footnote 4 so \(\Gamma \left( A\right)\) is a singleton for all \(A\in \mathcal {A}\) , this rule takes the deterministic form:Footnote 5
Rational choice functions can thus be viewed as special, deterministic, rules of the form (3). □
In view of the previous example, we say that a choice correspondence \(\Gamma\) is rational if it satisfies (C). This example seems to provide a very specific rule, (3), where the rationality of \(\Gamma\) implies consistency. The next result, proved in Cerreia-Vioglio et al. (2021), makes this observation formal and much more general. Indeed, it characterizes consistent random choice rules in terms of the rationality of their support correspondence.
Theorem 1
A function \(p:\mathcal {A}\rightarrow \Delta \left( X\right)\) is a consistent random choice rule if and only if it has the form
where \(\varphi :X\rightarrow \left( 0,\infty \right)\) and \(\Gamma :\mathcal { A}\rightrightarrows X\) is a rational choice correspondence. Moreover, \(\Gamma\) is unique and coincides with \(\Gamma _{p}\).
This characterization shows that consistency of random choice rules is the stochastic counterpart of rationality of choice correspondences, as characterized by WARP. Moreover, Luce’s rule (2) corresponds to the special case \(\Gamma \left( A\right) =A\) for all \(A\in \mathcal {A}\) (which is trivially rational), while the optimization rule (3) is the special case in which either \(\varphi =1\) or \(\Gamma\) is single-valued. So, the two previous examples are both special cases of the random choice rule (4).
In keeping with our behavioral approach, we do not give any mental interpretation of Theorem 1. For us, it is a characterization of consistent random choice rules that, in particular, shows that rational choice functions are a special, deterministic, class of such rules. Because of this property, our study of stochastic choice in a consumer theory framework—our main object of interest—will be able to generalize the standard “textbook” deterministic theory.
A final remark. A random choice rule p is uniform if, given any \(A\in \mathcal {A}\), all alternatives in A that have a chance to be chosen are equally likely. Formally, for each \(a\in A\), we have
This uniform rule is what Becker (1962) has called “ impulsive” behavior. By Theorem 1, a uniform random choice rule p is consistent if and only if its support correspondence \(\Gamma _{p}\) is rational. This equivalence completes the analysis of Example 2, in which the “if” was considered.
3 Random consumption
Our aim here is to develop a behavioral (so “ non-mental”) consumer theory in a random choice setting that, inter alia, encompasses as a special case the traditional deterministic behavioral consumer theory presented, for example, in chapter 2 of Mas-Colell et al. (1995). A relevant related work is Mossin (1968), which outlined a stochastic theory of consumption (with a different framework and motivation).
3.1 Individual stochastic demand
Let \(X=\mathbb {R}_{+}^{n}\) be the space of all bundles of goods and \(B: \mathbb {R}_{++}^{n}\times \mathbb {R}_{++}\rightrightarrows X\) the budget correspondence defined by \(B\left( q,w\right) =\left\{ x\in X:q\cdot x\le w\right\}\) for each price and wealth pair \(\left( q,w\right)\). Now \(\mathcal {A}\) is replaced with a larger class \(\mathcal {B}\) that contains \(\mathcal {A}\) and all budget sets \(B\left( q,w\right)\). So, in this section \(\mathcal {B}\) is the domain of our analysis.Footnote 6
Definition 3
A function \(d:\mathbb {R}_{++}^{n}\times \mathbb {R}_{++}\rightarrow \Delta \left( X\right)\) is an (individual) stochastic demand induced by a consistent random choice rule \(p:\mathcal {B}\rightarrow \Delta \left( X\right)\) if \(d\left( q,w\right) \left( x\right) =p\left( x,B\left( q,w\right) \right)\).
We interpret \(d\left( q,w\right) \left( x\right)\) as the probability that bundle \(x\in B\left( q,w\right)\) is chosen at price q with wealth w. In particular, the average cost function \(c:\mathbb {R}_{++}^{n}\times \mathbb {R}_{++}\rightarrow \mathbb {R}_{+}\) of the bundle demanded is \(c\left( q,w\right) =\sum _{x\in B\left( q,w\right) }\left( q\cdot x\right) d\left( q,w\right) \left( x\right)\), while the (individual) average demand function \(\bar{d}:\mathbb {R}_{++}^{n}\times \mathbb {R} _{++}\rightarrow \mathbb {R}_{+}^{n}\) is \(\bar{d}\left( q,w\right) =\sum _{x\in B\left( q,w\right) }xd\left( q,w\right) \left( x\right)\).Footnote 7 Clearly, \(c\left( q,w\right) =q\cdot \bar{d}\left( q,w\right)\). In what follows, we will consider only stochastic demands d induced by consistent random choice rules p. For such a reason, we omit to mention p.
The stochastic demand \(d\left( q,w\right)\) has finite support, i.e., only finitely many bundles of the budget set \(B\left( q,w\right)\) can be selected with strictly positive probability. This assumption eases our analysis, yet still substantially broadens the scope of the traditional deterministic analysis that, typically, assumes unique optimal bundles to best carry out comparative statistics exercises. In this regard, note that if p is the random choice rule in (4), then
provided \(\Gamma\) is an rational choice correspondence that is finitely valued, i.e., \(\Gamma \left( B\right) \in \mathcal {A}\) for all \(B\in \mathcal {B}\). This example is important for our analysis because it shows that standard demand functions are included in our setup: when \(\Gamma\) is a choice function, the stochastic demand (5) becomes
and so it is a classic Walrasian demand function. That said, if \(\varphi =1\) the stochastic demand (5) takes a uniform form close in spirit to the analysis of Becker (1962), as already remarked. Besides standard demand functions, also uniform demand functions a la (Becker, 1962) are thus included in our setup.
3.2 Walras’ law
Given a stochastic demand, by construction we have only \(c\left( q,w\right) \le w\). So, in general only the following weak form of Walras’ law holds.
Proposition 2
Let d be a stochastic demand. If \(w<w^{\prime }\) , then \(c\left( q,w\right) \le c\left( q,w^{\prime }\right)\).
Equality, and more, holds under the following monotonicity condition.
Definition 4
A random choice rule \(p:\mathcal {B}\rightarrow \Delta \left( X\right)\) is stochastically monotone if \(p\left( x,\left\{ x,y\right\} \right) =0\) whenever \(x\ll y\).Footnote 8
Comparisons between two bundles of goods x and y are much easier to make when one of them is strictly dominant, say \(x\ll y\). Stochastic monotonicity captures this comparative easiness.
Under stochastic monotonicity, only alternatives that are not strictly dominated may have a chance to be selected. Specifically, for any choice set \(B\in \mathcal {B}\) let
be the collection of all elements of B that are not strictly dominated.
Lemma 3
If a consistent random choice rule \(p:\mathcal {B} \rightarrow \Delta \left( X\right)\) is stochastically monotone, then \(p\left( \partial ^{+}B,B\right) =1\) for all \(B\in \mathcal {B}\).
A stochastic demand d is stochastically monotone if it is induced by a stochastically monotone consistent random choice rule p. Since \(\partial ^{+}B\left( q,w\right) =\left\{ x\in B\left( q,w\right) :q\cdot x=w\right\}\), by the last lemma we have \(d\left( q,w\right) \left( x\right) >0\) only if \(x\in \partial ^{+}B\left( q,w\right)\). In turn, this implies the following sharp Walras’ law for stochastic choice: under stochastic monotonicity, consumers always exhaust their budgets.Footnote 9
Proposition 4
If the stochastic demand d is stochastically monotone, then \(c\left( q,w\right) =w\) (so, \(w<w^{\prime }\) implies \(c\left( q,w\right) <c\left( q,w^{\prime }\right)\)).
By construction, both the stochastic and the average demands are homogeneous of degree zero, so there is no nominal illusion. In our analysis the consumer is always able to assess correctly whether a bundle of goods is affordable.
3.3 Law of demand
We can now study wealth and price effects. As to wealth effects, say that a good k is normal if its average demand increases as wealth increases:
By Proposition 4, under stochastic monotonicity, we have \(q\cdot \bar{d}\left( q,w^{\prime }\right) >q\cdot \bar{d}\left( q,w\right)\) if \(w^{\prime }>w\). So, intuitively, some of the goods have to be normal, at least locally. As to price effects, we have the following preliminary result.
Lemma 5
Let d be a stochastic demand. If \(q<q^{\prime }\), then \(\bar{d}\left( q^{\prime },w\right) \not >\bar{d}\left( q,w\right)\).
Next we show that a classic compensated law of demand continues to hold “on average”.
Lemma 6
Let \(\left( q^{\prime },w^{\prime }\right)\) and \(\left( q,w\right)\) be in \(\mathbb {R}_{++}^{n}\times \mathbb {R}_{++}\) and let d be a stochastic demand. If \(q^{\prime }\cdot \bar{d}\left( q,w\right) =c\left( q^{\prime },w^{\prime }\right)\) and d is stochastically monotone, then
When a sharp Walras’ law holds, condition \(q^{\prime }\cdot \bar{d}\left( q,w\right) =c\left( q^{\prime },w^{\prime }\right) =w^{\prime }\) becomes a standard Slutsky wealth compensation.Footnote 10 In this case the (individual) law of demand for normal goods—arguably the most important result of consumer theory—continues to hold on average.
Theorem 7
(Law of Average Demand) Let the stochastic demand d be stochastically monotone. If wealth and other prices do not change, an increase (decrease) in the price of a normal good k decreases (increases) its average demand \(\bar{d}_{k}\).
Under consistency, on average the behavior of consumers continues to satisfy the law of demand for normal goods provided they are able to select strictly dominant alternatives. The standard consumer theory result for Walrasian demand functions, first stated on p. 14 of Slutsky (2012), is the special case that corresponds to the deterministic demand function \(d\left( q,w\right) =\delta _{\Gamma \left( B\left( q,w\right) \right) }\). Indeed, as previously remarked, in this case its average demand is the Walrasian demand function, i.e., \(\bar{d}\left( q,w\right) =\Gamma \left( q,w\right)\). Our result thus generalizes the most important finding of classical behavioral consumer theory. At the same time, it goes well beyond that. For instance, it includes the purely random choice of Becker (1962) (viewed as the uniform case).
To sum up, choice stochasticity a la Luce, along with a monotonicity property, leads to an individual demand that on average has the same qualitative properties of the special, yet standard, deterministic case. A “certainty equivalence” principle for stochastic consumer theory results.
4 Concluding remarks
Summing up, this paper suggests that traditional consumer theory continues to hold, on average, when rational deterministic choice is generalized to stochastic choice that satisfies Luce’s axiom. We close with couple of remarks.
-
(i)
As we emphasized throughout the paper, our purely behavioral analysis has abstracted from any preferential, so mental, notion. It is then natural to close with a few words on a possible, complementary, preferential approach to stochastic consumer theory that, instead, may generalize the classical preferential consumer theory presented, for example, in chapter 3 of Mas-Colell et al. (1995). To this end, a random utility interpretation of random choice rules can be adopted, in which there exists a probability measure \(\pi\), a stochastic preference, defined on a class \(\mathcal {P}\) of preference relations on X such that \(p\left( a,B\right) =\pi \left( P\in \mathcal {P}:\forall b\in A,aPb\right)\). Via this representation, some results of classical preferential consumer theory that hold for elements of \(\mathcal {P}\) may have stochastic counterparts. An analysis along these lines is, however, beyond the scope of the present paper.Footnote 11
-
(ii)
Our results may suggest a stochastic version of the analysis of bargaining games and their solutions carried out by Peters and Wakker (1991) using the powerful implications of WARP and related deterministic assumptions.
Notes
In the words of Luce (1959), his choice axiom is a “possible underpinning for rational, probabilistic theories of social behavior.” We refer to Cerreia et al. (2021) for an elaboration of this rationality perspective on Luce’s axiom.
Given \(A\subseteq B\), we denote by \(p\left( A,B\right)\) the quantity \(\sum _{a\in A}p\left( a,B\right)\) with the convention that \(p\left( \emptyset ,B\right) =0\).
This can be directly checked, but also follows from Theorem 1 below by taking a constant \(\varphi\).
See Peters and Wakker (1991) for an in-depth study of choice functions.
Here \(\delta _{x}\) denotes the (Dirac) probability at \(x\in X\), that is, \(\delta _{x}\left( a\right) =1\) if \(x=a\) and 0 otherwise.
Observe that x is a vector while \(d\left( q,w\right) \left( x\right)\) is a scalar. Thus, we slightly abuse notation by denoting the scalar product of these two objects by inverting the role of scalars and vectors.
As usual, \(x\ll y\) means that \(x_{i}<y_{i}\) for all \(i=1,...,n\).
See, e.g., p. 72 of Mas-Colell et al. (1995).
In this vein, Bandyopadhyay et al. (1999) study a stochastic demand which is generated by a random utility model. This alternative approach might also have an intersection (mainly technical) with the literature that studies average demand in a large economy (see, for a review, Jerison & Quah,, 2006).
To ease notation, we write \(\tilde{B}_{i}\) in place of \(\widetilde{B_{i}}\).
That is, \(x\succsim y\) if and only if \(x\in \Gamma _{p}\left( \left\{ x,y\right\} \right)\).
References
Arrow, K. J. (1959). Rational choice functions and orderings. Economica, 26, 121–127.
Bandyopadhyay, T., Dasgupta, I., & Pattanaik, P. K. (1999). Stochastic revealed preference and the theory of demand. Journal of Economic Theory, 84, 95–110.
Becker, G. S. (1962). Irrational behavior and economic theory. Journal of Political Economy, 70, 1–13.
Cerreia-Vioglio, S., Lindberg, P. O., Maccheroni, F., & Rustichini, A. (2021). A canon of probabilistic rationality. Journal of Economic Theory, 196, 105289.
Gabaix, X. (2014). A sparsity-based model of bounded rationality. Quarterly Journal of Economics, 129, 1661–1710.
Jerison, M., & Quah, J. K.-H. (2006). Law of demand, The New Palgrave Dictionary of Economics, 2\(^{\text{nd}}\) ed.
Luce, R. D. (1959). Individual choice behavior: A theoretical analysis. Wiley.
Luce, R. D. (1977). The choice axiom after twenty years. Journal of Mathematical Psychology, 15, 215–233.
Mas-Colell, A., Whinston, M. D., & Green, J. R. (1995). Microeconomic theory. Oxford University Press.
Mossin, A. (1968). Elements of a stochastic theory of consumption. Swedish Journal of Economics, 70, 200–220.
Pareto, V. (1900). Sunto di alcuni capitoli di un nuovo trattato di economia pura. Giornale degli Economisti, 20, 216–235 (1900 (trans. in Giornale degli Economisti, 2008)).
Peters, H., & Wakker, P. (1991). Independence of irrelevant alternatives and revealed group preferences. Econometrica, 59, 1787–1801.
Renyi, A. (1955). On a new axiomatic theory of probability. Acta Mathematica Hungarica, 6, 285–335.
Samuelson, P. A. (1938). A note on the pure theory of consumer’s behaviour. Economica, 5, 61–71.
Slutsky, E. (1915). Sulla teoria del bilancio del consumatore. Giornale degli Economisti e Rivista di Statistica, 51, 1–26.
Funding
Open access funding provided by Università Commerciale Luigi Bocconi within the CRUI-CARE Agreement. This research was supported by prin (Grant 2017CY2NCA).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
We dedicate this paper, with admiration, to Peter Wakker on the occasion of his 65th birthday. Part of its material was first circulated under the title “Law of Demand and Forced Choice” , IGIER WP 593. We thank Chris Chambers, Federico Echenique, Ryota Iijima, Kota Saito, and Tomasz Strzalecki for helpful discussions. Simone Cerreia-Vioglio and Massimo Marinacci gratefully acknowledge the financial support of ERC (grants SDDM-TEA and INDIMACRO, respectively)
Appendices
A Appendix: mathematical tools
The class \(\mathcal {B}\) denotes a collection of non-empty subsets of X that includes all finite sets, that is, \(\mathcal {A\subseteq B}\). For example, \(\mathcal {B}\) is in Sect. 3 the collection of all non-empty finite sets as well as all the budget sets and \(X=\mathbb {R} _{+}^{n}\). We denote by A and B generic elements of \(\mathcal {B}\). Let \(p:\mathcal {B}\rightarrow \Delta \left( X\right)\) be a consistent random choice rule, that is, \(p\left( \cdot ,A\right) \in \Delta \left( A\right)\) for all \(A\in \mathcal {B}\) and
By \(\Gamma _{p}:\mathcal {B}\rightrightarrows X\), we denote the support correspondence. Note that \(\Gamma _{p}\left( B\right) \in \mathcal {A}\) for all \(B\in \mathcal {B}\). Given \(B\in \mathcal {B}\), for ease of notation, we might alternatively denote by \(\tilde{B}\) the support of \(p\left( \cdot ,B\right)\). By (7), \(p\left( a,B\right) =p(a,\tilde{B})\) for all \(a\in \tilde{B}\). In particular, given \(C\in \mathcal {B}\) such that \(C\subseteq B\),
Lemma 8
Let \(A\subseteq B\) with \(A,B\in \mathcal {B}\). The following statements are true:
-
1.
\(A\cap \tilde{B}=\tilde{A}\cap \tilde{B}\) and \(p\left( A,B\right) =p( \tilde{A}\cap \tilde{B},\tilde{B})\);
-
2.
\(p\left( A,B\right) >0\) if and only if \(A\cap \tilde{B}=\tilde{A}\).
Proof
-
1.
By definition of \(\tilde{A}\), \(\tilde{A}\cap \tilde{B}\subseteq A\cap \tilde{B}\). Vice versa, consider \(a\in A\cap \tilde{B}\). By contradiction, assume that \(a\notin \tilde{A}\cap \tilde{B}\) . This implies that \(a\notin \tilde{A}\), that is, \(p\left( a,A\right) =0\). By (7), we can conclude that \(p\left( a,B\right) =0\), that is, \(a\notin \tilde{B}\) a contradiction with \(a\in A\cap \tilde{B}\). We conclude that \(A\cap \tilde{B}\subseteq \tilde{A}\cap \tilde{B}\), proving the equality between the two sets. Moreover, by definition and since \(p\left( a,B\right) =p(a,\tilde{B})\) for all \(a\in \tilde{B}\), we have that
$$\begin{aligned} p\left( A,B\right) =\sum _{a\in A\cap \tilde{B}}p\left( a,B\right) =\sum _{a\in A\cap \tilde{B}}p(a,\tilde{B})=\sum _{a\in \tilde{A}\cap \tilde{B} }p(a,\tilde{B})=p(\tilde{A}\cap \tilde{B},\tilde{B}) \end{aligned}$$ -
2.
By (7), \(p\left( a,B\right) =p\left( a,A\right) p\left( A,B\right)\) for all \(a\in A\subseteq B\). This implies that if \(p\left( A,B\right) >0\) and \(a\in A\), then \(p\left( a,B\right) >0\) if and only if \(p\left( a,A\right) >0\). It follows that \(A\cap \tilde{B}=\tilde{A}\). As to the converse, assume that \(A\cap \tilde{B}=\tilde{A}\). Since \(A,\tilde{A} \ne \emptyset\), if \(A\cap \tilde{B}=\tilde{A}\), then there exists \(a\in A\) which belongs to \(\tilde{B}\). We can conclude that \(p\left( a,B\right) >0\) and, in particular, \(p\left( A,B\right) >0\). □
Let \(f:X\rightarrow V\) be a function that takes values on a vector space V. It can be extended to \(\mathcal {B}\) by defining \(\phi :\mathcal {B} \rightarrow V\) as the average \(\phi \left( B\right) =\sum _{a\in \tilde{B} }f\left( a\right) p\left( a,B\right)\) of f with respect to p. Since \(p\left( a,B\right) =p(a,\tilde{B})\) for all \(a\in \tilde{B}\) and \(\Gamma _{p}\left( B\right) =\Gamma _{p}(\tilde{B})\), we have that \(\phi \left( B\right) =\phi (\tilde{B})\).
Proposition 9
If the sets \(\left\{ B_{i}\right\} _{i=1}^{n}\subseteq \mathcal {B}\) are pairwise disjoint and \(B=\bigcup \nolimits _{i=1}^{n}B_{i}\in \mathcal {B}\), then
Proof
By Lemma 8 and since \(B_{i}\subseteq B\), it follows that \(B_{i}\cap \tilde{B}=\tilde{B}_{i}\cap \tilde{B}\in \mathcal {A}\) for all \(i\in \left\{ 1,...,n\right\}\). This implies that:Footnote 12 (a) \(\tilde{B}_{i}\cap \tilde{B}\) are pairwise disjoint and (b)
Let \(I=\left\{ i:B_{i}\cap \tilde{B}\ne \emptyset \right\}\). By the previous equality, I is non-empty. On the one hand, by Lemma 8 and since \(p\left( B_{i},B\right) >0\) for all \(i\in I\), we have that \(B_{i}\cap \tilde{B}=\tilde{B}_{i}\) for all \(i\in I\). On the other hand, if \(i\notin I\) then \(B_{i}\cap \tilde{B}=\emptyset\), yielding that \(p\left( B_{i},B\right) =0\) for all \(i\not \in I\). Thus, if \(i\not \in I\) there is no \(a\in B_{i}\) such that \(p\left( a,B\right) >0\). Moreover, by (8) we can conclude that for each \(i\in I\)
and by consistency and since \(\tilde{B}\supseteq \tilde{B}_{i}\cap \tilde{B}= \tilde{B}_{i}=B_{i}\cap \tilde{B}\not =\emptyset\) and \(\tilde{B}_{i}\cap \tilde{B}\in \mathcal {A}\) for all \(i\in I\), we have that
for all \(a\in \tilde{B}_{i}\cap \tilde{B}=\tilde{B}_{i}\) and for all \(i\in I\) . By Lemma 8 and since the elements of \(\left\{ \tilde{B} _{i}\cap \tilde{B}\right\} _{i\in I}\) are non-empty, pairwise disjoint, and finite, we have
proving the statement. □
B Appendix: proofs and related analysis
Before starting the proofs, recall that \(X=\mathbb {R}_{++}^{n}\) and that \(\mathcal {B}\) is the collection of all non-empty finite sets and all the possible budget sets. To be consistent with the standard microeconomic literature, in this section we often denote alternatives in X—that is, bundles of goods—by x and y instead of a and b. We start by providing an ancillary fact.
Proposition 10
Let \(p:\mathcal {B}\rightarrow \Delta \left( X\right)\) be a consistent random choice rule. If \(\succsim\) is the weak order that rationalizes \(\Gamma _{p}\) restricted to \(\mathcal {A}\),Footnote 13 then
Proof
Consider the random choice rule p restricted to \(\mathcal {A}\). By Theorem 1 and since p is consistent on \(\mathcal {A}\), we have that \(\Gamma _{p}\) restricted to \(\mathcal {A}\) is rational and is rationalized by the weak order \(\succsim\). Let \(B\in \mathcal {B}\). By Theorem 1, if \(B\in \mathcal {A}\) then (9) holds. If \(B\not \in \mathcal {A}\), then \(B=B\left( q,w\right)\) for some \(\left( q,w\right) \in \mathbb {R}_{++}^{n}\times \mathbb {R}_{++}\). As before, define \(\tilde{B}=\Gamma _{p}\left( B\right)\). We next prove (9) by proving both inclusions. By contradiction, assume that \(\Gamma _{p}\left( B\right) \not \subseteq \left\{ x\in B:\forall y\in B,x\succsim y\right\}\). Since \(\Gamma _{p}\left( B\right) \subseteq B\), it follows that there exists \(x\in B\) such that \(x\succ y\) for some \(y\in \Gamma _{p}\left( B\right)\). Since \(\tilde{B}=\Gamma _{p}\left( B\right) \in \mathcal {A}\) and \(p(y,\tilde{B}))=p\left( y,B\right)\) for all \(y\in \tilde{B}\), we have \(\tilde{B}=\Gamma _{p}\left( B\right) =\Gamma _{p}( \tilde{B})\). By Theorem 1, we can conclude that all the elements in \(\Gamma _{p}(\tilde{B})\) are indifferent according to the weak order \(\succsim\), thus, \(x\succ y\) for all \(y\in \tilde{B}\), as well as \(x\not \in \tilde{B}\). By Theorem 1 and its proof, if we define \(A=\tilde{B} \cup \left\{ x\right\} \subseteq B\), then \(A\in \mathcal {A}\), \(p\left( x,A\right) =1\), and \(p\left( A,B\right) =1\). By consistency, this implies that \(p\left( x,B\right) =p\left( x,A\right) p\left( A,B\right) =1\), a contradiction with \(x\not \in \tilde{B}\), proving the “\(\subseteq\)” inclusion and that \(\left\{ x\in B:\forall y\in B,x\succsim y\right\}\) is non-empty. Vice versa, assume that \(\bar{x} \in B\) is such that \(\bar{x}\succsim y\) for all \(y\in B\). Define \(A=\tilde{B} \cup \left\{ \bar{x}\right\} \in \mathcal {A}\). By the previous part of the proof, we have that all the elements of A are indifferent according to \(\succsim\). By Theorem 1 and consistency and since \(1\le p( \tilde{B},B)\le p\left( A,B\right) \le 1\), we have that
proving that \(\bar{x}\in \Gamma _{p}\left( B\right)\) and the opposite inclusion. □
Theorem 11
Theorem 1 holds true whenever we replace \(\mathcal {A}\) with \(\mathcal {B}\) and \(\Gamma\) is further assumed to be such that \(\Gamma \left( B\right) \in \mathcal {A}\) for all \(B\in \mathcal {B}\).
Proof
“Only if” . Since p is consistent, p is consistent when restricted to \(\mathcal {A}\). By Theorem 1, it follows that there exist \(\varphi :X\rightarrow \left( 0,\infty \right)\) and a rational choice correspondence \(\Gamma : \mathcal {A}\rightrightarrows X\) such that for each \(A\in \mathcal {A}\)
Clearly, \(\Gamma \left( A\right) =\Gamma _{p}\left( A\right)\) for all \(A\in \mathcal {A}\). Since p is consistent, we also have that \(p\left( a,A\right) =p(a,\tilde{A})\) for all \(a\in \tilde{A}\) and for all \(A\in \mathcal {B}\). Since \(\tilde{A}\in \mathcal {A}\) and \(\Gamma _{p}(\tilde{A})= \tilde{A}=\Gamma _{p}\left( A\right)\) for all \(A\in \mathcal {B}\), we can conclude that for each \(A\in \mathcal {B}\) if \(a\in \Gamma _{p}\left( A\right) =\Gamma _{p}(\tilde{A})=\tilde{A}\), then
while if \(a\in A\backslash \Gamma _{p}\left( A\right)\), then \(p\left( a,A\right) =0\). This proves that (10) holds with \(\Gamma\) replaced by \(\Gamma _{p}\) and for all \(A\in \mathcal {B}\). By Lemma 10, we have that \(\Gamma _{p}\) is a rational choice correspondence such that \(\Gamma _{p}\left( B\right) \in \mathcal {A}\) for all \(B\in \mathcal {B}\), proving the implication. “If”. Assume that p can be represented as in (10) with \(\varphi :X\rightarrow \left( 0,\infty \right)\) and \(\Gamma :\mathcal {B}\rightrightarrows X\) a rational choice correspondence such that \(\Gamma \left( B\right) \in \mathcal {A}\) for all \(B\in \mathcal {B}\) . It is immediate to check that \(\Gamma \left( B\right) =\Gamma _{p}\left( B\right)\) for all \(B\in \mathcal {B}\). By Theorem 1 and since \(\Gamma\) is a rational choice correspondence, p satisfies consistency on \(\mathcal {A}\). Since \(\Gamma =\Gamma _{p}\) is rational and \(\Gamma _{p}\left( A\right) \subseteq A\) as well as \(\Gamma _{p}\left( A\right) \cap \Gamma _{p}\left( A\right) \not =\emptyset\) for all \(A\in \mathcal {B}\), this implies that \(\Gamma _{p}\left( \Gamma _{p}\left( A\right) \right) =\Gamma _{p}\left( A\right) \cap \Gamma _{p}\left( A\right) =\Gamma _{p}\left( A\right) =\tilde{A}\) and, in particular, this implies that \(p\left( a,A\right) =p(a,\tilde{A})\) for all \(a\in \tilde{A}\). Let now \(A,B\in \mathcal {B}\) be such that \(A\subseteq B\). Let also \(a\in A\). We have three cases:
-
1.
\(p\left( A,B\right) >0\) and \(a\in \tilde{A}\). This implies that \(\Gamma _{p}\left( B\right) \cap A\not =\emptyset\). Since \(\Gamma _{p}\) is rational, it follows that \(A\cap \tilde{B}=\Gamma _{p}\left( B\right) \cap A=\Gamma _{p}\left( A\right) =\tilde{A}\). Since p is consistent on \(\mathcal {A}\), we have that
$$\begin{aligned} p\left( a,A\right) p\left( A,B\right) =p(a,\tilde{A})p(A\cap \tilde{B}, \tilde{B})=p(a,\tilde{A})p(\tilde{A},\tilde{B})=p(a,\tilde{B})=p\left( a,B\right) \end{aligned}$$ -
2.
\(p\left( A,B\right) >0\) and \(a\not \in \tilde{A}\). By contradiction, assume that \(a\in \Gamma _{p}\left( B\right) =\tilde{B}\). Since \(a\in A\subseteq B\), we would have that \(A\subseteq B\) and \(\Gamma _{p}\left( B\right) \cap A\ne \emptyset\). Since \(\Gamma _{p}\) is rational, it would follow that \(a\in \Gamma _{p}\left( B\right) \cap A=\Gamma _{p}\left( A\right) =\tilde{A}\), a contradiction. Thus, \(a\not \in \tilde{B}\) and
$$\begin{aligned} p\left( a,B\right) =0=p\left( a,A\right) p\left( A,B\right) \end{aligned}$$ -
3.
\(p\left( A,B\right) =0\). It follows that \(a\not \in \tilde{B}\), yielding that
$$\begin{aligned} p\left( a,B\right) =0=p\left( a,A\right) p\left( A,B\right) \end{aligned}$$
Points 1, 2, and 3 prove the implication. □
Proof of Proposition 2
Proposition 9, define \(f:X\rightarrow \mathbb {R}\) by \(f\left( x\right) =q\cdot x\) for all \(x\in X\). Given a stochastic demand d , let p be such that \(d\left( q,w\right) \left( \cdot \right) =p\left( \cdot ,B\left( q,w\right) \right)\). Set also \(A=B\left( q,w\right)\) and \(B=B\left( q,w^{\prime }\right)\). Clearly, we have that \(A\subseteq B\) and \(A,B\in \mathcal {B}\). By Lemma 8, it follows \(A\cap \tilde{B}= \tilde{A}\cap \tilde{B}\). Note that \(B_{1}=\tilde{A}\cap \tilde{B}\) and \(B_{2}=\tilde{B}\backslash \tilde{A}\) belong to \(\mathcal {A\subseteq B}\) (provided they are non-empty), are pairwise disjoint, and \(\tilde{B} =B_{1}\cup B_{2}\in \mathcal {A}\). Moreover, \(B_{2}\subseteq A^{c}\). Otherwise, there would exist \(x\in B_{2}\cap A\). Thus, we would have that \(x\in B_{2}\) and \(x\in A\). By consistency, we could conclude that \(x\in \tilde{B}\), \(x\not \in \tilde{A}\), and
a contradiction. Observe also that
Similarly, we have that \(c\left( q,w\right) =\phi \left( A\right) =\phi ( \tilde{A})\). Finally, since \(B_{2}\subseteq A^{c}\), if \(B_{2}\not =\emptyset\) , then we also have that \(\tilde{B}_{2}\subseteq B_{2}\subseteq A^{c}\)
By Proposition 9 and since \(B_{1}\) and \(B_{2}\) are disjoint, if \(B_{1},B_{2}\not =\emptyset\) then we conclude that
We have two cases:
-
1.
\(p\left( A,B\right) >0\). By Lemma 8, it follows that \(B_{1}=\tilde{A}\cap \tilde{B}=\tilde{A}\not =\emptyset\). On the one hand, by (12), if \(B_{2}\not =\emptyset\), then we have
$$\begin{aligned} c\left( q,w^{\prime }\right)& = {} \phi \left( B\right) =\phi (\tilde{B})=\phi \left( B_{1}\cup B_{2}\right) =p(B_{1},\tilde{B})\phi \left( B_{1}\right) +p(B_{2},\tilde{B})\phi \left( B_{2}\right) \\ &= {} p(B_{1},\tilde{B})\phi (\tilde{A})+p(B_{2},\tilde{B})\phi \left( B_{2}\right) \ge p(B_{1},\tilde{B})c\left( q,w\right) +p(B_{2},\tilde{B})w \,\\ & \ge {} p(B_{1},\tilde{B})c\left( q,w\right) +p(B_{2},\tilde{B})c\left( q,w\right) =c\left( q,w\right) \end{aligned}$$On the other hand, if \(B_{2}=\emptyset\), then \(\tilde{A}=\tilde{A}\cap \tilde{B}=B_{1}=B_{1}\cup B_{2}=\tilde{B}\). This implies that
$$\begin{aligned} c\left( q,w^{\prime }\right) =\phi \left( B\right) =\phi (\tilde{B})=\phi ( \tilde{A})=\phi \left( A\right) =c\left( q,w\right) \end{aligned}$$ -
2.
\(p\left( A,B\right) =0\). By (8) and Lemma 8 , it follows that
$$\begin{aligned} p(B_{1},\tilde{B})=p(\tilde{A}\cap \tilde{B},\tilde{B})=p(A\cap \tilde{B}, \tilde{B})=p\left( A,B\right) =0\end{aligned}$$that is, \(B_{1}=\emptyset\) and \(\emptyset \not =\tilde{B}=B_{2}\subseteq A^{c}\), which immediately yields that
$$\begin{aligned} c\left( q,w^{\prime }\right) =\phi \left( B\right) =\phi (\tilde{B})=\phi \left( B_{2}\right) >w\ge c\left( q,w\right) \end{aligned}$$
Points 1 and 2 prove the statement. □
Proof of Lemma 3
Assume that p is stochastically monotone. We want to show that \(\Gamma _{p}\left( B\right) \subseteq \partial ^{+}B\). By contradiction, assume that there exists \(x\in \Gamma _{p}\left( B\right)\) that does not belong to \(\partial ^{+}B\). Then, there exists \(z\in B\) such that \(x\ll z\). By stochastic monotonicity, we have that \(p\left( x,\left\{ x,z\right\} \right) =0\), and so
which is a contradiction. □
Proof of Proposition 4
Since d is stochastically monotone, p is stochastically monotone. Consider \(\partial ^{+}B\left( q,w\right)\). Note that it is equal to \(\left\{ x\in B\left( q,w\right) :q\cdot x=w\right\}\). By Lemma 3, \(p\left( \partial ^{+}B\left( q,w\right) ,B\left( q,w\right) \right) =1\). So, the support of \(d\left( q,w\right)\) is contained in \(\partial ^{+}B\left( q,w\right)\). □
Proof of Lemma 5
Clearly, since \(q<q^{\prime }\), \(B\left( q^{\prime },w\right) \subseteq B\left( q,w\right)\) . Set \(A=B\left( q^{\prime },w\right)\) and \(B=B\left( q,w\right)\). In Proposition 9, let \(f\left( x\right) =x\). Given a stochastic demand d, let p be the consistent random choice rule such that \(d\left( q,w\right) \left( \cdot \right) =p\left( \cdot ,B\left( q,w\right) \right)\). Clearly, we have that \(A\subseteq B\) and \(A,B\in \mathcal {B}\). By Lemma 8, it follows \(A\cap \tilde{B}=\tilde{A }\cap \tilde{B}\). Note that \(B_{1}=\tilde{A}\cap \tilde{B}\) and \(B_{2}= \tilde{B}\backslash \tilde{A}\) belong to \(\mathcal {A\subseteq B}\) (provided they are not empty), are pairwise disjoint, and \(\tilde{B}=B_{1}\cup B_{2}\). Moreover, \(B_{2}\subseteq A^{c}\). Otherwise, there would exist \(x\in B_{2}\cap A\). Thus, we would have that \(x\in B_{2}\) and \(x\in A\). By consistency, we could conclude that \(x\in \tilde{B}\), \(x\not \in \tilde{A}\) , and \(x\in A\subseteq B\)
a contradiction. Observe that
Similarly, we have that \(\bar{d}\left( q^{\prime },w\right) =\phi \left( A\right) =\phi (\tilde{A})\). Finally, since \(B_{2}\subseteq A^{c}\), if \(B_{2}\not =\emptyset\), then we also have that \(\tilde{B}_{2}\subseteq B_{2}\subseteq A^{c}\)
By Proposition 9 and since \(B_{1}\) and \(B_{2}\) are disjoint, if \(B_{1},B_{2}\not =\emptyset\), then we have that
By (8) and Lemma 8 and since \(A\subseteq B\), recall that
By contradiction, assume that \(\bar{d}\left( q^{\prime },w\right) >\bar{d} \left( q,w\right)\). We have three cases:
-
1.
\(p(B_{2},\tilde{B})=0\). This implies that \(p(B_{1},\tilde{B})=1\). By Lemma 8 and (14), it follows that \(B_{1}=\tilde{A} \cap \tilde{B}=A\cap \tilde{B}=\tilde{A}\) as well as \(B_{2}=\emptyset\), that is, \(\tilde{B}=B_{1}=\tilde{A}\). We can conclude that
$$\begin{aligned} \bar{d}\left( q,w\right) =\phi \left( B\right) =\phi (\tilde{B})=\phi ( \tilde{A})=\bar{d}\left( q^{\prime },w\right) \end{aligned}$$a contradiction.
-
2.
\(1>p(B_{2},\tilde{B})>0\). This implies that \(1>p(B_{1},\tilde{B})>0\). In particular, we have that \(B_{1},B_{2}\not =\emptyset\). By Lemma 8 and (14), it follows that \(B_{1}=\tilde{A}\cap \tilde{ B}=\tilde{A}\). By (13), we have that
$$\begin{aligned} \bar{d}\left( q,w\right)= \,& {} p(B_{1},\tilde{B})\phi \left( B_{1}\right) +p(B_{2},\tilde{B})\phi \left( B_{2}\right) \\=\, & {} p(B_{1},\tilde{B})\phi (\tilde{A})+p(B_{2},\tilde{B})\phi \left( B_{2}\right) \\= \,& {} p(B_{1},\tilde{B})\bar{d}\left( q^{\prime },w\right) +p(B_{2},\tilde{B} )\phi \left( B_{2}\right) \end{aligned}$$This yields that
$$\begin{aligned} 0>\bar{d}\left( q,w\right) -\bar{d}\left( q^{\prime },w\right) =p(B_{2}, \tilde{B})\left[ \sum _{x\in \tilde{B}_{2}}xp\left( x,B_{2}\right) -\bar{d} \left( q^{\prime },w\right) \right] \end{aligned}$$that is,
$$\begin{aligned} 0>\sum _{x\in \tilde{B}_{2}}xp\left( x,B_{2}\right) -\bar{d}\left( q^{\prime },w\right) \implies \bar{d}\left( q^{\prime },w\right) >\sum _{x\in \tilde{B} _{2}}xp\left( x,B_{2}\right) \end{aligned}$$In turn, since \(\tilde{B}_{2}\subseteq B_{2}\subseteq A^{c}\), this yields that
$$\begin{aligned} w\ge q^{\prime }\cdot \bar{d}\left( q^{\prime },w\right) \ge q^{\prime }\cdot \left( \sum _{x\in \tilde{B}_{2}}xp\left( x,B_{2}\right) \right) =\sum _{x\in \tilde{B}_{2}\cap A^{c}}\left( q^{\prime }\cdot x\right) p\left( x,B_{2}\right) >w \end{aligned}$$a contradiction.
-
3.
\(p(B_{2},\tilde{B})=1\). This implies that \(p(B_{1},\tilde{B})=0\). In particular, we have that \(B_{1}=\emptyset\) and \(\emptyset \not =\tilde{B} =B_{2}\). This implies that
$$\begin{aligned} \bar{d}\left( q,w\right) =\phi \left( B\right) =\phi (\tilde{B})=\phi \left( B_{2}\right) \end{aligned}$$yielding that
$$\begin{aligned} w\ge q^{\prime }\cdot \bar{d}\left( q^{\prime },w\right) \ge q^{\prime }\cdot \bar{d}\left( q,w\right) =q^{\prime }\cdot \phi \left( B_{2}\right) >w \end{aligned}$$a contradiction.
Points 1, 2, and 3 prove the statement. □
Proof of Lemma 6
We first prove an ancillary claim:
Claim Let \(\bar{B}=B\left( \bar{q},\bar{w} \right)\) and \(\hat{B}=B\left( \hat{q},\hat{w}\right)\). If \(p(\bar{B}\cap \hat{B},\hat{B})=0\), then
Proof of the claim By assumption, the support of \(p(\cdot ,\hat{B})\) is contained in \(\hat{B}\cap \bar{B}^{c}\), in particular, \(\widetilde{\hat{B}}\subseteq \bar{B}^{c}\). It follows that
proving the claim. □
Consider \(\left( q,w\right)\) and \(\left( q^{\prime },w^{\prime }\right)\) in \(\mathbb {R}_{++}^{n}\times \mathbb {R}_{++}\). Define \(B=B\left( q,w\right)\) and \(B^{\prime }=B\left( q^{\prime },w^{\prime }\right)\). By the previous claim and setting \(\bar{B}=B^{\prime }\) and \(\hat{B}=B\), it follows that \(p\left( B^{\prime }\cap B,B\right) >0\). Otherwise, we would have that \(w^{\prime }<q^{\prime }\cdot \bar{d}\left( q,w\right) =c\left( q^{\prime },w^{\prime }\right) \le w^{\prime }\), a contradiction. Since \(p\left( B^{\prime }\cap B,B\right) >0\), denote by \(\bar{x}\in \Gamma _{p}\left( B\right) \cap B^{\prime }\). By Proposition 10 and since \(\bar{ x}\in \Gamma _{p}\left( B\right)\), we have that \(B\ni \bar{x}\succsim y\) for all \(y\in B\). We have two cases:
-
1.
\(p\left( B^{\prime }\cap B,B^{\prime }\right) =0\). By the previous claim and setting \(\bar{B}=B\) and \(\hat{B}=B^{\prime }\), it follows that \(q\cdot \bar{d}\left( q^{\prime },w^{\prime }\right) >w\).
-
2.
\(p\left( B^{\prime }\cap B,B^{\prime }\right) >0\). This implies that
$$\begin{aligned} q\cdot \bar{d}\left( q^{\prime },w^{\prime }\right) =\sum _{x\in \widetilde{ B^{\prime }}}\left( q\cdot x\right) p\left( x,B^{\prime }\right) =\sum _{x\in \widetilde{B^{\prime }}\cap B}\left( q\cdot x\right) p\left( x,B^{\prime }\right) +\sum _{x\in \widetilde{B^{\prime }}\cap B^{c}}\left( q\cdot x\right) p\left( x,B^{\prime }\right) \end{aligned}$$(15)Given \(x\in \widetilde{B^{\prime }}\), we have two subcases:
-
(a)
\(x\in \widetilde{B^{\prime }}\cap B^{c}\). In this case, \(q\cdot x>w\).
-
(b)
\(x\in \widetilde{B^{\prime }}\cap B=\Gamma _{p}\left( B^{\prime }\right) \cap B\). By Proposition 10, it follows that \(x\succsim y\) for all \(y\in B^{\prime }\). In particular, since \(\bar{x}\in B^{\prime }\), this implies that \(x\succsim \bar{x}\). At the same time, since \(\bar{x}\in B\) is such that \(\bar{x}\succsim y\) for all \(y\in B\), we have that \(x\succsim y\) for all \(y\in B\). By Proposition 10 and since \(x\in B\), this yields that \(x\in \Gamma _{p}\left( B\right)\). By stochastic monotonicity, we can conclude that \(q\cdot x=w\).
To sum up, by (15) and points a and b, we can conclude that
$$\begin{aligned} q\cdot \bar{d}\left( q^{\prime },w^{\prime }\right) \ge \sum _{x\in \widetilde{B^{\prime }}\cap B}wp\left( x,B^{\prime }\right) +\sum _{x\in \widetilde{B^{\prime }}\cap B^{c}}wp\left( x,B^{\prime }\right) =w \end{aligned}$$(16) -
(a)
By (16) as well as points 1 and 2, we have that
proving the main statement. □
Proof of the law of demand
Consider an initial price and wealth pair \(\left( q,w\right)\). Let \(q^{\prime }\in \mathbb {R}_{++}^{n}\) be such that \(q_{k}^{\prime }>q_{k}\) and \(q_{i}^{\prime }=q_{i}\) for all \(i\not =k\). Let \(w^{\prime }=w^{\prime }\left( q^{\prime }\right)\) be such that \(w^{\prime }=q^{\prime }\cdot \bar{d}\left( q,w\right) \ge q\cdot \bar{ d}\left( q,w\right) =w\), since p is stochastically monotone. By Lemma 4 and since p is stochastically monotone, it follows that \(q^{\prime }\cdot \bar{d}\left( q,w\right) =w^{\prime }=c\left( q^{\prime },w^{\prime }\right)\). In view of Lemma 6, the difference \(\bar{d}\left( q^{\prime },w^{\prime }\right) -\bar{d}\left( q,w\right)\) quantifies a substitution effect on the goods’ average demand due only to the price change \(q^{\prime }-q\). This suggests the following decomposition:
in which the r.h.s. accounts for, respectively, the wealth and substitution effects on the goods’ demand. Note that the elements in (17) are vectors. Thus, the equality holds componentwise. Since good k is normal and \(w\le w^{\prime }\), we have
By Lemma 6 and the choice of q and \(q^{\prime }\) and since \(q^{\prime }\cdot \bar{d}\left( q,w\right) =w^{\prime }=c\left( q^{\prime },w^{\prime }\right)\), we have that
Since \(q_{k}^{\prime }-q_{k}>0\), it follows that \(\bar{d}_{k}\left( q^{\prime },w^{\prime }\right) -\bar{d}_{k}\left( q,w\right) \le 0\). By ( 17) and (18), this implies that
proving the statement. For, \(\bar{d}_{k}\left( q^{\prime },w\right) \le \bar{d}_{k}\left( q,w\right)\) where in \(q^{\prime }\) only the price of k increased, while the other prices did not change and wealth remained constant. A similar argument holds if we consider a decrease in price, that is \(q_{k}^{\prime }<q_{k}\), rather than an increase. In that case, we would have that \(\bar{d}_{k}\left( q^{\prime },w\right) \ge \bar{d}_{k}\left( q,w\right)\). □
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Cerreia-Vioglio, S., Maccheroni, F., Marinacci, M. et al. Law of demand and stochastic choice. Theory Decis 92, 513–529 (2022). https://doi.org/10.1007/s11238-021-09844-x
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11238-021-09844-x