Abstract economy¶

In theoretical economics, an abstract economy (also called a generalized N-person game) is a model that generalizes both the standard model of an exchange economy in microeconomics, and the standard model of a game in game theory.

Version: v1 · 2026-09-28 · History
Domain-specific #: 7830
Domain group: Social Sciences
Origin domain: Economics & Finance
Subdomains: Mathematical Economics, General Equilibrium Theory → Economics & Finance

Core Idea¶

Abstract economy is treated here as the recurring mathematical economics identity summarized by this source-grounded definition: In theoretical economics, an abstract economy (also called a generalized N-person game) is a model that generalizes both the standard model of an exchange economy in microeconomics, and the standard model of a game in game theory.

In theoretical economics, an abstract economy (also called a generalized N-person game) is a model that generalizes both the standard model of an exchange economy in microeconomics, and the standard model of a game in game theory. An equilibrium in an abstract economy generalizes both a Walrasian equilibrium in microeconomics, and a Nash equilibrium in game-theory. The concept was introduced by Gérard Debreu in 1952.

He named it generalized N-person game, and proved the existence of equilibrium in this game. Later, Debreu and Kenneth Arrow (who renamed the concept to abstract economy) used this existence result to prove the existence of a Walrasian equilibrium (aka competitive equilibrium) in the Arrow–Debreu model. Later, Shafer and Sonnenschein extended both theorems to irrational agents - agents with non-transitive and non-complete preferences.

For Abstract economy, the abstraction is narrower than the article's general subject matter: a positive case must preserve In theoretical economics, an abstract economy (also called a generalized N-person game) is a model that generalizes both the standard model of an exchange economy in microeconomics, and the standard model of a game in game theory. Retaining only the name, a familiar example, or a downstream effect is insufficient. The specialist roles and tests remain anchored in mathematical economics, which is why this identity is domain-specific rather than prime.

How would you explain it like I'm…

Market-and-Game World

Grown-ups who study money and games made one big pretend world that works for both trading at a market and playing a game. In that pretend world they look for a resting spot where nobody can do better by changing what they do on their own. They proved that, when the pretend world follows certain rules, such a resting spot really exists.

One Model for Markets and Games

Economists have a math model for a market where people trade goods, and game experts have a math model for games where players pick moves. An abstract economy is a bigger model that includes both as special cases. In it, economists look for an equilibrium - a situation where no one wants to change their choice. A mathematician named Gerard Debreu invented it in 1952 and proved that, under certain conditions, an equilibrium is guaranteed to exist. Later that proof helped show that whole markets can balance out.

Generalized N-Person Game

An abstract economy, also called a generalized N-person game, is a model in theoretical economics that generalizes two standard models at once: the exchange economy of microeconomics and the game of game theory. Its equilibrium concept likewise generalizes both market equilibrium (called Walrasian equilibrium, where prices balance supply and demand) and Nash equilibrium (where no player gains by changing strategy alone). Gerard Debreu introduced it in 1952 and proved that an equilibrium exists. Kenneth Arrow, who gave it the name 'abstract economy', and Debreu then used that result to prove that competitive equilibrium exists in the Arrow-Debreu model. Later, Shafer and Sonnenschein extended the results to agents whose preferences aren't fully consistent.

In mathematical economics, an abstract economy (or generalized N-person game) is a model that contains both the exchange economy and the N-person game as special cases. Its key structural feature is that what each agent may choose is not fixed in advance but can depend on the choices of the others, which lets market budget constraints and strategic interaction live in one framework. An equilibrium of an abstract economy generalizes both a Walrasian (competitive) equilibrium and a Nash equilibrium. Gerard Debreu introduced the concept in 1952 as the generalized N-person game and proved existence of equilibrium. Arrow and Debreu, with Arrow renaming it the abstract economy, then used this existence theorem to establish existence of Walrasian equilibrium in the Arrow-Debreu model. Shafer and Sonnenschein later extended both theorems to agents with non-transitive and non-complete preferences, i.e. beyond standard rationality assumptions.

Structural Signature¶

Sig role-phrases:

Defining carrier — A preference relation \prec_i that can be equivalently represented by a preference-correspondence P_i: Y_i \twoheadrightarrow Y_i , that depends only on the consumed bundle: P_i(y_i) := {z_i\in Y_i|z_i \succ_i y_i}.
Constitutive relation — Note that the utility of a consumer depends only on his own consumption, rather than on the entire allocation.
Operating condition — Given an (N-1)-agent exchange economy, we define an N-agent abstract economy by adding a special agent called the market maker or market player.
Recognition evidence — Each of the first N-1 agents has choice set X_i = Y_i , utility function U_i = V_i , and action set defined by his budget: A_i(y,p) = {y_i\in Y_i | p y_i\leq p w_i}.
Admissible variation — The market player has a choice set X_N := \Delta (the set of possible price-vectors), utility function U_N(y,p) := p\cdot(\sum y_i - \sum w_i) , and action set defined by A_N(y,p)\equiv \Delta.
Characteristic consequence — In the proof we assumed that V_i depends only on y_i , but this assumption is not really needed: the proof remains valid even if the utility depends on the consumptions of other agents (externalities), or on the prices.
Failure boundary — However, the generalized model does not require that the preference-correspondence can be represented by a utility function.

What It Is Not¶

Not the whole field of mathematical economics. The node requires the specific identity stated by In theoretical economics, an abstract economy (also called a generalized N-person game) is a model that generalizes both the standard model of an exchange economy in microeconomics, and the standard model of a game in game theory.
Not an over-broad reading. However, the generalized model does not require that the preference-correspondence can be represented by a utility function.
Not an over-broad reading. Note that the utility of a consumer depends only on his own consumption, rather than on the entire allocation.
Not an over-broad reading. For every agent i, y_i is not a local (unconstrained) maximum of V_i.
Not automatically Intertemporal Equilibrium. Retrieval proximity does not establish equivalence; the two identities must be compared by carrier, operation, and failure boundary.

Scope of Application¶

Abstract economy applies literally inside mathematical economics wherever the source-defined carrier and relation can be established. Its documented habitats include:

Abstract economy with utility functionsThe general case. A utility function: U_i: X\to \mathbb{R} , representing the utility that the agent receives from each combination of choices.
Equilibrium. Each utility function U_i is continuous in x and quasi-concave in x_i.
Equilibrium. The continuity conditions on the utility functions can be weakened as follows.
Equilibrium. Each utility function U_i is quasi-concave in x_i , upper semi-continuous in x , and graph continuous.
Equilibrium. Each utility function U_i is quasi-concave in x_i , upper semi-continuous in x , and the function W_i(x_{-i}) := \max_{x_i}U_i(x_i,x_{-i}) [which is defined since U_i is upper semi-continuous] is lower semi-continuous.
Equilibrium. For each agent i , the consumption y_i maximizes the function V_i(\cdot) subject to the constraint p\cdot y_i \leq p\cdot w_i.

Outside mathematical economics, the name should be retained only when these same operational conditions survive; otherwise the comparison belongs to the broader parent Theory or should be marked as analogy.

Clarity¶

A clear use of Abstract economy names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is In theoretical economics, an abstract economy (also called a generalized N-person game) is a model that generalizes both the standard model of an exchange economy in microeconomics, and the standard model of a game in game theory. The strongest recognition evidence in the frozen account is: Each of the first N-1 agents has choice set X_i = Y_i , utility function U_i = V_i , and action set defined by his budget: A_i(y,p) = {y_i\in Y_i | p y_i\leq p w_i}. A report should distinguish that evidence from a proxy, consequence, or common implementation. It should also state the qualification However, the generalized model does not require that the preference-correspondence can be represented by a utility function. so that a reader can reproduce the classification rather than infer it from topical resemblance.

Manages Complexity¶

Abstract economy compresses multiple mathematical economics details into a stable diagnostic relation. The source shows both the central mechanism—note that the utility of a consumer depends only on his own consumption, rather than on the entire allocation.—and the practical consequence—in the proof we assumed that V_i depends only on y_i , but this assumption is not really needed: the proof remains valid even if the utility depends on the consumptions of other agents (externalities), or on the prices. This compression makes cases comparable while leaving parameters, conventions, exceptions, and evidential quality explicit. It is lossy by design: local history and implementation details may be omitted only when they do not alter the defining relation.

Abstract Reasoning¶

Type the carrier. Identify the mathematical economics entities to which the claim applies.
State the relation. Use the source-grounded identity: In theoretical economics, an abstract economy (also called a generalized N-person game) is a model that generalizes both the standard model of an exchange economy in microeconomics, and the standard model of a game in game theory.
Check operation and conditions. Given an (N-1)-agent exchange economy, we define an N-agent abstract economy by adding a special agent called the market maker or market player.
Demand recognition evidence. Each of the first N-1 agents has choice set X_i = Y_i , utility function U_i = V_i , and action set defined by his budget: A_i(y,p) = {y_i\in Y_i | p y_i\leq p w_i}.
Test variation. Change an implementation or setting while preserving the market player has a choice set X_N := \Delta (the set of possible price-vectors), utility function U_N(y,p) := p\cdot(\sum y_i - \sum w_i) , and action set defined by A_N(y,p)\equiv \Delta.
Run the collapse test. Remove the defining operation; if the label still seems equally apt, only a topic or correlate was retained.
Reduce cautiously. When the specialist conditions cannot be carried, route the residual comparison to Theory.

Knowledge Transfer¶

Within the home domain. Knowledge about Abstract economy transfers literally when a new case preserves the same carrier type, relation, and recognition test. A utility function: U_i: X\to \mathbb{R} , representing the utility that the agent receives from each combination of choices. Each utility function U_i is continuous in x and quasi-concave in x_i.

Beyond the home domain. No canonical parent is asserted for Abstract economy. An outside case receives the specialist name only when the same typed roles and rejection conditions can be filled literally; otherwise the comparison remains an analogy pending later graph densification.

Examples¶

Canonical¶

For example, it is sufficient to assume that all agents are not satiated. This case is canonical because it supplies a concrete carrier and lets the defining relation be checked rather than merely named.

Mapped back: carrier → the entities in the documented case; operation → In theoretical economics, an abstract economy (also called a generalized N-person game) is a model that generalizes both the standard model of an exchange economy in microeconomics, and the standard model of a game in game theory; recognition evidence → Each of the first N-1 agents has choice set X_i = Y_i , utility function U_i = V_i , and action set defined by his budget: A_i(y,p) = {y_i\in Y_i | p y_i\leq p w_i}

Applied / In Practice¶

The model of Debreu is a special case of this model, in which the preference correspondences are defined based on utility functions: P_i(x) := {z_i\in X_i: U_i(z_i, x_{-i}) > U_i(x_i, x_{-i})}. The applied case shows how the identity is used under a second setting or qualification while keeping the same operative relation.

Mapped back: changed setting → Reduction to abstract economy; invariant → In theoretical economics, an abstract economy (also called a generalized N-person game) is a model that generalizes both the standard model of an exchange economy in microeconomics, and the standard model of a game in game theory; boundary → the case exits the class when however, the generalized model does not require that the preference-correspondence can be represented by a utility function

Structural Tensions¶

T1 — Stable identity versus admissible variation. However, the generalized model does not require that the preference-correspondence can be represented by a utility function. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Which changes preserve the defining relation, and which replace it?

T2 — Recognition versus proxy. Note that the utility of a consumer depends only on his own consumption, rather than on the entire allocation. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Does the cited evidence establish the identity or only a correlated sign?

T3 — Definition versus implementation. For every agent i, y_i is not a local (unconstrained) maximum of V_i. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Is the observed implementation constitutive, optional, or merely common?

T4 — Scope versus overextension. For example, it is sufficient to assume that all agents are not satiated. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Can every claimed application fill the same typed roles without metaphor?

T5 — Transfer versus domain accent. A preference relation \prec_i that can be equivalently represented by a preference-correspondence P_i: Y_i \twoheadrightarrow Y_i , that depends only on the consumed bundle: P_i(y_i) := {z_i\in Y_i|z_i \succ_i y_i}. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Does the receiving case instantiate Abstract economy literally, co-instantiate Theory, or only resemble it?

T6 — Autonomy versus reduction. Note that the utility of a consumer depends only on his own consumption, rather than on the entire allocation. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: What does Abstract economy distinguish that the broader parent Theory leaves together?

Structural–Framed Character¶

Abstract economy is structural-leaning. Its structural side is the repeatable organization summarized by In theoretical economics, an abstract economy (also called a generalized N-person game) is a model that generalizes both the standard model of an exchange economy in microeconomics, and the standard model of a game in game theory. Its framed side is the mathematical economics vocabulary that fixes the carrier, evidence, exceptions, and admissible transformations.

Evaluative weight: the identity can be stated descriptively even when applications carry practical stakes. Human-practice dependence: the source-grounded carrier determines whether the relation exists independently or is constituted by a practice. Institutional origin: disciplinary conventions stabilize the name and test. Vocabulary portability: Given an (N-1)-agent exchange economy, we define an N-agent abstract economy by adding a special agent called the market maker or market player. Import versus recognition: literal transfer requires the same mechanism; shape alone is analogy.

Its portable skeleton is Theory. Its character: a recurring specialist identity whose thin organization can be abstracted, while its operational meaning remains domain-bound.

Structural Core vs. Domain Accent¶

What is skeletal. In theoretical economics, an abstract economy (also called a generalized N-person game) is a model that generalizes both the standard model of an exchange economy in microeconomics, and the standard model of a game in game theory. The stable skeleton is the typed relation expressed in that definition and the entry's recognition and collapse tests. The source identifies these operative conditions: A preference relation \preci that can be equivalently represented by a preference-correspondence Pi: Yi \twoheadrightarrow Yi , that depends only on the consumed bundle: Pi(yi) := {zi\in Yi|zi \succi yi}. Note that the utility of a consumer depends only on his own consumption, rather than on the entire allocation. It further constrains recognition and variation through: Given an (N-1)-agent exchange economy, we define an N-agent abstract economy by adding a special agent called the market maker or market player. Each of the first N-1 agents has choice set Xi = Yi , utility function Ui = Vi , and action set defined by his budget: Ai(y,p) = {yi\in Yi | p yi\leq p wi}.

What is domain-bound. mathematical economics supplies the operative entities, technical vocabulary, warrants, and exceptions that make Abstract economy literal. Its documented scope includes the condition that A utility function: Ui: X\to \mathbb{R} , representing the utility that the agent receives from each combination of choices. Another bounded application condition is that Each utility function Ui is continuous in x and quasi-concave in xi. These are not decorative examples; they determine which carrier and evidence can fill the abstraction's roles.

Why no parent is asserted. Removing those specialist details does not currently yield one live catalog node that is a necessary genus for every instance. The entry is therefore approved as unparented rather than attached by topical resemblance. Its collapse evidence remains specific—The market player has a choice set XN := \Delta (the set of possible price-vectors), utility function UN(y,p) := p\cdot(\sum yi - \sum wi) , and action set defined by AN(y,p)\equiv \Delta.—and future graph densification may discover a defensible relation only if it preserves that boundary.

Approved unparented node. No current live node supplies a defensible necessary genus or structural prerequisite for Abstract economy. The reviewed identity is: In theoretical economics, an abstract economy (also called a generalized N-person game) is a model that generalizes both the standard model of an exchange economy in microeconomics, and the standard model of a game in game theory. The accelerated suggestion was declined because topical or lexical similarity does not establish hierarchy; the node is admitted without a parent pending later graph densification.
Related reasoning operations. Evidence, representation, comparison, classification, transformation, or evaluation may participate in particular cases, but participation does not make any one of them a necessary parent of every instance.

Neighborhood in Abstraction Space¶

Abstract economy sits in a crowded region of the domain-specific corpus (38^th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Market Structure & Competition Models (7 abstractions)

Nearest neighbors

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

Not to Be Confused With¶

Theory. The parent omits the specialist differentia. Tell: Can the case establish In theoretical economics, an abstract economy (also called a generalized N-person game) is a model that generalizes both the standard model of an exchange economy in microeconomics, and the standard model of a game in game theory?
Intertemporal Equilibrium. A mutually compatible system of dated prices, expectations, resource constraints, and agent plans in which time-spanning choices are individually optimal and jointly feasible in every modeled period or date-state. Tell: Which entry's carrier, operation, and failure condition are satisfied?
Virtual Economy. Organize production, scarcity, ownership-like control, currency, and exchange inside a persistent computational world whose operator can rewrite the rules and whose assets may connect to external money and institutions. Tell: Which entry's carrier, operation, and failure condition are satisfied?
Applied general equilibrium. Numerical economy-wide modeling that calibrates interdependent markets, agents, technologies and policy constraints to compute counterfactual equilibrium prices, production, income and welfare. Tell: Which entry's carrier, operation, and failure condition are satisfied?
A measurement, proxy, or consequence. Those may provide evidence without being the identity. Tell: Would Abstract economy remain present if the detector or downstream effect changed?
A metaphorical analogue. A similar shape outside mathematical economics lacks the specialist mechanism. Tell: Do the native roles transfer literally, or only the parent Theory?

References¶

Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Abstract_economy (revision 1358496704).
Preserved source candidate: http://www.kellogg.northwestern.edu/research/math/papers/94.pdf

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.