Edgeworth Box¶
Represent every feasible allocation of two fixed goods between two consumers in one reciprocal-coordinate rectangle, then overlay both preference maps to diagnose gains from trade, Pareto efficiency, and competitive equilibrium.
Core Idea¶
An Edgeworth box is the reciprocal-coordinate diagram of a pure-exchange economy with two consumers, two goods, and fixed aggregate endowments. The rectangle's width is the total quantity of good 1 and its height the total quantity of good 2. Consumer A measures a bundle from the lower-left origin; consumer B measures the complementary bundle from the upper-right origin with axes reversed. Consequently, one point represents both consumers' holdings and automatically satisfies resource feasibility: what one receives of either good is exactly what the other does not.
Scope of Application¶
The canonical scope is a two-consumer, two-good pure-exchange economy with no production and fixed total resources. Within that scope, the box studies feasible allocation, voluntary trade from an endowment, Pareto improvement, Pareto efficiency, the contract curve, bilateral bargaining, price support, offer curves, competitive equilibrium, the core, and the welfare theorems.
A production Edgeworth box is an established structural variant. It allocates two fixed factors between two production activities, reverses the second producer's origin, overlays isoquants rather than consumer indifference curves, and identifies efficient factor allocations through equal marginal rates of technical substitution.
Clarity¶
To construct the diagram, first total each good: \(\Omega_i=\omega_i^A+\omega_i^B\). Draw the rectangle with those totals as dimensions. Read A's coordinates rightward and upward from the lower-left origin; read B's leftward and downward from the upper-right origin. Verify at every point that \(x_i^A+x_i^B=\Omega_i\).
Manages Complexity¶
Without the box, a feasible allocation needs four consumption quantities and two resource equations. Complementarity eliminates B's quantities: one planar point encodes all four while guaranteeing feasibility. Opposed origins let both preference orderings be read without translating coordinate systems.
The diagram then separates distinct questions visually. The overlap of preferred regions answers whether mutually beneficial trade exists. The Pareto set answers where no feasible Pareto improvement remains.
Abstract Reasoning¶
The reciprocal coordinates license conservation reasoning: increasing A's holding of a good reduces B's by exactly the same amount. Any proposed point outside the rectangle violates aggregate feasibility. Any path inside the rectangle is a sequence of reallocations, not creation of resources.
Preference overlays license dominance reasoning. If a point lies inside the region above both agents' endowment indifference curves, both prefer it to the endowment.
Knowledge Transfer¶
Literal transfer occurs across exchange-economy examples with different goods, consumers, utility functions, endowments, and price ratios. The role structure remains unchanged. Cobb–Douglas, perfect-substitute, perfect-complement, quasilinear, nonconvex, and nonsmooth preferences alter curve geometry and solution sets but not reciprocal feasibility.
The production box transfers the geometric skeleton while replacing consumers with production activities, goods with factors, indifference curves with isoquants, and MRS with MRTS. That is a recognized domain variant.
Relationships to Other Abstractions¶
Current abstraction Edgeworth Box Domain-specific
Parents (1) — more general patterns this builds on
-
Edgeworth Box is a kind of Allocation Prime
The minimal prospective placement is a composition/instantiation relation to live
prime:allocation.
Hierarchy path (1) — routes to 1 parentless root
- Edgeworth Box → Allocation → Scarcity → Constraint
Neighborhood in Abstraction Space¶
Edgeworth Box sits in a sparse region of the domain-specific corpus (84th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Unclustered & Miscellaneous (1565 abstractions)
Nearest neighbors
- Transversal (Combinatorics) — 0.83
- Virtual Valuation — 0.82
- Hotelling's Law — 0.82
- Price Level — 0.80
- Hausdorff Space — 0.80
Computed from structural-signature embeddings · 2026-09-08