1704642987
1704642988
第一种情形是，在过e点的消费者1与消费者2的两条无差异曲线所围的范围之外，又不落在CC线上的所有点，都会被某一个消费者所抵制。在图16.2里，点A是会被消费者1抵制的（“blocked”）。为什么？这是由于，在交易经济里，交易活动是出于双方自愿的。如果初始的资源禀赋是e点，如果提议产品的再分配是从e点转化到A点，消费者2固然会大大受益，因其无差异曲线会相应地从过e点的那一条曲线平移至过A点的那一条无差异曲线，然而，消费者1出于私利的考虑，必然会抵制这一再分配，因在A点，消费者1的相应的无差异曲线会从过e点那一条向自己的原点后退平移，这意味着消费者1会大大受损。
1704642989
1704642990
第二种抵制情形是，在小写的cc线段以外的CC线上的所有点，总会遭到某个消费者的反对或抵制。原因在于，如所建议的交易落在小写的cc线段之外，则总有一方消费者会不如他不参加交易而只享受在e点所拥有的物品时的利益。
1704642991
1704642992
读者可以自己证实，大写的CC线上的所有点都满足“帕累托有效”的定义。但并不是所有的帕累托有效的点都会被交易双方所接受，只有在小写的cc线段内的点，才会被双方接受，才没有“抵制”。没有“抵制”的点称为“均衡”点。
1704642993
1704642994
由此可见，并不是所有的帕累托有效点都是均衡点。只有落在小写的cc线段上的帕累托有效点，才不会有抵制，才称为均衡点。抵制发生与否，与e相比较而定。
1704642995
1704642996
抵制的情形可以在社会只有两个消费者、两种产品的场合发生，而“抵制联盟”这一现象只有在社会上存在两个以上的消费者的场合才会出现。
1704642997
1704642998
2．抵制联盟
1704642999
1704643000
当社会上存在的消费者个数超过两个时，一部分消费者可能为抵制某一种交易活动而结成抵制联盟。我们将抵制联盟定义如下：
1704643001
1704643002
【定义】 抵制联盟：记S⊂I为某消费者联盟。我们称S为抵制配置x∈F（e），如果存在另一配置y满足
1704643003
1704643004
1704643005
（1）
1704643006
1704643007
1704643008
（2）对于所有的i∈S成立，并且至少有一人严格偏好于y。
1704643009
1704643010
（16.9）
1704643011
1704643012
这里，S是所有消费者中的一部分人。上述定义是说，与配置x相比较而言，若配置y不会使S中的所有人受损，并且至少使S中的一人比x配置下要来得好。这样，x就被y抵制住了。
1704643013
1704643014
换言之，若一种配置没有被抵制（“unblocked”），那是指该配置下不存在一种联盟去抵制它。如果一种配置没有受到抵制，那么，该配置便是一种均衡。
1704643015
1704643016
【定义】 均衡：一种配置x∈F（e）被称为是具有初始禀赋e的交易经济里的一种均衡，如果x没有受到任何消费者联盟的抵制。
1704643017
1704643018
3．交易经济里的“核”（core）
1704643019
1704643020
交易经济里的核就是没有受到抵制的均衡点的集合。我们正式地定义如下：
1704643021
1704643022
【定义】 交易经济里的核：在以e为初始禀赋的交易经济里，“核”就是所有没有受到抵制的可行配置的集合，记为C（e）。
1704643023
1704643024
定义了核的概念之后，我们就明白了，所谓核就是交易经济里的均衡点的集合。接下来，我们便进入本讲的要害问题：在任一个交易经济里，是否至少存在一个均衡点，该配置状态既是可行的，又不会受到抵制？这便是所谓一般均衡的存在性问题。
1704643025
1704643026
微观经济学十八讲 [:1704632884]
1704643027
第二节 竞争性市场体系里一般均衡的存在性
1704643028
1704643029
我们关于一般均衡存在性的证明，是依据阿罗与迪布鲁1954年的著名论文（见：Arrow与Debreu: “Existence of Equilibrium for a Competitive Economy”. Econometrica 22:265—290）。
1704643030
1704643031
首先，应该说明，“竞争性”市场实质上就是前面所定义过的完全竞争市场。在这种市场上，消费者的行为是完全由其自身利益所引导的，无论是买者还是卖者，都无法对市场上通行的价格施加任何影响力。但是，与第八讲介绍的完全竞争市场不同的是，这里我们所分析的是社会上各个市场同时达到均衡的情形。即在通行的价格下，各个市场都分别达到了均衡，结果是，所有买者的决策与所有卖者的决策在通行的价格下都相容，供与求全部匹配。
1704643032
1704643033
我们分三步来介绍一般均衡存在性的证明：第一步，介绍需求函数的性质；第二步，引入瓦尔拉斯定律（Walras’ law）；第三步，介绍一般均衡存在性的证明。
1704643034
1704643035
一、需求函数与超额需求函数的性质
1704643036