{{Orphan|date=June 2018}}

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.<ref name=":0">{{Cite journal|last=Debreu|first=Gerard|date=1952-10-01|title=A Social Equilibrium Existence Theorem|journal=Proceedings of the National Academy of Sciences|language=en|volume=38|issue=10|pages=886–893|doi=10.1073/pnas.38.10.886|issn=0027-8424|pmid=16589195|pmc=1063675|bibcode=1952PNAS...38..886D|doi-access=free}}</ref> 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.<ref name=":1">{{Cite journal|last1=Arrow|first1=Kenneth J.|last2=Debreu|first2=Gerard|date=1954|title=Existence of an Equilibrium for a Competitive Economy|jstor=1907353|journal=Econometrica|volume=22|issue=3|pages=265–290|doi=10.2307/1907353}}</ref> Later, Shafer and Sonnenschein extended both theorems to irrational agents - agents with non-transitive and non-complete preferences.<ref name=":2">{{Cite journal|date=1975-12-01|title=Equilibrium in abstract economies without ordered preferences|journal=Journal of Mathematical Economics|volume=2|issue=3|pages=345–348|doi=10.1016/0304-4068(75)90002-6|issn=0304-4068|last1=Shafer|first1=Wayne|last2=Sonnenschein|first2=Hugo|url=http://www.kellogg.northwestern.edu/research/math/papers/94.pdf|hdl=10419/220454|hdl-access=free}}</ref>

== Abstract economy with utility functions ==

=== The general case ===

==== Definition ==== In the model of Debreu,<ref name=":0" /> an abstract economy contains a finite number N of ''agents''. For each agent <math>i</math>, there is: * A ''choice-set'' <math>X_i</math> (a subset of some Euclidean space <math>\mathbb{R}^l</math>). This represents the global set of choices that the agent can make. ** We define the cartesian product of all choice sets as: <math>X := \prod_{j=1}^N X_j</math>. * An action-correspondence <math>A_i: X \twoheadrightarrow X_i</math>. This represents the set of possible actions the agent can take, given the choices of the other agents. * A utility function: <math>U_i: X\to \mathbb{R}</math>, representing the utility that the agent receives from each combination of choices. The goal of each agent is to choose an action that maximizes his utility.

==== Equilibrium ==== An ''equilibrium'' in an abstract economy is a vector of choices, <math>x=(x_1,\ldots,x_N) = (x_i,x_{-i})</math>, such that, for each agent <math>i</math>, the action <math>x_i</math> maximizes the function <math>U_i(\cdot, x_{-i})</math> subject to the constraint <math>x_i \in A_i(x)</math>:<blockquote><math>U_i(x_i, x_{-i}) = \max_{x_i'\in A_i(x)} U_i(x_i',x_{-i})</math></blockquote>Equivalently, for each agent <math>i</math>, there is ''no'' action <math>x_i'\in A_i(x)</math> such that: <blockquote><math>U_i(x_i', x_{-i}) > U_i(x_i, x_{-i})</math> </blockquote>The following conditions are sufficient for the existence of equilibrium:<ref name=":0" /><ref>{{Cite journal|last=Glicksberg|first=I. L.|date=1952-02-01|title=A Further Generalization of the Kakutani Fixed Point Theorem, with Application to Nash Equilibrium Points|journal=Proceedings of the American Mathematical Society|volume=3|issue=1|pages=170–174|doi=10.2307/2032478|issn=0002-9939|jstor=2032478}}</ref><ref>{{Cite journal|last=Fan|first=K.|date=1952-02-01|title=Fixed-point and Minimax Theorems in Locally Convex Topological Linear Spaces|journal=Proceedings of the National Academy of Sciences|volume=38|issue=2|pages=121–126|doi=10.1073/pnas.38.2.121|issn=0027-8424|pmid=16589065|pmc=1063516|bibcode=1952PNAS...38..121F|doi-access=free}}</ref>

* Each choice-set <math>X_i</math> is compact, non-empty and convex. * Each action-correspondence <math>A_i</math> is continuous, and its values are non-empty and convex. * Each utility function <math>U_i</math> is continuous in <math>x</math> and quasi-concave in <math>x_i</math>.

The continuity conditions on the utility functions can be weakened as follows:<ref name=":3">{{Cite journal|last1=Dasgupta|first1=Partha|last2=Maskin|first2=Eric|date=1986-01-01|title=The Existence of Equilibrium in Discontinuous Economic Games, I: Theory|journal=The Review of Economic Studies|volume=53|issue=1|pages=1–26|doi=10.2307/2297588|issn=0034-6527|jstor=2297588}}</ref>{{Rp|Thm.2}}

*Each utility function <math>U_i</math> is quasi-concave in <math>x_i</math>, '''upper semi-continuous''' in <math>x</math>, and '''graph continuous'''.

Another weakening, which does not use graph-continuity, is:<ref name=":3" />

* Each utility function <math>U_i</math> is quasi-concave in <math>x_i</math>, upper semi-continuous in <math>x</math>, and the function <math>W_i(x_{-i}) := \max_{x_i}U_i(x_i,x_{-i})</math> [which is defined since <math>U_i</math> is upper semi-continuous] is '''lower semi-continuous'''.

The proofs use the Kakutani fixed point theorem.

=== Exchange economy as a special case ===

==== Definition ==== An ''exchange economy'' is a system with N-1 consumers and <math>l</math> homogeneous divisible goods. For each consumer i, there is: * A consumption-set <math>Y_i</math> (a subset of <math>\mathbb{R}^l</math>). This represents the set of bundles that the agent can consume. ** We define the cartesian product of all consumption sets as: <math>Y := \prod_{j=1}^N Y_j</math>. * An initial endowment vector <math>w_i\in \mathbb{R}^l_+.</math> * A utility function <math>V_i: Y_i\to \mathbb{R}</math>. This represents the preferences of the agent. Note that the utility of a consumer depends only on his own consumption, rather than on the entire allocation. Define the set of possible ''price-vectors'' as: <math>\Delta := \{p\in \mathbb{R}^l_+| \sum_{i=1}^l p_i = 1\}</math>.

==== Equilibrium ==== A ''Walrasian equilibrium'' (aka ''competitive equilibrium'') in an exchange economy is a vector of consumption-bundles and a price-vector, <math>(y_1,\ldots,y_{N-1},p)</math>, such that:

* The total consumption is at most the total endowment: <math>\sum y_i \leq \sum w_i</math>. * The total expense of each agent is at most his budget: <math>p\cdot y_i \leq p\cdot w_i</math>. * For each agent <math>i</math>, the consumption <math>y_i</math> maximizes the function <math>V_i(\cdot)</math> subject to the constraint <math>p\cdot y_i \leq p\cdot w_i</math>. I.e, if <math>V_i(z) > V_i(y_i)</math>, then <math>p\cdot z > p\cdot w_i \geq p\cdot y_i</math>.

==== Reduction to abstract economy ==== Arrow and Debreu<ref name=":1" /> presented the following reduction from exchange economy to abstract economy.

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''. The "consumption" of this special player is denoted by ''p''. The components of the abstract economy are defined as follows: * Each of the first ''N''-1 agents has choice set <math>X_i = Y_i</math>, utility function <math>U_i = V_i</math>, and action set defined by his budget: <math>A_i(y,p) = \{y_i\in Y_i | p y_i\leq p w_i\}</math>. * The market player has a choice set <math>X_N := \Delta</math>(the set of possible price-vectors), utility function <math>U_N(y,p) := p\cdot(\sum y_i - \sum w_i)</math>, and action set defined by <math>A_N(y,p)\equiv \Delta</math>.

Intuitively, the market player chooses the price in a way that balances supply and demand: for commodities with more supply than demand, the right-hand term in <math>U_N(y,p)</math> is negative so the market player chooses a low price; for commodities with more demand than supply, the term is positive so the market player chooses a high price.

The following conditions in the exchange economy are sufficient to guarantee that the abstract economy satisfies the conditions for equilibrium:

* Each consumption-set <math>Y_i</math> is compact and convex, and contains the endowment <math>w_i</math> in its interior. * Each utility function <math>V_i</math> is continuous and quasi-concave. Moreover, the following additional condition is sufficient to guarantee that the equilibrium <math>y</math> in the abstract economy corresponds to a competitive equilibrium in the exchange economy: * For every agent i, <math>y_i</math> is not a local (unconstrained) maximum of <math>V_i</math>. For example, it is sufficient to assume that all agents are not satiated. The definition <math>A_i(y,p) = \{y_i\in Y_i | p y_i\leq p w_i\}</math> guarantees that the total expense of each agent is at most his budget. The definition <math>U_i = V_i</math> guarantees that the consumption of each agent maximizes his utility given the budget. And the definition <math>U_N(y,p) := p\cdot(\sum y_i - \sum w_i)</math> guarantees that the total consumption equals the total endowment.

Therefore, if the exchange economy satisfies the above three conditions, a competitive equilibrium exists.

In the proof we assumed that <math>V_i</math> depends only on <math>y_i</math>, 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.

== Abstract economy with preference correspondences ==

=== The general case ===

==== Definition ==== In the generalized model of Shafer and Sonnenschein,<ref name=":2" /> For each agent <math>i</math> there is: * A choice-set <math>X_i</math> - as above; * A constraint correspondence <math>A_i: X \twoheadrightarrow X_i</math> - as above; * A ''preference correspondence'' <math>P_i: X \twoheadrightarrow X_i</math>. This represents, for each combination of choices of the other agents, what choices the agent strictly prefers to his current choice.

The model of Debreu is a special case of this model, in which the preference correspondences are defined based on utility functions: <math>P_i(x) := \{z_i\in X_i: U_i(z_i, x_{-i}) > U_i(x_i, x_{-i})\}</math>. However, the generalized model does not require that the preference-correspondence can be represented by a utility function. In particular, it does not have to correspond to a transitive relation.

==== Equilibrium ==== An ''equilibrium'' in a generalized abstract economy is a vector of choices, <math>x=(x_1,\ldots,x_N) = (x_i,x_{-i})</math>, such that, for each agent <math>i</math>, <math>x_i\in A_i(x)</math> and <math> P_i(x)\cap A_i(x) = \emptyset</math>. The equilibrium concept of Debreu is a special case of this equilibrium.

The following conditions are sufficient for the existence of equilibrium in the generalized abstract economy:<ref name=":2" /> * (a) Each choice-set <math>X_i</math> is compact, non-empty and convex. * (b') Each action-correspondence <math>A_i</math> is continuous. * (b<nowiki>''</nowiki>) The values <math>A_i(x)</math> are non-empty and convex for every x. * (c') Each preference-correspondence <math>P_i</math> has an open graph in <math>X\times X_i</math> (this is a form of continuity condition). * (c<nowiki>''</nowiki>) For each <math>x\in X</math>, the convex hull of <math>P_i(x) </math> does not contain <math>x_i</math> (this is a form of non-reflexivity condition: an agent does not strictly prefer a choice to itself).

=== Exchange economy as a special case ===

==== Definition ==== Mas-Colell generalized the definition of exchange economy in the following way.<ref>{{Cite journal|last=Mas-Collel|first=Andrew|date=1974-12-01|title=An equilibrium existence theorem without complete or transitive preferences|journal=Journal of Mathematical Economics|volume=1|issue=3|pages=237–246|doi=10.1016/0304-4068(74)90015-9|issn=0304-4068}}</ref> For every consumer i, there is: * A consumption-set <math>Y_i</math> - as above; * An initial endowment vector <math>w_i\in \mathbb{R}^l_+</math> - as above; * A preference relation <math>\prec_i</math> that can be equivalently represented by a preference-correspondence <math>P_i: Y_i \twoheadrightarrow Y_i</math>, that depends only on the consumed bundle: <math>P_i(y_i) := \{z_i\in Y_i|z_i \succ_i y_i\}</math>. Note the preference relation is ''not'' required to be complete or transitive.

==== Equilibrium ==== A ''competitive equilibrium'' in such exchange economy is defined by a price-vector '''''p''''' and an allocation '''''y''''' such that: * The sum of all prices is 1; * The sum of all allocations <math>y_i</math> is ''at most'' the sum of endowments <math>w_i</math>; * For every i: <math>p\cdot y_i = p\cdot w_i</math>; * For every bundle z: if <math>z\succ_i y_i</math> then <math>p\cdot z > p\cdot y_i</math> (i.e., if the agent strictly prefers z to his share, then the agent cannot afford z).

==== Reduction to abstract economy ==== The "market maker" reduction shown above, from the exchange economy of Arrow-Debreu to the abstract economy of Debreu, can be done from the generalized exchange economy of Mas-Collel to the generalized abstract economy of Shafer-Sonnenschein. This reduction implies that the following conditions are sufficient for existence of competitive equilibrium in the generalized exchange economy: * Each <math>\prec_i</math> is relatively-open (equivalently, each <math>P_i</math> has an open graph); * For every bundle ''x'', the set <math>P_i(x)</math> is convex and does not contain x (= irreflexivity). Mas-Collel added the condition that the set <math>P_i(x)</math> is non-empty (= non-saturation). * For every i: <math>w_i \gg x_i</math> for some bundle x (this means that the initial endowment is in the interior of the choice-sets).

==== A negative example ==== The following example shows that, when the open graph property does not hold, equilibrium may fail to exist.

There is an economy with two goods, say apples and bananas. There are two agents with identical endowments (1,1). They have identical preferences, based on lexicographic ordering: for every vector <math>y_i = (a_i,b_i)</math> of <math>a_i</math> apples and <math>b_i</math> bananas, the set <math>P_i(a_i,b_i) := \{ (a_i',b_i') | (a_i' > a_i) ~or~ (a_i' = a_i ~and~ b_i' > b_i) \}</math>, i.e., each agent wants as many apples as possible, and subject to that, as many bananas as possible. Note that <math>P_i(a_i,b_i)</math> represents a complete and transitive relation, but it does not have an open graph.

This economy does not have an equilibrium. Suppose by contradiction that an equilibrium exists. Then the allocation of each agent must be lexicographically at least (1,1). But this means that the allocations of both agents must be exactly (1,1). Now there are two cases: if the price of bananas is 0, then both agents can afford the bundle (1,2) which is strictly better than their allocation. If the price of bananas is some ''p'' > 0 (where the price of apples is normalized to 1), then both agents can afford the bundle (1+''p'', 0), which is strictly better than their allocation. In both cases it cannot be an equilibrium price.

== Welfare theorems in abstract economies == Fon and Otani<ref name=":4">{{Cite journal|last=Vincy Fon and Yoshihiko Otani|date=1979-06-01|title=Classical welfare theorems with non-transitive and non-complete preferences|journal=Journal of Economic Theory|volume=20|issue=3|pages=409–418|doi=10.1016/0022-0531(79)90044-9|issn=0022-0531}}</ref> study extensions of welfare theorems to the generalized exchange economy of Mas-Collel. They make the following assumptions:

* Each consumption-set <math>Y_i</math> is non-empty, convex, closed, and bounded below. * The preference correspondence is non-empty: <math>P_i(y_i)\neq \emptyset</math> (this is a non-saturation condition).

A ''competitive equilibrium'' is a price-vector '''''<math>\mathbf{p}</math>''''' and an allocation '''''<math>\mathbf{y}</math>''''' such that: * Feasibility: the sum of all allocations <math>y_i</math> equals the sum of endowments <math>w_i</math> (there is no free disposal); * Budget: for every i, <math>p\cdot y_i \leq p\cdot w_i</math>; * Preference: For every ''i'', <math> P_i(y_i)\cap B_i(p, w_i) = \emptyset</math>, where <math> B_i(p, w_i)</math> is the budget-set of ''i''. In other words, for every bundle <math>z\in Y_i</math>: if <math>z\succ_i y_i</math> then <math>p\cdot z > p\cdot y_i</math> (if the agent strictly prefers z to his share, then the agent cannot afford z). A ''compensated equilibrium'' has the same feasibility and budget conditions, but instead of the preference condition, it satisfies:

* Compensated Preference: For every ''i'' and for every bundle <math>z\in Y_i</math>: if <math>z\succ_i y_i</math> then <math>p\cdot z \geq p\cdot y_i</math>.

A ''Pareto-optimal'' allocation is, as usual, an allocation without a Pareto-improvement. A ''Pareto-improvement'' of an allocation <math>\mathbf{y}</math> is defined as another allocation <math>\mathbf{y'}</math> that is strictly better for a subset <math>J</math> of the agents, and remains the same allocation for all other agents. That is:

* <math>\sum_{i\in J} y'_i = \sum_{i\in J} y_i.</math> * <math>y'_i \in P_i(y_i)</math> for all <math>i\in J</math>. Note that this definition is weaker than the usual definition of Pareto-optimality (the usual definition does not require that the bundles of other agents remain the same - only that their utility remains the same).

Fon and Otani prove the following theorems.

* Every competitive equilibrium is Pareto-optimal.<ref name=":4" />{{Rp|page=Prop.1}} *Under certain conditions on the preferences, for every Pareto-optimal allocation, there exists a price-vector with which it is a compensated equilibrium.<ref name=":4" />{{Rp|page=Prop.2,5,6}} * *

== See also == A further generalization of these equilibrium concepts for a general model without ordered preferences can be found in Barabolla (1985).<ref>{{Cite journal|date=1985-01-01|title=Equilibrium and quasi-equilibrium existence theorems for a general model without ordered preferences|journal=Economics Letters|volume=19|issue=3|pages=205–210|doi=10.1016/0165-1765(85)90022-9|issn=0165-1765|last1=Barbolla|first1=Rosa}}</ref>

== References == <references />

Category:Market (economics) Category:Game theory equilibrium concepts Category:General equilibrium theory Category:Economics models