Edgeworth's limit theorem¶

Edgeworth's limit theorem is an economic theorem, named after Francis Ysidro Edgeworth, stating that the core of an economy shrinks to the set of Walrasian equilibria as the number of agents increases to infinity.

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

Core Idea¶

Edgeworth's limit theorem states that, under specified regularity and replication conditions, the core of a pure-exchange economy converges to its set of Walrasian competitive equilibria as the economy becomes large. The core contains feasible allocations that no coalition can block by redistributing its own endowments so every coalition member is better off. A Walrasian allocation, by contrast, is supported by common prices at which each agent optimizes subject to a budget and aggregate markets clear. The theorem links these cooperative and price-mediated solution concepts.

In a small economy, traders or coalitions can possess bargaining power, leaving many individually rational, unblocked settlements. Replicating each consumer type in fixed proportions creates more possible coalitions. Allocations far from competitive equilibrium then become blockable because a suitably composed group can reproduce advantageous trades without the rest of the economy. Under the theorem's assumptions, the remaining core contracts toward price-supported allocations. Debreu–Scarf formulations use sequences of finite replica economies; Aumann obtains an exact core-equivalence result in an atomless continuum economy. The precise convergence claim depends on preferences, endowments, divisibility, and the formal notion of approximation.

The result does not say that every large real economy is competitive, that bargaining literally disappears, or that the core of each finite economy equals a unique equilibrium. Market power, indivisibilities, externalities, incomplete information, and nonconvexity can break the argument. “More agents” also cannot mean arbitrary growth in composition. The abstraction is a limiting equivalence: replication strengthens coalition-blocking constraints until cooperative stability selects approximately the allocations generated by price-taking general equilibrium, thereby supplying a conditional game-theoretic foundation for competitive behavior.

Structural Signature¶

Sig role-phrases:

the pure-exchange economy — agents, endowments, preferences, and divisible goods under stated regularity conditions
the core allocation set — feasible outcomes no coalition can block using only its members' endowments
the Walrasian allocation set — common-price outcomes where agents optimize budgets and markets clear
the replica sequence — growing economies formed by multiplying each consumer type in fixed proportions
the coalition-richness effect — larger populations creating more groups capable of implementing mutually beneficial deviations
the noncompetitive-allocation pressure — outcomes far from price equilibrium becoming blockable
the shrinking-core relation — core allocations approaching the competitive set as replication grows
the limit or continuum formulation — approximate finite convergence or exact atomless equivalence under different theorem versions
the assumption envelope — convexity, composition, information, divisibility, and absence of externalities or market power
the conditional-foundation result — price-taking equilibrium emerging from cooperative stability rather than asserted for every large economy

What It Is Not¶

Not the claim that every large real economy is competitive. The convergence result depends on replica or continuum structure and strong assumptions about preferences, goods, and exchange.
Not equality of the finite core and equilibrium set at every size. The core contracts toward competitive allocations in a limit; finite economies can retain many unblocked outcomes.
Not necessarily one equilibrium. Multiple price-supported allocations can remain even as noncompetitive core allocations disappear.
Not arbitrary population growth. Replication preserves consumer types and proportions in the standard finite construction.
Not literal disappearance of bargaining. Increasing coalition possibilities makes certain allocations blockable; it does not erase negotiation as behavior.
Not robust to every market imperfection. Indivisibilities, externalities, nonconvexity, incomplete information, and market power can defeat the argument.
Not one theorem formulation. Debreu–Scarf finite replicas and Aumann's atomless exact equivalence have related but distinct hypotheses and conclusions.

Scope of Application¶

Edgeworth's limit theorem applies to replica or continuum exchange economies where the core is compared with competitive allocations under explicit convexity and regularity assumptions.

Core shrinkage. Replicating consumer types limits allocations that coalitions can block as market size grows.
Walrasian foundations. Competitive price-taking allocations emerge as the limiting cooperative solution under the theorem's conditions.
Debreu–Scarf economies. Finite replicas provide the canonical framework for approximate convergence.
Aumann continuum economies. Atomless agents yield an exact core-equivalence result in the corresponding model.
Coalition analysis. Endowments, preferences, feasibility, and coalition improvement rules determine blocking power.
Market-size theory. Replication proportions and consumer types must remain controlled when taking the limit.
Comparative equilibrium theory. Topology, convergence notion, divisibility, nonsatiation, and convexity explain which version applies.
Applicability boundary. The theorem does not show every large real economy is competitive, bargaining disappears, or a finite core is unique; externalities, public goods, information, indivisibilities, market power, nonconvexity, and changing composition can break the mechanism.

Clarity¶

Edgeworth's limit theorem connects two different solution concepts in large replicated exchange economies: allocations unblocked by any coalition and allocations supportable by competitive prices. It does not say every finite economy has a singleton core or that market power vanishes without assumptions on preferences, endowments, and replication. Naming the theorem makes the limit operation and the notion of convergence explicit. The sharper economic question is which noncompetitive core allocations can survive as each consumer type is replicated, and why expanding coalition possibilities eliminate those far from Walrasian equilibrium.

Manages Complexity¶

Edgeworth's limit theorem reduces a large replicated exchange economy to the distance between two allocation sets: the cooperative core and Walrasian equilibria. The analyst tracks consumer types, replication factor, preferences, endowments, feasible coalitions, and supporting prices. As replication grows, coalition-blocking possibilities become dense enough to eliminate allocations far from competitive support. Small-economy bargaining power and large-economy price-taking form branches of one convergence argument. This compression avoids enumerating every coalition in every replica while showing exactly which regularity conditions permit competitive equilibrium to summarize unblocked outcomes.

Abstract Reasoning¶

Limit move. From a sequence of exchange economies whose individual influence vanishes, infer convergence of core allocations toward competitive allocations under the theorem's assumptions. Replica move. Compare enlarged replicas to isolate what changes because the market thickens rather than because preferences or endowments change. Blocking move. Test whether coalitions can improve upon an allocation and relate shrinking blocking power to price-supported outcomes. Assumption move. Check convexity, continuity, and replication conditions before applying the conclusion. Boundary move. The result does not say that every finite core allocation is competitive or that convergence survives arbitrary nonconvexities and market power.

Knowledge Transfer¶

Within the home domain. Edgeworth's limit theorem transfers across general-equilibrium theory, cooperative games, and replica economies where the core of increasingly large exchange economies approaches competitive allocations under specified convexity and regularity assumptions. Blocking coalitions, replication, price support, and convergence retain formal roles. Beyond the home domain (C — theorem). It applies literally to economic models satisfying those hypotheses; parallels to “large groups becoming competitive” elsewhere are analogy. Its boundary is sharp: finite cores need not equal equilibria, nonconvexities or market power can defeat convergence, and the theorem does not establish empirical price-taking from population size alone.

Examples¶

Canonical¶

Begin with a pure-exchange economy containing a fixed set of consumer types, endowments, and well-behaved preferences. Replicate every type in the same proportion. In a small replica, some feasible allocations can resist the coalitions then available even though they are not supported by common market-clearing prices. As the number of replicas grows, more coalitions can assemble compensating trades, blocking allocations that remain materially separated from competitive equilibrium. Under the theorem's assumptions, the core shrinks toward the Walrasian allocation set; size alone outside that assumption envelope proves nothing.

Mapped back: Agents and goods form the pure-exchange economy, unblocked outcomes the core allocation set, and price-supported outcomes the Walrasian allocation set. Proportional growth is the replica sequence; added groups the coalition-richness effect creating the noncompetitive-allocation pressure and the shrinking-core relation.

Applied / In Practice¶

An economic theorist uses finite replicas to quantify how far core allocations can lie from competitive ones, then compares the result with an atomless continuum formulation in which equivalence may be exact. The paper states convexity, divisibility, type proportions, complete information, and absence of externalities. It does not generalize the conclusion to concentrated markets with market power or indivisible goods. The theorem is presented as a conditional foundation for price-taking outcomes from cooperative stability, not as empirical proof that every large market is competitive.

Mapped back: Finite and atomless versions distinguish the limit or continuum formulation. Declared conditions are the assumption envelope; violations block extrapolation. The interpreted result is the conditional-foundation result, derived from the shrinking-core relation rather than assumed competition.

Structural Tensions¶

T1 — Identity versus admissible variation. Edgeworth's limit theorem must remain recognizable across legitimate variants. Admissible variation is bounded by this condition: approximate finite convergence or exact atomless equivalence under different theorem versions. The stable element is expressed by this invariant: Edgeworth's limit theorem is an economic theorem, named after Francis Ysidro Edgeworth, stating that the core of an economy shrinks to the set of Walrasian equilibria as the number of agents increases to infinity. Treating every surface change as a new abstraction fragments the identity, while allowing a change to the constitutive relation produces a false positive.

Diagnostic: After the proposed variation, can an analyst still establish this invariant: Edgeworth's limit theorem is an economic theorem, named after Francis Ysidro Edgeworth, stating that the core of an economy shrinks to the set of Walrasian equilibria as the number of agents increases to infinity?

T2 — Recognition versus proxy. The domain needs observable or inferential evidence for Edgeworth's limit theorem, but the evidence is not automatically the identity. The working recognition rule is: the conditional-foundation result — price-taking equilibrium emerging from cooperative stability rather than asserted for every large economy. A familiar indicator can occur without the defining relation, and the relation can persist when a customary detector is unavailable.

Diagnostic: Does the evidence establish the defining claim—Edgeworth's limit theorem is an economic theorem, named after Francis Ysidro Edgeworth, stating that the core of an economy shrinks to the set of Walrasian equilibria as the number of agents increases to infinity—or only a correlated sign?

T3 — Definition versus operational judgment. A compact definition aids reuse, whereas actual classification in general-equilibrium economics can require expert decisions about boundary conditions, measurements, conventions, or exceptions. In a small economy, traders or coalitions can possess bargaining power, leaving many individually rational, unblocked settlements. The definition must constrain those judgments without pretending that every admissible case can be recognized from a label alone.

Diagnostic: Which observation would make a competent practitioner reject the classification under the stated definition?

T4 — Scope versus overextension. Edgeworth's limit theorem has a genuine habitat in which replicating consumer types limits allocations that coalitions can block as market size grows. Yet The theorem does not show every large real economy is competitive, bargaining disappears, or a finite core is unique; externalities, public goods, information, indivisibilities, market power, nonconvexity, and changing composition can break the mechanism. A useful application map therefore has to be broad enough to cover recurring practice and narrow enough to exclude merely topical or metaphorical occurrences.

Diagnostic: Can the claimed application fill the same carrier and relation roles, or has only the name traveled?

T5 — Transfer versus domain accent. Knowledge about Edgeworth's limit theorem can travel within its home domain, and some structural lessons may travel farther. Edgeworth's limit theorem transfers across general-equilibrium theory, cooperative games, and replica economies where the core of increasingly large exchange economies approaches competitive allocations under specified convexity and regularity assumptions. What transfers must be separated from the specialist vocabulary, warrant, and closure conditions that remain anchored in general-equilibrium economics.

Diagnostic: Is the receiving case a literal instance of Edgeworth's limit theorem, a co-instance of Convergence, or only an analogy?

T6 — Autonomy versus reduction. Edgeworth's limit theorem structurally presupposes Convergence, but the edge does not erase the domain differentia. The broader node supplies only the necessary structural relation; general-equilibrium economics supplies the carrier, warrant, boundary, and exception conditions expressed by this identity: Edgeworth's limit theorem is an economic theorem, named after Francis Ysidro Edgeworth, stating that the core of an economy shrinks to the set of Walrasian equilibria as the number of agents increases to infinity. The entry is over-split if those conditions add no discriminating work and under-specified if the parent alone is used for cases that require them.

Diagnostic: Can a domain expert use the added conditions to distinguish Edgeworth's limit theorem from another case that equally instantiates Convergence?

Structural–Framed Character¶

Edgeworth's limit theorem is mixed: structurally specifiable but materially dependent on its disciplinary frame. Its structural side consists of the carrier the pure-exchange economy — agents, endowments, preferences, and divisible goods under stated regularity conditions and the constitutive relation Edgeworth's limit theorem is an economic theorem, named after Francis Ysidro Edgeworth, stating that the core of an economy shrinks to the set of Walrasian equilibria as the number of agents increases to infinity. Its framed side comes from general-equilibrium economics, which fixes what the terms denote, what counts as evidence, and when a qualification or exception defeats the classification.

Across the principal tests, the entry is not merely a free-floating pattern. Evaluative weight: the identity can be stated descriptively even when its use has practical or normative consequences. Practice dependence: the conditional-foundation result — price-taking equilibrium emerging from cooperative stability rather than asserted for every large economy. Institutional stabilization: disciplinary conventions may stabilize the name and test without necessarily creating every underlying event or relation. Vocabulary portability: the invariant is Edgeworth's limit theorem is an economic theorem, named after Francis Ysidro Edgeworth, stating that the core of an economy shrinks to the set of Walrasian equilibria as the number of agents increases to infinity. Import versus recognition: an outside case qualifies literally only if the same typed roles and collapse condition are available; otherwise the comparison is analogical.

The reusable remainder is Convergence under a reviewed Composition relation. That node preserves the necessary cross-domain organization after the general-equilibrium economics-specific carrier, evidence, and exceptions are removed. Edgeworth's limit theorem remains autonomous because its recognition and collapse conditions distinguish cases that the parent alone leaves together.

Structural Core vs. Domain Accent¶

What is skeletal. The portable skeleton is a typed carrier organized by a constitutive relation, an invariant, a recognition test, and a collapse condition. Here the carrier is the pure-exchange economy — agents, endowments, preferences, and divisible goods under stated regularity conditions. The decisive relation is Edgeworth's limit theorem is an economic theorem, named after Francis Ysidro Edgeworth, stating that the core of an economy shrinks to the set of Walrasian equilibria as the number of agents increases to infinity, which also states the controlling invariant at this level. Stripped of specialist nouns, this organization is represented by Convergence.

What is domain-bound. general-equilibrium economics supplies the actual objects or agents, admissible transformations, units or conventions, standards of warrant, and named exceptions. In this case, recognition requires evidence for the conditional-foundation result — price-taking equilibrium emerging from cooperative stability rather than asserted for every large economy. Admissible variation is bounded by the condition that approximate finite convergence or exact atomless equivalence under different theorem versions, and the classification collapses when the convergence result depends on replica or continuum structure and strong assumptions about preferences, goods, and exchange. These are constitutive differentia, not illustrative decoration.

Why it remains a domain-specific node. The reviewed DAG relation is Composition to Convergence. Outside general-equilibrium economics, the parent captures only the reusable structural remainder. The specialist name remains literal only where the conditional-foundation result — price-taking equilibrium emerging from cooperative stability rather than asserted for every large economy can be established under the domain's standards of warrant.

This entry presupposes Convergence.

Immediate parent — Convergence (composition/presupposes). Edgeworth's limit theorem structurally presupposes Convergence rather than being a subtype of it. The candidate identity is: Edgeworth's limit theorem is an economic theorem, named after Francis Ysidro Edgeworth, stating that the core of an economy shrinks to the set of Walrasian equilibria as the number of agents increases to infinity. Its operation cannot be stated without the parent relation—Movement toward stable state.—but it adds domain-specific carriers, constraints, and warrants. The defining source account begins: Edgeworth's limit theorem states that, under specified regularity and replication conditions, the core of a pure-exchange economy converges to its set of Walrasian competitive equilibria as the economy becomes large.
Nearest catalog surface declined — Central Limit Theorem. Its rematch score was 0.189762. Retrieval proximity did not establish synonymy or parentage; the carrier, invariant, and collapse condition remain different.
Related reasoning operations. Evidence, comparison, boundary testing, and representation can support a case without becoming additional DAG parents.

Relationships to Other Abstractions¶

Current abstraction Edgeworth's limit theorem Domain-specific

Parents (1) — more general patterns this builds on

Edgeworth's limit theorem presupposes Convergence Prime

Edgeworth's limit theorem structurally presupposes Convergence rather than being a subtype of it.

Hierarchy path (1) — routes to 1 parentless root

Edgeworth's limit theorem → Convergence

Neighborhood in Abstraction Space¶

Edgeworth's limit theorem sits in a moderately populated region (55^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Game-Theoretic Models & Paradoxes (37 abstractions)

Nearest neighbors

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

Not to Be Confused With¶

Convergence. This is the reviewed immediate parent or structural prerequisite, not a synonym. Tell: retain Edgeworth's limit theorem only when the domain-specific relation Edgeworth's limit theorem is an economic theorem, named after Francis Ysidro Edgeworth, stating that the core of an economy shrinks to the set of Walrasian equilibria as the number of agents increases to infinity. and its source-domain warrant are established; otherwise route the case to Convergence.
Bertrandedgeworth Model. This is the closest catalog retrieval surface, not an accepted synonym or parent. Tell: Ask which entry's carrier, invariant, and collapse test the case actually satisfies; shared vocabulary or a score of 0.757593 is insufficient.
Not the claim that every large real economy is competitive. The convergence result depends on replica or continuum structure and strong assumptions about preferences, goods, and exchange. Tell: Require the positive recognition condition that the conditional-foundation result — price-taking equilibrium emerging from cooperative stability rather than asserted for every large economy.
Not equality of the finite core and equilibrium set at every size. The core contracts toward competitive allocations in a limit; finite economies can retain many unblocked outcomes. Tell: Replace the familiar surface feature and test whether edgeworth's limit theorem is an economic theorem, named after Francis Ysidro Edgeworth, stating that the core of an economy shrinks to the set of Walrasian equilibria as the number of agents increases to infinity.
A detector, representation, or consequence. A method may reveal Edgeworth's limit theorem, a notation may describe it, and an outcome may follow from it without any of those being identical to the abstraction. Tell: Would the defining relation remain if the present detector, notation, or downstream effect changed?
A metaphorical transfer. A case outside the home domain may resemble the structure while lacking its native role types and standards of warrant. Tell: If only the general organization survives, route the comparison to Convergence rather than treating it as another Edgeworth's limit theorem instance.

References¶

Frozen Wikipedia revision: https://en.wikipedia.org/wiki/Edgeworth%27s_limit_theorem (revision 1292391520).
DOI: https://doi.org/10.2307/2525306
DOI: https://doi.org/10.2307/1913732
Supporting reference preserved in the packet: https://books.google.com/books?id=CElYAAAAcAAJ&dq=Mathematical+psychics&pg=PA1
Supporting reference preserved in the packet: https://www.jstor.org/stable/2525306
Supporting reference preserved in the packet: https://www.jstor.org/stable/1913732

The frozen Wikipedia revision is discovery provenance. The cited source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; URL transport failure alone was not treated as substantive contradiction.