KNOWECON WIKI

ARTICLE

价格单纯形

价格单纯形 (Price Simplex) 价格单纯形（Price Simplex）是一般均衡理论中描述标准化价格向量空间的核心几何对象。在包含 n 种商品的经济体中，所有可能的相对价格体系构成一个 (n-1) 维单纯形。这一构造是证明竞争均衡存在性——特别是应用Brouwer不动点定理和角谷不动点定理——的基本舞台。 定义与构造 考虑一个包含 n N 种商

浏览 0 更新 2025-12-09

价格单纯形 (Price Simplex)

价格单纯形（Price Simplex）是一般均衡理论中描述标准化价格向量空间的核心几何对象。在包含 nn 种商品的经济体中，所有可能的相对价格体系构成一个 (n−1)(n-1) 维单纯形。这一构造是证明竞争均衡存在性——特别是应用Brouwer不动点定理和角谷不动点定理——的基本舞台。

定义与构造

考虑一个包含 n∈Nn \in \mathbb{N} 种商品的经济体。记价格向量为 p=(p1,p2,…,pn)∈Rn\mathbf{p} = (p_1, p_2, \ldots, p_n) \in \mathbb{R}^n，其中 pip_i 为商品 ii 的价格。由于消费者和厂商的需求函数与供给函数对价格是零阶齐次的——即只有相对价格而非绝对价格水平影响经济行为——价格向量可任意选取归一化（numéraire）而不改变均衡配置。

价格单纯形 Δn−1\Delta^{n-1} 定义为所有非负、分量之和为 1 的价格向量之集合：

Δn−1:={p∈R+n  |  ∑i=1npi=1}\Delta^{n-1} := \left\{ \mathbf{p} \in \mathbb{R}^n_+ \; \middle| \; \sum_{i=1}^{n} p_i = 1 \right\}

其中 R+n\mathbb{R}^n_+ 为非负象限。这是经典的单位单纯形（unit simplex），其维度为 n−1n-1——从 nn 个自由参数中减去一个归一化约束。

例子

  • 两种商品 (n=2)(n=2)：价格单纯形 Δ1\Delta^1 退化为从 (1,0)(1,0) 到 (0,1)(0,1) 的线段，即 p1+p2=1,  p1≥0,  p2≥0p_1 + p_2 = 1,\; p_1 \geq 0,\; p_2 \geq 0。任一价格向量对应线段上的一点，实质上由单一参数（如相对价格 p1/p2p_1 / p_2）确定。
  • 三种商品 (n=3)(n=3)：Δ2\Delta^2 为嵌入 R3\mathbb{R}^3 中的等边三角形（2-单纯形），三个顶点分别对应 (1,0,0)(1,0,0)、(0,1,0)(0,1,0) 和 (0,0,1)(0,0,1)。这是一般均衡图示中最常见的几何对象。
  • 一般情形：Δn−1\Delta^{n-1} 是 Rn\mathbb{R}^n 中具有 nn 个顶点的凸包，顶点为标准基向量 ei\mathbf{e}_i（即仅第 ii 种商品价格为 1、其余为 0 的极端情形）。

几何与拓扑性质

价格单纯形具备若干对均衡分析至关重要的数学性质。

紧致性与凸性

Δn−1\Delta^{n-1} 是 Rn\mathbb{R}^n 中的紧致凸集。紧致性（有界闭集）确保连续函数在其上可取得最大值与最小值，且任何序列存在收敛子序列；凸性意味着单纯形中任意两点之间的线段完全包含于其内。这两个性质是应用不动点定理的前提条件——Brouwer不动点定理要求定义域为非空、紧致、凸集，价格单纯形恰好满足。

边界与内部

价格单纯形的内部 int⁡(Δn−1)\operatorname{int}(\Delta^{n-1}) 由严格正的价格向量构成：pi>0,  ∀ip_i > 0,\; \forall i。边界 ∂Δn−1\partial \Delta^{n-1} 包含至少一种商品价格为零的价格向量。边界的极端情形是顶点，其中仅一种商品具有正价格。在一般均衡模型中，边界对应于某些商品自由物品（free goods）或超额供给的情形。均衡的位置——是在内部还是在边界——取决于经济的禀赋结构和偏好。

重心坐标

单纯形上的任意点 p\mathbf{p} 可由其重心坐标（barycentric coordinates）表示，此处重心坐标即为价格分量本身——每个 pip_i 给出该点距第 ii 个顶点对边的"距离"（归一化后）。这一表示与概率单纯形同构，使得价格单纯形与混合策略单纯形在博弈论中的构造形成数学上的平行对应。

经济解释：边界与稀缺性

价格单纯形的几何边界具有直接的经济含义。当某种商品的价格 pi=0p_i = 0 时，该商品为 extbf{自由物品}（free good）——其供给超过需求，市场无需价格信号来配置它。在均衡中，自由物品对应超额供给（zi<0z_i < 0）的状态。

边界的顶点——如 p=(1,0,…,0)\mathbf{p} = (1, 0, \ldots, 0)——表示经济退化为仅剩一种商品具有正价格（即所有其他商品均免费）。这在禀赋充分多样化的经济中通常不会出现，但在某些极端参数下——例如某些商品在效用函数中权重为零——可能构成均衡。

单纯形 extbf{内部}（即所有价格严格为正）通常是分析焦点。德布鲁-盖尔-二階堂-麦肯齐（Debreu-Gale-Nikaido-McKenzie）引理保证了在某些边界条件下，若超额需求函数在单纯形边界附近满足一定的"指向内部"性质，则均衡必然位于内部。具体而言，若当某些价格趋近于零时，对应商品的超额需求趋于正无穷——即该商品在极低价格下被无限需求——则均衡不可能落在边界上。这一条件与Inada条件（在宏观经济学的生产函数语境中）精神相通：保证内点解必然存在。

计算经济学中的应用

价格单纯形作为定义域的计算优势在可计算一般均衡（CGE）模型和基于主体的经济学（Agent-Based Economics）中尤为突出。

在 extbf{数值求解}均衡价格的算法中——如Scarf算法（Scarf's algorithm）——价格单纯形被系统性地剖分为子单纯形，算法在子单纯形上遍历以寻找近似均衡。Scarf 的贡献在于提供了第一个在有限步内保证收敛到近似均衡的算法，其核心正是对价格单纯形的组合剖分与标号（labelling）技术，这一技术与Sperner引理直接相关。

在 extbf{同伦延拓法}（homotopy continuation）中，均衡计算通过从一个人造的、均衡已知的经济连续变形至目标经济来完成。价格单纯形的紧致性确保同伦路径始终有界，从而保证数值追踪的可行性。

在 extbf{动态随机一般均衡}（DSGE）模型中，虽然线性化技术使得价格单纯形的显式构造不常出现，但非线性解法的兴起——特别是投影法（projection methods）——重新唤起了对价格空间全局几何结构的关注。

瓦尔拉斯均衡中的核心角色

总超额需求函数

记总超额需求函数为 z:Δn−1→Rn\mathbf{z}: \Delta^{n-1} \to \mathbb{R}^n，其中 zi(p)z_i(\mathbf{p}) 是商品 ii 在价格 p\mathbf{p} 下的总超额需求（总需求减去总禀赋）。瓦尔拉斯法则（Walras' Law）断言：对所有 p∈Δn−1\mathbf{p} \in \Delta^{n-1}，有 p⋅z(p)=0\mathbf{p} \cdot \mathbf{z}(\mathbf{p}) = 0。这一定理的价值在于：若 n−1n-1 个市场已出清，则第 nn 个市场自动出清。

瓦尔拉斯法则使得超额需求函数的值域并非整个 Rn\mathbb{R}^n，而是在价格向量处的切空间上。这一事实允许将 z\mathbf{z} 视为从单纯形到自身的某种变换，进而构建不动点论证。

价格调整机制与不动点论证

寻找均衡价格 p∗\mathbf{p}^* 使得 z(p∗)≤0\mathbf{z}(\mathbf{p}^*) \leq \mathbf{0}（且 pi∗>0p_i^* > 0 时等号成立）的标准路径，是构造一个从价格单纯形到自身的连续映射，并证明其不动点即为均衡价格。

一种经典构造如下：定义映射 f:Δn−1→Δn−1f: \Delta^{n-1} \to \Delta^{n-1}，其第 ii 个分量为

fi(p)=pi+max⁡{0,zi(p)}1+∑j=1nmax⁡{0,zj(p)}f_i(\mathbf{p}) = \frac{p_i + \max\{0, z_i(\mathbf{p})\}}{1 + \sum_{j=1}^{n} \max\{0, z_j(\mathbf{p})\}}

该映射的直观含义是：若有超额需求（zi>0z_i > 0），则提高该商品的价格；分子中的 max⁡{0,zi(p)}\max\{0, z_i(\mathbf{p})\} 确保价格非负，分母确保归一化。由Brouwer不动点定理，存在 p∗\mathbf{p}^* 使 f(p∗)=p∗f(\mathbf{p}^*) = \mathbf{p}^*；再结合瓦尔拉斯法则，可证明 p∗\mathbf{p}^* 即为均衡价格向量。

若需求对应（demand correspondence）非单值——如在阿罗-德布鲁模型中由非严格凸偏好导致——则需要借助角谷不动点定理（Kakutani Fixed Point Theorem），定义域仍为价格单纯形，映射取值为上半连续凸值对应。

其他归一化方式

价格单纯形的构造并非唯一。常见的变体包括：

  • p1=1p_1 = 1 归一化：将第一种商品作为计价物（numéraire），令其价格为 1，价格空间为 {p∈R+n∣p1=1}\{\mathbf{p} \in \mathbb{R}^n_+ \mid p_1 = 1\}。此时价格空间与 R+n−1\mathbb{R}^{n-1}_+ 同胚，简单直观，但不对称地对待不同商品，且在 p1=0p_1 = 0 的均衡存在时失效。
  • 欧几里得归一化：∥p∥=1\|\mathbf{p}\| = 1，价格向量位于单位球面上。此方式保留了对称性，但空间非凸，无法直接应用 Brouwer 不动点定理。
  • 单纯形归一化：∑pi=1\sum p_i = 1（即本文所述的标准价格单纯形）。其优势在于对称地对待所有商品，且空间紧致凸，为不动点定理提供理想舞台。这一构造由肯尼斯·阿罗和杰拉德·德布鲁在 1954 年的经典存在性证明中系统使用。

与博弈论的联系

价格单纯形在数学上与博弈论中的混合策略单纯形完全同构。在 nn 人有限博弈中，参与人的混合策略空间即为 Δn−1\Delta^{n-1}。这一平行并非偶然：纳什均衡的存在性证明（Nash, 1950）同样依赖单纯形上的不动点定理，且纳什的原始证明与阿罗-德布鲁均衡存在性证明共享相同的数学基础。价格单纯形与策略单纯形的对偶关系在一般均衡与纳什均衡的统一分析框架——如抽象经济（Abstract Economy）模型中得到了形式化。

总结

价格单纯形是现代一般均衡理论的几何基石。它将相对价格空间构筑为紧致凸集，使得不动点定理得以应用，从而在严格的数学基础上证明了竞争均衡的存在性。从两种商品的简单线段到 nn 种商品的高维单纯形，这一构造以统一的几何语言刻画了价格体系的本质——价格不是绝对数值，而是相对稀缺性的信号，其空间结构天然地具备单纯形的拓扑与凸性特征。