|
我们首先证明E中平衡点的存在性,然后在步骤6和7中检查该I+1元组也是E中的平衡点。平衡点的存在性证明分为五个步骤。1、预算对应关系的连续性:根据假设1,每个初始捐赠都是严格正的。通信的连续性b: => 引理3.3.2中的[0,2\'e]。需求对应:考虑(被截断的)需求对应xi: => [0,2\'e]。第1步,B(·,ei): => [0,2\'e]是连续的,因此通过Berge的最大值t heorem,demandXi(ψ)=arg maxx∈B(ψ,ei)`Ui(x)是上半连续的、紧的、非空值的,因为Ui在gr(B)上是连续的。根据Ui的凹性,Xi(ψ)是凸值的。3.瓦拉斯一方:定义瓦拉斯价格调整对应关系W:[0,2\'e]i×P=> viaW(x,…,xI,P)=arg maxψ∈EP“ψXi∈我xi- 工程安装#.同样,根据Berge的极大值定理,对应关系是上半连续的,并且通过(x,…,xI)中线性期望的连续性和ψ中线性的连续性,得到凸的、紧的和非空的值。骑士价格参与者:定义骑士调整对应关系K:[0,2\'e]I× => P维亚克十、xI,ψ= arg maxP∈PEP“ψXi∈我xi- 工程安装#.一旦获得,根据Berge的极大值定理,对应关系是上半连续的,并得到凸的、紧的和非空的值。5.不动点的存在性:SetX=十、xi. 把东西放在一起,我们有综合通信KXW: P×[0,2\'e]I× => P×[0,2\'e]I×作为非空紧凸值上半连续对应的乘积(参见步骤2、3和4)。因此,一个固定的点\'P,\'x。xi,ψ∈KXW\'P,\'x。xi,ψ通过应用Kakutani的不动点定理而存在。6.
|