KNOWECON WIKI

ARTICLE

核心

核心 (The Core) 核心 (The Core) 是合作博弈与一般均衡理论中的核心解概念，指一个经济配置的集合，其中不存在任何子群体（联盟）可以通过仅依靠自身禀赋进行再分配而使群体内每个成员都严格变得更优。换言之，核心中的配置是"无法被任何联盟所否决"的配置。它是帕累托最优概念在允许任意子群体自由结盟时的自然推广，也是连接合作博弈论与竞争性均衡的桥梁。

浏览 5 更新 2025-10-29

核心 (The Core)

核心 (The Core) 是合作博弈与一般均衡理论中的核心解概念，指一个经济配置的集合，其中不存在任何子群体（联盟）可以通过仅依靠自身禀赋进行再分配而使群体内每个成员都严格变得更优。换言之，核心中的配置是"无法被任何联盟所否决"的配置。它是帕累托最优概念在允许任意子群体自由结盟时的自然推广，也是连接合作博弈论与竞争性均衡的桥梁。

埃奇沃斯盒与核心

核心的思想可追溯至埃奇沃斯在 1881 年提出的"重订契约"过程。在两人两商品的埃奇沃斯盒中，从任意初始禀赋出发，交易者会不断重订契约直至达到帕累托有效配置——但并非所有帕累托有效配置都稳定：初始禀赋点界定了个体不参与交易的保留效用，只有同时满足个体理性的帕累托有效配置（即契约曲线在保留效用之间的那一段）才能阻止任意一方退出。这段契约曲线的子集正是两人经济的核心。

埃奇沃斯的核心直觉是：竞争的力量来自个体之间不断重订契约以寻求改善的可能性。只要存在一个子群体可以"脱离"当前配置并自我改善，该子群体就有动机这样做，从而瓦解原有配置。

形式定义

考虑一个包含 nn 个消费者的交换经济：每个消费者 ii 拥有消费集 Xi⊆R+LX_i \subseteq \mathbb{R}^L_+、偏好关系 ≿i\succsim_i 和初始禀赋 ωi∈Xi\omega_i \in X_i。一个配置 x=(x1,…,xn)\mathbf{x} = (x_1, \ldots, x_n) 被称为被联盟 S⊆{1,…,n}S \subseteq \{1,\ldots,n\} 改进（或否决），如果存在另一个配置 y\mathbf{y} 满足：

∑i∈Syi=∑i∈Sωi,yi≻ixi    ∀i∈S\sum_{i \in S} y_i = \sum_{i \in S} \omega_i, \quad y_i \succ_i x_i \;\; \forall i \in S

即联盟 SS 仅凭其自身禀赋就能让每位成员获得严格更优的消费束。核心 C(E)C(\mathcal{E}) 定义为不被任何联盟否决的所有可行配置的集合。

从合作博弈的视角，核心也可以表述为：令 V(S)V(S) 为联盟 SS 可达到的效用向量集合（特征函数），则核心是所有不被任何联盟占优的可行效用向量的集合。

核心的等价性与极限定理

核心最重要的理论结果之一是核心等价定理：在一个大型经济中，核心配置的集合本质上等同于瓦尔拉斯均衡配置的集合。其思想脉络为：

竞争均衡包含于核心：若 x∗\mathbf{x}^* 是某个价格体系下的瓦尔拉斯均衡配置，则它必在核心中。证明采用反证法——若存在联盟可改进 x∗\mathbf{x}^*，则该联盟成员在均衡价格下必然无法支付改进后的消费束，导致矛盾。

核心向竞争均衡的收敛：当经济中每种类型的消费者数量趋于无穷（即经济变得"大"且每个个体在市场中无足轻重）时，核心收缩至竞争均衡配置的集合。这一结果由德布鲁和斯卡夫在 1963 年严格证明，其核心机制是：随着个体数量的复制（replica），任何一个体对联盟的边际贡献趋近于零，使得只有价格接受行为才能在核心中存活下来。

这一结果具有深刻的含义：它表明竞争性价格机制可以在不假设任何中央协调者的情况下，仅通过个体之间自由结盟与重订契约的分散化过程自发涌现。瓦尔拉斯均衡不只是一个抽象的不动点概念，而是大群体中合作博弈唯一稳定的结果。

从方法论上看，核心等价定理为一般均衡理论提供了博弈论基础：市场的"看不见的手"并非神秘力量，而是无数小型联盟不断尝试打破现有配置、却因价格约束而无法成功这一事实的均衡表达。当个体足够多时，任何偏离竞争均衡的配置都会被某个联盟所否决——价格接受行为是唯一能在核心中存活的行为模式。

核心的存在性与非空性

核心并不总是非空的。在交换经济中，若偏好是凸的且满足适当的连续性条件，斯卡夫核心存在定理保证了核心的非空性。该定理的核心论证借助了角谷不动点定理，证明过程构造性地展示了如何从任意初始配置出发找到核心中的配置。

但在更一般的环境中核心可能为空。经典反例包括：存在生产外部性的经济——某些联盟形成可能带来搭便车问题导致核心瓦解；以及不可转移效用博弈中的投票博弈——当不存在一个能击败所有其他提案的稳定多数联盟时，核心即为空集。邦达列瓦-沙普利定理从特征函数角度给出了合作博弈核心非空的充要条件：特征函数博弈必须满足"平衡性"条件，即对任意一组平衡权重，联盟价值的加权和不超过大联盟的总价值。

应用与拓展

核心的概念已超越纯交换经济，延伸至多个领域：在匹配理论中，盖尔-沙普利算法产生的稳定匹配构成婚姻市场的核心——没有任何一对男女可以通过私下配对而同时获得比匹配结果更优的配偶。在公共品经济中，林达尔均衡可以刻画为核心的一种特殊配置：每个消费者为公共品支付的个性化价格使得没有任何子群体有动机脱离并自给自足。在国际经济学中，核心被用于分析关税同盟的稳定性：一组国家形成自由贸易区后，是否会有成员国选择退出以谋求更优的双边贸易安排，本质上即是该同盟是否居于核心之中的问题。

局限性

核心作为解概念的主要批评在于：当核心非空时，它往往包含大量配置（在有限经济中通常是契约曲线的一个连续统），预测力有限；而当经济规模不够大时，核心并未给出唯一预测。此外，核心假设联盟可以无成本地形成和执行，忽略了联盟形成过程中的谈判成本与信息摩擦。这些局限催生了更精细的解概念：沙普利值从边际贡献的公理化角度给出唯一分配方案；核仁在所有可行配置中极小化最大抱怨；讨价还价集则允许联盟否决被其他联盟"反否决"，从而放宽了核心的严苛稳定性要求。