Chapter 5 introduced consumer theory through utility maximization and the Lagrangian. This chapter strips away the crutch of specific functional forms and builds the theory from axiomatic foundations. We ask: when can preferences be represented by a utility function? What properties must demand functions satisfy? And under what conditions does a system of competitive markets allocate resources efficiently?
The shift in method is from computation to proof. Part II solved optimization problems. Part III proves theorems — establishing which results are robust and which depend on special assumptions.
Prerequisites: Chapters 6–7. Mathematical prerequisites: real analysis basics (open/closed sets, continuity, fixed-point theorems), convex analysis, matrix algebra. See Appendix A.
The standard axioms:
Proof sketch. Fix a ray $\{te : t \geq 0\}$ where $e = (1,1,\ldots,1)$. For each $x$, by completeness and continuity, there exists a unique $t(x) \geq 0$ such that $x \sim t(x)e$. Set $u(x) = t(x)$. Transitivity ensures the representation is consistent; continuity ensures $u$ is continuous.
What this says: If your preferences never contradict themselves and don't jump around, they can be summarized by a single number attached to each bundle — that number is utility. Debreu's theorem is the guarantee that the summary exists: assign every bundle the point on a fixed reference line you'd be equally happy with, and that gives you a consistent score.
Why it matters: It means economists don't have to assume a utility function — they earn it from three plain conditions on choice. Everything downstream (demand, the welfare theorems, mechanism design) leans on this guarantee. No representation, no objective to maximize.
What changes: Drop continuity and the guarantee breaks: lexicographic preferences (always prefer more of good 1, breaking ties with good 2) are complete and transitive but jump, so no continuous utility number can track them. Continuity is the condition that rules out those jumps.
In Full Mode, the theorem and its proof sketch build the utility number explicitly from a reference ray.The utility function is ordinal — any monotonic transformation $v = g(u)$ with $g' > 0$ represents the same preferences. Cardinal properties (magnitudes of utility differences) are meaningless.
Consider lexicographic preferences on $\mathbb{R}^2_+$: $x \succ y$ if $x_1 > y_1$, or $x_1 = y_1$ and $x_2 > y_2$.
Completeness: Satisfied — for any $x, y$, either $x_1 > y_1$, $y_1 > x_1$, or $x_1 = y_1$ and we compare $x_2, y_2$.
Transitivity: Satisfied — if $x \succ y$ and $y \succ z$, then $x \succ z$ (follows from transitivity of $>$ on $\mathbb{R}$).
Continuity: Fails. Consider $y = (1, 1)$. The set $\{x : x \succ y\}$ includes $(1, 1.5)$ but not $(0.999, 100)$. The "at least as good" set is not closed — there is a jump at $x_1 = 1$.
Consequence: No continuous utility function represents lexicographic preferences. This shows that continuity is essential for Debreu's utility representation theorem.
↪ Part of the walkthrough Are people rational? — jump to the debate this section feeds.
Instead of assuming preferences, we can infer them from observed choices.
Formally: if $x$ is revealed preferred to $y$ ($xRy$: $x$ chosen at prices where $y$ was affordable), then $y$ is not revealed preferred to $x$.
SARP is necessary and sufficient for observed choices to be consistent with utility maximization (Afriat's theorem). WARP is necessary but not sufficient in general (though it is sufficient with two goods).
A consumer's choices at two price-income situations:
| Situation | Prices $(p_1, p_2)$ | Chosen bundle $(x_1, x_2)$ | Expenditure |
|---|---|---|---|
| A | (1, 2) | (4, 2) | 8 |
| B | (2, 1) | (2, 4) | 8 |
Check WARP: At prices A, could the consumer afford bundle B? \$1(2) + 2(4) = 10 > 8$. No. At prices B, could the consumer afford bundle A? \$1(4) + 1(2) = 10 > 8$. No. WARP is satisfied — the data are consistent with utility maximization.
Enter price vectors and chosen bundles for up to 6 observations. The checker will test WARP and SARP automatically.
| Obs. | $p_1$ | $p_2$ | $x_1$ | $x_2$ | Expenditure |
|---|---|---|---|---|---|
| 1 | 8.0 | ||||
| 2 | 8.0 | ||||
| 3 | 6.0 | ||||
| 4 | — | ||||
| 5 | — | ||||
| 6 | — |
Interactive 10.1. Enter price-bundle observations and test for revealed preference consistency. WARP checks direct pairwise reversals; SARP checks for cycles of any length. Violations are highlighted with explanations.
Chapter 5 solved the primal problem: maximize utility subject to a budget. The dual problem minimizes expenditure to achieve a target utility level.
The solution is the Hicksian (compensated) demand $h(p, \bar{u})$:
The indirect utility function $V(p, m)$ gives the maximum utility achievable at prices $p$ with income $m$:
$$V(p, m) = \max_{x} \; u(x) \quad \text{s.t.} \quad p \cdot x \leq m$$The key duality relationships:
Roy's identity provides a shortcut for deriving Marshallian demand from the indirect utility function:
What this says: Two shortcuts fall out of asking the same question from opposite sides. Shephard's lemma: the cheapest way to hit a fixed happiness target shifts, as a price rises, in exact proportion to how much of that good you were buying — so the demand curve is just the slope of the cost-to-stay-happy function. Roy's identity: your demand for a good is how fast your best-affordable happiness falls when its price ticks up, divided by how much one more dollar would have helped.
Why it matters: Demand can be recovered by differentiating a single function instead of re-solving an optimization from scratch. The minimize-cost and maximize-utility problems are two views of one choice, so the answer to either hands you the other for free. This duality is the engine behind welfare measurement and the Slutsky decomposition that follows.
What changes: Raise a price and both shortcuts move the same way: Shephard says you substitute away from the now-expensive good along the constant-utility path; Roy says your achievable welfare drops by roughly the quantity you were buying. The bigger your purchases of a good, the harder its price increase bites.
In Full Mode, Eqs. 11.2 and 11.6 state Shephard's lemma and Roy's identity as derivatives of the expenditure and indirect-utility functions.Intuition for Roy's identity: A small increase in $p_i$ has two effects on welfare (measured by $V$): (1) it directly reduces utility by making good $i$ more expensive (the numerator $\partial V/\partial p_i < 0$), and (2) the magnitude of this effect is proportional to how much of good $i$ the consumer buys ($x_i$) times the marginal utility of income ($\partial V/\partial m$). Dividing (1) by the marginal utility of income gives the quantity of good $i$.
CES utility: $u(x_1, x_2) = (x_1^\rho + x_2^\rho)^{1/\rho}$, $\rho < 1$, $\rho \neq 0$.
The expenditure function is: $e(p, \bar{u}) = \bar{u} \cdot (p_1^r + p_2^r)^{1/r}$ where $r = \rho/(\rho - 1)$.
Hicksian demand (Shephard's lemma): $h_i = \bar{u} \cdot p_i^{r-1} / (p_1^r + p_2^r)^{(r-1)/r}$.
As $\rho \to 0$ (elasticity of substitution $\sigma = 1/(1-\rho) \to 1$), this converges to the Cobb-Douglas case.
Cobb-Douglas utility $u = x_1^{0.5} x_2^{0.5}$ with income $m = 10$. Slide $p_1$ to see how all three representations — budget-line tangency, Marshallian demand, and expenditure function — encode the same information.
Interactive 11.2. Three views of the same consumer. Left: indifference curve tangent to budget line (primal). Center: Marshallian demand for good 1 as a function of $p_1$. Right: expenditure function $e(p_1, p_2, \bar{u})$ needed to achieve the current utility level. All three encode the same preferences.
The Slutsky equation from Chapter 5 (Eq. 6.7) generalizes to a matrix. Define the Slutsky (substitution) matrix with entries:
If demand is generated by utility maximization, the Slutsky matrix must be:
What this says: The Slutsky matrix is bookkeeping for two facts about substitution. First, cross-effects are symmetric: how good A's compensated demand responds to good B's price exactly mirrors how B responds to A's price. Second, own-substitution effects never go the wrong way — raise a good's price, holding happiness fixed, and you buy weakly less of it, never more. That is all "symmetric and negative semidefinite" means.
Why it matters: These two facts are testable. A demand system that an analyst estimates from real data either obeys them or it doesn't — and if it doesn't, no rational, utility-maximizing consumer could have produced it. The matrix turns the abstract claim "people maximize utility" into a checkable pattern in observed purchases.
What changes: Run it the other way (the integrability theorem): if a demand system does satisfy symmetry, negative semidefiniteness, homogeneity, and budget exhaustion, then some utility function must have generated it. The restrictions aren't just necessary — they're enough to reconstruct preferences from choices.
In Full Mode, Eq. 11.7 defines the matrix and the listed properties state symmetry, negative semidefiniteness, and homogeneity formally.These are testable restrictions — if observed demand violates them, it cannot have been generated by a rational consumer maximizing a well-behaved utility function.
Cobb-Douglas demand: $x_1 = am/p_1$, $x_2 = (1-a)m/p_2$.
$S_{12} = \partial x_1/\partial p_2 + x_2 \cdot \partial x_1/\partial m = 0 + [(1-a)m/p_2] \cdot [a/p_1] = a(1-a)m/(p_1 p_2)$
$S_{21} = \partial x_2/\partial p_1 + x_1 \cdot \partial x_2/\partial m = 0 + [am/p_1] \cdot [(1-a)/p_2] = a(1-a)m/(p_1 p_2)$
$S_{12} = S_{21}$ ✓
Adjust the price of good 1 to see how Marshallian demand, Hicksian (compensated) demand, and the income effect respond. Uses Cobb-Douglas utility $u(x_1,x_2)=x_1^a x_2^{1-a}$ with $a=0.6$, $p_2=3$, $m=120$.
Figure 11.2. Left: Slutsky decomposition in commodity space. The original bundle (blue), compensated bundle (orange, on original indifference curve at new prices), and new bundle (green). The substitution effect moves from blue to orange; the income effect moves from orange to green. Right: Slutsky matrix entries $S_{11}$ and $S_{12}$ as $p_1$ varies, confirming negative semidefiniteness ($S_{11} \leq 0$) and symmetry.
Consider an economy with $I$ consumers and $L$ goods. Consumer $i$ has endowment $\omega_i \in \mathbb{R}^L_+$ and preferences $\succsim_i$.
At prices $p$, consumer $i$'s wealth is $m_i = p \cdot \omega_i$. She demands $x_i(p, m_i)$.
Aggregate excess demand:
Equilibrium requires $z(p^*) = 0$.
Implications: (1) If $L - 1$ markets clear, the $L$th clears automatically. (2) Only relative prices matter — we can normalize one price to 1 (the numeraire).
Proof strategy (sketch). Normalize prices to the unit simplex $\Delta$. Define a price-adjustment map $f: \Delta \to \Delta$ that raises the price of goods in excess demand. By Brouwer's fixed-point theorem, $f$ has a fixed point $p^*$. At the fixed point, $z(p^*) = 0$ — all markets clear.
General equilibrium is the formal culmination of the marginalist program: value, fully formalized, becomes the equilibrium price vector. The intellectual lineage — Walras's 1874 vision through to the Arrow-Debreu existence proof — is traced in History of Economic Thought, Ch. 5 (The Marginalist Revolution and Formalization).
For a 2-consumer, 2-good economy, the Edgeworth box provides a complete visualization. The box dimensions equal total endowments. Consumer 1's origin is at bottom-left, consumer 2's at top-right. Every point in the box is a feasible allocation.
Two consumers with Cobb-Douglas preferences. Drag the endowment point to explore how the Walrasian equilibrium, contract curve, and core change.
Figure 11.1 (Interactive). The Edgeworth box. The orange dot is the endowment. The green dot is the Walrasian equilibrium. The red curve is the contract curve (all Pareto-efficient allocations). The shaded core region shows allocations both consumers prefer to the endowment. The budget line passes through the endowment with slope $-p_x/p_y$.
Consumer 1: $u_1 = x_1^{1/2}y_1^{1/2}$, endowment $(4, 0)$. Consumer 2: $u_2 = x_2^{1/2}y_2^{1/2}$, endowment $(0, 4)$.
Market clearing gives $p_x = p_y$, and the equilibrium allocation is $x_1^* = y_1^* = 2$, $x_2^* = y_2^* = 2$.
Each consumer trades half their endowment for the other good, ending up with equal amounts of both goods.
Proof. We proceed by contradiction. Suppose the Walrasian equilibrium allocation $x^*$ at prices $p^*$ is not Pareto optimal. Then there exists a feasible allocation $x'$ with everyone at least as well off and someone strictly better off.
Step 1. For consumer $j$ who is strictly better off: since $x_j^*$ was utility-maximizing and $x_j'$ is strictly preferred, $x_j'$ must have been unaffordable: $p^* \cdot x_j' > p^* \cdot \omega_j$.
Step 2. For every consumer $i$: by local nonsatiation, $p^* \cdot x_i' \geq p^* \cdot \omega_i$.
Step 3. Summing: $\sum_i p^* \cdot x_i' > \sum_i p^* \cdot \omega_i$.
Step 4. But feasibility requires $\sum_i x_i' = \sum_i \omega_i$, giving $\sum_i p^* \cdot x_i' = \sum_i p^* \cdot \omega_i$. Contradiction. $\square$
What this says: Suppose the market outcome could be rearranged to help someone with no one else losing. That lucky person would now be holding a bundle they prefer to what they bought at equilibrium — but if they preferred it and could afford it, they would have bought it already. They didn't, so it must have been out of reach. Add up everyone's spending and the "improved" allocation costs more than the economy actually owns. Impossible. So no such improvement exists: the equilibrium is already efficient.
Why it matters: This is Adam Smith's invisible hand stated exactly. Self-interested traders, each minding only their own budget, land on an allocation no central planner could improve without making someone worse off — and the proof needs no benevolence, no coordination, just prices everyone faces in common.
What changes: The argument leans on only two things: people don't leave money on the table (local nonsatiation) and they spend their whole budget. Break the shared-price assumption — market power, externalities, missing markets, private information — and the "they could have bought it" step fails. That is precisely where real markets stop being efficient.
In Full Mode, the four-step proof derives the contradiction from budget exhaustion and feasibility.The proof uses only local nonsatiation and budget exhaustion. It does not require convexity, differentiability, or any specific functional form. This generality is what makes the theorem powerful.
Interpretation. The First Welfare Theorem is the formal statement of Adam Smith's "invisible hand." Competitive markets produce an allocation that no rearrangement can improve upon without making someone worse off. But the assumptions (complete markets, price-taking, no externalities, no public goods, full information) define exactly when the invisible hand fails.
Consumer 1: $u_1 = x_1^{1/2}y_1^{1/2}$, endowment $(4, 0)$. Consumer 2: $u_2 = x_2^{1/2}y_2^{1/2}$, endowment $(0, 4)$.
From Example 11.4, the equilibrium is $x_1^* = y_1^* = x_2^* = y_2^* = 2$ at $p_x = p_y$.
Check Pareto optimality: At the equilibrium, $MRS_1 = y_1/x_1 = 1$ and $MRS_2 = y_2/x_2 = 1$. Since $MRS_1 = MRS_2 = p_x/p_y$, the indifference curves are tangent — the allocation is on the contract curve.
Verify no Pareto improvement: Any reallocation giving Consumer 1 more of good $x$ (say $x_1 = 3$) requires $x_2 = 1$. Then $u_1 = \sqrt{3 \cdot y_1}$ and $u_2 = \sqrt{1 \cdot y_2}$ with $y_1 + y_2 = 4$. For Consumer 1 to gain ($u_1 > \sqrt{4} = 2$), we need $y_1 > 4$, so $y_1 > 4/3$, leaving $y_2 < 8/3$, giving $u_2 = \sqrt{8/3} < 2 = u_2^*$. Consumer 2 is worse off. No Pareto improvement exists.
The Walrasian equilibrium lies on the contract curve (Pareto efficient). Toggle "Pareto improvements?" to verify: at the equilibrium, the lens-shaped region where both consumers can gain is empty. At the endowment, it is not.
Interactive 10.3. Toggle between viewing the equilibrium (where no Pareto improvements exist) and the endowment (where the shaded lens shows mutually beneficial trades). The equilibrium's position on the contract curve proves efficiency visually.
Dan Riffle, AOC's former policy aide, turned this line into a social media mantra — shared millions of times, printed on T-shirts, chanted at rallies. The claim is stark: billionaires don't exist because they created extraordinary value. They exist because the system is broken — tax loopholes, monopoly power, rigged rules. The First Welfare Theorem you just proved gives you the tools to test this precisely: does extreme wealth concentration represent the market working correctly (and we just dislike the endowment), or the market failing (and efficiency is not achieved)?
AdvancedWhat this says: Pick any efficient outcome you'd want — any fair, equal, or otherwise-desirable split that wastes nothing. The Second Welfare Theorem says a market can reach it. You don't override prices; you hand out the right starting endowments first, then let competitive trade run. Equilibrium does the rest.
Why it matters: It seems to separate two arguments people usually tangle: how big the pie is (efficiency) and how it's sliced (equity). In principle you can have both — choose the distribution you want, then keep all the efficiency of markets. The political left and right can both, on paper, get what they want from the same mechanism.
What changes: The catch the convexity assumption hides is the word "lump-sum." Reaching the chosen split requires transfers that don't distort anyone's choices — which means the government must already know each person's type without watching their behavior. Real taxes (income, wealth, capital gains) react to behavior, so they distort. The clean separation is true in the model and unreachable in practice.
In Full Mode, the theorem statement names the convexity conditions and the lump-sum-transfer requirement precisely.Interpretation. The Second Welfare Theorem says efficiency and equity are separable problems. Society can choose any Pareto-efficient distribution through two steps:
The markets will then produce a competitive equilibrium that is both efficient (by the First Welfare Theorem) and achieves the desired distribution.
Why it matters for policy. Don't distort markets to achieve equity (that sacrifices efficiency). Instead, use lump-sum transfers to redistribute, then let markets work. The right-wing implication: let markets operate freely. The left-wing implication: redistribute as much as you want. Both can be achieved simultaneously — in theory.
Why it fails in practice. Lump-sum transfers require information about individuals' types that the government does not have. Real-world redistribution uses distortionary taxes (income, capital gains, wealth) that change incentives and create deadweight loss. This information problem is the subject of mechanism design (Chapter 12) and optimal taxation (Chapter 16).
In large economies, the set of core allocations (allocations that no coalition can improve upon) shrinks to the set of Walrasian equilibrium allocations. This is the core equivalence theorem — competitive equilibrium is the unique outcome that survives competition among all possible coalitions.
We model Maya's lemonade market as a 2-consumer, 2-good Edgeworth box exchange economy.
Setup: Maya and Alex. Two goods: lemonade ($L$) and cookies ($C$). Maya starts with 45 lemonade and 0 cookies. Alex starts with 0 lemonade and 40 cookies.
Preferences: $u_M = L_M^{0.5}C_M^{0.5}$, $u_A = L_A^{0.3}C_A^{0.7}$.
Market clearing gives $p_L/p_C = 8/15 \approx 0.533$.
Equilibrium: Maya: $(L_M, C_M) = (22.5, 12)$. Alex: $(L_A, C_A) = (22.5, 28)$.
By the First Welfare Theorem, this allocation is Pareto optimal.
Arrow-Debreu (1954): The Existence Proof. Kenneth Arrow and Gerard Debreu proved that a competitive equilibrium exists under weak assumptions (convex preferences, no externalities). Using Kakutani's fixed-point theorem, they showed that a set of prices exists clearing all markets simultaneously — formalizing Adam Smith's "invisible hand" two centuries after The Wealth of Nations.
The mathematical achievement was remarkable: reducing the problem to showing that a certain correspondence (excess demand as a function of prices) satisfies the conditions for a fixed point. The result required only local nonsatiation and convexity — not differentiability or specific functional forms.
Debreu's Theory of Value (1959) distilled this framework into a rigorous axiomatic system, earning him the 1983 Nobel Prize. Arrow had already received the Nobel in 1972 for his broader contributions to general equilibrium and social choice. Their existence proof remains the mathematical foundation for welfare economics and the two welfare theorems proved in this chapter.
Where this proof sits in the history of ideas — the marginalist program that started with Walras and reached its formal peak in Arrow-Debreu — is the subject of History of Economic Thought, Ch. 5 (The Marginalist Revolution and Formalization).
| Label | Equation | Description |
|---|---|---|
| Eq. 11.1 | $e(p, \bar{u}) = \min p \cdot x$ s.t. $u(x) \geq \bar{u}$ | Expenditure minimization |
| Eq. 11.2 | $h_i = \partial e / \partial p_i$ | Shephard's lemma |
| Eq. 11.3–11.4 | $e(p, V(p,m)) = m$; $V(p, e(p,\bar{u})) = \bar{u}$ | Duality identities |
| Eq. 11.5 | $h(p, \bar{u}) = x(p, e(p, \bar{u}))$ | Hicksian = Marshallian at compensated income |
| Eq. 11.6 | $x_i = -(\partial V/\partial p_i)/(\partial V/\partial m)$ | Roy's identity |
| Eq. 11.7 | $S_{ij} = \partial h_i/\partial p_j = \partial x_i/\partial p_j + x_j \partial x_i/\partial m$ | Slutsky matrix entry |
| Eq. 11.8 | $z(p) = \sum_i x_i(p) - \sum_i \omega_i$ | Aggregate excess demand |
Mas-Colell, Whinston & Green (MWG); Debreu Theory of Value; Arrow & Debreu (1954); Varian Microeconomic Analysis.