跳轉到

5.2 Brouwer 不動點與 Arrow–Debreu（1954）#

本章導言#

5.1 節的 Walras 體系留下了一個他終生無法回答的問題：方程組有解嗎？ Walras 用「方程個數等於未知數個數」來論證解的存在，但這在數學上是不充分的——兩條方程兩個未知數，照樣可能無解。這個缺口懸置了八十年，直到 1954 年 Kenneth Arrow（艾羅，1921–2017） 與 Gérard Debreu（德布魯，1921–2004） 在論文〈競爭經濟均衡的存在性〉（Existence of an Equilibrium for a Competitive Economy）中，用 Brouwer 不動點定理給出嚴格證明，一般均衡才從綱領變成定理。本節先講不動點定理本身，再講它如何被嵌入經濟論證，最後用一個可以手算的兩商品例子驗證均衡的存在。

不動點定理：三個版本#

Brouwer 不動點定理（1911）：設 \(f: C \to C\) 是從緊凸集 \(C \subseteq \mathbb{R}^n\) （非空、凸、有界閉）到自身的連續映射，則存在 \(x^* \in C\) 使

\[ f(x^*) = x^* . \]

二維的直觀說法：把一張地圖揉皺後放在它自己所描繪的土地上，地圖上恰有一點正對著它所代表的實地。注意定理只保證存在、不保證唯一，且連續性不可省略（例如 \(f(x) = 1-x\) 在 \([0,1]\) 上有解 \(x^* = \frac{1}{2}\) ，但若在 \(x^*\) 附近把函數挖一個跳斷，不動點可以消失）。

Kakutani 推廣（1941）：把函數換成對應（correspondence，每點映到一個集合）。若 \(C\) 緊凸、 \(\varphi: C \twoheadrightarrow C\) 取非空凸值且圖形閉，則存在 \(x^* \in \varphi(x^*)\) 。經濟學中需求集合常是集合而非單點（偏好非嚴格凸時），因此最終的存在性證明採用的是 Kakutani 版本；6.2 節 Nash 均衡的存在性證明同樣倚賴它。

Brouwer 定理的證明工具：標準證明用 Sperner 引理——把三角形細分並按規則給頂點著色，必存在一個「三色小三角形」。這個組合式的證明路徑在 1960 年代被 Scarf 轉化為計算均衡的數值演算法（見前因後果）。

為什麼存在性需要不動點：超額需求的幾何#

把 5.1 節的淨超額需求 \(z(p)\) 想成「價格的運動法則」：tâtonnement 規則 \(\dot{p}_i = z_i(p)\) 的均衡點正是 \(z(p^*) = 0\) 。關鍵構造是：超額需求是零次齊次的（所有價格同乘 \(\lambda > 0\) ， \(z(\lambda p) = z(p)\) ），故可把它壓縮到單純形

\[ \Delta = \Big\{ p \geq 0 \;:\; \sum_i p_i = 1 \Big\} \]

上處理。再由 Walras 定律 \(\sum_i p_i z_i(p) \equiv 0\) 可證：若 \(p_i = 0\) 則必有某些 \(z_j > 0\) （邊界上總有東西缺貨），因此只要把「漲價的壓力」寫成自價格到單純形的連續映射 \(f\) ，均衡就是 \(f\) 的不動點——但 \(f\) 只連續、未必有良好極限，只能用不動點定理、不能用介值定理或 Weierstrass 極值定理這類初等工具。這正是八十年懸案的技術核心：均衡的「動態論證」（3.2 節的穩定性）需要更強的條件，而「存在性論證」只需連續性。

Arrow–Debreu 的論證骨架#

1954 年論文的架構，是把全經濟壓縮為一個不動點問題：

  1. 商品與狀態：每種商品在每個日期、每個自然狀態下都視為一種「有期商品」（contingent commodity），價格體系 \(p\) 活在單純形上。這一步把時間與不確定性一次納入（後者通往 9.1 節的狀態價格）。
  2. 需求對應：每個消費者在預算集內最大化效用（2.3 節）；凸偏好保證需求對應非空凸值。
  3. 供給與自由支配：允許免費丟棄（free disposal），使總供給對應凸值、利潤加總後需求連續。
  4. 合成映射：由超額需求構造 \(f: \Delta \to \Delta\) ，套用 Kakutani 定理得不動點；再證明不動點處收入恰好花完（Slutsky 方程保證預算以等號成立），故 \(z(p^*) = 0\) ，所有市場出清。 \(\blacksquare\)

Debreu 隨後在《價值理論》（Theory of Value, 1959）以公理化體系重寫：經濟學從此與「故事的合理性」脫鉤，只問假設 → 定理的邏輯鏈——這是這門學科數學化的里程碑。

例題 5.2.1：兩商品交換經濟的不動點驗證#

例題 5.2.1：承 5.1 節例題：A、B 稟賦 \((8,2)\) 、 \((2,8)\) ，效用 \(u = x_1 x_2\) ， \(p_2 = 1\) 。已得 \(z_1(p) = \frac{5}{p} - 5\) 。(1) 說明 \(z_1\) 在價格趨近 0 與 \(\infty\) 時的行為，並指出邊界性質如何排除「均衡不在內部」；(2) 用介值定理解出均衡 \(p^*\) ；(3) 說明此例中「不動點構造」 \(f(p)\) 應長什麼樣。

解：(1) \(p \to 0^+\) 時 \(z_1 = \frac{5}{p} - 5 \to +\infty\) （商品 1 嚴重缺貨，漲價壓力為正，故均衡不可能在 \(p = 0\) 邊界）； \(p \to \infty\) 時 \(z_1 \to -5 < 0\) （超額供給）。又 \(z_1\) 在 \((0,\infty)\) 連續且嚴格遞減。

(2) 由介值定理： \(z_1(0.5) = 10 - 5 = 5 > 0\) 、 \(z_1(2) = 2.5 - 5 = -2.5 < 0\) ，故存在 \(p^* \in (0.5, 2)\) 使 \(z_1 = 0\) ；解 \(\frac{5}{p} = 5\) 得 \(p^* = 1\) 。此時 \(z_2 = 5p^* - 5 = 0\) ，兩市場同時出清（Walras 定律的自動出清性）。

(3) 兩商品時單純形可參數化為 \(p_1 \in [0,1]\) （ \(p_2 = 1 - p_1\) ）。定義映射

\[ f(p_1) = \min\!\Big\{1,\; \max\!\Big\{0,\; p_1 + \lambda z_1(p_1)\Big\}\Big\}, \quad \lambda = 0.05, \]

即「價格往超額需求的方向挪一小步、再夾回 \([0,1]\) 」。驗證： \(f(1) = \min\{1, \max\{0, 1 + 0.05 \times (-5)\}\} = 0.75 < 1\) ， \(f(0) = \min\{1, 0 + 0.05 \times \infty\} \to 1 > 0\) （本例取 \(z_1(0)\) 的正確極限行為為 \(+\infty\) ，構造上以大正數代替）， \(f\) 連續，由 Brouwer 定理必有不動點；實際算出 \(f(p) = p\) 即 \(z_1(p) = 0\) ，得 \(p_1^* = \frac{1}{2}\) （即 \(p_1 : p_2 = 1 : 1\) ）——與 (2) 一致。這就是把「均衡」改寫成「不動點」的具體樣貌。

前因後果與驅動關係#

驅動：存在性問題由三股壓力逼出。其一，Walras 遺留的數目計數缺口（5.1 節）——「方程個數等於未知數」在純數學上無效，社會主義計算論戰（Lange, Mises, Hayek）更使「市場體系是否有解」成為政治性的問題：若連理論解都不存在，價格機制的辯護就落空。其二，Von Neumann 1937 年的增長模型已首次把不動點定理引進經濟學，證明「存在一條平衡增長路徑」，Arrow 與 Debreu 皆直接受其啟發（Kakutani 定理正是為處理 Von Neumann 模型的集合值結構而生）。其三，數學本身的成熟——Brouwer 1911、Kakutani 1941，工具到位後問題才可能被解決；早八十年即使有人想到，也沒有定理可用。

反向作用：存在性定理成立後，經濟學發生三重反轉。(1) 反哺數學：均衡的計算需求催生 Scarf 演算法與不動點算法（Lemke–Howson，1964），組合拓撲學因經濟應用而復興；Nash 對賽局均衡存在性的證明（6.2 節）也是同一工具的平行成果。(2) 改變證明的文化：1954 年之後，「給出模型先證存在性」成為理論經濟學的標準動作——本書 7 章的 Cournot–Nash 均衡、8 章的成長模型、9 章的機制設計，全都沿用「先存在、再比較靜態、後實證」的三段式。(3) 政策工具化：可計算一般均衡（CGE）與投入產出模型把存在定理變成可跑的數值系統，用於貿易、稅制與氣候政策模擬（連到《管理的數學》第 3 章線性規劃的對偶與最適計算）。

對本書與兄弟書的指向： - 5.1 節：本節補上其「方程有解」的缺口。 - 5.3 節：存在之外，均衡是否「好」由福利兩定理回答。 - 6.2 節：Nash 均衡存在性的證明是 Kakutani 定理的第二次偉大應用。 - 7.1 節：Cournot 模型的反應函數交點，就是一維版的不動點。 - 9.1 節：狀態或有商品與 Arrow 證券是不確定性下的均衡基礎。 - 《金融的數學》第 3 章投資組合與第 7 章風險度量：狀態價格與無套利定價是本節「有期商品」思想在金融的化身。

年表速查（本節涉及的關鍵年份）#

  • 1911：Brouwer 發表不動點定理（原始證明為組合式，後有簡化）。
  • 1928：Von Neumann 極小極大定理（6.1 節），首次在經濟相關問題使用凸性論證。
  • 1936：Von Neumann 增長模型，不動點思想進入經濟數學。
  • 1937：Von Neumann 論文〈聯邦經濟的增長模型〉發表。
  • 1941：Kakutani 推廣不動點定理至集值映射。
  • 1950：Nash 以 Kakutani 定理證明賽局均衡存在（6.2 節）。
  • 1954：Arrow 與 Debreu〈競爭經濟均衡的存在性〉，一般均衡存在性證明完成。
  • 1959：Debreu《價值理論》公理化體系出版。
  • 1962：Scarf 不動點計算演算法（與 Hansen 合作完成於 1960s），均衡由定理變成可算。
  • 1972 與 1983：Arrow 與 Debreu 先後獲諾貝爾經濟學獎。

名詞速查表（本節出現的核心術語）#

  • 不動點： \(f(x^*) = x^*\) 的點；均衡的數學化身。
  • Brouwer 定理：緊凸集上的連續自映射必有不動點。
  • Kakutani 定理：推廣至非空凸值、圖形閉的對應。
  • 對應（correspondence）：一點映到一個集合的映射，如需求集合。
  • **單純形 \(\Delta\) **：價格正規化後的集合 \(\{p \ge 0, \sum p_i = 1\}\) 。
  • Sperner 引理：著色細分三角形必出三色小格，Brouwer 定理的組合核心。
  • 有期商品（contingent commodity）：指明日期與自然狀態的商品，把時間與風險納入同一價格體系。
  • 自由支配（free disposal）：允許免費丟棄商品，保證供給對應的凸性與連續性。

練習#

  1. 設 \(f(x) = \frac{1}{2}(1 + x^2)\) 於 \([0,1]\) 。(a) 驗證 \(f\) 是 \([0,1]\) 到 \([0,1]\) 的連續映射；(b) 解 \(f(x) = x\) 求不動點；(c) 迭代 \(x_0 = 0\) 三步，觀察數列是否收斂到不動點。
  2. 承例題 5.2.1 的構造，取 \(\lambda = 0.1\) 。計算 \(f(0.8)\) ，並由 \(f(p_1) = p_1\) 直接推出 \(z_1(p_1) = 0\) 的解，驗證均衡價格比仍為 \(1:1\) 。
  3. 某兩商品經濟的超額需求為 \(z_1(p) = \frac{10}{p} - 5 - p\) （ \(p_2 = 1\) ）。(a) 證明 \(z_1\) 在 \(p \in (0, 2]\) 與 \([2, \infty)\) 上的符號；(b) 解 \(z_1(p) = 0\) （化為二次方程）並取正根，得均衡價格；(c) 驗證 \(p^*\) 附近漲跌方向與 tâtonnement 一致。
  4. 解釋為什麼「方程個數等於未知數個數」不能證明均衡存在。請舉一個兩條方程、兩個未知數卻無解的具體方程組，並說明該方程組違反了超額需求函數的哪一條經濟性質（提示：考慮 Walras 定律與連續性）。
  5. 思考題：Brouwer 定理保證不動點存在，但不保證 tâtonnement 動態會收斂到它。請用一段話說明「存在性」與「穩定性」是兩個獨立的問題，並各舉一個意涵（可參考 3.2 節的刀刃均衡與 5.1 節的拍賣者假設）。

（本節完）