根据权利要求A(iii),nε≥ Nε,Jsuch the Ki(σNε,θinε)≥Ki(σ,θi)- ε. 这个结果和表达式(9)暗示了Ki(σnε,^θiJ)≤ K(σnε,θinε)- ε.但这与ε中的θ相矛盾∈ Θi(σnε)。最后,如果Ki(σ,θi)=∞, 索赔A(iii)暗示:nε≥ Nε,Jsuch the Ki(σNε,θinε)≥ 2K,其中K是索赔人(i)中定义的界限。但这也与ε中的θ相矛盾∈ Θi(σnε)。Θi(σ)是紧的:如上所示,Θi(·)有一个闭合图,因此Θi(σ)是一个闭合集。Θi(σ)的紧致性源于Θi的紧致性。定理1的证明。我们从两个方面证明了结果。第一部分。我们证明了扰动博弈中均衡的存在性(见第4.1节)。设Γ:×i∈我(Θi)=> ×i∈我(i)是这样的通信:,u=(ui)i∈我∈ ×i∈我(Θi),Γ(u)=×i∈我 (Θi(σ(u)),其中σ(u)=(σi(ui))i∈我∈ ∑,定义为σi(ui)(xi | si)=Pξξi:xi∈ arg最大值xi∈谢琪ui(·思,\'xi)πi((R)xi,Yi)+ ξi(`xi)(10)(十一、四)∈ Xi×Si。注意,如果u*∈ ×i∈我(i)使*∈ Γ(u*), 然后σ*≡(σi(ui)*))我∈这是一个扰动博弈的均衡。我们证明了这一点*通过检查Kakutani Fan-Glicksberg不动点定理的条件,证明存在:(i)×i∈我(Θi)是紧的、凸的和局部凸的Hausdorff:集合(Θi)是凸的,因为Θi是紧的(i)在弱拓扑下也是紧的(Aliprantisand Border(2006),定理15.11)。根据蒂乔诺·弗夫定理,×i∈我(Θi)也很紧凑。最后,该集在弱拓扑下也是局部凸的;(ii)Γ具有凸的、非空的图像:很明显 (Θi(σ(u))是凸值的u. 此外,通过引理1,Θi(σ(u))是非空的u; (iii)Γ有一个闭合图:让(un,^un)n使得∈ Γ(un)和un→ u和^un→ ^u(弱拓扑下)。由索赔人(iv)提供,ui7→ σi(ui)是连续的。因此,σn≡ (σi(uin))i∈我→ σ ≡ (σi(ui))i∈I.ByLemma 1,σ7→ Θi(σ)是uhc;因此,根据Aliprantis和Border(2006)中的定理17.13,σ7→ ×i∈我 (Θi(σ))也是uhc。因此^u∈ ×i∈我 (Θi(σ))=Γ(u)。第二部分。
|