Arrow–Debreu Model¶

Prove that a competitive economy has a set of prices at which every market clears at once, by treating each date-and-state-indexed good as its own priced commodity and applying a fixed-point argument to joint excess demand.

Version: v3 · 2026-09-28 · History
Domain-specific #: 49
Domain group: Social Sciences
Origin domain: Economics & Finance
Subdomain: General Equilibrium Theory → Economics & Finance

Core Idea¶

The canonical formalisation of general competitive equilibrium (Arrow and Debreu, 1954). Given price-taking consumers with convex preferences and positive endowments and price-taking firms with convex production sets, a fixed-point argument on joint excess demand proves a price vector exists at which every market clears simultaneously. Its signature move indexes each commodity by date and state of the world, so risk, time, and location are absorbed into the commodity space itself.

How would you explain it like I'm…

The Just-Right Prices Market

The Arrow–Debreu model is a make-believe town that grown-ups build with math. In it, everything has a price, and the prices are set just right so that for every kind of thing, the amount people want to buy is exactly the amount people want to sell, all at the same time. The math shows that such prices really exist, if the town follows its rules.

Prices That Balance Every Market

The Arrow–Debreu model is a famous math model of a whole economy from the 1950s. It has many people and businesses who each look at the prices and pick what is best for them. Arrow and Debreu proved that, under certain rules, there is a set of prices where every market balances at once: nobody wants more of anything than is for sale. The model even treats 'wheat today' and 'wheat next year if it rains' as different goods with different prices. It also shows that such a balanced result wastes nothing, in the sense that you cannot make someone better off without making someone else worse off, and when the rules are broken, that guarantee can fail.

General Competitive Equilibrium Model

The Arrow–Debreu model is the standard mathematical model of general competitive equilibrium: an economy with finitely many goods, consumers, and firms, all of whom take prices as given. Under assumptions such as convex, continuous preferences, positive endowments, and convex production sets, it proves there exists a price vector at which supply equals demand in every market simultaneously and all individual plans fit together. A key move is defining goods by what, where, when, and in which 'state of the world' they are delivered, so time and uncertainty become part of the list of goods. The model also supports two welfare theorems: every competitive equilibrium is Pareto-efficient (no one can be made better off without making someone worse off), and any Pareto-efficient outcome can be reached as an equilibrium after suitable lump-sum transfers. Because of this, its assumptions work as a checklist: when one fails, as with pollution, public goods, or monopoly, markets are no longer guaranteed to be efficient.

The Arrow–Debreu model, due to Kenneth Arrow and Gérard Debreu (1954) and developed in Debreu's Theory of Value (1959), formalizes general competitive equilibrium with finitely many commodities, finitely many price-taking consumers having convex, continuous preferences and strictly positive endowments, and finitely many price-taking firms with convex production sets. Its existence theorem applies Kakutani's fixed-point theorem to the aggregate excess-demand correspondence to show that a price vector exists at which all markets clear and every agent's optimal plan is mutually consistent. Commodities are contingent: a good is indexed by physical type, location, date, and state of the world, so time, uncertainty, and location are absorbed into the commodity space, letting a static framework represent insurance, intertemporal trade, and financial markets. The First Welfare Theorem says every competitive equilibrium allocation is Pareto-efficient; the Second says every Pareto-efficient allocation can be supported as an equilibrium after lump-sum redistribution of endowments, separating efficiency from distribution. The assumption list therefore doubles as a catalog of market failures: externalities, public goods, non-convexities, asymmetric information, missing markets, and market power each break the efficiency guarantee. The model is both the benchmark for welfare analysis and the template from which incomplete-markets, frictional, and strategic models depart.

Scope of Application¶

The lingua franca of one home discipline — general-equilibrium and welfare economics — through which its specialist subfields communicate.

Welfare economics — proof apparatus for the First and Second Welfare Theorems and the market-failure menu.
Macroeconomics — the complete-markets benchmark against which incomplete-markets and financial-friction models are judged.
Mathematical finance — the state-price foundation of the fundamental theorem of asset pricing and risk-neutral valuation.
Computable general equilibrium — numerically solved systems for trade, tax, and climate-policy analysis.
Market and mechanism design — the competitive benchmark against which auctions and matching are evaluated.

Clarity¶

The model converts the invisible hand from a slogan into a theorem with stated premises: "markets are efficient" is false, but "competitive equilibria with complete markets, convex preferences, and no externalities are Pareto-efficient" is proved. Reading each premise in the negative turns the assumption list into a diagnostic menu of named market failures.

Manages Complexity¶

An economy of millions of agents, goods, dates, and states collapses to a finite structural list — a commodity space, consumers, firms, complete markets, and a clearing price vector — from which existence and efficiency follow as theorems. The sprawling question "when do markets fail?" reduces to walking the assumption list to find which premise broke.

Abstract Reasoning¶

The model licenses conditional inference through an explicit assumption list: diagnostic localisation of a market failure to a violated premise, boundary-drawing that holds the conditional rather than the slogan, and constructive existence reasoning via a fixed point. The Second Welfare Theorem adds a factorisation move separating efficiency from distribution as independent axes.

Knowledge Transfer¶

Within economics and finance the model transfers as mechanism — it is the field's common formalism, supplying the proof apparatus and complete-markets benchmark that welfare economics, macroeconomics, finance, and CGE all share intact. Beyond economics the reach is metaphor: the transferable substance is a decentralised price-mediated fixed point, carried by the parent primes Equilibrium and Price Mechanism (with Pareto Efficiency), not the general-equilibrium machinery itself.

Relationships to Other Abstractions¶

Current abstraction Arrow–Debreu Model Domain-specific

Parents (3) — outgoing typed relations

Arrow–Debreu Model includes Equilibrium Prime

The Arrow–Debreu Model contains Equilibrium because its existence theorem establishes a price vector at which every market clears and all individually optimal plans are mutually consistent.
Arrow–Debreu Model includes Pareto Efficiency Prime

The Arrow–Debreu Model contains Pareto Efficiency because its welfare theorems connect competitive equilibrium allocations to the Pareto frontier under the model's explicit assumptions.
Arrow–Debreu Model includes Price Mechanism Prime

The Arrow–Debreu Model contains the Price Mechanism because a vector of decentralized commodity prices coordinates agents' separate optimizing plans and clears every market.

Neighborhood in Abstraction Space¶

Arrow–Debreu Model sits in a sparse region of the domain-specific corpus (62^nd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (2769 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-25