Introduction
How does a price emerge when nobody produces anything — when every good that will ever exist already sits in someone's hands at the start of the day? Two agents, two goods, fixed endowments: that is the exchange economy. The question it poses is whether voluntary trade alone can coordinate decentralised decisions into an outcome where markets clear and no resources are left on the table.
Why exchange economies first
The exchange economy is the minimal setting in which the central concepts of general equilibrium — prices, market clearing, efficiency, and the welfare theorems — have real content. Strip out production and you remove the firm, factor markets, and the complications of cost minimisation. What remains is a clean two-sided problem: each agent has preferences over consumption bundles and an endowment that pins down their budget constraint once prices are named. That simplicity is pedagogically deliberate. Every result proved here — the existence of a Walrasian equilibrium, the First and Second Welfare Theorems — carries over to production economies with only incremental additional machinery.
Historical context
- 1874
- Léon Walras formalises general equilibrium in Éléments d'économie politique pure. He introduces the tâtonnement story: an auctioneer calls out trial prices, agents respond with excess demands, and the process iterates until all markets clear simultaneously.
- 1881
- Francis Edgeworth introduces the 'contract curve' and the two-dimensional diagram that now bears his name in Mathematical Psychics. The box makes the feasibility constraint and the set of mutually beneficial trades simultaneously visible.
- 1951
- Kenneth Arrow provides the first rigorous proof of the First Welfare Theorem, establishing that every Walrasian equilibrium allocation is Pareto efficient under standard assumptions.
- 1954
- Arrow and Gérard Debreu prove general existence of a competitive equilibrium using fixed-point theorems. The Arrow-Debreu model becomes the canonical reference framework for welfare economics.
What you will see in this module
The module builds the exchange economy from scratch and then asks the three questions the theory was designed to answer. First, what does an allocation look like and which ones are any good? Second, which price clears both markets at once? Third, what is the relationship between market outcomes and efficiency?
- Define the primitives: an endowment vector for each agent and the set of feasible non-wasteful allocations that fit inside the Edgeworth box.
- Characterise efficient allocations: the contract curve, which is the locus of points where the two agents' indifference curves are tangent and no further Pareto improvement is available.
- Find the Walrasian equilibrium: the price ratio at which each agent's individually optimal choice is consistent with market clearing — total demand equals total endowment in every market.
- State the two fundamental welfare theorems: every Walrasian equilibrium is Pareto efficient (First Theorem), and every Pareto efficient allocation can be supported as a Walrasian equilibrium after a suitable redistribution of endowments (Second Theorem).