애로-드브뢰 모형

수리경제학에서 **애로-드브뢰 모형**()은 이론적인 일반균형 모형이다. 이 모형은 특정 경제적 가정(볼록 선호, 완전 경쟁, 수요 독립성) 하에, 경제의 모든 상품에 대해 총공급이 총수요와 같아지는 가격 집합이 존재해야 한다고 가정한다.

이 모형은 일반 (경제) 균형 이론의 중심이며, 다른 미시경제학 모형의 일반적인 참조로 사용된다. 이 모형은 케네스 애로, 제라르 드브뢰가 1954년에 제안했으며, 라이오넬 W. 맥켄지도 1954년에 독립적으로 제안했고, 1959년에 추가 개선이 이루어졌다.

A-D 모형은 경쟁 경제의 가장 일반적인 모형 중 하나이며, 경제의 일반균형 (또는 발라스 균형)의 존재를 증명하는 데 사용될 수 있으므로 일반균형이론의 중요한 부분이다. 일반적으로 많은 균형이 존재할 수 있다.

애로(1972)와 드브뢰(1983)는 모형 개발로 각각 노벨 경제학상을 수상했다. 그러나 맥켄지는 수상하지 못했다.

## 공식적인 진술

이 섹션은에 제시된 내용을 따르며, 이는에 기반한다.

### 애로-드브뢰 모형의 직관적 설명
애로-드브뢰 모형은 경제를 가계, 생산자, 시장의 세 가지 종류의 행위자 조합으로 모델링한다. 가계와 생산자는 시장과 거래하지만 서로 직접 거래하지는 않는다.

가계는 원래 가지고 있던 상품 묶음인 부존자원(endowments)을 소유하는데, 이를 "유산"으로 생각할 수 있다. 수학적 명확성을 위해 모든 가계는 처음에 모든 부존자원을 시장에 팔아야 한다. 만약 일부 부존자원을 유지하고 싶다면, 나중에 시장에서 다시 구매해야 한다. 부존자원은 노동 시간, 토지 이용, 옥수수 톤 등일 수 있다.

가계는 생산자에 대한 비례적인 소유권을 가지는데, 이는 주식회사로 생각할 수 있다. 생산자 j가 얻은 이윤은 각 가계가 생산자 j에 대해 소유하고 있는 주식의 비율에 따라 가계에 분배된다. 소유권은 초기부터 부과되며, 가계는 이를 판매하거나 구매하거나 생성하거나 폐기할 수 없다.

가계는 부존자원 판매 수입과 생산자 이윤으로부터의 배당을 통해 예산을 받는다. 가계는 상품 묶음에 대한 선호를 가지며, 주어진 가정 하에 이는 가계를 효용 극대화자로 만든다. 가계는 예산을 사용하여 감당할 수 있는 가장 높은 효용을 가진 소비 계획을 선택한다.

생산자는 상품 묶음을 다른 상품 묶음으로 변환할 수 있다. 생산자는 별도의 효용 함수를 가지지 않는다. 대신, 그들은 모두 순전히 이윤 극대화자이다.

시장은 시장 가격 벡터를 "선택"할 수 있을 뿐이며, 이는 각 상품의 가격 목록으로, 모든 생산자와 가계가 이를 수용한다 (협상 행동은 없다—모든 생산자와 가계는 가격수용자이다). 시장은 효용이나 이윤을 가지지 않는다. 대신, 시장은 각 가계와 생산자가 자신의 효용과 이윤을 극대화하더라도, 그들의 소비 및 생산 계획이 "조화를 이루도록" 시장 가격 벡터를 선택하는 것을 목표로 한다. 즉, "시장이 청산된다". 다시 말해, 시장은 "발라스 경매인"의 역할을 수행한다.

### 표기법 설정
일반적으로 우리는 행위자의 지수를 위첨자로 쓰고 벡터 좌표 지수를 아래첨자로 쓴다.

#### 실수 벡터에 유용한 표기법
* x \succeq y (만약 \forall n, x_n \geq y_n).
* \R^N_+는 x \succeq 0인 x의 집합이다.
* \R_{++}^N는 x \succ 0인 x의 집합이다.
* \Delta_N = \left\{x\in \R^N: x_1, ..., x_N \geq 0, \sum_{n\in 1:N} x_n = 1\right\}는 N-단체이다. 우리는 때때로 가격 벡터를 여기에 놓도록 스케일링하기 때문에 이를 **가격 단체**라고 부른다.

#### 시장
* **상품**은 n\in 1:N으로 색인된다. 여기서 N은 경제 내 상품의 수이다. 이는 유한한 수이다.
* **가격 벡터** p = (p_1, ..., p_N) \in \R_{++}^N는 길이 N의 벡터이며, 각 좌표는 상품의 가격이다. 가격은 0 또는 양수일 수 있다.

#### 가계
* **가계**는 i\in I로 색인된다.
* 각 가계는 상품의 **부존자원** r^i\in \R^N_+을 가지고 시작한다.
* 각 가계는 생산자에 대한 **소유권** \alpha^{i,j} \geq 0의 튜플을 가지고 시작한다. 소유권은 \sum_{i\in I} \alpha^{i,j} = 1 \quad \forall j\in J 를 만족한다.
* 가계가 받는 예산은 시장 가격으로 부존자원을 판매하여 얻는 수입과 생산자 소유권으로부터의 이윤의 합이다.
M^i(p) = \langle p, r^i\rangle + \sum_{j\in J}\alpha^{i,j}\Pi^j(p)
(M은 돈을 의미한다)
* 각 가계는 **소비 가능 집합** CPS^i\subset \R_+^N을 가진다.
* 각 가계는 CPS^i에 대한 **선호 관계** \succeq^i를 가진다.
* \succeq^i에 대한 가정(다음 섹션에서 제시)에 따라, 각 선호 관계는 드브뢰 정리에 의해 **효용 함수** u^i: CPS^i \to [0, 1]로 표현 가능하다. 따라서 선호도를 극대화하는 대신, 가계가 효용을 극대화한다고 동등하게 진술할 수 있다.
* **소비 계획**은 CPS^i의 벡터이며, x^i로 표기된다.
* U_+^i(x^i)는 x^i만큼 또는 그 이상으로 선호되는 소비 계획의 집합이다.
* **예산 집합**은 감당할 수 있는 소비 계획의 집합이다.
B^i(p) = \{x^i \in CPS^i : \langle p, x^i \rangle \leq M^i(p)\}
* 각 가격 벡터 p에 대해 가계는 상품에 대한 **수요** 벡터 D^i(p)\in \R_+^N를 가진다. 이 함수는 제약 극대화 문제의 해로 정의된다. 이는 경제와 초기 분포 모두에 의존한다.
D^i(p) := \arg\max_{x^i \in B^i(p)} u^i(x^i)
이는 모든 p \in \R^N_{++}에 대해 잘 정의되지 않을 수 있다. 그러나 균형 가격 벡터에서 잘 정의되도록 충분한 가정을 사용할 것이다.

#### 생산자
* 생산자는 j\in J로 색인된다.
* 각 생산자는 **생산 가능 집합** PPS^j를 가진다. 공급 벡터는 양수 및 음수 좌표를 모두 가질 수 있다. 예를 들어, (-1, 1, 0)은 상품 1을 1단위 사용하여 상품 2를 1단위 생산하는 생산 계획을 나타낸다.
* **생산 계획**은 PPS^j의 벡터이며, y^j로 표기된다.
* 각 가격 벡터 p에 대해 생산자는 상품에 대한 **공급** 벡터 S^j(p)\in \R^N를 가진다. 이 함수는 제약 극대화 문제의 해로 정의된다. 이는 경제와 초기 분포 모두에 의존한다.
S^j(p) := \arg\max_{y^j\in PPS^j} \langle p, y^j\rangle
이는 모든 p \in \R^N_{++}에 대해 잘 정의되지 않을 수 있다. 그러나 균형 가격 벡터에서 잘 정의되도록 충분한 가정을 사용할 것이다.
* **이윤**은
\Pi^j(p) := \langle p, S^j(p)\rangle = \max_{y^j\in PPS^j} \langle p, y^j\rangle

#### 총량
* 총 소비 가능 집합 CPS = \sum_{i\in I}CPS^i.
* 총 생산 가능 집합 PPS = \sum_{j\in J}PPS^j.
* 총 부존자원 r = \sum_i r^i
* 총 수요 D(p) := \sum_i D^i(p)
* 총 공급 S(p) := \sum_j S^j(p)
* 초과 수요 Z(p) = D(p) - S(p) - r

#### 전체 경제
* **경제**는 튜플 (N, I, J, CPS^i, \succeq^i, PPS^j)이다. 이는 상품, 소비자 선호, 소비 가능 집합, 생산자의 생산 가능 집합을 명시하는 튜플이다.
* **초기 분포를 가진 경제**는 경제와 함께 초기 분포 튜플 (r^i, \alpha^{i,j})_{i\in I, j\in J}를 가진 경제이다.
* 경제의 **상태**는 각 가계 및 생산자에 대한 가격, 소비 계획 및 생산 계획의 튜플이다. ((p_n)_{n\in 1:N}, (x^i)_{i\in I}, (y^j)_{j\in J}).
* 상태가 **실현 가능**한 것은 각 x^i \in CPS^i, 각 y^j\in PPS^j이고, \sum_{i\in I}x^i \preceq \sum_{j\in J}y^j + r인 경우에 한한다.
* 주어진 부존자원 r에 대한 실현 가능한 생산 가능 집합은 PPS_r := \{y\in PPS: y+r \succeq 0\}이다.
* 분포를 가진 경제가 주어졌을 때, **가격 벡터에 해당하는 상태** p는 (p, (D^i(p))_{i\in I}, (S^j(p))_{j\in J})이다.
* 분포를 가진 경제가 주어졌을 때, 가격 벡터 p는 초기 분포를 가진 경제에 대한 **균형 가격 벡터**인 경우에 한해 다음이 성립한다.
Z(p)_n \begin{cases}
	  \leq 0 \text{ if } p_n = 0 \\
	  = 0 \text{ if } p_n > 0
	  \end{cases}
즉, 상품이 무료가 아니면 공급이 수요와 정확히 일치하고, 상품이 무료이면 공급이 수요보다 같거나 많다(무료 상품이 과잉 공급되는 것을 허용한다).
* 상태가 **균형 상태**인 것은 균형 가격 벡터에 해당하는 상태인 경우에 한한다.

### 가정

### 인위적인 제약 부과
함수  D^i(p), S^j(p)는 모든 가격 벡터 p에 대해 반드시 잘 정의되는 것은 아니다. 예를 들어, 생산자 1이 상품 1의 t 단위를 상품 2의 \sqrt{(t+1)^2-1} 단위로 변환할 수 있고, p_1 / p_2 인 경우, 생산자는 무한한 이윤을 가진 계획을 만들 수 있으므로 \Pi^j(p) = +\infty가 되고 S^j(p)는 정의되지 않는다.

따라서 우리는 "**제한된 시장**"을 동일한 시장으로 정의하지만, 보편적인 상한 C가 존재하여 모든 생산자는 \|y^j\| \leq C인 생산 계획을 사용해야 한다. 각 가계는 \|x^i\| \leq C인 소비 계획을 사용해야 한다. 제한된 시장의 해당 양을 틸다로 표시한다. 예를 들어, \tilde Z(p)는 제한된 시장의 초과 수요 함수이다.

C는 경제에 대해 "충분히 크도록" 선택되어, 균형 조건 하에서 제약이 실제로 적용되지 않도록 한다 (다음 섹션 참조). 자세히 말하면, C는 다음과 같이 충분히 크게 선택된다.

* x \succeq 0, \|x\| = C인 어떤 소비 계획 x에 대해서도, 그 계획은 너무 "사치스러워서" 모든 생산자가 협력하더라도 수요를 충족시키기에는 역부족이다.
* 경제에 대한 생산 계획 목록 (y^j\in PPS^j)_{j\in J}에 대해, 만약 \sum_{j\in J} y^j + r \succeq 0이라면, 각 j\in J에 대해 \|y^j\| 이다. 즉, 주어진 부존자원 r 하에서 달성 가능한 생산 계획에 대해, 각 생산자의 개별 생산 계획은 제약 내부에 엄밀히 위치해야 한다.

각 요구사항은 만족될 수 있다.

* **달성 가능한 총 생산 계획**의 집합을 PPS_r = \left\{\sum_{j\in J} y^j : y^j \in PPS^j \text{ for each } j\in J, \text{ and }\sum_{j\in J} y^j + r \succeq 0\right\}로 정의하면, 위에 주어진 생산자에 대한 가정(특히 "임의로 큰 무료 점심은 없다"는 가정) 하에, PPS_r는 어떤 r \succeq 0에 대해서도 유계이다(증명 생략). 따라서 첫 번째 요구사항은 만족된다.
* **달성 가능한 개별 생산 계획**의 집합을 PPS_r^j := \{y^j \in PPS^j: y^j\text{ is a part of some attainable production plan under endowment }r\}로 정의하면, 위에 주어진 생산자에 대한 가정(특히 "임의로 큰 변환은 없다"는 가정) 하에, PPS_r^j는 어떤 j\in J, r \succeq 0에 대해서도 유계이다(증명 생략). 따라서 두 번째 요구사항은 만족된다.

이 두 가지 요구사항은 생산 계획과 소비 계획이 제약의 "내부"에 있을 때, 제약이 실제 제약이 아니라는 것을 의미한다.

* 어떤 가격 벡터 p에서, 만약 \|\tilde S^j(p)\| 이면, S^j(p) 는 존재하며 \tilde S^j(p) 와 같다. 즉, 제한된 생산자의 생산 계획이 인위적인 제약 내부에 있으면, 제한되지 않은 생산자는 동일한 생산 계획을 선택할 것이다. 이는 C에 대한 두 번째 요구사항을 이용하여 증명된다.
* 만약 모든 S^j(p) = \tilde S^j(p)라면, 제한된 가계와 제한되지 않은 가계는 동일한 예산을 가진다. 이제, \|\tilde D^i(p)\|  또한 성립하면, D^i(p) 는 존재하며 \tilde D^i(p) 와 같다. 즉, 제한된 가계의 소비 계획이 인위적인 제약 내부에 있으면, 제한되지 않은 가계는 동일한 소비 계획을 선택할 것이다. 이는 C에 대한 첫 번째 요구사항을 이용하여 증명된다.

이 두 가지 명제는 제한된 시장의 균형이 제한되지 않은 시장의 균형임을 의미한다.

### 일반 균형의 존재
구성의 마지막 단계로 **[[발라스의 법칙]]**을 정의한다.

* 제한 없는 시장은 p에서 발라스의 법칙을 만족하는 경우에만 모든 S^j(p), D^i(p)가 정의되고,   \langle p, Z(p)\rangle = 0이다. 즉,
 \sum_{j\in J} \langle p,S^j(p)\rangle + \langle p, r\rangle = \sum_{i\in I} \langle p, D^i(p)\rangle
* 제한된 시장은 p에서 발라스의 법칙을 만족하는 경우에만   \langle p, \tilde Z(p)\rangle = 0이다.

발라스의 법칙은 양측에서 해석될 수 있다.

* 가계 측면에서는 총 가계 지출이 총 이윤 및 부존자원 판매 수입의 총합과 같다는 것을 의미한다. 즉, 모든 가계는 예산을 모두 소비한다.
* 생산자 측면에서는 총 이윤과 총 비용의 합이 총 수입과 같다는 것을 의미한다.

위 증명은 어떤 균형을 찾는 반복적인 알고리즘을 제공하지 않는다. 왜냐하면 함수 f가 축약 사상임을 보장할 수 없기 때문이다. 이는 추가적인 가정 없이는 어떤 시장 균형도 안정적인 균형임을 보장할 수 없으므로 놀라운 일이 아니다.

### 볼록성의 역할
[섬네일|right|alt=단위 원 그림|볼록한 [단위 원판의 4분의 1 회전은 점&nbsp;(0,0)을 고정시키지만, 비볼록한 단위원 위의 모든 점은 움직인다.]]

1954년, 맥켄지와 애로 및 드브뢰는 각각 콤팩트하고 볼록한 집합에서 자기 자신으로의 연속적인 다가 함수의 고정점에 대한 가쿠타니 사상을 이용하여 일반 균형의 존재를 독립적으로 증명했다. 애로-드브뢰 접근 방식에서 볼록성은 필수적인데, 그러한 고정점 정리는 비볼록 집합에 적용될 수 없기 때문이다. 예를 들어, 단위원을 90도 회전하면 고정점이 없지만, 이 회전은 콤팩트 집합의 연속적인 변환이다. 비록 콤팩트하지만 단위원은 비볼록이다. 반면, 단위 원의 볼록 폐포에 동일한 회전을 적용하면 점&nbsp;(0,0)은 고정된다. 가쿠타니 정리가 정확히 하나의 고정점만 존재한다고 주장하는 것은 아님에 유의하라. y축에 대해 단위 원판을 반사하면 수직 세그먼트가 고정되어 무한히 많은 고정점을 갖는다.

### 대규모 경제에서의 비볼록성

볼록성 가정은 많은 응용을 배제했으며, 이는 1959년부터 1961년까지 프랜시스 M. 베이터, M. J. 패럴, 찰링 코프만스, 토마스 J. 로텐버그에 의해 『Journal of Political Economy』에서 논의되었다. 는 일부 소비자 선호가 볼록할 필요가 없는 경우에도 경제 균형의 존재를 증명했다. 그의 논문에서 Starr는 "볼록화된" 경제가 원래 경제의 "준균형"에 가깝게 근사되는 일반 균형을 가진다는 것을 증명했다. Starr의 증명은 Shapley–Folkman 정리를 사용했다.

### 우자와 등가 정리
(우자와, 1962)는 발라스의 법칙을 충족하는 연속적인 초과 수요 함수로 특징지어지는 경제에서 일반 균형의 존재가 브라우어르 고정점 정리와 동등함을 보여주었다. 따라서 균형이 일반적으로 존재함을 보여주는 데 브라우어르 고정점 정리의 사용은 필수적이다.

### [[후생경제학의 기본 정리]]
후생경제학에서 하나의 가능한 관심사는 경제를 위한 파레토 최적 계획을 찾는 것이다.

직관적으로, 후생경제학의 문제는 경제 전체를 위한 마스터 플래너가 직면하는 문제로 생각할 수 있다. 사회 전체의 초기 부존자원 r이 주어졌을 때, 플래너는 생산 및 소비 계획의 실현 가능한 마스터 플랜 ((x^i)_{i\in I}, (y^j)_{j\in J})을 선택해야 한다. 마스터 플래너는 마스터 플랜을 선택하는 데 넓은 자유를 가지지만, 합리적인 플래너라면 누구의 효용도 감소시키지 않으면서 누군가의 효용을 증가시킬 수 있다면 그것이 더 나은 계획이라는 데 동의할 것이다. 즉, 파레토 순서를 따라야 한다.

모든 계획 ((x^i)_{i\in I}, (y^j)_{j\in J})에 대한 **파레토 순서**를 ((x^i)_{i\in I}, (y^j)_{j\in J}) \succeq((x'^i)_{i\in I}, (y'^j)_{j\in J})로 정의한다. 이는 모든 i\in I에 대해 x^i \succeq^i x'^i인 경우에 한한다.

그러면, 어떤 계획이 초기 부존자원 r에 대해 파레토 효율적이라고 말하는 것은, 그것이 실현 가능하고, 파레토 순서에서 엄밀히 더 나은 다른 실현 가능한 계획이 존재하지 않는 경우에 한한다.

일반적으로, 각 초기 부존자원 r에 대해 연속적인 파레토 효율적 계획의 집합이 존재한다.

이러한 설정에서, 우리는 후생경제학의 두 가지 기본 정리를 가지고 있다.

증명 아이디어: 모든 파레토 최적 소비 계획은 달성 가능한 소비 계획 집합과 초평면으로 분리된다. 이 초평면의 기울기는 균형 가격이 된다. 이러한 가격 하에서 각 생산자와 가계가 주어진 상태를 최적으로 간주하는지 확인한다. 발라스의 법칙이 성립하고, 따라서 지출이 수입과 이윤에 정확히 일치하며, 각 가계에 정확히 필요한 예산을 제공하는 것이 가능함을 확인한다.

### 볼록성 대 엄밀 볼록성
엄밀 볼록성의 가정은 볼록성으로 완화될 수 있다. 이 수정은 공급 및 수요 함수를 점 값 함수에서 집합 값 함수(또는 "대응")로 변경하고, 브라우어르 고정점 정리의 적용을 가쿠타니 고정점 정리로 변경한다.

이 수정은 최소극대 정리를 내시 균형의 존재로 일반화하는 것과 유사하다.

후생경제학의 두 가지 기본 정리는 수정 없이 성립한다.

### 균형 대 "준균형"
시장 균형의 정의는 모든 가계가 예산 제약 하에 효용 극대화를 수행한다고 가정한다. 즉,
\begin{cases}
\max_{x^i} u^i(x^i) \\
\langle p, x^i\rangle \leq M^i(p)
\end{cases}
쌍대 문제는 효용 제약 하에 비용 최소화가 된다. 즉,
\begin{cases}
u^i(x^i) \geq u^i_0\\
\min_{x^i} \langle p, x^i\rangle
\end{cases}
어떤 실수 u^i_0에 대해. 두 문제 사이의 쌍대성 간극은 음수가 아니며 양수일 수 있다. 결과적으로, 일부 저자는 쌍대 문제와 그 "준균형" (또는 "보상 균형")의 속성을 연구한다. 모든 균형은 준균형이지만, 그 역은 반드시 참이 아니다.

## 확장
### 전략적 협상 고려
이 모형에서 모든 생산자와 가계는 "가격수용자"이다. 즉, 그들은 시장과 가격 벡터 p를 사용하여 거래한다. 특히, 카르텔, 독점, 소비자 연합 등의 행동은 모델링되지 않는다. 에지워스 한계 정리는 특정 더 강력한 가정 하에, 가계가 무한히 큰 경제의 한계에서 가격을 수용하는 것보다 더 잘할 수 없음을 보여준다.

#### 설정
자세히 말하면, 우리는 가계와 생산자에 대한 경제 모형을 계속 유지하지만, 상품의 생산 및 분배를 설계하는 다른 방법을 시장 경제와는 다르게 고려한다. 이는 "사회주의" 경제의 모형으로 해석될 수 있다.

* 돈, 시장, 생산자의 사적 소유가 없다.
* 사적 소유, 돈, 이윤 동기를 폐지했으므로, 생산자 간의 구별은 무의미하다. 결과적으로, 각 생산자가 개별적으로 y^j \in PPS^j를 계획하는 대신, 마치 사회 전체가 하나의 큰 생산자가 y\in PPS를 생산하는 것과 같다.
* 가계는 여전히 동일한 선호와 부존자원을 가지지만, 더 이상 예산을 가지지 않는다.
* 생산자는 이윤이 없으므로 이윤 극대화를 위해 생산하지 않는다. 모든 가계는 함께 모여 다음 제약 조건을 가진 전체 경제에 대한 생산 및 소비 계획인 **상태** ((x_i)_{i\in I}, y)를 만든다.
x^i \in CPS^i, y \in PPS, y\succeq \sum_i (x^i- r^i)
* 가계의 비어 있지 않은 하위 집합은 다른 모든 가계를 제거하고 생산자에 대한 통제권을 유지할 수 있다.

이 경제는 각 가계를 플레이어로 하는 협력 게임이며, 협력 게임 이론에서 다음과 같은 개념이 있다.

* **블로킹 연합**은 비어 있지 않은 가계의 하위 집합으로, 다른 모든 가계를 제거하더라도 엄밀히 파레토적으로 더 나은 계획이 존재하는 경우를 말한다.
* 상태가 **핵심 상태**인 것은 블로킹 연합이 없는 경우에 한한다.
* **경제의 핵심**은 핵심 상태의 집합이다.
가계의 비어 있지 않은 하위 집합이 다른 모든 가계를 제거하고 생산자에 대한 통제권을 유지할 수 있다고 가정했으므로, 실행될 수 있는 유일한 상태는 핵심 상태이다. 핵심 상태가 아닌 상태는 즉시 가계 연합에 의해 거부될 것이다.

PPS에 대한 한 가지 가정이 더 필요하다. 즉, PPS가 **원뿔**이라는 것이다. 즉, 어떤 k \geq 0에 대해서도 k \cdot PPS \subset PPS이다. 이 가정은 경제가 사소해지는 두 가지 방식을 배제한다.

* 공짜 점심의 저주: 이 모델에서 전체 PPS는 비어 있지 않은 연합, 심지어 단일 연합에게도 제공된다. 결과적으로, 아무도 부존자원을 가지고 있지 않더라도 PPS가 어떤 "공짜 점심" y\succ 0을 포함한다면 (선호도가 단조롭다고 가정할 때), 모든 가계는 y 전체를 자기 것으로 가져가기를 원할 것이고, 결과적으로 핵심 상태는 *존재하지 않는다*. 직관적으로, 세상의 모습은 이기적인 사람들로 구성된 위원회가 모든 공짜 점심을 자기에게 주지 않는 계획을 거부하는 그림이다.
* 성장의 한계: 2가지 상품이 있는 사회를 생각해 보자. 하나는 "노동"이고 다른 하나는 "식량"이다. 가계는 노동만 부존자원으로 가지지만, 식량만 소비한다. PPS는 평평한 상단이 있는 경사면처럼 보인다. 따라서 0-1천 시간의 노동을 투입하면 0-1천 kg의 식량을 선형적으로 생산하지만, 더 많은 노동은 식량을 생산하지 않는다. 이제 각 가계가 1천 시간의 노동을 부존자원으로 가지고 있다고 가정해 보자. 각 가계는 항상 PPS 전체를 자기 것으로 사용하는 것이 더 좋으므로, 즉시 다른 모든 가계를 차단할 것이 분명하다.

#### 주요 결과 (드브뢰와 스카프, 1963)

드브뢰와 스카프의 논문에서 그들은 "가계 복제"를 통해 무한히 큰 경제에 접근하는 특정 방법을 정의했다. 즉, 어떤 양의 정수 K에 대해, 가계 i와 정확히 동일한 소비 가능 집합과 선호를 가진 K개의 가계가 있는 경제를 정의한다.

x^{i, k}는 가계 i의 k번째 복제의 소비 계획을 나타낸다. 계획이 **공평하다**는 것은 어떤 i\in I와 k, k'\in K에 대해 x^{i, k} \sim^i x^{i, k'}인 경우에 한한다.

일반적으로, 상태는 각 복제를 다르게 취급하여 상당히 복잡할 것이다. 그러나 핵심 상태는 훨씬 더 간단하다. 즉, 모든 복제를 동등하게 취급하여 공평하다.

결과적으로, 핵심 상태를 연구할 때, 각 유형의 가계에 대해 하나의 소비 계획만 고려하면 충분하다. 이제 C_K를 각 가계 유형당 K개의 복제가 있는 경제에 대한 모든 핵심 상태의 집합으로 정의한다. C_1 \supset C_2 \supset \cdots임은 명확하므로, 핵심 상태의 극한 집합 C := \cap_{K=1}^\infty C_K를 정의할 수 있다.

우리는 C가 원래 경제의 시장 균형 집합을 포함한다는 것을 보았다. 역은 사소한 추가 가정 하에 참이다.

PPS가 다각형 원뿔이거나 모든 CPS^i가 공집합이 아닌 내부를 가진다는 가정은 "준균형"이라는 기술적인 문제를 피하기 위해 필요하다. 이 가정이 없으면, C가 준균형 집합에 포함된다는 것만 증명할 수 있다.

### 비볼록성 고려
생산 가능 집합이 볼록하다는 가정은 강한 제약이며, 이는 규모의 경제가 없음을 의미한다. 유사하게, 비볼록 소비 가능 집합과 비볼록 선호를 고려할 수 있다. 그러한 경우, 공급 및 수요 함수 S^j(p), D^i(p)는 가격 벡터에 대해 불연속적일 수 있으므로, 일반 균형이 존재하지 않을 수 있다.

그러나 경제를 "볼록화"하고 그에 대한 균형을 찾은 다음, Shapley–Folkman–Starr 정리에 의해 그것이 원래 경제에 대한 근사 균형임을 알 수 있다.

자세히 말하면, PPS^j, CPS^i의 볼록성과 \succeq^i를 제외하고 주어진 모든 가정을 만족하는 경제가 주어졌을 때, "볼록화된 경제"를 다음과 같이 정의한다.

* PPS'^j = \mathrm{Conv}(PPS^j)
* CPS'^i = \mathrm{Conv}(CPS^i)
* x \succeq'^i y (만약 \forall z \in CPS^i, y \in \mathrm{Conv}(U_+^i(z)) \implies x \in \mathrm{Conv}(U_+^i(z)) ).

여기서 \mathrm{Conv}는 볼록 폐포를 나타낸다.

이를 통해, 볼록화된 경제의 모든 일반 균형은 원래 경제의 근사 균형이 된다. 즉, p^*가 볼록화된 경제의 균형 가격 벡터라면,
\begin{align}
d(D'(p^*) - S'(p^*), D(p^*) - S(p^*)) &\leq N\sqrt{L} \\
d(r, D(p^*) - S(p^*)) &\leq N\sqrt{L}
\end{align}
여기서 d(\cdot, \cdot)은 유클리드 거리이고, L은 모든 PPS^j, CPS^i의 내부 반경에 대한 상한이다(내부 반경의 정의는 Shapley–Folkman–Starr 정리 페이지 참조).

볼록화된 경제는 가정을 만족하지 않을 수 있다. 예를 들어, 집합 \{(x, 0): x \geq 0\}\cup \{(x,y): xy = 1, x > 0\}은 닫혀 있지만, 그 볼록 폐포는 닫혀 있지 않다. 볼록화된 경제도 가정을 만족한다는 추가 가정을 부과하면, 원래 경제는 항상 근사 균형을 가진다는 것을 알 수 있다.

### 시간, 공간, 불확실성 고려

애로-드브뢰 모형의 상품들은 완전히 추상적이다. 따라서 일반적으로 정적 시장으로 표현되지만, 상품 하나를 여러 개로 나누어 특정 시간, 장소, 고려 중인 세계의 상태에 따라 달라지도록 함으로써 시간, 공간, 불확실성을 모델링하는 데 사용할 수 있다. 예를 들어, "사과"는 "오렌지가 있다면 9월 뉴욕의 사과"와 "오렌지가 없다면 6월 시카고의 사과"로 나눌 수 있다.

일부 기본 상품이 주어졌을 때, 애로-드브뢰 완전 시장은 모든 미래 시간, 모든 인도 장소, 고려 중인 모든 세계 상태, 모든 기본 상품에 대해 별도의 상품이 존재하는 시장이다.

금융경제학에서 "애로-드브뢰"라는 용어는 일반적으로 애로-드브뢰 증권을 의미한다. 표준적인 애로-드브뢰 증권은 특정 세계 상태가 도달하면 한 단위의 기준화폐를 지불하고 그렇지 않으면 0을 지불하는 증권이다 (그러한 증권의 가격은 소위 "상태가격"이다). 따라서 계약일 현재 가치가 불확실한 기초 자산의 함수인 파생 상품 계약은 애로-드브뢰 증권의 선형 조합으로 분해될 수 있다.

1978년 브리든과 리첸버거의 연구 이후, 많은 연구자들이 금융경제학의 다양한 응용을 위해 옵션을 사용하여 애로-드브뢰 가격을 추출했다.

### 돈의 존재 고려

일반적으로 경제학자들은 화폐의 기능을 회계 단위, 가치 저장 수단, 교환 매개체, 지불 연기 표준으로 간주한다. 그러나 이는 위에서 설명한 애로-드브뢰 완전 시장과 양립할 수 없다. 완전 시장에서는 "시간의 시작"에 시장에서 단 한 번의 거래만 이루어진다. 그 후, 가계와 생산자는 시간의 끝까지 계획된 생산, 소비 및 상품 인도를 실행할 뿐이다. 결과적으로, 가치 저장 또는 교환 매개체는 필요 없다. 이는 애로-드브뢰 완전 시장뿐만 아니라 형태는 다르지만 수학적으로 동등한 모형(예: 우발적 상품 시장 및 애로 보험 계약을 포함하는 모형)에도 적용된다.

### 일반 균형 계산

스카프 (1967)는 일반 균형을 계산하는 최초의 알고리즘이었다. 검토는 스카프 (2018) 및 쿱러 (2012)를 참조하라.

### 균형의 수

특정 부존자원 벡터를 가진 특정 경제는 무한히 많은 균형 가격 벡터를 가질 수 있다. 그러나 "일반적으로", 경제는 유한한 수의 균형 가격 벡터만을 가진다. 여기서 "일반적으로"는 사드의 정리에서처럼 "르베그 측도 0인 닫힌 집합을 제외한 모든 점에서"를 의미한다.

그러한 일반성 정리는 많이 있다. 한 가지 예는 다음과 같다.

## 같이 보기
* 경제학 모델
* 불완전 시장
* 애로-드브뢰 교환 시장 - 가계(구매자이자 판매자 모두 가능)만 존재하고 생산자는 없는 더 간단한 시장 모형.
* 피셔 시장 - 구매자만 존재하는 훨씬 더 간단한 시장 모형. 각 상품의 총량이 주어지고 각 구매자는 통화 예산만 가지고 온다.
* 자산 가격 결정 문서 목록
*

## 각주

## 더 읽어보기
* 
* 
* 
* 

## 외부 링크
* Notes on the Arrow–Debreu–McKenzie Model of an Economy, Prof. Kim C. Border California Institute of Technology
* "The Fundamental Theorem" of Finance; part II. Prof. Mark Rubinstein, Haas School of Business 

분류:일반균형
분류:1954년 경제
분류:금융 모형