1704643463
【定理】 福利经济学的第二基本定理：考虑一个交易经济（ui，ei）i∈I，其总禀赋为并且每人的效用函数ui在上是连续、严格递增与严格拟凹的。假定是该交易经济的一种帕累托有效配置，假定禀赋经过再分配，使得经过再分配的禀赋向量为那么，必定是从再分配后产生的交易经济中的一种竞争性均衡配置。
1704643464
1704643465
证明：
1704643466
1704643467
1704643468
1704643469
1704643470
我们从是一种帕累托有效这一假定出发。既是帕累托有效，那它必定是可行的。于是，
1704643471
1704643472
1704643473
1704643474
1704643475
由于ui满足了前述瓦尔拉斯一般均衡（即竞争性均衡）存在性的一切条件，所以，我们可以依据本讲第二节的那个一般均衡存在性定理得出结论，在交易经济中必定存在一种竞争性的均衡配置。剩下的任务只在于要证明
1704643476
1704643477
1704643478
1704643479
1704643480
我们知道，在一个竞争性的均衡里，每一个消费者的需求都是在面临预算约束时对效用函数求极大化而得到的。于是，每一个消费者会需求（因是一般均衡配置），但其禀赋是这样，我们必然有
1704643481
1704643482
1704643483
1704643484
1704643485
1704643486
因为是最优消费选择。
1704643487
1704643488
1704643489
1704643490
1704643491
1704643492
1704643493
然而，由于是一种均衡配置，对于交易经济来说，它必定是可行的，即（后一个等式来自于下列事实：是对原禀赋e进行再分配而得到的，而再分配本身不改变原禀赋的总量。）。这样，对于原交易经济（ui，ei）i∈I来说，也是可行的。
1704643494
1704643495
1704643496
1704643497
1704643498
1704643499
1704643500
1704643501
这样，从（16.37）可知，对于原交易经济来说，满足两个特性：第一，可行；第二，不比原来的帕累托有效配置差（我们一开始便假定是帕累托有效）。但是，既然是帕累托有效，则对于所有的i∈I，（16.37）就不能使所有的人的效用严格变高，所以（16.37）就只是一个等式。
1704643502
1704643503
1704643504
1704643505
1704643506
1704643507
1704643508
1704643509
1704643510
1704643511
1704643512
